[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+  Symposium Reflections on Type Theory, Lambda Calculus and the Mind
+
+  Celebrating Henk Barendregt's 60th birthday
+
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

        Monday 17 December 2007
        Radboud University Nijmegen
        The Netherlands
        http://www.cs.ru.nl/barendregt60/

Invited speakers

     * Corrado Böhm
     * Mariangiola Dezani-Ciancaglini
     * Jan Willem Klop
     * Jean-Jacques Lévy
     * Giuseppe Longo
     * Bill Phillips
     * Gordon Plotkin
     * Anne Speckens
     * Richard Statman


Please register by sending a mail to [EMAIL PROTECTED]


Organizers:

Erik Barendsen
Venanzio Capretta
Herman Geuvers
Nicole Messink
Milad Niqui

Reply via email to