• English
  • Français
  • L'Institut
  • Actualités
  • Recherche
  • Opportunités
  • Bibliothèque
  • M ● ⬛
  • Tout public
  • En pratique
  • Accueil
  • Trimestres thématiques
    • Calendrier
    • Trimestre en cours
    • Trimestres à venir
    • Trimestres thématiques 2010 - ...
    • Archives - Trimestres thématiques de 1994 à 2010
  • Formation doctorale
    • Cours doctoraux 2019
    • Archives - Programmes doctoraux -
  • Research in Paris
    • Research in Paris 2020
    • Archives "Research In Paris"
  • Activités hébergées
    • Séminaires et groupes de travail
    • Séminaire d'Histoire des Mathématiques de l'IHP
    • Mathematic Park
    • "Une question, un chercheur"
  • Annales de l'IHP
    • Annales Henri Poincaré
    • Annales IHP Probab. Stat.
    • Annales IHP C - Anal. Non Linéaire
    • Annales IHP D
    • Prix des Annales
  • Sorbonne Universit
  • CNRS

  • Accueil
  • Recherche
  • Trimestres thématiques
  • Trimestres thématiques 2010 - ...
Version imprimable
  • Information et inscriptions
  • Calendrier
  • Liste des participants

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

Organisation administrative, logistique et financière

Claire BÉRENGER
Contact : proofs@ihp.fr
Téléphone : 01 44 27 67 64

Informations complémentaires


Inscription

Les demandes de support financier sont maintenant closes.
Inscription programme + colloque(s) [inscription colloque(s) facultative]
Registrations for the workshops are on https://indico.math.cnrs.fr/category/321/

Calendrier

  • Amphi Hermite
  • Amphi Darboux
  • Salle 01
  • Salle 05
  • Salle 201
  • Salle 204
  • Salle 314
  • Salle 416
  • Salle 421
  • Autres
Format : 22/04/2021
  • Année
  • Mois
  • Semaine
  • Jour
« Préc.  

Mardi, Octobre 1 2019

  Suiv. »
Eléments
 
