Connexion

English version

Université Paris-Diderot

Centre National de la Recherche Scientifique

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

IRIF
Institut de Recherche
en Informatique Fondamentale
UMR 8243 Fédération de Recherche en Mathématiques de Paris Centre Fondation des Sciences Mathématiques de Paris Réseau de Recherche Doctoral en Mathématiques de l'Île-de-France UFR d'informatique
UFR de mathématiques

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

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

2015–2016OrganismeDates
Christian SchulteKTH Institute of Technology Stockholm07/09/2015 - 01/10/2015
Andrej BauerUniv. Ljubljana
Vadim KaimanovichUniv. Ottawa05/10/2015 - 30/10/2015
Angelo Di IorioUniv. Bologna19/10/2015 - 30/10/2015
Pablo Barenbaum14/10/2015 - 14/11/2015
Carlos Lombardi01/2016 - 06/2016
2014–2015OrganismeDates
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

Ocsigen Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce