[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear list members, Tomorow Monday is the last day to register on the TYPES 2009 website if you want to pay reduced fee. Later registration is still possible and talk submission to. We will probably (as every year) publish post proceedings with good referee. The TYPES workshop cover theory ptractice and application of type theory. More detail and registration on the website http://www.lama.univ-savoie.fr/types09. Yours sincerely, The organizing commitee.