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 centre of excellence (CoE) 2008-2015 that has just
been […]

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
[…]