Visitors
| Dag
Prawitz
(Stockholm University) |
Meeting
with project team
and lecture |
Paris |
Feb. 7th to Feb. 9th 2008 |
| Warren Goldfarb (Harvard University) |
Meeting with project team and lecture |
Nancy |
Feb.
12th to Feb. 14th 2008 |
| Marcus
Giaquinto (University College,
London) |
Meeting
with project team and
lecture |
Nancy
Paris |
May
4th to May 8th |
| Valeria
Giardino (Institut Jean Nicod,
Paris) |
Meeting with project team and lecturing in Nancy | Nancy |
May 5th to May 6th |
| John
Mumma (Carnegie Mellon
University) |
Meeting with project
team and lecturing in Nancy |
Nancy |
May 5th to May 6th |
| Sergei Artemov (City University of New York) | Meeting with project teams and lecturing in Nancy and Paris | Nancy Paris |
May 25th to May 30th |
| Denis Bonnay (Ecole
Normale Supérieure, Paris) |
Meeting with project team and lecturing in NancyMay 25th to May 26th | Nancy |
May 25th to May 26th |
| Kevin
Kelly (Carnegie Mellon University) |
Meeting with project teams and lecturing in Nancy and Paris | Nancy Paris |
May 25th to May 30th |
| Rohit Parikh (City University of New York) | Meeting with project teams and
lecturing in Nancy and Paris |
Nancy Paris |
May 25th to May 30th |
| Tero
Tulenheimo (Academy of Finland) |
Meeting with project team and
lecturing in Nancy |
Nancy |
May 25th to May 26th |
| Tim McCarthy (University of Illinois at Urbana-Champaign) | Meeting with project team re. Gödel's incompleteness theorem and their significance for our understanding of proof. Lecturing on related topics. | Nancy Paris |
May
26th to Jun. 26th |
Last
update: 2008-06-02