Committees

Program Committee

Jeremy Avigad (Carnegie Mellon, Pittsburgh, USA) 

Arnold Beckmann (Swansea, UK) 

Nikolaj Bjorner (Microsoft, Redmond, USA) 

Julian Bradfield (Edimburgh, UK) 

Thomas Brihaye (Mons, Belgium) 

Patrick Cégielski (UPEC, France, co-chair) 

Victor Dalmau  (Barcelona, Spain) 

Josée Desharnais (Laval, Canada) 

Mariangiola Dezani (Torino, Italy) 

Gilles Dowek (INRIA, Paris-Rocquencourt, France) 

Arnaud Durand (Paris, France, co-chair) 

Nicola Galesi (Roma, Italy) 

Laura Kovacs  (TU Vienna, Austria) 

Antonin Kucera (Brno, Czech Republic) 

Viktor Kuncak (EPFL, Lausanne, Switzerland) 

Daniel Leivant (Indiana, USA) 

Markus Lohrey (Leipzig, Germany) 

Alexandre Miquel (ENS Lyon, France) 

Filip Murlak (Warsaw, Poland) 

Prakash Panangaden (Mc Gill, Montreal, Canada) 

Nicole Schweikardt (Frankfurt, Germany)

Sam Staton (Cambridge, UK) 

Miroslaw Truszczynski (Kentucky, USA)

Helmut Veith (TU Vienna, Austria)

Frank Wolter (Liverpool, UK)

 

Organization committee

Alexis Bès (LACL, Créteil)

Régis Brouard (Fontainebleau, CRI)

Patrick Cégielski, (LACL, co-président)

Julien Cervelle (LACL, Créteil)

Tristan Crolard (LACL, Créteil)

Patricia Crouan-Véron (IMAGER, Fontainebleau)

Lilian Dubau (Fontainebleau, Bibliothèque)

Arnaud Durand (Université Paris 7)

Frédéric Gervais (LACL, Fontainebleau)

Pierre Konopacki (LACL, Fontainebleau)

Yoann Marquer (LACL, Créteil)

Jérémy Milhau (LACL, Fontainebleau)

Denis Monnerat (Fontainebleau)

Pierre Valarcher (LACL, co-président)

Konstantin Verchinine (Fontainebleau)

Serghei Verlan (LACL, Créteil)