Printer-friendly PDF - Institut Henri Poincaré

Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Printer-friendly PDF
Abstraction and verification in semantics
23 juin 2014 - 27 juin 2014
Liste des participants
Nom
Agon
Ahmed
Ahrens
Almahallawi
Andrade
Prénom
Carlos
Amal
Benedikt
Deyaaeldeen
Ricardo
ANEL
Assaf
ATEBA
Barillec
Barras
Beaujean
Beffara
Mathieu
Mounir
PATRICK
Augustin
Bruno
Paul
Emmanuel
Benzaken
Bodeveix
Bojanczyk
Bordg
Bouslamti
Bowman
Brede
Brunerie
Véronique
Jean-Paul
Mikolaj
Anthony
Samir
William
Nuria
Guillaume
Caramello
Chihani
Christopher
Chung-Kil
Clairambault
clerc
CONTEJEAN
Cotton-Barratt
Cristescu
Cuellar
CURIEN
Cuvillier
Dagand
Darais
Das
Olivia
Zakaria
Mary
Hur
Pierre
florence
Evelyne
Conrad
Ioana
Santiago
Pierre-Louis
Thomas
Pierre-Evariste
David
Anupam
DAVID
Amélie
Université
UPMC
Northeastern University
IRIT, Toulouse
Indiana University Bloomington
Universite Paris 13, Insitute
Galilee, LAGA
ETH Zürich
CIDre, CEA LIST
UNCY
Inria
Inria Saclay
ENSIIE
Université d'Aix-Marseille, Institut
de Mathématiques de Marseille
Université Paris Sud
IRIT - Université Paul Sabatier
University of Warsaw
Université de Nice, LJAD
Paris 6
Northeastern University
University of Potsdam
Université de Nice Sophia
Antipolis
IHES
EDX-LIX-Inria
EGITOR.NET
Seoul National University
ENS Lyon
PPS, CEA
CNRS/LRI
University of Oxford
Universite Paris 7
Princeton
Paris Diderot / PPS
Queen Mary University of London
INRIA Rocquencourt
Harvard University
LIX & Department of Computer
Science, University of Bath
Université d'Evry Val-d'Essonne /
IBISC
Page 1 of 4
Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Nom
Díaz-Caro
Prénom
Alejandro
Duedder
Escardo
Boris
Martin
Fuchs
Laurent
Gaboardi
Marco
Galanaki
Gambino
gehrke
GERARD
Ghica
Gilles
Girault
Gonzalez Huesca
Grellois
Guatto
Guerrieri
Guerrini
Guillon
Hague
Chrysida
Nicola
mai
Olivier
Dan
Barthe
Loïc
Lourdes del Carmen
Charles
Adrien
Giulio
Stefano
Arthur
Matthew
Harper
Hasuo
heath
Hermant
Hofmann
Robert
Ichiro
quentin
Olivier
Martin
Hritcu
Hyland
Hym
ILIK
Jaber
Jhala
JIANG
Johann
JOYAL
KERGOSIEN
Catalin
John Martin
Samuel
Danko
Guilhem
Ranjit
XUN
Patricia
André
Yannick
Kerjean
LAJOINIE
Lasson
Leroy
LEVENTIS
LHERMITTE
Lucas
Macedo
Mahboubi
Maillard
Majumdar
Marie
Florence
Marc
Xavier
Thomas
Sylvie
Maxime
Hugo
Assia
Kenji
Rupak
Manzonetto
Giulio
Université
Université Paris-Ouest / INRIA
Paris-Rocquencourt
Technical University of Dortmund
University of Birmingham, School
of Computer Science
Université de Poitiers,
Laboratoire XLIM-SIC UMR CNRS
7252
School of Computing, University
of Dundee
University of Athens
University of Leeds
Universite Paris Diderot, LIAFA
Institut Marin Mersenne
University of Birmingham
IMDEA Software Institute
LIP6
UnivParis7 INRIA PPS PiR2
PPS/University Paris 7
Département Informatique, ENS
PPS, Université Paris 7
LIPN, Univ. Paris 13
ENS Cachan
Royal Holloway University of
London
Carnegie Mellon University
University of Tokyo
Polytechnique / LIX
MINES ParisTech / CRI
Ludwig-Maximilians University of
Munich
INRIA Paris-Rocquencourt
Cambridge
Université Lille 1, LIFL
Inria & LIX
École des Mines de nantes
UC San Diego
University Paris-Sud
Appalachian State University
Université du Québec à Montréal
Université de
Cergy-Pontoise/SMBH-Université
Paris13/LIMICS
Univ Paris 7 PPS
IHP
INRIA πr2
Inria Paris-Rocquencourt
ENSL
CNRS
PPS
INRIA Roquencourt
Inria
ENS Ulm
Max Planck Institute for Software
Systems
Univ. Paris 13/LIPN
Page 2 of 4
Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Nom
Martens
Mates
Mazieres
Mazza
Prénom
Moritz
Phillip
Antoine
Damiano
Mebsout
MELLIES
Metayer
Mimram
Nagarajan
Natarajan
Alain
Paul-André
Francois
Samuel
Rajagopal
Raja
Neron
Nguyen
North
Obradović
Pierre
Le Thanh Dung
Paige
Jovana
Pagani
Palsberg
Michele
Jens
Pellissier
Pimentel
Pous
Powell
Luc
Elaine
Damien
Thomas
Prevosto
Ramos
Rehof
Rideau
Rioboo
Virgile
Marcus
Jakob
Laurence
Renaud
Ruoppolo
Rybalchenko
Salibra
saurin
Schmitz
Seidl
Seiller
Sendroiu
Sinchuk
Siregar
Spiwack
SRIRATANAKOUL
Domenico
Andrey
Antonino
alexis
Sylvain
Helmut
Thomas
Elena
Sergey
Maria
Arnaud
Nitdavanh
Steele
Stefani
Stirling
TASSI
Tesson
Tsukada
Tzevelekos
Hugh
Jean-Bernard
Colin
Enrico
Julien
Takeshi
Nikos
Werner
Winskel
Wisnicki
Benjamin
Glynn
Andrzej
Université
Technical University Dortmund
Northeastern University
LIAFA (P7)
CNRS - Laboratoire
d'Informatique de Paris Nord
Université Paris Sud / LRI
Paris Diderot / INSMI / PPS
PPS Paris Diderot
CEA LIST
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
UCLA, University of California,
Los Angeles
ENS Cachan
UFRN
LIP
Institut des Hautes Etudes
Scientifiques
CEA LIST
UFPE
Technical University Dortmund
Inria
Ecole National Superieure
d'Informatique Pout l'Industrie et
l'ENtrprise
LIPN, Université paris 13
Microsoft Research
Università Ca'Foscari Venezia
Université Paris Diderot, PPS
ENS Cachan / INRIA / LSV
TU München
IHES
chercheur indépendant
Saint-Petersburg State University
University of Sheffield
Inria
Institut Henri Poincaré - Centre
Emile Borel
LIPN, Univ Paris 13
INRIA
Edinburgh University
Inria
Université Paris-est Créteil / LACL
University of Oxford
Queen Mary, University of
London
LIX
University of Cambridge
Maria Curie-Sklodowska
Page 3 of 4
Printer-friendly PDF
Published on IHP | Institut Henri Poincaré | CNRS | UPMC (http://www.ihp.fr)
Nom
Prénom
Zeilberger
Noam
Université
University / Institute of
Mathematics
Inria
Source URL: http://www.ihp.fr/fr/conference/10231/list
Page 4 of 4