[TYPES/announce] Eight postdoc positions in Tallinn/Tartu

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Type systems, functional programming, semantics are in the scope. The contact persons for programming languages and systems and security are Tarmo Uustalu, [EMAIL PROTECTED], Varmo Vene,

[TYPES/announce] ETAPS 2009 Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] FINAL CALL FOR PAPERS: ETAPS 2009 European Joint Conferences on The

[TYPES/announce] NWPT'08, Tallinn, 2nd call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Type systems and type theory are well in the scope of NWPT. NEWS: Invited speakers: Dave Clarke, Vincent Danos, Martin Fränzle, Margus Veanes. A special issue of selected papers in J.

[TYPES/announce] Final Call for Participation: VSTTE'08

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PARTICIPATION Second Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2008) Oct 6--9, 2008, Toronto, Canada http://qpq.csl.sri.com/vsr/vstte-0