coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: Henk Barndregt's 60th birthday symposium

From: Venanzio Capretta <venanzio AT cs.ru.nl>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Call for Participation: Henk Barndregt's 60th birthday symposium
Date: Thu, 18 Oct 2007 13:34:28 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: iCIS

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+  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

[Coq-Club] Call for Participation: Henk Barndregt's 60th birthday symposium, Venanzio Capretta