Call for Papers and Other Useful Academic Information

Please distribute this announcement also to your colleagues who may be interested. Thanks. The contact persons for programming languages and systems and security are Tarmo Uustalu, tarmo@cs.ioc.ee, Varmo Vene, varmo@cs.ut.ee, Peeter Laud, peeter@cyber.ee. – T.U. — Eight postdocs in computer science, Tallinn/Tartu, Estonia http://cs.ioc.ee/excs/jobs/postdocs08.html EXCS (Estonian eXcellence in Computer Science), http://cs.ioc.ee/excs/, is a new Estonian [...]

NEWS: Invited speakers: Dave Clarke, Vincent Danos, Martin Fr?nzle, Margus Veanes. A special issue of selected papers in J. of Logic and Algebraic Programming. A guided tour and reception in the new KUMU Art Museum, the 2008 winner of the European Museum of the Year award. 20th Nordic Workshop on Programming Theory, NWPT ’08 Tallinn, [...]