a.g.setzer@swansea.ac.uk
acloete@dlemma.org
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
cg@xs4all.nl
charles.bouillaguet@crans.org
chr.walther@informatik.tu-darmstadt.de
cimatti@fbk.eu
cross@kojeware.com
daniel.kuehlwein@gmail.com
deharbe@gmail.com
dmahler@gmail.com
ewen.w.denney@nasa.gov
geoff@cs.miami.edu
hillen@mpi-sb.mpg.de
jasmin.blanchette@gmail.com
jean-christophe.filliatre@lri.fr
jesse.alama@gmail.com
josef.urban@gmail.com
koen@chalmers.se
koepke@math.uni-bonn.de
korovin@cs.man.ac.uk
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
michal.moskal@microsoft.com
pascal.fontaine@loria.fr
paul.oppenheimer@mac.com
petr@pudlak.name
roberto@lsi.upc.edu
rseba@dit.unitn.it
russell.wallace@gmail.com
saur@vs.uni-kassel.de
schmidt@cs.man.ac.uk
schneid@fzi.de
serdar.erbatur@gmail.com
sgc@doc.ic.ac.uk
silvio.ranise@loria.fr
simon.cruanes.2007@m4x.org
cesare-tinelli@cs.uiowa.edu
tommi.junttila@aalto.fi
voronkov@cs.man.ac.uk
weidenbach@mpi-inf.mpg.de
