a.g.setzer@swansea.ac.uk
acloete@dlemma.org
alama@stanford.edu
andrei@voronkov.com
andres.sicard.ramirez@gmail.com
apease@articulatesoftware.com
armando@dist.unige.it
boehmes@in.tum.de
boris.motik@comlab.ox.ac.uk
c.benzmueller@googlemail.com
cesare-tinelli@uiowa.edu
cezary.kaliszyk@uibk.ac.at
cg@xs4all.nl
chr.walther@informatik.tu-darmstadt.de
cimatti@fbk.eu
cschon@posteo.de
cschon@posteo.de
daniel.kuehlwein@gmail.com
deharbe@gmail.com
desharnais@mpi-inf.mpg.de
dmahler@gmail.com
ewen.w.denney@nasa.gov
fcbrbr@gmail.com
geoff@cs.miami.edu
irving@naml.us
j.liu@ulster.ac.uk
jack.a.mckeown@gmail.com
jakubuv@gmail.com
jasmin.blanchette@gmail.com
jean-christophe.filliatre@lri.fr
jeff@thefirst.org
jesse.alama@gmail.com
josef.urban@gmail.com
koen@chalmers.se
koepke@math.uni-bonn.de
konstantin.korovin@manchester.ac.uk
leodemoura0@gmail.com
loechner@informatik.uni-kl.de
lp15@cam.ac.uk
mariapaola.bonacina@univr.it
martin.suda@gmail.com
michal@moskal.me
moehrmann@eprover.org
msoegtrop@apple.com
pascal.fontaine@uliege.be
paul.oppenheimer@mac.com
petar.vukmirovic2@gmail.com
petr@pudlak.name
phillip.lippe@googlemail.com
philzook58@gmail.com
roberto@lsi.upc.edu
russell.wallace@gmail.com
schmidt@cs.man.ac.uk
serdar.erbatur@gmail.com
simon.cruanes.2007@m4x.org
swchen@home.swjtu.edu.cn
timsmith@uwaterloo.ca
tommi.junttila@aalto.fi
veroff@cs.unm.edu
voronkov@cs.man.ac.uk
weidenbach@mpi-inf.mpg.de
