[TYPES/announce] Open Postdoc and PhD positions at University of Marburg, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] There are open PostDoc and PhD positions in the Programming Languages and Software Engineering group at Philipps-Universität Marburg. Potential topics for these positions include, but are

[TYPES/announce] NASSLLI 2010: Open for Registration

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NASSLLI 2010 is Open for Registration! Fourth North American Summer School in Logic, Language, and Information NASSLLI 2010 June 20-26, 2010 http://www.indiana.edu/~nasslli/ The North

[TYPES/announce] E. W. Beth Dissertation Prize: 2010 call for nominations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Please redistribute. Apologies for multiple postings. ] E. W. Beth Dissertation Prize: 2010 call for nominations Since 2002, FoLLI (the Association for Logic, Language, and Information,