[TYPES/announce] CiE 2008 in Athens - 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** SECOND CALL FOR PAPERS CiE 2008 http://www.cs.swan.ac.uk/cie08/ C

[TYPES/announce] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Tutorial Announcement and Call for Participation Using Proof Assistants for Programming La

[TYPES/announce] Calculemus 2008: First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for multiple postings] First Call for Papers -- C A L C U L E M U S 2008 -- July 30 -- August 1, 2008 University of Birmingha