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