NomPrénomUniversitéArrivéeDépart
ABELAndreasChalmers02 Juin 201411 Juil 2014
ABRUSCIVito micheleUniversità Roma Tre01 Juin 201428 Juin 2014
ACCLAVIOMatteoInstitut de Mathématiques de Marseille -AMU20 Mai 201421 Mai 2014
ACZELPeterManchester07 Avr 201411 Juil 2014
ADHIKARISubashTribhuvan University06 Avr 201413 Juil 2014
AFFELDTReynaldNational Institute of Advanced Industrial Science and Technology04 Mai 201410 Mai 2014
AGONCarlosUPMC07 Avr 201411 Juil 2014
AHMANDanelLFCS, University of Edinburgh01 Juin 201415 Juin 2014
AHMEDAmalNortheastern University15 Mai 201411 Juil 2014
AHRENSBenediktIRIT, Toulouse22 Avr 201411 Juil 2014
ALMAHALLAWIDeyaaeldeenIndiana University Bloomington06 Avr 201411 Juil 2014
ANANDBhupinder singhNone25 Mai 201431 Mai 2014
ANELMathieuETH Zürich07 Avr 201411 Juil 2014
AOUDIALamiaUSTHB University and LIP605 Mai 201406 Juin 2014
ASCHIERIFedericoENS de Lyon02 Juin 201414 Juin 2014
ASHRAFOwisCairo University05 Avr 201415 Juil 2014
ASSAFAliINRIA Paris-Rocquencourt and Ecole Polytechnique07 Avr 201411 Juil 2014
AVIGADJeremy`Carnegie Mellon University08 Juin 201408 Juil 2014
AVRONArnonTel Aviv University04 Mai 201410 Mai 2014
AWODEYSteveCarnegie Mellon University04 Mai 201430 Juin 2014
AZEVEDO DE AMORIMArthurUniversity of Pennsylvania01 Juin 201412 Juil 2014
BAEZJohnUniversity of California, Riverside01 Avr 201401 Juin 2014
BAILLOTPatrickCNRS, ENS-Lyon, laboratoire LIP10 Juin 201414 Juin 2014
BARILLECAugustinInria07 Avr 201411 Juil 2014
BARRASBrunoInria Saclay07 Avr 201411 Juil 2014
BEAUJEANPaulENSIIE22 Avr 201411 Juil 2014
BEFFARAEmmanuelUniversité d'Aix-Marseille, Institut de Mathématiques de Marseille05 Mai 201411 Juil 2014
BELLChristianPrinceton University (soon-to-be MIT)06 Juil 201412 Juil 2014
BENZAKENVéroniqueUniversité Paris Sud 07 Juil 201411 Juil 2014
BODEVEIXJean-paulIRIT - Université Paul Sabatier05 Mai 201411 Juil 2014
BOLDOSylvieInria04 Mai 201412 Juil 2014
BORDGAnthonyUniversité de Nice, LJAD07 Avr 201411 Juil 2014
BOURKETimothyInria/ENS22 Avr 201411 Juil 2014
BOUSLAMTISamirParis 621 Avr 201411 Juil 2014
BOUTILLIERPierrePPS - Inria21 Avr 201421 Avr 2014
BOUTRYPierreUniversity of Strasbourg07 Avr 201411 Avr 2014
BOWMANWilliamNortheastern University17 Mai 201416 Juil 2014
BREDENuriaUniversity of Potsdam28 Avr 201428 Juil 2014
BREHARDFlorentens paris05 Mai 201409 Mai 2014
BRUNERIEGuillaumeUniversité de Nice Sophia Antipolis07 Avr 201411 Juil 2014
CARAMELLOOliviaUniversità degli Studi dell'Insubria - Como and IHES07 Avr 201411 Juil 2014
CARBONNEAUXQuentinYale University05 Avr 201412 Avr 2014
CASTÉRANPierreUniversité Bordeaux 1/ Labri10 Juin 201411 Juil 2014
CHARGUÉRAUDArthurInria07 Juil 201411 Juil 2014
CHENAVIERCyrilleUniversité Paris Diderot Laboratoire Preuves, programmes et systèmes07 Avr 201411 Juil 2014
CHEUNGKwokUniversity of Oxford06 Avr 201418 Avr 2014
CHIHANIZakariaEDX-LIX-Inria01 Avr 201431 Juil 2014
CHLIPALAAdamMIT CSAIL06 Juil 201412 Juil 2014
CHRISTOPHERMaryEGITOR.NET07 Avr 201411 Juil 2014
CHUNG-KILHurSeoul National University22 Juin 201412 Juil 2014
CLAIRAMBAULTPierreENS Lyon02 Juin 201427 Juin 2014
COCKXJesperKU Leuven04 Mai 201416 Mai 2014
COHENCyrilUniversity of Gothenburg22 Avr 201415 Juin 2014
COHENLironTel Aviv University04 Mai 201407 Juin 2014
CONTEJEANEvelyneCNRS/LRI07 Juil 201411 Juil 2014
COQUANDThierryGothenburg University28 Avr 201428 Juin 2014
COSTAVastonUniversidade Federal de Goias - UFG Brasil28 Fév 201428 Fév 2015
COTTON-BARRATTConradUniversity of Oxford22 Juin 201427 Juin 2014
CURIENPierre-louisParis Diderot / PPS22 Avr 201411 Juil 2014
CUVILLIERThomasQueen Mary University of London07 Avr 201418 Avr 2014
CZAJKAŁukaszUniversity of Warsaw06 Avr 201419 Avr 2014
DAGANDPierre-evaristeINRIA Rocquencourt07 Avr 201411 Juil 2014
DANLicataWesleyan University05 Mai 201409 Mai 2014
DARAISDavidHarvard University01 Mai 201411 Juil 2014
DASAnupamLIX & Department of Computer Science, University of Bath07 Avr 201411 Juil 2014
DE PAIVAValeriaNLU Research Lab, Nuance Communications21 Avr 201429 Avr 2014
DEHORNOYPatrickUniversité Paris Diderot, Laboratoire PPS22 Avr 201420 Juin 2014
DELAWAREBenjaminMIT06 Juil 201412 Juil 2014
DÍAZ-CAROAlejandroUniversité Paris-Ouest / INRIA Paris-Rocquencourt22 Avr 201411 Juil 2014
DIVASÓNJoseUniversidad de La Rioja04 Mai 201411 Mai 2014
DOWEKGillesInria22 Avr 201425 Avr 2014
DUBOISCatherineENSIIE/CEDRIC22 Avr 201411 Juil 2014
DUCHESNEEtienneUniversity of Bath02 Juin 201414 Juin 2014
DUMASJean-guillaumeU. de Grenoble / LJK05 Mai 201414 Juin 2014
DUTCHYNChristopherUniversity of Saskatchewan01 Avr 201415 Juil 2014
DUVALDominiqueUniversity of Grenoble, LJK07 Avr 201411 Juil 2014
DYBJERPeterChalmers University of Technology, Department of Computer Science07 Avr 201419 Juin 2014
EL SIBAÏERémyLIP602 Juin 201431 Juil 2014
ESCARDOMartinUniversity of Birmingham, School of Computer Science01 Juin 201430 Juin 2014
FILALI-AMINEMamounCNRS IRIT 06 Avr 201428 Juin 2014
FONGBrendanOxford University Department of Computer Science Quantum Group01 Juin 201407 Juin 2014
FOUQUEREChristopheLIPN07 Avr 201411 Juil 2014
FOURMANMichaelInformatics, University of Edinburgh01 Avr 201412 Juil 2014
FREYJonasUniversity of Cambridge Computer Laboratory04 Mai 201412 Juil 2014
FUCHSLaurentUniversité de Poitiers, Laboratoire XLIM-SIC UMR CNRS 725205 Mai 201411 Juil 2014
GABOARDIMarcoSchool of Computing, University of Dundee08 Juin 201413 Juil 2014
GALANAKIChrysidaUniversity of Athens07 Avr 201411 Juil 2014
GAMBINONicolaUniversity of Leeds07 Avr 201411 Juil 2014
GARDELouisR&D Staubli Robotics07 Juil 201411 Juil 2014
GEHRKEMaiUniversite Paris Diderot, LIAFA22 Avr 201411 Juil 2014
GERARDOlivierInstitut Marin Mersenne01 Avr 201412 Juil 2014
GEUVERSHermanRadboud University Nijmegen28 Avr 201423 Mai 2014
GIORGETTIAlainFEMTO-ST Institute21 Avr 201411 Juil 2014
GONZALEZ HUESCALourdes del carmenUnivParis7 INRIA PPS PiR222 Avr 201411 Juil 2014
GOYETAlexisPPS10 Juin 201410 Juin 2014
GRELLOISCharlesPPS/University Paris 701 Avr 201415 Juil 2014
GROSSJasonMassachusetts Institute of Technology31 Mai 201408 Juin 2014
GUATTOAdrienDépartement Informatique, ENS01 Avr 201431 Juil 2014
GUENOTNicolasIT University of Copenhagen09 Juin 201413 Juin 2014
GUERRIERIGiulioPPS, Université Paris 707 Avr 201412 Juil 2014
GUERRINIStefanoLIPN, Univ. Paris 1301 Avr 201401 Août 2014
GUILLERMOMauricioUdelaR30 Mai 201415 Juin 2014
GUILLONArthurENS Cachan07 Avr 201411 Juil 2014
HACENEOuziaParis 607 Avr 201415 Juil 2014
HARPERRobertCarnegie Mellon University01 Juin 201413 Juil 2014
HASEGAWAMasahitoRIMS, Kyoto University08 Juin 201405 Juil 2014
HASELWARTERPhilippP7 - PPS07 Avr 201411 Juil 2014
HEFannyUniversity of Bath22 Avr 201412 Juil 2014
HERBELINHugoPPS - INRIA07 Avr 201411 Juil 2014
HERMANTOlivierMINES ParisTech / CRI07 Avr 201411 Juil 2014
HIRSCHOWITZTomUniversité de Savoie/CNRS/LAMA02 Juin 201412 Juil 2014
HOUKuenbangCarnegie Mellon University07 Avr 201411 Juil 2014
HRITCUCatalinINRIA Paris-Rocquencourt22 Avr 201411 Juil 2014
HUBERSimonUniversity of Gothenburg, Department of Computer Science and Engeneering22 Avr 201415 Juin 2014
HYLANDJohn martinCambridge07 Avr 201411 Juil 2014
HYMSamuelUniversité Lille 1, LIFL07 Avr 201411 Juil 2014
HYVERNATPierreuniversité de Savoie, Laboratoire de mathématiques (UMR 5127)05 Mai 201427 Juin 2014
ILIKDanko(unaffiliated)07 Avr 201411 Juil 2014
JABERGuilhemÉcole des Mines de nantes22 Avr 201411 Juil 2014
JAMESLairdUniversity of Bath09 Juin 201412 Juin 2014
JHALARanjitUC San Diego22 Juin 201428 Juin 2014
JOHANNPatriciaAppalachian State University30 Mai 201406 Juin 2014
JOUANNAUDJean-pierreLIX15 Mai 201415 Juil 2014
JOYALAndréUniversité du Québec à Montréal17 Mai 201428 Juin 2014
KAPOSIAmbrusUniversity of Nottingham22 Mai 201408 Juin 2014
KAPRONBruceUniversity of Victoria01 Mai 201430 Juin 2014
KAPULKINKrzysztofUniversity of Pittsburgh04 Mai 201407 Juin 2014
KAWAMURAAkitoshiUniversity of Tokyo15 Juin 201418 Juin 2014
KAZENYUKSergeySPbAU RAS / EXANTE05 Juil 201414 Juil 2014
KEIMELKlausTechnische Universitaet Darmstadt25 Mai 201425 Juin 2014
KELLERChantalMicrosoft - Inria Joint Lab21 Avr 201412 Juil 2014
KERJEANMarieUniv Paris 7 PPS07 Avr 201411 Juil 2014
KOCKJoachimUniversitat Autònoma de Barcelona18 Mai 201418 Juin 2014
KOMENDANTSKAYAEkaterinaUniversity of Dundee22 Avr 201411 Juil 2014
KOSMATOVNikolayCEA LIST07 Juil 201411 Juil 2014
KRAUSNicolaiUniversity of Nottingham04 Mai 201415 Juin 2014
LASSAIGNERichardUniversity Paris Diderot07 Avr 201411 Juil 2014
LASSONMarcComp. Lab, Cambridge University21 Avr 201421 Avr 2014
LASSONMarcINRIA πr205 Mai 201411 Juil 2014
LEIVANTDanielIndiana University05 Mai 201405 Juil 2014
LHERMITTESylvieCNRS05 Avr 201405 Juil 2014
LOMBARDIHenriUniversité de Franche-Comté05 Avr 201430 Avr 2014
LOULERGUEFrédéricUniversité d'Orléans / LIFO22 Avr 201422 Avr 2014
LUMSDAINEPeterInstitute for Advanced Study07 Avr 201411 Juil 2014
LUXEMBOURGAndreyISA01 Avr 201402 Juin 2014
MACEDOHugoINRIA Roquencourt01 Avr 201412 Juil 2014
MAGAUDNicolasUniversité de Strasbourg07 Avr 201411 Juil 2014
MAGGESIMarcoUniversità di Firenze03 Mai 201416 Mai 2014
MAHBOUBIAssiaInria07 Avr 201411 Juil 2014
MAIETTIMaria emiliaDipartimento di Matematica- University of Padova02 Juin 201406 Juin 2014
MAKOTOHamanaGunma University02 Juin 201414 Juin 2014
MALBOSPhilippeUniversité Claude Bernard Lyon 107 Avr 201411 Juil 2014
MANDELLouisCollège de France07 Avr 201411 Juil 2014
MANNAABasselUniversity of Gothenburg22 Avr 201416 Juin 2014
MANZONETTOGiulioUniv. Paris 13/LIPN07 Avr 201411 Juil 2014
MARTENSMoritzTechnical University Dortmund23 Juin 201428 Juin 2014
MARTIN-DORELErikInria Saclay - Île-de-France / LRI07 Avr 201411 Juil 2014
MARTIN-LÖFPerUniversity of Stockholm21 Avr 201421 Juin 2014
MATESPhillipNortheastern University04 Mai 201413 Juil 2014
MATTHESRalphIRIT (CNRS & Univ. Toulouse)21 Avr 201415 Juin 2014
MAYEROMicaelaLIPN - Université Paris 1320 Avr 201414 Juil 2014
MAZZADamianoCNRS - Laboratoire d'Informatique de Paris Nord07 Avr 201411 Juil 2014
MCCUSKERGuyUniversity of Bath, Department of Computer Science01 Mai 201411 Juil 2014
MELLIESPaul-andréParis Diderot / INSMI / PPS07 Avr 201411 Juil 2014
METAYERFrancoisPPS Paris Diderot05 Mai 201411 Juil 2014
MEZZAROBBAMarcCNRS, LIP6, UPMC22 Avr 201425 Avr 2014
MILLERDaleLIX, Ecole Polytechnique01 Avr 201431 Juil 2014
MIMRAMSamuelCEA LIST22 Avr 201411 Juil 2014
MISAMOREMichaelUniversity of Western Ontario11 Mai 201416 Mai 2014
MOALHerveAstrance07 Avr 201411 Juil 2014
MOMIGLIANOAlbertoUniversity of Milan06 Juil 201413 Juil 2014
MONNIAUXDavidVERIMAG22 Avr 201411 Juil 2014
MOREHOUSEEdwardCarnegie Mellon University30 Mai 201430 Juin 2014
MÖRTBERGAndersChalmers University of Technology and University of Gothenburg22 Avr 201415 Juin 2014
MOYANO GARCÍAIvánUniversité Pierre et Marie Curie (Paris6) and Universidad Complutense de Madrid01 Juin 201407 Juin 2014
NAGARAJANRajagopalMiddlesex University London07 Avr 201411 Juil 2014
NARUSEHiroshiUniversity of Yamanashi05 Mai 201407 Mai 2014
NATARAJANRajaTata Institute of Fundamental Research01 Mai 201430 Juin 2014
NAYELHamadaBenha University20 Avr 201413 Juil 2014
NEMOTOTakakoJapan Advanced Institute of Science and Technology07 Avr 201411 Avr 2014
NERONPierreT.U. Delft07 Avr 201411 Juil 2014
NGUYENLe thanh dungENS Ulm22 Avr 201412 Juil 2014
NITULESCUAncaParis 6/LIP601 Avr 201401 Août 2014
NORTHPaigeUniversity of Cambridge19 Avr 201413 Juil 2014
OBRADOVIĆJovanaFaculty of Technical Sciences, University of Novi Sad06 Avr 201419 Avr 2014
OLIVAPauloQueen Mary University of London01 Juin 201406 Juin 2014
ONGLukeUniversity of Oxford21 Avr 201412 Juil 2014
ORSANIGOFedericoStrathclyde University (Glasgow)06 Avr 201412 Juil 2014
OWISAshrafCairo University/ Science06 Avr 201412 Juil 2014
PAGANIMicheleUniversité Paris 13 - LIPN07 Avr 201411 Juil 2014
PATEYLudovicUniv Paris 7 PPS07 Avr 201411 Juil 2014
PATRICKNounamo dabouUniversity of Maroua, Cameroon06 Avr 201412 Juil 2014
PAULIN-MOHRINGChristineUniversité Paris-Sud30 Juin 201411 Juil 2014
PÉDROTPierre-mariePPS/PiR207 Avr 201411 Juil 2014
PELLISSIERLucENS Cachan07 Avr 201411 Juil 2014
POUILLARDNicolasIT University of Copenhagen02 Juin 201406 Juin 2014
POUSDamienLIP23 Juin 201411 Juil 2014
POUZETMarcENS DI18 Juin 201420 Juin 2014
POWELLThomasInstitut des Hautes Etudes Scientifiques07 Avr 201411 Juil 2014
PUTOTSylvieCEA LIST07 Avr 201411 Juil 2014
QUIRINKevinINRIA / EMN07 Avr 201429 Mai 2014
RAMANANANDROTahinaYale University - Department of Computer Science07 Juil 201411 Juil 2014
RAMOSMarcusUFPE01 Avr 201415 Juil 2014
RATHJENMichaelUniversity of Leeds24 Mai 201414 Juin 2014
RAUFUsmanUNC Charlotte, NC, USA01 Mai 201415 Juil 2014
REHMJorisClearSy28 Avr 201428 Avr 2014
RENAUDFabienINRIA07 Avr 201411 Juil 2014
RIBAColinENS de Lyon/LIP05 Mai 201411 Juil 2014
RIEGLionelENSIIE07 Avr 201411 Juil 2014
ROSOLINIGiuseppeGenova30 Mai 201415 Juin 2014
ROYERJamesSyracuse University15 Mai 201415 Juin 2014
RYPÁČEKOndřejUniversity of Oxford/Department of Computer Science01 Juin 201412 Juil 2014
SAILLARDRonanMines ParisTech22 Avr 202111 Juil 2014
SALIBRAAntoninoUniversità Ca'Foscari Venezia07 Avr 201411 Juil 2014
SATTLERChristianNottingham27 Avr 201419 Juin 2014
SAURINAlexisUniversité Paris Diderot, PPS07 Avr 201411 Juil 2014
SCHMITZSylvainENS Cachan / INRIA / LSV23 Juin 201426 Juin 2014
SCHOEPPUlrichLMU Munich22 Avr 201422 Juin 2014
SCHUSTERPeterUniversity of Leeds, Department of Pure Mathematics28 Avr 201406 Juin 2014
SCOTTPhilipMathématiques, U. Ottawa01 Juin 201414 Juin 2014
SEILLERThomasIHES07 Avr 201411 Juil 2014
SENDROIUElenachercheur indépendant21 Avr 201415 Juil 2014
SERREOlivierLIAFA (Univ. Paris Diderot & CNRS)07 Avr 201411 Juil 2014
SHAOZhongYale University07 Avr 201411 Juil 2014
SHIN-YAKatsumataResearch Institute for Mathematical Sciences, Kyoto University22 Avr 201410 Mai 2014
SIGHIREANUMihaelaUniversity Paris Diderot/LIAFA28 Avr 201411 Juil 2014
SINCHUKSergeySaint-Petersburg State University04 Mai 201411 Juil 2014
SIREGARMariaUniversity of Sheffield06 Avr 201420 Avr 2014
SKVORTSOVMikhailIPMCE RAS05 Avr 201431 Juil 2014
SMOLKAGertSaarland University01 Juin 201407 Juin 2014
SOJAKOVAKristinaCarnegie Mellon University07 Avr 201411 Juil 2014
SOLOVIEVSergueiUniversity Toulouse 3, IRIT12 Mai 201412 Juin 2014
SOZEAUMatthieuInria - PPS01 Avr 201430 Juin 2014
SPITTERSBasRadboud University Nijmegen07 Avr 201411 Juil 2014
SPIWACKArnaudInria22 Avr 201411 Juil 2014
STAMPOULISAntonisMIT CSAIL06 Juil 201412 Juil 2014
STEELEHughLIPN, Univ Paris 1307 Avr 201411 Juil 2014
STONEKBrunoLAGA - Université Paris XIII04 Sep 201305 Sep 2018
STREICHERThomas07 Avr 201411 Juil 2014
TABAREAUNicolasINRIA05 Mai 201411 Juil 2014
TASSIEnricoInria07 Avr 201411 Juil 2014
TASSONChristineUniversité Paris Diderot10 Mai 201415 Juil 2014
TIMOTHYRevellUniversity of Strathclyde06 Avr 201412 Juil 2014
TORTORA DE FALCOLorenzoDipartimento do Matematica e Fisica, Università Roma Tre22 Avr 201411 Juil 2014
TSUKADATakeshiUniversity of Oxford22 Juin 201428 Juin 2014
TZEVELEKOSNikosQueen Mary, University of London19 Mai 201427 Juin 2014
URBANChristianKing's College London22 Avr 201411 Juil 2014
VALLETTEBrunoUniversité Nice Sophia Antipolis01 Juin 201421 Juin 2014
VIDMARJakobParis 7 01 Sep 201330 Août 2014
VIGLIOTTIMaria graziaAdelard07 Juil 201411 Juil 2014
VOEVODSKYVladimir22 Avr 201411 Juil 2014
VON GLEHNTamaraUniversity of Cambridge07 Avr 201414 Juin 2014
WALUKIEWICZIgorLaBRI01 Mai 201414 Mai 2014
WANGPengMIT CSAIL06 Juil 201412 Juil 2014
WERNERBenjaminLIX01 Avr 201431 Juil 2014
WINSKELGlynnUniversity of Cambridge11 Avr 201411 Juil 2014
WISNICKIAndrzejMaria Curie-Sklodowska University / Institute of Mathematics22 Avr 201411 Juil 2014
XUChuangjieSchool of Computer Science, University of Birmingham, UK25 Mai 201414 Juin 2014
YANGHongseokUniversity of Oxford07 Juil 201411 Juil 2014
YANGXuanOsnabrück06 Avr 201419 Avr 2014
YOSHIDANobukoImperial College London 22 Juin 201411 Juil 2014
ZANASIFabioEcole Normale Superieure de Lyon / LIP19 Mai 201422 Mai 2014
ZEILBERGERNoamInria01 Avr 201401 Août 2014
ZENNOUSarahAirbus Group07 Juil 201411 Juil 2014
ZORZIMargheritaUniversità di Verona09 Juin 201415 Juin 2014

© 2010 - Copyright IHP. Tous droits réservés.

  • Nous contacter
  • Plan du site
  • Accès
  • Mentions legales
  • Crédits
  • Inscription newsletter
  • Intranet