[TYPES/announce] APLAS 2010 Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS APLAS 2010 Eighth Asian Symposium on Programming Languages and Systems Shanghai,

[TYPES/announce] PAR'10 at FLOC'10: -- Final CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Submission deadline on Monday 29th of March ** If you need a few days extension please send an email to Ana Bove b...@chalmers.se with the request. A title and the abstract will still

[TYPES/announce] Proof Systems for Program Logics 2010: student grants available

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Further to the CFP for PSPL2010, we are pleased to announce that a number of grants for PhD students to attend this workshop are available. For further information, please email:

[TYPES/announce] LOPSTR 2010: Deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 20th International Symposium on Logic-Based Program Synthesis and Transformation

[TYPES/announce] 1 PhD and 1 Post-Doc at CNRS - Ecole Polytechnique

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Laboratoire d'Informatique de l'Ecole Polytechnique, France, offers 1 doctoral and 1 postdoctoral positions within the PSI project dedicated to Proof Search control in Interaction with