[TYPES/announce] postdoctoral researcher position in Innsbruck

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Innsbruck invites applications for a 6 year position as postdoctoral researcher at the Computational Logic research group. Candidates must hold a PhD degree in

[TYPES/announce] DBPL '11 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 13th International Symposium on Database Programming Languages http://www.cs.cornell.edu/conferences/dbpl2011

[TYPES/announce] VSTTE 2012 : Fourth Call for Papers - 4 weeks to go

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VSTTE 2012 Verified Software: Theories, Tools and Experiments January 28-29, 2012 Philadelphia, USA (co-located with POPL and VMCAI)