[TYPES/announce] Associate professor position in computer science at CNAM Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CNAM opens a position of "Maître de Conférences" (associate professor) in Computer Science with specific reference to "advanced programming technics, software engineering and formal

[TYPES/announce] ACM SIGBED Paul Caspi Dissertation Award : deadline March 1st, 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGBED Paul Caspi Dissertation Award http://sigbed.blogspot.fr/p/awards.html The nomination should be submitted via EasyChair at