Membres de PPS : connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Journées PPS à Trouville, septembre 2011
Visiteurs
| Nom | Organisme | Dates | Bureau
| |
|---|---|---|---|---|
| Simona Ronchi della Rocca | Université de Turin | 01/05/2012 - 31/05/2012 | ||
| Daniel Leivant | Indiana University-Bloomington | 01/05/2012 - 31/07/2012 | ||
| Vito Michele Abrusci | Università Roma Tre | 14/03/2012 - 28/03/2012 | ||
| Antonino Salibra | Università Ca'Foscari di Venezia | 05/03/2012 - 05/05/2012 | ||
| Thomas Streicher | Technische Universität Darmstadt | 01/03/2012 - 31/03/2012 | ||
| Richard Blute | University of Ottawa | 06/02/2012 - 09/02/2012 | ||
| Klaus Keimel | Technische Universität Darmstadt | 16/11/2011 - 23/11/2011 | ||
| Marcelo Fiore | University of Cambridge | 01/10/2011 - 30/09/2012 | ||
| Tim Griffin | University of Cambridge | 01/10/2011 - 30/09/2012 | ||
| Davide Ancona | Università di Genova | 08/12/2011 - 16/12/2011 | ||
| Mariangiola Dezani | Università di Torino | 25/09/2011 - 02/10/2011, 13/11/2011 - 27/11/2011 | ||
| Luca Padovani | Università di Torino | 25/09/2011 - 02/10/2011, 13/11/2011 - 27/11/2011 | ||
| Thorsten Altenkirch | University of Nottingham | 01/10/2011 - 31/10/2011 | ||
| Eduardo Bonelli | Universidad nacional de Quilmes | 09/09/2011 - 09/10/2011 | ||
| Zhong Shao | University of Yale | 19/07/2011 - 25/07/2011 | ||
| Heather Russell | University of Louisiana | 28/05/2011 - 05/06/2011 | ||
| Aaron Lauda | University of Columbia | 28/05/2011 - 05/06/2011 | ||
| Olivia Caramello | University of Cambridge | 30/05/2011 - 05/06/2011 | ||
| Romeo Brunetti | Università di Trento | 25/04/2011 - 30/04/2011 | ||
| Marcelo Aguiar | Texas A&M University | 28/03/2011 - 01/04/2011 | ||
| Antonino Salibra | Università Ca' Foscari, Venezia | 09/03/2011 - 25/07/2011 | 6A43 | |
| Masahiro Hamano | JST, Japon | 10/03/2011 - 14/03/2011 | 5A16 | |
| Philip Scott | Université d'Ottawa | 10/03/2011 - 14/03/2011 | 5A16 | |
| Ugo Dal Lago | Université de Bologne | 01/03/2011 - 31/03/2011 | 5A07 | |
| Daniel Leivant | Chercheur invité au LORIA - financé par la région Lorraine, Indiana University | 13/01/2011 - 13/07/2011 | 5A16 | |
| Ying Jiang | Chinese Academy of Sciences | 01/01/2011 - 15/02/2011 | 6B02 | |
| Mariangiola Dezani | Università di Torino | 10/01/2011 - 10/02/2011 | ||
| Matthias Baaz | University of Technology, Vienne (Autriche) | 01/10/2010 - 28/02/2011 | ||
| Eduardo Bonelli | Universidad nacional de Quilmes (Argentine) | 05/01/2011 - 05/02/2011 | 6A47 | |
| Martin Hofmann | Ludwig-Maximilians-Universität München | 15/11/2010 - 15/12/2010 | ||
| Luca Padovani | Università di Torino | 15/11/2010 - 15/12/2010 | ||
| Mariangiola Dezani | Università di Torino | 15/11/2010 - 15/12/2010 | ||
| Olivier Danvy | University of Aarhus, Danemark | 01/11/2010 - 30/11/2010 | ||
| Peter Drabik | University of Pisa | 01/06/2010 - 30/09/2010 | 5A16 | |
| Jean Goubault Larrecq | ENS Cachan | 04/01/2010 - 04/06/2010 | 5A03 | |
| Nino Salibra | Université de Ca` Foscari | 15/03/2010 - 31/05/2010 | ||
| Alberto Carraro | doctorant cotutelle Ca` Foscari et Paris Diderot | 15/03/2010 - 31/05/2010 | ||
| Espen Hojsgaard | ITU Copenhague | 11/01/2010 - 01/05/2010 | 5A35 | |
| Lorenzo Tortora de Falco | Université Rome III | 29/03/2010 - 29/04/2010 | ||
| Shinya Katsumata | RIMS, Kyoto University | 29/03/2010 - 02/04/2010 | ||
| Martin Hyland | Université de Cambridge | 22/03/2010 - 26/03/2010 | ||
| Thomas Streicher | Université de Darmstadt | 08/03/2010 - 09/04/2010 | ||
| Alfonso Pierantonio | Universita degli Studi dell' Aquila | 17/02/2010 - 26/02/2010 | 6C16 | |
| Davide Di Ruscio | Universita degli Studi dell' Aquila | 17/02/2010 - 26/02/2010 | 6C93 | |
| Patrizio Pelliccione | Universita degli Studi dell' Aquila | 17/02/2010 - 26/02/2010 | 6C93 | |
| Simona Ronchi della Rocca | Université de Turin | 15/02/2010 - 15/03/2010 | 6B02 | |
| Kazushige TERUI | Kyoto University | 23/01/2010 - 22/04/2010 | 5A43 | |
| Flavio Moura | Université de Brasilia | 07/09/2009 - 11/11/2009 | 6C93 | |
| Daniel Izqiuerdo Cortázar | Universidad Rey Juan Carlos (Madrid) | 03/08/2009 - 01/11/2009 | ||
| Alfonso Pierantonio | Università degli Studi dell’Aquila | 01/08/2009 - 01/11/2009 | ||
| Zurab Khasidashvili | INTEL - Israel | 23/06/2009 - 22/07/2009 | 6C14 | |
| Naohiko Hoshino | RIMS, Universite de Kyoto, Japon | 23/06/2009 - 06/07/2009 | 5A35 | |
| John Baez | UCLA Riverside, Etats-Unis | 15/06/2009 - 07/08/2009 | 5A35 | |
| Jorge Luis Sacchini | INRIA Sophia-Antipolis | 08/06/2009 - 31/08/2009 | 5A07 | |
| Lorenzo Tortora di Falco | Université Roma 3 | 08/06/2009 - 16/07/2009 | ||
| Stefano Guerrini | Université La Sapienza - Roma | 05/06/2009 - 03/07/2009 | ||
| Silvia Crafa | Université de Padoue (Italie) | 28/05/2009 - 04/06/2009 | ||
| Luca Padovani | Université de Urbino (Italie) | 04/05/2009 - 16/05/2009 | ||
| Beniamino Accattoli | Università La Sapienza - Roma | 15/10/2008 - 15/4/2009 | 6C92 | |
| Richard Blute | Université d'Ottawa | 16/03/2009 - 16/04/2009 | ||
| Raja NATARAJAN | Tata Institute of Fundamental Research (India) | 02/03/2009 - 02/04/2009 | 5A35 | |
| Beniamino Accattoli | Università La Sapienza - Roma | 15/10/2008 - 15/04/2009 | 6C92 | |
| Xiaoju (Daisy) Dong | Shanghai Jiaotong University | 28/07/2008 - 18/01/2009 | 6C92 | |
| Gérard Boudol | INRIA Sophia-Antipolis | 15/09/2008 - 15/12/2008 | 6C06 | |
| Mai GEHRKE | Radboud Universiteit Nijmegen | 02/04/2008-07/04/2008 07/07/2008-31/07/2008 | 5A43 | |
| Daniele Gorla | Università di Roma | 18/02/2008 - 16/03/2008 14/07/2008 - 03/08/2008 | 6C18 | |
| Eduardo Bonelli | Universidad nacional de Quilmes (Argentine) | 09/06/2008 - 28/06/2008 | 6C92 | |
| Thorsten Altenkirch | Université de Nottingham | 22/05/2008 - 06/06/2008 | 5A35 | |
| Barry Jay | University of Technology, Sydney | 20/05/2008 - 20/06/2008 | 5A16 | |
| Luca Padovani | Université de Urbino (Italie) | 01/05/2008 - 30/05/2008 | 6C18 | |
| Antonino SALIBRA | Università Ca'Foscari di Venezia | 03/2008 - 07/2008 | 5A07 | |
| Cosimo Laneve | Université de Bologne | 04/2008 | ||
| Carlos LOMBARDI | Université de Buenos Aires | 25/01/2008 - 29/02/2008 | 6C12 | |
| Olivier DANVY | University of Aarhus | 01/11/2007 - 31/01/2008 | 5A35 | |
| Roberto MAIELI | Università Roma Tre | 11/11/2007 - 17/11/2007 | 5A35 | |
| Vladimiro SASSONE | University of Southampton | 28/05/2007 - 06/07/2007 | 6C06 | |
| Antonino SALIBRA | Università Ca'Foscari di Venezia | 03/2007 - 06/2007 | 5A07 | |
| Dan GHICA | University of Birmingham | 09/05/2007 - 09/06/2007 | 5A35 | |
| Silvia CRAFA | Università di Padova | 30/04/2007 - 04/05/2007 | 5A23 | |
| Philippa GARDNER | Imperial College London | 19/03/2007 - 22/03/2007 | 5A23 | |
| Thomas STREICHER | Technische Universität Darmstadt | 15/01/2007 - 15/02/2007 | 5A43 | |
| Nobuko YOSHIDA | Imperial College London | 01/12/2006 - 28/02/2007 | 5A23 | |
| Kohei HONDA | Queen Mary University of London | 01/12/2006 - 28/02/2007 | 5A23 | |
| Glynn WINSKEL | University of Cambridge | 09/10/2006 - 27/10/2006 | 6C18 | |
| Brian REDMOND | University of Ottawa | 21/06/2006 - 24/06/2006 | 5A35 | |
| Martin HYLAND | University of Cambridge | 15/05/2006 - 15/07/2006 | 5A35 | |
| Antonino SALIBRA | Università Ca'Foscari di Venezia | 02/05/2006 - 01/06/2006 | 6C18 | |
| Prakash PANANGADEN | McGill University | 20/02/2006 - 24/02/2006 | 5A23 | |
| Valeriy KHAKHANYAN | Moscow State University of Railway Communications | 10/10/2005 - 10/12/2005 | 5A16 | |
| Lorenzo TORTORA DE FALCO | Università Roma Tre | 12/11/2005 - 19/11/2005 | 5A35 | |
| Martín ESCARDÓ | University of Birmingham | 01/06/2005 - 30/06/2005 | 5A23 | |
| Barry JAY | University of Technology, Sydney | 22/05/2005 - 22/06/2005 | 6C20 | |
| Marco DANELUTTO | University of Pisa | 16/05/2005 - 06/06/2005 | 6C15 | |
| Martin HYLAND | University of Cambridge | 17/05/2005 - 28/06/2005 | 5A35 | |
| Claudia FAGGIAN | Università degli Studi di Padova | 16/05/2005 - 16/06/2005 | 5A35 | |
| Ian STARK | University of Edinburgh | 09/05/2005 - 16/06/2005 | 5A35 | |
| Antonino SALIBRA | Università Ca'Foscari di Venezia | 02/05/2005 - 30/06/2005 | 5A16 | |
| Giulio MANZONETTO | Università Ca'Foscari di Venezia | 02/05/2005 - 30/06/2005 | 5A16 | |
| Roy DYCKHOFF | University of St Andrews | 26/04/2005 - 25/05/2005 | 6C20 | |
| Michel SCHELLEKENS | University of Cork | 24/03/2005 - 23/04/2005 | 5A16 | |
| Claudia FAGGIAN | Università degli Studi di Padova | 22/09/2004 - 31/12/2004 | 5A35 | |
| Valeri PLISKO | Moscow State University | 15/09/2004 - 15/11/2004 | 5A16 | |
| Gordon PLOTKIN | University of Edinburgh | 01/07/2004 - 31/07/2004 | 5A43 | |
| Lorenzo TORTORA DE FALCO | Università Roma Tre | 25/06/2004 - 25/07/2004 | 5A35 | |
| Antonino SALIBRA | Università Ca'Foscari di Venezia | 08/03/2004 - 22/06/2004 | 6C16 | |
| Michel SCHELLEKENS | University of Cork | 09/06/2004 - 12/06/2004 | 5A07 | |
| Jakob Grue SIMONSEN | University of Copenhagen | 01/02/2004 - 31/05/2004 | 5A16 | |
| Peter O'HEARN | Queen Mary University of London | 01/04/2004 - 30/04/2004 | 5A35 | |
| Martin HYLAND | University of Cambridge | 01/03/2004 - 30/04/2004 | 5A35 | |
| Claudia FAGGIAN | Università degli Studi di Padova | 07/10/2003 - 30/11/2003 | 6C20 | |
| Giovanni SAMBIN | Università degli Studi di Padova | 20/10/2003 - 24/10/2003 | 5A07 | |
| Cosimo LANEVE | Università di Bologna | 10/09/2003 - 19/09/2003 | 5A07 | |
| Josée DESHARNAIS | Université de Laval, Québec | 09/07/2003 - 04/08/2003 | 6C14 | |
| John LONGLEY | University of Edinburgh | 23/06/2003 - 22/07/2003 | 5A07 | |
| Val TANNEN | University of Pennsylvania | 09/07/2003 - 16/07/2003 | 6C14 | |
| Klaus GRUE | University of Copenhagen | 01/06/2003 - 30/06/2003 | 5A07 | |
| Antonino SALIBRA | Università Ca'Foscari di Venezia | 17/03/2003 - 17/06/2003 | 5A07 | |
| Hayo THIELECKE | University of Birmingham | 01/04/2003 - 28/04/2003 | 5A35 | |
| Ying JIANG | Chineese Academy of Sciences | 21/02/2003 - 25/03/2003 | 5A07 | |
| Claudia FAGGIAN | University of Cambridge | 04/03/2003 - 06/03/2003 | 6C12 | |
| Michel SCHELLEKENS | University of Cork | 19/02/2003 - 21/02/2003 | 5A07 | |
| Davide SANGIORGI | University of Bologna | 12/12/2002 - 14/12/2002 | 6C14 | |
| Claudia FAGGIAN | University of Cambridge | 07/10/2002 - 10/10/2002 | 6C14 | |
| Ralph MATTHES | Ludwig-Maximilian-University, Munich | 01/04/2002 - 01/10/2002 | 5A29 | |
| Paul LEVY | University of Birmingham | 01/09/2001 - 01/09/2002 | 5A01 |
Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.