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

2014–2015OrganismeDates
Andrej BauerUniv. Ljubljana2015
Vadim KaimanovichUniv. Ottawa2015
Christian SchulteKTH Institute of Technology Stockholm2015
Thomas StreicherTechnische Universität Darmstadt10/03/2015 - 31/03/2015
Timothy GriffinUniv. Cambridge15/03/2015 - 15/04/2015
Angelo Di IorioUniv. Bologna27/04/2014 - 08/05/2014
19/10/2014 - 30/10/2014
Gabriele D'AngeloUniv. Bologna14/12/2014 - 19/12/2014
Nobuko YoshidaImperial College London12/09/2014 - 26/09/2014
Bas SpittersRadboud Universiteit Nijmegen01/09/2014 - 30/09/2014
2013–2014OrganismeDates
Gabriele D'AngeloUniv. Bologna08/04/2014 - 18/04/2014
05/07/2014 - 19/07/2014
Jeremy AvigadCarnegie Mellon Univ.30/05/2014 - 13/06/2014
Eduardo BonelliUniv. Nacional de Quilmes31/03/2014 - 02/05/2014
Simona Ronchi Della RoccaUniv. Torino02/2014 - 03/2014
2012–2013OrganismeDates
Antonino SalibraUniv. Ca'Foscari Venezia05/2013 - 06/2013
Keiko NakataTallinn University of Technology01/2013 - 03/2013
Mariangiola Dezani Università di Torino 25/09/2012 - 02/10/2012
Luca Padovani Università di Torino 25/09/2012 - 02/10/2012
Zena AriolaUniversity of Oregon01/09/2012 - 31/08/2013
2011–2012OrganismeDates
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
Marcelo Fiore University of Cambridge 01/10/2011 - 30/09/2012
Tim Griffin University of Cambridge 01/10/2011 - 30/09/2012
Mariangiola Dezani Università di Torino 13/11/2011 - 27/11/2011
Luca Padovani Università di Torino 13/11/2011 - 27/11/2011
Davide Ancona Università di Genova 08/12/2011 - 16/12/2011
Klaus Keimel Technische Universität Darmstadt 16/11/2011 - 23/11/2011
Thorsten Altenkirch University of Nottingham 01/10/2011 - 31/10/2011
Eduardo BonelliUniversidad nacional de Quilmes 09/09/2011 - 09/10/2011
2010–2011OrganismeDates
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 SalibraUniv. Ca'Foscari Venezia09/03/2011 - 25/07/2011
Masahiro HamanoJST, Japon10/03/2011 - 14/03/2011
Philip ScottUniversité d'Ottawa10/03/2011 - 14/03/2011
Ugo Dal LagoUniversité de Bologne01/03/2011 - 31/03/2011
Daniel LeivantChercheur invité au LORIA - financé par la région Lorraine, Indiana University13/01/2011 - 13/07/2011
Ying JiangChinese Academy of Sciences01/01/2011 - 15/02/2011
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/2011
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
VISITEURS PRÉCÉDENTSOrganismeDates
Peter DrabikUniversity of Pisa01/06/2010 - 30/09/2010
Jean Goubault LarrecqENS Cachan04/01/2010 - 04/06/2010
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/2010
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/2010
Davide Di RuscioUniversita degli Studi dell' Aquila17/02/2010 - 26/02/2010
Patrizio PelliccioneUniversita degli Studi dell' Aquila17/02/2010 - 26/02/2010
Simona Ronchi della RoccaUniversité de Turin15/02/2010 - 15/03/2010
Kazushige TERUIKyoto University23/01/2010 - 22/04/2010
Flavio MouraUniversité de Brasilia07/09/2009 - 11/11/2009
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/2009
Naohiko Hoshino RIMS, Universite de Kyoto, Japon23/06/2009 - 06/07/2009
John Baez UCLA Riverside, Etats-Unis 15/06/2009 - 07/08/2009
Jorge Luis Sacchini INRIA Sophia-Antipolis 08/06/2009 - 31/08/2009
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/2009
Beniamino AccattoliUniversità La Sapienza - Roma15/10/2008 - 15/04/2009
Xiaoju (Daisy) DongShanghai Jiaotong University28/07/2008 - 18/01/2009
Gérard BoudolINRIA Sophia-Antipolis15/09/2008 - 15/12/2008
Mai GEHRKERadboud Universiteit Nijmegen02/04/2008 - 07/04/2008
07/07/2008 - 31/07/2008
Daniele GorlaUniversità di Roma18/02/2008 - 16/03/2008
14/07/2008 - 03/08/2008
Eduardo BonelliUniversidad nacional de Quilmes (Argentine)09/06/2008 - 28/06/2008
Thorsten AltenkirchUniversité de Nottingham22/05/2008 - 06/06/2008
Barry JayUniversity of Technology, Sydney20/05/2008 - 20/06/2008
Luca PadovaniUniversité de Urbino (Italie)01/05/2008 - 30/05/2008
Antonino SALIBRAUniversità Ca'Foscari di Venezia03/2008 - 07/2008
Cosimo LaneveUniversité de Bologne04/2008
Carlos LOMBARDIUniversité de Buenos Aires25/01/2008 - 29/02/2008
Olivier DANVYUniversity of Aarhus01/11/2007 - 31/01/2008
Roberto MAIELIUniversità Roma Tre11/11/2007 - 17/11/2007
Vladimiro SASSONEUniversity of Southampton28/05/2007 - 06/07/2007
Antonino SALIBRAUniversità Ca'Foscari di Venezia03/2007 - 06/2007
Dan GHICAUniversity of Birmingham09/05/2007 - 09/06/2007
Silvia CRAFAUniversità di Padova30/04/2007 - 04/05/2007
Philippa GARDNERImperial College London19/03/2007 - 22/03/2007
Thomas STREICHERTechnische Universität Darmstadt15/01/2007 - 15/02/2007
Nobuko YOSHIDAImperial College London01/12/2006 - 28/02/2007
Kohei HONDAQueen Mary University of London01/12/2006 - 28/02/2007
Glynn WINSKELUniversity of Cambridge09/10/2006 - 27/10/2006
Brian REDMONDUniversity of Ottawa21/06/2006 - 24/06/2006
Martin HYLANDUniversity of Cambridge15/05/2006 - 15/07/2006
Antonino SALIBRAUniversità Ca'Foscari di Venezia02/05/2006 - 01/06/2006
Prakash PANANGADENMcGill University20/02/2006 - 24/02/2006
Valeriy KHAKHANYANMoscow State University of Railway Communications10/10/2005 - 10/12/2005
Lorenzo TORTORA DE FALCOUniversità Roma Tre12/11/2005 - 19/11/2005
Martín ESCARDÓUniversity of Birmingham01/06/2005 - 30/06/2005
Barry JAYUniversity of Technology, Sydney22/05/2005 - 22/06/2005
Marco DANELUTTOUniversity of Pisa16/05/2005 - 06/06/2005
Martin HYLANDUniversity of Cambridge17/05/2005 - 28/06/2005
Claudia FAGGIANUniversità degli Studi di Padova16/05/2005 - 16/06/2005
Ian STARKUniversity of Edinburgh09/05/2005 - 16/06/2005
Antonino SALIBRAUniversità Ca'Foscari di Venezia02/05/2005 - 30/06/2005
Giulio MANZONETTOUniversità Ca'Foscari di Venezia02/05/2005 - 30/06/2005
Roy DYCKHOFFUniversity of St Andrews26/04/2005 - 25/05/2005
Michel SCHELLEKENSUniversity of Cork24/03/2005 - 23/04/2005
Claudia FAGGIANUniversità degli Studi di Padova22/09/2004 - 31/12/2004
Valeri PLISKOMoscow State University15/09/2004 - 15/11/2004
Gordon PLOTKINUniversity of Edinburgh 01/07/2004 - 31/07/2004
Lorenzo TORTORA DE FALCOUniversità Roma Tre25/06/2004 - 25/07/2004
Antonino SALIBRAUniversità Ca'Foscari di Venezia08/03/2004 - 22/06/2004
Michel SCHELLEKENSUniversity of Cork09/06/2004 - 12/06/2004
Jakob Grue SIMONSENUniversity of Copenhagen01/02/2004 - 31/05/2004
Peter O'HEARNQueen Mary University of London01/04/2004 - 30/04/2004
Martin HYLANDUniversity of Cambridge01/03/2004 - 30/04/2004
Claudia FAGGIANUniversità degli Studi di Padova07/10/2003 - 30/11/2003
Giovanni SAMBINUniversità degli Studi di Padova20/10/2003 - 24/10/2003
Cosimo LANEVEUniversità di Bologna10/09/2003 - 19/09/2003
Josée DESHARNAISUniversité de Laval, Québec09/07/2003 - 04/08/2003
John LONGLEYUniversity of Edinburgh23/06/2003 - 22/07/2003
Val TANNENUniversity of Pennsylvania09/07/2003 - 16/07/2003
Klaus GRUEUniversity of Copenhagen01/06/2003 - 30/06/2003
Antonino SALIBRAUniversità Ca'Foscari di Venezia17/03/2003 - 17/06/2003
Hayo THIELECKEUniversity of Birmingham01/04/2003 - 28/04/2003
Ying JIANGChineese Academy of Sciences21/02/2003 - 25/03/2003
Claudia FAGGIANUniversity of Cambridge04/03/2003 - 06/03/2003
Michel SCHELLEKENSUniversity of Cork19/02/2003 - 21/02/2003
Davide SANGIORGIUniversity of Bologna12/12/2002 - 14/12/2002
Claudia FAGGIANUniversity of Cambridge07/10/2002 - 10/10/2002
Ralph MATTHESLudwig-Maximilian-University, Munich01/04/2002 - 01/10/2002
Paul LEVYUniversity of Birmingham01/09/2001 - 01/09/2002