a.g.setzer@swansea.ac.uk
acloete@dlemma.org
alama@stanford.edu
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
daniel.kuehlwein@gmail.com
deharbe@gmail.com
dmahler@gmail.com
ewen.w.denney@nasa.gov
fcbrbr@gmail.com
geoff@cs.miami.edu
hillen@mpi-sb.mpg.de
irving@naml.us
j.liu@ulster.ac.uk
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
leonardo@microsoft.com
loechner@informatik.uni-kl.de
lp15@cam.ac.uk
mariapaola.bonacina@univr.it
martin.suda@gmail.com
michal@moskal.me
moehrmann@eprover.org
pascal.fontaine@loria.fr
paul.oppenheimer@mac.com
petar.vukmirovic2@gmail.com
petr@pudlak.name
phillip.lippe@googlemail.com
roberto@lsi.upc.edu
russell.wallace@gmail.com
saur@vs.uni-kassel.de
schmidt@cs.man.ac.uk
schneid@fzi.de
serdar.erbatur@gmail.com
silvio.ranise@loria.fr
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
andrei@voronkov.com
weidenbach@mpi-inf.mpg.de
jakubuv@gmail.com
jack.a.mckeown@gmail.com
