A.G.Setzer@swansea.ac.uk
Charles.Bouillaguet@crans.org
Chr.Walther@informatik.tu-darmstadt.de
Ewen.W.Denney@nasa.gov
Linus.Tolke@enea.se
Michal.Moskal@microsoft.com
Pascal.Fontaine@loria.fr
Silvio.Ranise@loria.fr
adampease@earthlink.net
alama@stanford.edu
andres.sicard.ramirez@gmail.com
armando@dist.unige.it
boehmes@in.tum.de
boris.motik@comlab.ox.ac.uk
c.benzmueller@googlemail.com
cimatti@fbk.eu
cross@kojeware.com
cskarim@swansea.ac.uk
daniel.kuehlwein@gmail.com
deharbe@gmail.com
dmahler@gmail.com
geoff@cs.miami.edu
hillen@mpi-sb.mpg.de
jasmin.blanchette@gmail.com
jesse.alama@gmail.com
josef.urban@gmail.com
koen@chalmers.se
koepke@math.uni-bonn.de
korovin@cs.man.ac.uk
leonardo@microsoft.com
loechner@informatik.uni-kl.de
lp15@cam.ac.uk
mariapaola.bonacina@univr.it
martin.suda@gmail.com
petr@pudlak.name
roberto@lsi.upc.edu
rseba@dit.unitn.it
russell.wallace@gmail.com
schmidt@cs.man.ac.uk
schneid@fzi.de
tinelli@cs.uiowa.edu
tjunttil@tcs.hut.fi
traths@cs.uni-potsdam.de
voronkov@cs.man.ac.uk
weidenbach@mpi-inf.mpg.de
