[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

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


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