Printer-friendly PDF - Institut Henri Poincaré

Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Printer-friendly PDF
Semantics of proofs and programs
10 juin 2014 - 13 juin 2014
Liste des participants
Nom
Abramsky
Aczel
Agon
Ahman
Ahmed
Ahrens
Alberti
Almahallawi
Andrade
Prénom
Samson
Peter
Carlos
Danel
Amal
Benedikt
Michele
Deyaaeldeen
Ricardo
ANEL
Aschieri
Assaf
Mathieu
Federico
Ali
Assaf
ATEBA
Awodey
Baillot
Barhoumi
Barillec
Barras
Batmalle
Beaujean
Beffara
Mounir
PATRICK
Steve
Patrick
Sami
Augustin
Bruno
Hadrien
Paul
Emmanuel
Blute
Boldo
Bordg
Bouslamti
Bowman
Brede
Brunerie
Richard
Sylvie
Anthony
Samir
William
Nuria
Guillaume
Buckley
Caramello
Carraro
Mitchell
Olivia
Alberto
Castellan
Simon
Chihani
Zakaria
Université
University of Oxford
Manchester
UPMC
LFCS, University of Edinburgh
Northeastern University
IRIT, Toulouse
IML Marseille
Indiana University Bloomington
Universite Paris 13, Insitute
Galilee, LAGA
ETH Zürich
ENS de Lyon
INRIA Paris-Rocquencourt and
Ecole Polytechnique
CIDre, CEA LIST
UNCY
Carnegie Mellon University
CNRS, ENS-Lyon, laboratoire LIP
taibah university KSA
Inria
Inria Saclay
Dpt Info ENS Cachan
ENSIIE
Université d'Aix-Marseille, Institut
de Mathématiques de Marseille
University of Ottawa
Inria
Université de Nice, LJAD
Paris 6
Northeastern University
University of Potsdam
Université de Nice Sophia
Antipolis
Macquarie University, Sydney
IHES
Università Ca' Foscari Venezia DAIS, Université Paris Diderot PPS
University of
Cambridge/Computer Laboratory
EDX-LIX-Inria
Page 1 of 4
Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Nom
Christopher
Clairambault
clerc
COHEN
Coquand
Cristescu
CURIEN
Cuvillier
Dagand
Darais
Das
Prénom
Mary
Pierre
florence
Cyril
Thierry
Ioana
Pierre-Louis
Thomas
Pierre-Evariste
David
Anupam
De Vitis
Díaz-Caro
Alba Chiara
Alejandro
Dumas
Ekici
Escardo
Jean-Guillaume
Burak
Martin
Fouquere
Frey
Christophe
Jonas
Fuchs
Laurent
Gaboardi
Marco
Galanaki
Gambino
Garner
gehrke
GERARD
Geuvers
Ghica
Gianluigi
Gilles
Girault
Gonzalez Huesca
Goubault-Larrecq
Goyet
Grellois
Guatto
Guenot
Guerrieri
Guerrini
GUILLERMO
Guillon
Harper
Haselwarter
Hasuo
Hedges
Hermant
Huber
Hyland
Hyvernat
Chrysida
Nicola
Richard
mai
Olivier
Herman
Dan
Bellin
Barthe
Loïc
Lourdes del Carmen
Jean
Alexis
Charles
Adrien
Nicolas
Giulio
Stefano
Mauricio
Arthur
Robert
Philipp
Ichiro
Jules
Olivier
Simon
John Martin
Pierre
Université
EGITOR.NET
ENS Lyon
PPS, CEA
University of Gothenburg
Gothenburg University
Universite Paris 7
Paris Diderot / PPS
Queen Mary University of London
INRIA Rocquencourt
Harvard University
LIX & Department of Computer
Science, University of Bath
Inria Sophia
Université Paris-Ouest / INRIA
Paris-Rocquencourt
U. de Grenoble / LJK
Laboratoire Jean Kuntzmann
University of Birmingham, School
of Computer Science
LIPN
University of Cambridge
Computer Laboratory
Université de Poitiers,
Laboratoire XLIM-SIC UMR CNRS
7252
School of Computing, University
of Dundee
University of Athens
University of Leeds
Macquarie University
Universite Paris Diderot, LIAFA
Institut Marin Mersenne
Radboud University Nijmegen
University of Birmingham
Université de Verone
IMDEA Software Institute
LIP6
UnivParis7 INRIA PPS PiR2
ENS Cachan
PPS
PPS/University Paris 7
Département Informatique, ENS
IT University of Copenhagen
PPS, Université Paris 7
LIPN, Univ. Paris 13
UdelaR
ENS Cachan
Carnegie Mellon University
P7 - PPS
University of Tokyo
Queen Mary University of London
MINES ParisTech / CRI
University of Gothenberg
Cambridge
université de Savoie, Laboratoire
de mathématiques (UMR 5127)
Page 2 of 4
Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Nom
ILIK
Jaber
James
JIANG
Johann
JOYAL
Kazenyuk
Keimel
Prénom
Danko
Guilhem
Laird
XUN
Patricia
André
Sergey
Klaus
KERGOSIEN
Yannick
Kerjean
Kraus
LAJOINIE
Lasson
Laurent
Lepigre
Lescanne
LEVENTIS
LHERMITTE
Lucas
Macedo
Magaud
Mahboubi
Maillard
Makoto
Malbos
Mannaa
Manzonetto
Marco
Mates
Matthes
Mazieres
Mazza
Marie
Nicolai
Florence
Marc
Olivier
Rodolphe
Pierre
Thomas
Sylvie
Maxime
Hugo
Nicolas
Assia
Kenji
Hamana
Philippe
Bassel
Giulio
Paviotti
Phillip
Ralph
Antoine
Damiano
MELLIES
Metayer
Miculan
Mimram
Morehouse
Mörtberg
Paul-André
Francois
Marino
Samuel
Edward
Anders
Munch-Maccagnoni
Murawska
Møgelberg
Nagarajan
Natarajan
Guillaume
Agata
Rasmus
Rajagopal
Raja
Neron
Nguyen
North
Obradović
Pierre
Le Thanh Dung
Paige
Jovana
Pagani
Michele
Université
Inria & LIX
École des Mines de nantes
University of Bath
University Paris-Sud
Appalachian State University
Université du Québec à Montréal
SPbAU RAS / EXANTE
Technische Universitaet
Darmstadt
Université de
Cergy-Pontoise/SMBH-Université
Paris13/LIMICS
Univ Paris 7 PPS
University of Nottingham
IHP
INRIA πr2
CNRS - ENS Lyon / LIP
LAMA - Université de Savoie
LIP
ENSL
CNRS
PPS
INRIA Roquencourt
Université de Strasbourg
Inria
ENS Ulm
Gunma University
Université Claude Bernard Lyon 1
University of Gothenburg
Univ. Paris 13/LIPN
IT University of Copenhagen
Northeastern University
IRIT (CNRS & Univ. Toulouse)
LIAFA (P7)
CNRS - Laboratoire
d'Informatique de Paris Nord
Paris Diderot / INSMI / PPS
PPS Paris Diderot
DiMI - Università di Udine, Italy
CEA LIST
Carnegie Mellon University
Chalmers University of
Technology and University of
Gothenburg
LIPN, Université Paris 13
IT University in Copenhagen
IT University of Copenhagen
Middlesex University London
Tata Institute of Fundamental
Research
T.U. Delft
ENS Ulm
University of Cambridge
Faculty of Technical Sciences,
University of Novi Sad
Université Paris 13 - LIPN
Page 3 of 4
Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Nom
PATEY
Pellissier
Pimentel
Powell
Prénom
Ludovic
Luc
Elaine
Thomas
Ramos
Rathjen
Remy
Rideau
Rioboo
Marcus
Michael
Didier
Laurence
Renaud
Rosolini
Ruoppolo
Salibra
Sattler
saurin
Schoepp
Scott
Seiller
Sendroiu
Simpson
Sironi
Sozeau
Spiwack
SRIRATANAKOUL
Giuseppe
Domenico
Antonino
Christian
alexis
Ulrich
Philip
Thomas
Elena
Alex
Eugenia
Matthieu
Arnaud
Nitdavanh
Staton
Steele
Stefani
TASSI
Tesson
Timothy
Tzevelekos
Samuel
Hugh
Jean-Bernard
Enrico
Julien
Revell
Nikos
van Gool
Vaux
von Glehn
Werner
Winskel
Wisnicki
Samuel
Lionel
Tamara
Benjamin
Glynn
Andrzej
Xu
Chuangjie
Zeilberger
Noam
Université
Univ Paris 7 PPS
ENS Cachan
UFRN
Institut des Hautes Etudes
Scientifiques
UFPE
University of Leeds
INRIA
Inria
Ecole National Superieure
d'Informatique Pout l'Industrie et
l'ENtrprise
Genova
LIPN, Université paris 13
Università Ca'Foscari Venezia
Nottingham
Université Paris Diderot, PPS
LMU Munich
Mathématiques, U. Ottawa
IHES
chercheur indépendant
University of Edinburgh
IML
Inria - PPS
Inria
Institut Henri Poincaré - Centre
Emile Borel
Radboud University Nijmegen
LIPN, Univ Paris 13
INRIA
Inria
Université Paris-est Créteil / LACL
University of Strathclyde
Queen Mary, University of
London
LIAFA Paris 7
IML
University of Cambridge
LIX
University of Cambridge
Maria Curie-Sklodowska
University / Institute of
Mathematics
School of Computer Science,
University of Birmingham, UK
Inria
Source URL: http://www.ihp.fr/fr/conference/10230/list
Page 4 of 4