[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear members of the Types mailing list, this is the last reminder about the symposium for Henk Barendregt's 60th birthday. We have decided to cancel the registration fee, so now *there is no charge*. We also extended the deadline for registration until Wednesday 12 December. To register, please send an e-mail to: [EMAIL PROTECTED] Full information about the event is found at: http://www.cs.ru.nl/barendregt60/ We hope to see you there, The organizers: Erik Barendsen Venanzio Capretta Herman Geuvers Nicole Messink Milad Niqui