[TYPES/announce] SecCo 2011: 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ ! ! ! SecCo

[TYPES/announce] Final Call for Papers - Developments in Computational Models 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Papers DCM 2011 7th International

[TYPES/announce] Post-doctoral position at ENS Lyon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LIP computer science research department at Ecole Normale Superieure de Lyon is offering a postdoctoral position for the academic year 2011-2012. All teams are concerned. In particular the