[TYPES/announce] ESSLLI 2009 - Early registration deadline approaching

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION ESSLLI 2009 Bordeaux, July 20-31 2009 http://esslli2009.labri.fr/ The European Summer School in Logic, Language and

[TYPES/announce] New moderator: Derek Dreyer

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] It is my pleasure to announce that Derek Dreyer has taken over the job as moderator of the TYPES forum. After six years of running types-list and types-announce, it is time to pass the