[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Due to popular demand there will a deadline extension for the workshop "Structures and Deduction 2009" in Bordeaux, July 20-24, 2009. New deadline for submission: Sunday, March 8, 2009 Further details can be found on the webpage <http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html> Kind regards, Lutz Strassburger
