[FOM] Call for Participation: Henk Barndregt's 60th birthday symposium

Venanzio Capretta venanzio_logic at yahoo.it
Sat Oct 20 03:03:48 EDT 2007


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+  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 barendregt60 at cs.ru.nl


Organizers:

Erik Barendsen
Venanzio Capretta
Herman Geuvers
Nicole Messink
Milad Niqui




      Get a sneak peak at messages with a handy reading pane with All new Yahoo! Mail: http://mrd.mail.yahoo.com/try_beta?.intl=ca



More information about the FOM mailing list