Connexion

English version

 PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

Permanents et associés · Doctorants et postdoctorants · Visiteurs · Anciens · Photos

VISITEURSOrganismeDatesBureau
Christian SchulteKTH Stockholm
Bas SpittersRadboud Universiteit Nijmegen01/09/2014 - 30/09/20143042
Zena AriolaUniversity of Oregon01/09/2012 - 31/08/2013
Alessio GuglielmiUniversity of Bath01/06/2012 - 30/06/2012
Simona Ronchi della RoccaUniversité de Turin01/05/2012 - 31/05/2012
Daniel LeivantIndiana University-Bloomington01/05/2012 - 31/07/2012
Vito Michele Abrusci Università Roma Tre 14/03/2012 - 28/03/2012
Antonino SalibraUniversità Ca'Foscari di Venezia05/03/2012 - 05/05/2012
Thomas Streicher Technische Universität Darmstadt01/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/2012 - 02/10/2012,
13/11/2011 - 27/11/2011
Luca Padovani Università di Torino 25/09/2012 - 02/10/2012,
13/11/2011 - 27/11/2011
Thorsten Altenkirch University of Nottingham 01/10/2011 - 31/10/2011
Eduardo BonelliUniversidad 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 BrunettiUniversità di Trento25/04/2011 - 30/04/2011
Marcelo AguiarTexas A&M University28/03/2011 - 01/04/2011
Antonino SalibraUniversità Ca' Foscari, Venezia09/03/2011 - 25/07/20116A43
Masahiro HamanoJST, Japon10/03/2011 - 14/03/20115A16
Philip ScottUniversité d'Ottawa10/03/2011 - 14/03/20115A16
Ugo Dal LagoUniversité de Bologne01/03/2011 - 31/03/20115A07
Daniel LeivantChercheur invité au LORIA - financé par la région Lorraine, Indiana University13/01/2011 - 13/07/20115A16
Ying JiangChinese Academy of Sciences01/01/2011 - 15/02/20116B02
Mariangiola DezaniUniversità di Torino 10/01/2011 - 10/02/2011
Matthias BaazUniversity of Technology, Vienne (Autriche)01/10/2010 - 28/02/2011
Eduardo BonelliUniversidad nacional de Quilmes (Argentine)05/01/2011 - 05/02/20116A47
Martin HofmannLudwig-Maximilians-Universität München15/11/2010 - 15/12/2010
Luca PadovaniUniversità di Torino15/11/2010 - 15/12/2010
Mariangiola DezaniUniversità di Torino15/11/2010 - 15/12/2010
Olivier DanvyUniversity of Aarhus, Danemark01/11/2010 - 30/11/2010
Peter DrabikUniversity of Pisa01/06/2010 - 30/09/20105A16
Jean Goubault LarrecqENS Cachan04/01/2010 - 04/06/20105A03
Nino SalibraUniversité de Ca` Foscari15/03/2010 - 31/05/2010
Alberto Carrarodoctorant cotutelle Ca` Foscari et Paris Diderot15/03/2010 - 31/05/2010
Espen HojsgaardITU Copenhague11/01/2010 - 01/05/20105A35
Lorenzo Tortora de FalcoUniversité Rome III29/03/2010 - 29/04/2010
Shinya KatsumataRIMS, Kyoto University29/03/2010 - 02/04/2010
Martin HylandUniversité de Cambridge22/03/2010 - 26/03/2010
Thomas StreicherUniversité de Darmstadt08/03/2010 - 09/04/2010
Alfonso PierantonioUniversita degli Studi dell' Aquila 17/02/2010 - 26/02/20106C16
Davide Di RuscioUniversita degli Studi dell' Aquila17/02/2010 - 26/02/20106C93
Patrizio PelliccioneUniversita degli Studi dell' Aquila17/02/2010 - 26/02/20106C93
Simona Ronchi della RoccaUniversité de Turin15/02/2010 - 15/03/20106B02
Kazushige TERUIKyoto University23/01/2010 - 22/04/20105A43
Flavio MouraUniversité de Brasilia07/09/2009 - 11/11/20096C93
Daniel Izqiuerdo CortázarUniversidad 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/20096C14
Naohiko Hoshino RIMS, Universite de Kyoto, Japon23/06/2009 - 06/07/20095A35
John Baez UCLA Riverside, Etats-Unis 15/06/2009 - 07/08/20095A35
Jorge Luis Sacchini INRIA Sophia-Antipolis 08/06/2009 - 31/08/20095A07
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 CrafaUniversité de Padoue (Italie)28/05/2009 - 04/06/2009
Luca PadovaniUniversité de Urbino (Italie)04/05/2009 - 16/05/2009
Richard BluteUniversité d'Ottawa 16/03/2009 - 16/04/2009
Raja NATARAJANTata Institute of Fundamental Research (India)02/03/2009 - 02/04/20095A35
Beniamino AccattoliUniversità La Sapienza - Roma15/10/2008 - 15/04/20096C92
Xiaoju (Daisy) DongShanghai Jiaotong University28/07/2008 - 18/01/20096C92
Gérard BoudolINRIA Sophia-Antipolis15/09/2008 - 15/12/20086C06
Mai GEHRKERadboud Universiteit Nijmegen02/04/2008 - 07/04/2008,
07/07/2008 - 31/07/2008
5A43
Daniele GorlaUniversità di Roma18/02/2008 - 16/03/2008
14/07/2008 - 03/08/2008
6C18
Eduardo BonelliUniversidad nacional de Quilmes (Argentine)09/06/2008 - 28/06/20086C92
Thorsten AltenkirchUniversité de Nottingham22/05/2008 - 06/06/20085A35
Barry JayUniversity of Technology, Sydney20/05/2008 - 20/06/20085A16
Luca PadovaniUniversité de Urbino (Italie)01/05/2008 - 30/05/20086C18
Antonino SALIBRAUniversità Ca'Foscari di Venezia03/2008 - 07/20085A07
Cosimo LaneveUniversité de Bologne04/2008
Carlos LOMBARDIUniversité de Buenos Aires25/01/2008 - 29/02/20086C12
Olivier DANVYUniversity of Aarhus01/11/2007 - 31/01/20085A35
Roberto MAIELIUniversità Roma Tre11/11/2007 - 17/11/20075A35
Vladimiro SASSONEUniversity of Southampton28/05/2007 - 06/07/20076C06
Antonino SALIBRAUniversità Ca'Foscari di Venezia03/2007 - 06/20075A07
Dan GHICAUniversity of Birmingham09/05/2007 - 09/06/20075A35
Silvia CRAFAUniversità di Padova30/04/2007 - 04/05/20075A23
Philippa GARDNERImperial College London19/03/2007 - 22/03/20075A23
Thomas STREICHERTechnische Universität Darmstadt15/01/2007 - 15/02/20075A43
Nobuko YOSHIDAImperial College London01/12/2006 - 28/02/20075A23
Kohei HONDAQueen Mary University of London01/12/2006 - 28/02/20075A23
Glynn WINSKELUniversity of Cambridge09/10/2006 - 27/10/20066C18
Brian REDMONDUniversity of Ottawa21/06/2006 - 24/06/20065A35
Martin HYLANDUniversity of Cambridge15/05/2006 - 15/07/20065A35
Antonino SALIBRAUniversità Ca'Foscari di Venezia02/05/2006 - 01/06/20066C18
Prakash PANANGADENMcGill University20/02/2006 - 24/02/20065A23
Valeriy KHAKHANYANMoscow State University of Railway Communications10/10/2005 - 10/12/20055A16
Lorenzo TORTORA DE FALCOUniversità Roma Tre12/11/2005 - 19/11/20055A35
Martín ESCARDÓUniversity of Birmingham01/06/2005 - 30/06/20055A23
Barry JAYUniversity of Technology, Sydney22/05/2005 - 22/06/20056C20
Marco DANELUTTOUniversity of Pisa16/05/2005 - 06/06/20056C15
Martin HYLANDUniversity of Cambridge17/05/2005 - 28/06/20055A35
Claudia FAGGIANUniversità degli Studi di Padova16/05/2005 - 16/06/20055A35
Ian STARKUniversity of Edinburgh09/05/2005 - 16/06/20055A35
Antonino SALIBRAUniversità Ca'Foscari di Venezia02/05/2005 - 30/06/20055A16
Giulio MANZONETTOUniversità Ca'Foscari di Venezia02/05/2005 - 30/06/20055A16
Roy DYCKHOFFUniversity of St Andrews26/04/2005 - 25/05/20056C20
Michel SCHELLEKENSUniversity of Cork24/03/2005 - 23/04/20055A16
Claudia FAGGIANUniversità degli Studi di Padova22/09/2004 - 31/12/20045A35
Valeri PLISKOMoscow State University15/09/2004 - 15/11/20045A16
Gordon PLOTKINUniversity of Edinburgh 01/07/2004 - 31/07/2004 5A43
Lorenzo TORTORA DE FALCOUniversità Roma Tre25/06/2004 - 25/07/20045A35
Antonino SALIBRAUniversità Ca'Foscari di Venezia08/03/2004 - 22/06/20046C16
Michel SCHELLEKENSUniversity of Cork09/06/2004 - 12/06/20045A07
Jakob Grue SIMONSENUniversity of Copenhagen01/02/2004 - 31/05/20045A16
Peter O'HEARNQueen Mary University of London01/04/2004 - 30/04/20045A35
Martin HYLANDUniversity of Cambridge01/03/2004 - 30/04/20045A35
Claudia FAGGIANUniversità degli Studi di Padova07/10/2003 - 30/11/20036C20
Giovanni SAMBINUniversità degli Studi di Padova20/10/2003 - 24/10/20035A07
Cosimo LANEVEUniversità di Bologna10/09/2003 - 19/09/20035A07
Josée DESHARNAISUniversité de Laval, Québec09/07/2003 - 04/08/20036C14
John LONGLEYUniversity of Edinburgh23/06/2003 - 22/07/20035A07
Val TANNENUniversity of Pennsylvania09/07/2003 - 16/07/20036C14
Klaus GRUEUniversity of Copenhagen01/06/2003 - 30/06/20035A07
Antonino SALIBRAUniversità Ca'Foscari di Venezia17/03/2003 - 17/06/20035A07
Hayo THIELECKEUniversity of Birmingham01/04/2003 - 28/04/20035A35
Ying JIANGChineese Academy of Sciences21/02/2003 - 25/03/20035A07
Claudia FAGGIANUniversity of Cambridge04/03/2003 - 06/03/20036C12
Michel SCHELLEKENSUniversity of Cork19/02/2003 - 21/02/20035A07
Davide SANGIORGIUniversity of Bologna12/12/2002 - 14/12/20026C14
Claudia FAGGIANUniversity of Cambridge07/10/2002 - 10/10/20026C14
Ralph MATTHESLudwig-Maximilian-University, Munich01/04/2002 - 01/10/20025A29
Paul LEVYUniversity of Birmingham01/09/2001 - 01/09/20025A01