Lastname | Firstname | University | Arrival | Departure |
---|---|---|---|---|
ABEL | Andreas | Chalmers | 02 Jun 2014 | 11 Jul 2014 |
ABRUSCI | Vito michele | Università Roma Tre | 01 Jun 2014 | 28 Jun 2014 |
ACCLAVIO | Matteo | Institut de Mathématiques de Marseille -AMU | 20 May 2014 | 21 May 2014 |
ACZEL | Peter | Manchester | 07 Apr 2014 | 11 Jul 2014 |
ADHIKARI | Subash | Tribhuvan University | 06 Apr 2014 | 13 Jul 2014 |
AFFELDT | Reynald | National Institute of Advanced Industrial Science and Technology | 04 May 2014 | 10 May 2014 |
AGON | Carlos | UPMC | 07 Apr 2014 | 11 Jul 2014 |
AHMAN | Danel | LFCS, University of Edinburgh | 01 Jun 2014 | 15 Jun 2014 |
AHMED | Amal | Northeastern University | 15 May 2014 | 11 Jul 2014 |
AHRENS | Benedikt | IRIT, Toulouse | 22 Apr 2014 | 11 Jul 2014 |
ALMAHALLAWI | Deyaaeldeen | Indiana University Bloomington | 06 Apr 2014 | 11 Jul 2014 |
ANAND | Bhupinder singh | None | 25 May 2014 | 31 May 2014 |
ANEL | Mathieu | ETH Zürich | 07 Apr 2014 | 11 Jul 2014 |
AOUDIA | Lamia | USTHB University and LIP6 | 05 May 2014 | 06 Jun 2014 |
ASCHIERI | Federico | ENS de Lyon | 02 Jun 2014 | 14 Jun 2014 |
ASHRAF | Owis | Cairo University | 05 Apr 2014 | 15 Jul 2014 |
ASSAF | Ali | INRIA Paris-Rocquencourt and Ecole Polytechnique | 07 Apr 2014 | 11 Jul 2014 |
AVIGAD | Jeremy` | Carnegie Mellon University | 08 Jun 2014 | 08 Jul 2014 |
AVRON | Arnon | Tel Aviv University | 04 May 2014 | 10 May 2014 |
AWODEY | Steve | Carnegie Mellon University | 04 May 2014 | 30 Jun 2014 |
AZEVEDO DE AMORIM | Arthur | University of Pennsylvania | 01 Jun 2014 | 12 Jul 2014 |
BAEZ | John | University of California, Riverside | 01 Apr 2014 | 01 Jun 2014 |
BAILLOT | Patrick | CNRS, ENS-Lyon, laboratoire LIP | 10 Jun 2014 | 14 Jun 2014 |
BARILLEC | Augustin | Inria | 07 Apr 2014 | 11 Jul 2014 |
BARRAS | Bruno | Inria Saclay | 07 Apr 2014 | 11 Jul 2014 |
BEAUJEAN | Paul | ENSIIE | 22 Apr 2014 | 11 Jul 2014 |
BEFFARA | Emmanuel | Université d'Aix-Marseille, Institut de Mathématiques de Marseille | 05 May 2014 | 11 Jul 2014 |
BELL | Christian | Princeton University (soon-to-be MIT) | 06 Jul 2014 | 12 Jul 2014 |
BENZAKEN | Véronique | Université Paris Sud | 07 Jul 2014 | 11 Jul 2014 |
BODEVEIX | Jean-paul | IRIT - Université Paul Sabatier | 05 May 2014 | 11 Jul 2014 |
BOLDO | Sylvie | Inria | 04 May 2014 | 12 Jul 2014 |
BORDG | Anthony | Université de Nice, LJAD | 07 Apr 2014 | 11 Jul 2014 |
BOURKE | Timothy | Inria/ENS | 22 Apr 2014 | 11 Jul 2014 |
BOUSLAMTI | Samir | Paris 6 | 21 Apr 2014 | 11 Jul 2014 |
BOUTILLIER | Pierre | PPS - Inria | 21 Apr 2014 | 21 Apr 2014 |
BOUTRY | Pierre | University of Strasbourg | 07 Apr 2014 | 11 Apr 2014 |
BOWMAN | William | Northeastern University | 17 May 2014 | 16 Jul 2014 |
BREDE | Nuria | University of Potsdam | 28 Apr 2014 | 28 Jul 2014 |
BREHARD | Florent | ens paris | 05 May 2014 | 09 May 2014 |
BRUNERIE | Guillaume | Université de Nice Sophia Antipolis | 07 Apr 2014 | 11 Jul 2014 |
CARAMELLO | Olivia | Università degli Studi dell'Insubria - Como and IHES | 07 Apr 2014 | 11 Jul 2014 |
CARBONNEAUX | Quentin | Yale University | 05 Apr 2014 | 12 Apr 2014 |
CASTÉRAN | Pierre | Université Bordeaux 1/ Labri | 10 Jun 2014 | 11 Jul 2014 |
CHARGUÉRAUD | Arthur | Inria | 07 Jul 2014 | 11 Jul 2014 |
CHENAVIER | Cyrille | Université Paris Diderot Laboratoire Preuves, programmes et systèmes | 07 Apr 2014 | 11 Jul 2014 |
CHEUNG | Kwok | University of Oxford | 06 Apr 2014 | 18 Apr 2014 |
CHIHANI | Zakaria | EDX-LIX-Inria | 01 Apr 2014 | 31 Jul 2014 |
CHLIPALA | Adam | MIT CSAIL | 06 Jul 2014 | 12 Jul 2014 |
CHRISTOPHER | Mary | EGITOR.NET | 07 Apr 2014 | 11 Jul 2014 |
CHUNG-KIL | Hur | Seoul National University | 22 Jun 2014 | 12 Jul 2014 |
CLAIRAMBAULT | Pierre | ENS Lyon | 02 Jun 2014 | 27 Jun 2014 |
COCKX | Jesper | KU Leuven | 04 May 2014 | 16 May 2014 |
COHEN | Cyril | University of Gothenburg | 22 Apr 2014 | 15 Jun 2014 |
COHEN | Liron | Tel Aviv University | 04 May 2014 | 07 Jun 2014 |
CONTEJEAN | Evelyne | CNRS/LRI | 07 Jul 2014 | 11 Jul 2014 |
COQUAND | Thierry | Gothenburg University | 28 Apr 2014 | 28 Jun 2014 |
COSTA | Vaston | Universidade Federal de Goias - UFG Brasil | 28 Feb 2014 | 28 Feb 2015 |
COTTON-BARRATT | Conrad | University of Oxford | 22 Jun 2014 | 27 Jun 2014 |
CURIEN | Pierre-louis | Paris Diderot / PPS | 22 Apr 2014 | 11 Jul 2014 |
CUVILLIER | Thomas | Queen Mary University of London | 07 Apr 2014 | 18 Apr 2014 |
CZAJKA | Łukasz | University of Warsaw | 06 Apr 2014 | 19 Apr 2014 |
DAGAND | Pierre-evariste | INRIA Rocquencourt | 07 Apr 2014 | 11 Jul 2014 |
DAN | Licata | Wesleyan University | 05 May 2014 | 09 May 2014 |
DARAIS | David | Harvard University | 01 May 2014 | 11 Jul 2014 |
DAS | Anupam | LIX & Department of Computer Science, University of Bath | 07 Apr 2014 | 11 Jul 2014 |
DE PAIVA | Valeria | NLU Research Lab, Nuance Communications | 21 Apr 2014 | 29 Apr 2014 |
DEHORNOY | Patrick | Université Paris Diderot, Laboratoire PPS | 22 Apr 2014 | 20 Jun 2014 |
DELAWARE | Benjamin | MIT | 06 Jul 2014 | 12 Jul 2014 |
DÍAZ-CARO | Alejandro | Université Paris-Ouest / INRIA Paris-Rocquencourt | 22 Apr 2014 | 11 Jul 2014 |
DIVASÓN | Jose | Universidad de La Rioja | 04 May 2014 | 11 May 2014 |
DOWEK | Gilles | Inria | 22 Apr 2014 | 25 Apr 2014 |
DUBOIS | Catherine | ENSIIE/CEDRIC | 22 Apr 2014 | 11 Jul 2014 |
DUCHESNE | Etienne | University of Bath | 02 Jun 2014 | 14 Jun 2014 |
DUMAS | Jean-guillaume | U. de Grenoble / LJK | 05 May 2014 | 14 Jun 2014 |
DUTCHYN | Christopher | University of Saskatchewan | 01 Apr 2014 | 15 Jul 2014 |
DUVAL | Dominique | University of Grenoble, LJK | 07 Apr 2014 | 11 Jul 2014 |
DYBJER | Peter | Chalmers University of Technology, Department of Computer Science | 07 Apr 2014 | 19 Jun 2014 |
EL SIBAÏE | Rémy | LIP6 | 02 Jun 2014 | 31 Jul 2014 |
ESCARDO | Martin | University of Birmingham, School of Computer Science | 01 Jun 2014 | 30 Jun 2014 |
FILALI-AMINE | Mamoun | CNRS IRIT | 06 Apr 2014 | 28 Jun 2014 |
FONG | Brendan | Oxford University Department of Computer Science Quantum Group | 01 Jun 2014 | 07 Jun 2014 |
FOUQUERE | Christophe | LIPN | 07 Apr 2014 | 11 Jul 2014 |
FOURMAN | Michael | Informatics, University of Edinburgh | 01 Apr 2014 | 12 Jul 2014 |
FREY | Jonas | University of Cambridge Computer Laboratory | 04 May 2014 | 12 Jul 2014 |
FUCHS | Laurent | Université de Poitiers, Laboratoire XLIM-SIC UMR CNRS 7252 | 05 May 2014 | 11 Jul 2014 |
GABOARDI | Marco | School of Computing, University of Dundee | 08 Jun 2014 | 13 Jul 2014 |
GALANAKI | Chrysida | University of Athens | 07 Apr 2014 | 11 Jul 2014 |
GAMBINO | Nicola | University of Leeds | 07 Apr 2014 | 11 Jul 2014 |
GARDE | Louis | R&D Staubli Robotics | 07 Jul 2014 | 11 Jul 2014 |
GEHRKE | Mai | Universite Paris Diderot, LIAFA | 22 Apr 2014 | 11 Jul 2014 |
GERARD | Olivier | Institut Marin Mersenne | 01 Apr 2014 | 12 Jul 2014 |
GEUVERS | Herman | Radboud University Nijmegen | 28 Apr 2014 | 23 May 2014 |
GIORGETTI | Alain | FEMTO-ST Institute | 21 Apr 2014 | 11 Jul 2014 |
GONZALEZ HUESCA | Lourdes del carmen | UnivParis7 INRIA PPS PiR2 | 22 Apr 2014 | 11 Jul 2014 |
GOYET | Alexis | PPS | 10 Jun 2014 | 10 Jun 2014 |
GRELLOIS | Charles | PPS/University Paris 7 | 01 Apr 2014 | 15 Jul 2014 |
GROSS | Jason | Massachusetts Institute of Technology | 31 May 2014 | 08 Jun 2014 |
GUATTO | Adrien | Département Informatique, ENS | 01 Apr 2014 | 31 Jul 2014 |
GUENOT | Nicolas | IT University of Copenhagen | 09 Jun 2014 | 13 Jun 2014 |
GUERRIERI | Giulio | PPS, Université Paris 7 | 07 Apr 2014 | 12 Jul 2014 |
GUERRINI | Stefano | LIPN, Univ. Paris 13 | 01 Apr 2014 | 01 Aug 2014 |
GUILLERMO | Mauricio | UdelaR | 30 May 2014 | 15 Jun 2014 |
GUILLON | Arthur | ENS Cachan | 07 Apr 2014 | 11 Jul 2014 |
HACENE | Ouzia | Paris 6 | 07 Apr 2014 | 15 Jul 2014 |
HARPER | Robert | Carnegie Mellon University | 01 Jun 2014 | 13 Jul 2014 |
HASEGAWA | Masahito | RIMS, Kyoto University | 08 Jun 2014 | 05 Jul 2014 |
HASELWARTER | Philipp | P7 - PPS | 07 Apr 2014 | 11 Jul 2014 |
HE | Fanny | University of Bath | 22 Apr 2014 | 12 Jul 2014 |
HERBELIN | Hugo | PPS - INRIA | 07 Apr 2014 | 11 Jul 2014 |
HERMANT | Olivier | MINES ParisTech / CRI | 07 Apr 2014 | 11 Jul 2014 |
HIRSCHOWITZ | Tom | Université de Savoie/CNRS/LAMA | 02 Jun 2014 | 12 Jul 2014 |
HOU | Kuenbang | Carnegie Mellon University | 07 Apr 2014 | 11 Jul 2014 |
HRITCU | Catalin | INRIA Paris-Rocquencourt | 22 Apr 2014 | 11 Jul 2014 |
HUBER | Simon | University of Gothenburg, Department of Computer Science and Engeneering | 22 Apr 2014 | 15 Jun 2014 |
HYLAND | John martin | Cambridge | 07 Apr 2014 | 11 Jul 2014 |
HYM | Samuel | Université Lille 1, LIFL | 07 Apr 2014 | 11 Jul 2014 |
HYVERNAT | Pierre | université de Savoie, Laboratoire de mathématiques (UMR 5127) | 05 May 2014 | 27 Jun 2014 |
ILIK | Danko | (unaffiliated) | 07 Apr 2014 | 11 Jul 2014 |
JABER | Guilhem | École des Mines de nantes | 22 Apr 2014 | 11 Jul 2014 |
JAMES | Laird | University of Bath | 09 Jun 2014 | 12 Jun 2014 |
JHALA | Ranjit | UC San Diego | 22 Jun 2014 | 28 Jun 2014 |
JOHANN | Patricia | Appalachian State University | 30 May 2014 | 06 Jun 2014 |
JOUANNAUD | Jean-pierre | LIX | 15 May 2014 | 15 Jul 2014 |
JOYAL | André | Université du Québec à Montréal | 17 May 2014 | 28 Jun 2014 |
KAPOSI | Ambrus | University of Nottingham | 22 May 2014 | 08 Jun 2014 |
KAPRON | Bruce | University of Victoria | 01 May 2014 | 30 Jun 2014 |
KAPULKIN | Krzysztof | University of Pittsburgh | 04 May 2014 | 07 Jun 2014 |
KAWAMURA | Akitoshi | University of Tokyo | 15 Jun 2014 | 18 Jun 2014 |
KAZENYUK | Sergey | SPbAU RAS / EXANTE | 05 Jul 2014 | 14 Jul 2014 |
KEIMEL | Klaus | Technische Universitaet Darmstadt | 25 May 2014 | 25 Jun 2014 |
KELLER | Chantal | Microsoft - Inria Joint Lab | 21 Apr 2014 | 12 Jul 2014 |
KERJEAN | Marie | Univ Paris 7 PPS | 07 Apr 2014 | 11 Jul 2014 |
KOCK | Joachim | Universitat Autònoma de Barcelona | 18 May 2014 | 18 Jun 2014 |
KOMENDANTSKAYA | Ekaterina | University of Dundee | 22 Apr 2014 | 11 Jul 2014 |
KOSMATOV | Nikolay | CEA LIST | 07 Jul 2014 | 11 Jul 2014 |
KRAUS | Nicolai | University of Nottingham | 04 May 2014 | 15 Jun 2014 |
LASSAIGNE | Richard | University Paris Diderot | 07 Apr 2014 | 11 Jul 2014 |
LASSON | Marc | Comp. Lab, Cambridge University | 21 Apr 2014 | 21 Apr 2014 |
LASSON | Marc | INRIA πr2 | 05 May 2014 | 11 Jul 2014 |
LEIVANT | Daniel | Indiana University | 05 May 2014 | 05 Jul 2014 |
LHERMITTE | Sylvie | CNRS | 05 Apr 2014 | 05 Jul 2014 |
LOMBARDI | Henri | Université de Franche-Comté | 05 Apr 2014 | 30 Apr 2014 |
LOULERGUE | Frédéric | Université d'Orléans / LIFO | 22 Apr 2014 | 22 Apr 2014 |
LUMSDAINE | Peter | Institute for Advanced Study | 07 Apr 2014 | 11 Jul 2014 |
LUXEMBOURG | Andrey | ISA | 01 Apr 2014 | 02 Jun 2014 |
MACEDO | Hugo | INRIA Roquencourt | 01 Apr 2014 | 12 Jul 2014 |
MAGAUD | Nicolas | Université de Strasbourg | 07 Apr 2014 | 11 Jul 2014 |
MAGGESI | Marco | Università di Firenze | 03 May 2014 | 16 May 2014 |
MAHBOUBI | Assia | Inria | 07 Apr 2014 | 11 Jul 2014 |
MAIETTI | Maria emilia | Dipartimento di Matematica- University of Padova | 02 Jun 2014 | 06 Jun 2014 |
MAKOTO | Hamana | Gunma University | 02 Jun 2014 | 14 Jun 2014 |
MALBOS | Philippe | Université Claude Bernard Lyon 1 | 07 Apr 2014 | 11 Jul 2014 |
MANDEL | Louis | Collège de France | 07 Apr 2014 | 11 Jul 2014 |
MANNAA | Bassel | University of Gothenburg | 22 Apr 2014 | 16 Jun 2014 |
MANZONETTO | Giulio | Univ. Paris 13/LIPN | 07 Apr 2014 | 11 Jul 2014 |
MARTENS | Moritz | Technical University Dortmund | 23 Jun 2014 | 28 Jun 2014 |
MARTIN-DOREL | Erik | Inria Saclay - Île-de-France / LRI | 07 Apr 2014 | 11 Jul 2014 |
MARTIN-LÖF | Per | University of Stockholm | 21 Apr 2014 | 21 Jun 2014 |
MATES | Phillip | Northeastern University | 04 May 2014 | 13 Jul 2014 |
MATTHES | Ralph | IRIT (CNRS & Univ. Toulouse) | 21 Apr 2014 | 15 Jun 2014 |
MAYERO | Micaela | LIPN - Université Paris 13 | 20 Apr 2014 | 14 Jul 2014 |
MAZZA | Damiano | CNRS - Laboratoire d'Informatique de Paris Nord | 07 Apr 2014 | 11 Jul 2014 |
MCCUSKER | Guy | University of Bath, Department of Computer Science | 01 May 2014 | 11 Jul 2014 |
MELLIES | Paul-andré | Paris Diderot / INSMI / PPS | 07 Apr 2014 | 11 Jul 2014 |
METAYER | Francois | PPS Paris Diderot | 05 May 2014 | 11 Jul 2014 |
MEZZAROBBA | Marc | CNRS, LIP6, UPMC | 22 Apr 2014 | 25 Apr 2014 |
MILLER | Dale | LIX, Ecole Polytechnique | 01 Apr 2014 | 31 Jul 2014 |
MIMRAM | Samuel | CEA LIST | 22 Apr 2014 | 11 Jul 2014 |
MISAMORE | Michael | University of Western Ontario | 11 May 2014 | 16 May 2014 |
MOAL | Herve | Astrance | 07 Apr 2014 | 11 Jul 2014 |
MOMIGLIANO | Alberto | University of Milan | 06 Jul 2014 | 13 Jul 2014 |
MONNIAUX | David | VERIMAG | 22 Apr 2014 | 11 Jul 2014 |
MOREHOUSE | Edward | Carnegie Mellon University | 30 May 2014 | 30 Jun 2014 |
MÖRTBERG | Anders | Chalmers University of Technology and University of Gothenburg | 22 Apr 2014 | 15 Jun 2014 |
MOYANO GARCÍA | Iván | Université Pierre et Marie Curie (Paris6) and Universidad Complutense de Madrid | 01 Jun 2014 | 07 Jun 2014 |
NAGARAJAN | Rajagopal | Middlesex University London | 07 Apr 2014 | 11 Jul 2014 |
NARUSE | Hiroshi | University of Yamanashi | 05 May 2014 | 07 May 2014 |
NATARAJAN | Raja | Tata Institute of Fundamental Research | 01 May 2014 | 30 Jun 2014 |
NAYEL | Hamada | Benha University | 20 Apr 2014 | 13 Jul 2014 |
NEMOTO | Takako | Japan Advanced Institute of Science and Technology | 07 Apr 2014 | 11 Apr 2014 |
NERON | Pierre | T.U. Delft | 07 Apr 2014 | 11 Jul 2014 |
NGUYEN | Le thanh dung | ENS Ulm | 22 Apr 2014 | 12 Jul 2014 |
NITULESCU | Anca | Paris 6/LIP6 | 01 Apr 2014 | 01 Aug 2014 |
NORTH | Paige | University of Cambridge | 19 Apr 2014 | 13 Jul 2014 |
OBRADOVIĆ | Jovana | Faculty of Technical Sciences, University of Novi Sad | 06 Apr 2014 | 19 Apr 2014 |
OLIVA | Paulo | Queen Mary University of London | 01 Jun 2014 | 06 Jun 2014 |
ONG | Luke | University of Oxford | 21 Apr 2014 | 12 Jul 2014 |
ORSANIGO | Federico | Strathclyde University (Glasgow) | 06 Apr 2014 | 12 Jul 2014 |
OWIS | Ashraf | Cairo University/ Science | 06 Apr 2014 | 12 Jul 2014 |
PAGANI | Michele | Université Paris 13 - LIPN | 07 Apr 2014 | 11 Jul 2014 |
PATEY | Ludovic | Univ Paris 7 PPS | 07 Apr 2014 | 11 Jul 2014 |
PATRICK | Nounamo dabou | University of Maroua, Cameroon | 06 Apr 2014 | 12 Jul 2014 |
PAULIN-MOHRING | Christine | Université Paris-Sud | 30 Jun 2014 | 11 Jul 2014 |
PÉDROT | Pierre-marie | PPS/PiR2 | 07 Apr 2014 | 11 Jul 2014 |
PELLISSIER | Luc | ENS Cachan | 07 Apr 2014 | 11 Jul 2014 |
POUILLARD | Nicolas | IT University of Copenhagen | 02 Jun 2014 | 06 Jun 2014 |
POUS | Damien | LIP | 23 Jun 2014 | 11 Jul 2014 |
POUZET | Marc | ENS DI | 18 Jun 2014 | 20 Jun 2014 |
POWELL | Thomas | Institut des Hautes Etudes Scientifiques | 07 Apr 2014 | 11 Jul 2014 |
PUTOT | Sylvie | CEA LIST | 07 Apr 2014 | 11 Jul 2014 |
QUIRIN | Kevin | INRIA / EMN | 07 Apr 2014 | 29 May 2014 |
RAMANANANDRO | Tahina | Yale University - Department of Computer Science | 07 Jul 2014 | 11 Jul 2014 |
RAMOS | Marcus | UFPE | 01 Apr 2014 | 15 Jul 2014 |
RATHJEN | Michael | University of Leeds | 24 May 2014 | 14 Jun 2014 |
RAUF | Usman | UNC Charlotte, NC, USA | 01 May 2014 | 15 Jul 2014 |
REHM | Joris | ClearSy | 28 Apr 2014 | 28 Apr 2014 |
RENAUD | Fabien | INRIA | 07 Apr 2014 | 11 Jul 2014 |
RIBA | Colin | ENS de Lyon/LIP | 05 May 2014 | 11 Jul 2014 |
RIEG | Lionel | ENSIIE | 07 Apr 2014 | 11 Jul 2014 |
ROSOLINI | Giuseppe | Genova | 30 May 2014 | 15 Jun 2014 |
ROYER | James | Syracuse University | 15 May 2014 | 15 Jun 2014 |
RYPÁČEK | Ondřej | University of Oxford/Department of Computer Science | 01 Jun 2014 | 12 Jul 2014 |
SAILLARD | Ronan | Mines ParisTech | 21 Apr 2021 | 11 Jul 2014 |
SALIBRA | Antonino | Università Ca'Foscari Venezia | 07 Apr 2014 | 11 Jul 2014 |
SATTLER | Christian | Nottingham | 27 Apr 2014 | 19 Jun 2014 |
SAURIN | Alexis | Université Paris Diderot, PPS | 07 Apr 2014 | 11 Jul 2014 |
SCHMITZ | Sylvain | ENS Cachan / INRIA / LSV | 23 Jun 2014 | 26 Jun 2014 |
SCHOEPP | Ulrich | LMU Munich | 22 Apr 2014 | 22 Jun 2014 |
SCHUSTER | Peter | University of Leeds, Department of Pure Mathematics | 28 Apr 2014 | 06 Jun 2014 |
SCOTT | Philip | Mathématiques, U. Ottawa | 01 Jun 2014 | 14 Jun 2014 |
SEILLER | Thomas | IHES | 07 Apr 2014 | 11 Jul 2014 |
SENDROIU | Elena | chercheur indépendant | 21 Apr 2014 | 15 Jul 2014 |
SERRE | Olivier | LIAFA (Univ. Paris Diderot & CNRS) | 07 Apr 2014 | 11 Jul 2014 |
SHAO | Zhong | Yale University | 07 Apr 2014 | 11 Jul 2014 |
SHIN-YA | Katsumata | Research Institute for Mathematical Sciences, Kyoto University | 22 Apr 2014 | 10 May 2014 |
SIGHIREANU | Mihaela | University Paris Diderot/LIAFA | 28 Apr 2014 | 11 Jul 2014 |
SINCHUK | Sergey | Saint-Petersburg State University | 04 May 2014 | 11 Jul 2014 |
SIREGAR | Maria | University of Sheffield | 06 Apr 2014 | 20 Apr 2014 |
SKVORTSOV | Mikhail | IPMCE RAS | 05 Apr 2014 | 31 Jul 2014 |
SMOLKA | Gert | Saarland University | 01 Jun 2014 | 07 Jun 2014 |
SOJAKOVA | Kristina | Carnegie Mellon University | 07 Apr 2014 | 11 Jul 2014 |
SOLOVIEV | Serguei | University Toulouse 3, IRIT | 12 May 2014 | 12 Jun 2014 |
SOZEAU | Matthieu | Inria - PPS | 01 Apr 2014 | 30 Jun 2014 |
SPITTERS | Bas | Radboud University Nijmegen | 07 Apr 2014 | 11 Jul 2014 |
SPIWACK | Arnaud | Inria | 22 Apr 2014 | 11 Jul 2014 |
STAMPOULIS | Antonis | MIT CSAIL | 06 Jul 2014 | 12 Jul 2014 |
STEELE | Hugh | LIPN, Univ Paris 13 | 07 Apr 2014 | 11 Jul 2014 |
STONEK | Bruno | LAGA - Université Paris XIII | 04 Sep 2013 | 05 Sep 2018 |
STREICHER | Thomas | 07 Apr 2014 | 11 Jul 2014 | |
TABAREAU | Nicolas | INRIA | 05 May 2014 | 11 Jul 2014 |
TASSI | Enrico | Inria | 07 Apr 2014 | 11 Jul 2014 |
TASSON | Christine | Université Paris Diderot | 10 May 2014 | 15 Jul 2014 |
TIMOTHY | Revell | University of Strathclyde | 06 Apr 2014 | 12 Jul 2014 |
TORTORA DE FALCO | Lorenzo | Dipartimento do Matematica e Fisica, Università Roma Tre | 22 Apr 2014 | 11 Jul 2014 |
TSUKADA | Takeshi | University of Oxford | 22 Jun 2014 | 28 Jun 2014 |
TZEVELEKOS | Nikos | Queen Mary, University of London | 19 May 2014 | 27 Jun 2014 |
URBAN | Christian | King's College London | 22 Apr 2014 | 11 Jul 2014 |
VALLETTE | Bruno | Université Nice Sophia Antipolis | 01 Jun 2014 | 21 Jun 2014 |
VIDMAR | Jakob | Paris 7 | 01 Sep 2013 | 30 Aug 2014 |
VIGLIOTTI | Maria grazia | Adelard | 07 Jul 2014 | 11 Jul 2014 |
VOEVODSKY | Vladimir | 22 Apr 2014 | 11 Jul 2014 | |
VON GLEHN | Tamara | University of Cambridge | 07 Apr 2014 | 14 Jun 2014 |
WALUKIEWICZ | Igor | LaBRI | 01 May 2014 | 14 May 2014 |
WANG | Peng | MIT CSAIL | 06 Jul 2014 | 12 Jul 2014 |
WERNER | Benjamin | LIX | 01 Apr 2014 | 31 Jul 2014 |
WINSKEL | Glynn | University of Cambridge | 11 Apr 2014 | 11 Jul 2014 |
WISNICKI | Andrzej | Maria Curie-Sklodowska University / Institute of Mathematics | 22 Apr 2014 | 11 Jul 2014 |
XU | Chuangjie | School of Computer Science, University of Birmingham, UK | 25 May 2014 | 14 Jun 2014 |
YANG | Hongseok | University of Oxford | 07 Jul 2014 | 11 Jul 2014 |
YANG | Xuan | Osnabrück | 06 Apr 2014 | 19 Apr 2014 |
YOSHIDA | Nobuko | Imperial College London | 22 Jun 2014 | 11 Jul 2014 |
ZANASI | Fabio | Ecole Normale Superieure de Lyon / LIP | 19 May 2014 | 22 May 2014 |
ZEILBERGER | Noam | Inria | 01 Apr 2014 | 01 Aug 2014 |
ZENNOU | Sarah | Airbus Group | 07 Jul 2014 | 11 Jul 2014 |
ZORZI | Margherita | Università di Verona | 09 Jun 2014 | 15 Jun 2014 |
Links:
[1] http://ihp2014.pps.univ-paris-diderot.fr/
[2] http://ihp.fr/sites/default/files/9/2014_affiche-ihp-semantics-web-.pdf
[3] http://ihp.fr/en/ceb/trimester/proofs/cirm
[4] http://ihp.fr/en/ceb/trimester/proofs/workshop1
[5] http://ihp.fr/en/ceb/trimester/proofs/workshop2
[6] http://ihp.fr/en/ceb/trimester/proofs/workshop3
[7] http://ihp.fr/en/ceb/trimester/proofs/workshop4
[8] http://ihp.fr/en/ceb/trimester/proofs/workshop5
[9] mailto:proofs@ihp.fr
[10] http://ihp.fr/en/program/10225/colloques/register
[11] http://ihp.fr/en/node/10225/2019#jTab2
[12] http://ihp.fr/en/node/10225/2019-06#jTab2
[13] http://ihp.fr/en/node/10225/2019-W25#jTab2
[14] http://ihp.fr/en/node/10225/2019-06-21#jTab2
[15] http://ihp.fr/node/10225/2019-06-20#jTab2
[16] http://ihp.fr/node/10225/2019-06-22#jTab2