LOGIQUE DE LA PROGRAMMATIONVisiteurs |
| 2006 - 2007 | ||
|---|---|---|
| Youssef Boudabbous | Sfax, Tunisie | Mai 2007 |
| 2005 - 2006 | ||
| John Baez | UC Riverside | Février - avril 2006 |
| Rob van Glabbeek | Sydney | Février - avril 2006 |
| 2004 - 2005 | ||
| Thomas Streicher | Darmstadt | Mars 2005 |
| Jean-Marc Andreoli | Xerox Grenoble | Séjours de courte durée 2004-2005 | 2003 - 2004 |
| Mitsu Okada | Keio | 2004 |
| Roberto Maieli | Roma 3 | 1er - 12 juin 2004 |
| Harry Mairson | Brandeis | Mai - juillet 2004 |
| Jean-Marc Andreoli | Xerox Grenoble | Séjours de courte durée 2003-2004 |
| 2002 - 2003 | ||
| Lorenzo Tortora | Roma 3 | Juillet 2003 |
| V. Michele Abrusci | Roma 3 | Juin 2003 |
| Jim Laird | Brighton | Mars 2003 |
| Thomas Streicher | Darmstadt | Janvier 2003 |
| Robert Woodrow | Calgary | 7 - 20 novembre 2002 et mai 2003 |
| Jean-Marc Andreoli | Xerox Grenoble | Séjours de courte durée 2002-2003 |
| Masahiro Hamano | Post-doc (JAIST, Japon) | 1er septembre 2002 - 31 août 2003 |
| 2001 - 2002 | ||
| Peter Selinger | Ottawa | 11 - 26 juin 2002 |
| Jerzy Tiuryn | Varsorvie | 4 février - 1er mars et 3 juin - 31 juillet 2002 |
| Dale Miller | Pennsylvania State | 27 janvier - 2 mars 2002 |
| Richard Blute | Ottawa | 3 janvier - 3 avril 2002 |
| Kazushige Terui | Post-doc | 27 novembre 2001 - |
| Russell Harmer | Sussex (UK) | 29 - 30 octobre 2001 |
| Jean-Marc Andreoli | Xerox Grenoble | Séjours de courte durée 2001-2002 |
| 2000 - 2001 | ||
| Masahiro Hamano | Keio | 9 - 15 juillet 2001 |
| Youssef Boudabbous | Sfax, Tunisie | 22 Juin - 5 juillet 2001 |
| Phil Scott | Ottawa | Juin - juillet 2001 |
| Martin Hyland | Cambridge | Mai - juillet 2001 |
| V. Michele Abrusci | Roma 3 | Février 2001 |
| René Vestergaard | Edinburgh Post-doc TMR LINEAR |
Novembre 2000 - octobre 2001 |
| Serge Burckel | Réunion | 15 octobre - 31 décembre 2000 |
| Roberto Maieli | Roma 3 Post-doc TMR LINEAR |
Octobre 2000 - septembre 2001 |
| Gena Hahn | Montréal | 15 septembre - 15 décembre 2000 |
| Jean-Marc Andreoli | Xerox Grenoble | Séjours de courte durée 2000-2001 |
| Pawel Urzyczyn | Varsovie | 10 septembre - 14 octobre 2000 |
| 1999 - 2000 | ||
| Roberto Maieli | Roma 3 | 1er - 31 mai 2000 |
| Pavel Pudlák | Institut de Math de Prague | 03 - 29 avril 2000 |
| Pawel Urzyczyn | Varsovie | 1er février - 30 mars 2000 |
| Richard Blute | Ottawa | 07 - 20 octobre 1999 |
| Christian Urban | Cambridge Post-doc TMR LINEAR |
Octobre 1999 - septembre 2000 |
| Jean-Marc Andreoli | Xerox Grenoble | Séjours de courte durée 1999-2000 |
| Mitsu Okada | Keio | Septembre - novembre 1999 |
| V. Michele Abrusci | Roma 3 | Septembre - octobre 1999 |