download the poster (PDF, 5.7MB)
Symposium
Reflections on Type Theory, Lambda Calculus, and the Mind
This symposium celebrating Henk Barendregt's 60th birthday will be held on Monday 17 December 2007 at the Radboud University in Nijmegen, The Netherlands.
Invited speakers
- Corrado Böhm
- Mariangiola Dezani-Ciancaglini
- Benedetto Intrigila
- Jan Willem Klop
- Jean-Jacques Lévy
- Giuseppe Longo
- Bill Phillips
- Gordon Plotkin
- Anne Speckens
Programme
(update: Giuseppe Longo will not be able to attend.)
| 09:00 | Welcome |
| 09:10 | Gordon Plotkin Towards an algebraic framework for logics and type theories |
| 09:45 | Corrado Böhm Data as programs in lambda calculus: the importance of being a Deed |
| 10:20 | Word from the organisers |
| 10:40 | Coffee/tea |
| 11:10 | Anne Speckens Mindfulness based cognitive therapy for recurrent depression |
| 11:45 | Bill Phillips On the search for coherence in mind and brain |
| 12:20 | Lunch |
| 13:40 | Jean-Jacques Lévy Sharing in the weak lambda-calculus (2) |
| 14:15 | Benedetto Intrigila On Henk Barendregt's favorite open problem |
| 14:50 | Coffee/tea |
| 15:20 | Mariangiola Dezani-Ciancaglini |
| 16:05 | Jan Willem Klop New fixed point combinators from old |
| 16:40 | Reception |
Location
Radboud University Nijmegen
Huygens Building
Heijendaalseweg, Nijmegen
HG 00.307
Registration
Registration is closed as of 12 December 2007.
Accomodation
A list of hotels can be found at Booking.com.
Support
This symposium is supported by the DIAMANT project, and by the TYPES project (as a 'small workshop').
Organisers
Erik Barendsen
Venanzio Capretta
Herman Geuvers
Nicole Messink
Milad Niqui