Published on IHP | Sorbonne Université | CNRS (http://ihp.fr)

Home > Printer-friendly

Sémantique des preuves et des programmes et formalisation des mathématiques

Sémantique des preuves et des programmes et formalisation des mathématiques

7 April, 2014 - 11 July, 2014

Organizers : Pierre-Louis CURIEN, Hugo HERBELIN, Paul-André MELLIES


Scientific program: http://ihp2014.pps.univ-paris-diderot.fr/ [1]

Poster : Download [2]

Workshops and events during the program

07 April 2014 - 18 April 2014
CIRM Summer Pre-school PRE INSCRIPTION - CLOSED [3]

05 May 2014 - 09 May 2014
Formalization of mathematics in proof assistants [4]

02 June 2014 - 06 June 2014
Constructive mathematics and models of type theory [5]

10 June 2014 - 13 June 2014
Semantics of proofs and programs [6]

23 June 2014 - 27 June 2014
Abstraction and verification in semantics [7]

07 July 2014 - 11 July 2014
Certification of high-level and low-level programs [8]

Administrative, financial and logistic organization

Claire BÉRENGER
Contact: proofs@ihp.fr [9]
Phone: 01 44 27 67 64

More Information


Registration

Financial support requests are now closed.
Register to the program + workshop(s) [workshop(s) registration optional] [10]
Registrations for the workshops are on https://indico.math.cnrs.fr/category/321/

Calendar

  • Amphi Hermite
  • Amphi Darboux
  • Salle 01
  • Salle 05
  • Salle 201
  • Salle 204
  • Salle 314
  • Salle 416
  • Salle 421
  • Autres
Format: 21/04/2021
« Prev [15]  

Friday, June 21 2019

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

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