| Name |
Affiliation |
Country |
Email
(with "*" for "@") |
| Wolfgang
Ahrendt | Chalmers
University | Sweden |
ahrendt*cs.chalmers.se |
| Jean-Marc
Andreoli | Xerox
Research Centre Europe | France |
pene*xrce.xerox.com |
| Peter
Andrews | Carnegie
Mellon Univ. | USA |
andrews*cmu.edu |
| Serge
Autexier | DFKI |
Germany |
autexier*dfki.de |
| Jürgen
Avenhaus | Univ.
of Kaiserslautern | Germany |
avenhaus*informatik.uni-kl.de |
| Franz
Baader | Dresden
Univ. of Techn. | Germany |
baader*tcs.inf.tu-dresden.de |
| Matthias
Baaz | TU
Wien | Austria |
baaz*logic.at |
| Peter
Baumgartner | Univ.
Koblenz-Landau | Germany |
peter*uni-koblenz.de |
| Belaid
Benhamou | Universite
de Provence | France |
belaid.benhamou*cmi.univ-mrs.fr |
| Christoph
Benzmüller | Saarland
University | Germany |
chris*ags.uni-sb.de |
| Andrew
Bernard | Carnegie
Mellon Univ. | USA |
andrewb*cs.cmu.edu |
| Dietmar
Berwanger | RWTH
Aachen | Germany |
berwanger*cs.rwth-aachen.de |
| Nicolas
Biri | LORIA
- Univ. H. Poincare | France |
biri*loria.fr |
| Miquel
Bofill | Universitat
de Girona | Spain |
miquel.bofill*ima.udg.es |
| Maria
Paola Bonacina | The
University of Iowa | USA |
bonacina*cs.uiowa.edu |
| Cristina
Borralleras | University
of Vic | Spain |
cristina.borralleras*uvic.es |
| Thierry
Boy de la Tour | LEIBNIZ,
IMAG | France |
Thierry.Boy-de-la-Tour*imag.fr |
| Chad
Brown | Carnegie
Mellon Univ. | USA |
cebrown*andrew.cmu.edu |
| Alan
Bundy | The
Univ. of Edinburgh | UK |
a.bundy*ed.ac.uk |
| Marco
Cadoli | University
of Rome I (La Sapienza) | Italy |
cadoli*dis.uniroma1.it |
| Paul
Cairns | University
College London | UK |
p.cairns*ucl.ac.uk |
| Néstor
Cataño | INRIA |
France |
Nestor.Catano*sophia.inria.fr |
| Marta
Cialdea Mayer | Univ.
di Roma Tre | Italy |
cialdea*dia.uniroma3.it |
| Simon
Colton | University
of Edinburgh | UK |
simonco*dai.ed.ac.uk |
| Judicaël
Courant | LRI |
France |
Judicael.Courant*lri.fr |
| Jean
De Nivelle | Max-Planck-Institut
fuer Informatik | Germany |
nivelle*mpi-sb.mpg.de |
| Uwe
Egly | TU
Wien | Austria |
uwe*kr.tuwien.ac.at |
| Amy
Felty | University
of Ottawa | Canada |
afelty*site.uottawa.ca |
| Melvin
Fitting | City
Univ. of New York | USA |
fitting*lehman.cuny.edu |
| Jonathan
Mark Ford | SRI
International / Univ. of NSW | Australia |
jford*turing.une.edu.au |
| Ulrich
Furbach | University
of Koblenz | Germany |
uli*furbach.de |
| Didier
Galmiche | LORIA
- Univ.Henri Poincare | France |
galmiche*loria.fr |
| Ruben
Gamboa | University
of Wyoming | USA |
ruben*cs.uwyo.edu |
| Harald
Ganzinger | Max-Planck-Inst.fuer
info. | Germany |
ganzinger*mpi-sb.mpg.de |
| Natalia
Olegovna Garanina | Institute
of Informatics Systems | Russia |
nataxa*email.com |
| Lilia
Georgieva | Max-Planck-Inst
für Inf. | Germany |
georgiel*cs.man.ac.uk |
| Silvio
Ghilardi | University
of Milan | Italy |
ghilardi*dsi.unimi.it |
| Eugene
(Evgueni) Goldberg | Cadence
Berkeley Labs | USA |
egold*cadence.com |
| Rajeev
Goré | Australian
National Univ. | Australia |
Rajeev.Gore*anu.edu.au |
| Jean
Goubault-Larrecq | LSV/CNRS
UMR 8643 & ENS Cachan | France |
goubault*lsv.ens-cachan.fr |
| Jeremy
Gow | University
College London | UK |
j.gow*ucl.ac.uk |
| Bernhard
Gramlich | TU
Wien | Austria |
gramlich*logic.at |
| Reiner
Hähnle | Chalmers
University of Technology | Sweden |
reiner*cs.chalmers.se |
| Omar
Hammami | ENSTA |
France |
hammami*ensta.fr |
| Jens
Happe | Simon
Fraser University | Canada |
jhappe*cs.sfu.ca |
| James
Harland | RMIT
University | Australia |
jah*cs.rmit.edu.au |
| John
Harrison | Intel
Corporation, JFI-13 | USA |
johnh*ichips.intel.com |
| Juan
Heguiabehere | ILLC,
University of Amsterdam | The
Netherlands | juanh*science.uva.nl |
| Miki
Hermann | LIX,
Ecole Polytechnique | France |
Miki.Hermann*lix.polytechnique.fr |
| Thomas
Hillenbrand | Max-Planck-Institut
für Informatik | Germany |
hillen*mpi-sb.mpg.de |
| Ian
Horrocks | University
of Manchester | UK |
horrocks*cs.man.ac.uk |
| Douglas
Howe | Carleton
University | Canada |
howe*scs.carleton.ca |
| Joe
Hurd | Univ.
of Cambridge Computer Lab. | UK |
joe.hurd*cl.cam.ac.uk |
| Ullrich
Hustadt | University
of Liverpool | UK |
U.Hustadt*csc.liv.ac.uk |
| Daniel
Jackson | LCS,
MIT | USA |
dnj*lcs.mit.edu |
| Yevgeny
Kazakov | Max-Planck-Institut
fuer Informatik | Germany |
kazakov*mpi-sb.mpg.de |
| Michael
Kohlhase | Carnegie
Mellon University | USA |
kohlhase+*cs.cmu.edu |
| Dominique
Larchey-Wendling | LORIA
- CNRS | France |
larchey*loria.fr |
| Peter
Lee | Carnegie
Mellon University | USA |
Peter.Lee*cs.cmu.edu |
| Reinhold
Letz | Munich
University of Technology | Germany |
letz*in.tum.de |
| Bernd
Löchner | Universität
Kaiserslautern | Germany |
loechner*informatik.uni-kl.de |
| Salvador
Lucas | DSIC,
Univ. Politécnica de Valenci | Spain |
slucas*dsic.upv.es |
| Alexander
Lyaletski | Kiev
Taras Shevchenko Uni. | Ukraine |
aal*tc.unibyb.kiev.ua |
| Christopher
Lynch | Clarkson
University | USA |
clynch*clarkson.edu |
| Sharad
Malik | Princeton
University | USA |
sharad*ee.princeton.edu |
| Zohar
Manna | Stanford
University | USA |
manna*cs.stanford.edu |
| Johan
Mårtensson | Safelogic
AB | Sweden |
johan.martensson*safelogic.se |
| Roy
McCasland | University
of Edinburgh | UK |
rmccasla*dai.ed.ac.uk |
| William
McCune | Argonne
National Laboratory | USA |
mccune*mcs.anl.gov |
| Daniel
Mery | LORIA
- Univ Henri Poincare | France |
dmery*loria.fr |
| Dale
Miller | Penn
State University | USA |
dale*cse.psu.edu |
| Jesper
Blak Møller | ConfigIt
Software | Denmark |
jm*configit-software.com |
| Barbara
Morawska | Clarkson
University | USA |
morawskb*clarkson.edu |
| Hirokazu
Murao | Univ.
Electro-Communications | Japan |
murao*cs.uec.ac.jp |
| Neil
Murray | University
at Albany - SUNY | USA |
nvm*cs.albany.edu |
| Nikos
Mylonakis | Univ.
Politecnica de Catalunya | Spain |
nicos*lsi.upc.es |
| Paliath
Narendran | University
at Albany -- SUNY | USA |
dran*cs.albany.edu |
| Robert
Nieuwenhuis | Tech.
Univ. Catalonia | Spain |
roberto*lsi.upc.es |
| Jean-Marc
Notin | LORIA
- Univ Henri Poincare | France |
notin*loria.fr |
| Hitoshi
Ohsaki | National
Inst of Advanced Industria | Japan |
ohsaki*ni.aist.go.jp |
| Nicola
Olivetti | University
of Torino | Italy |
olivetti*di.unito.it |
| Leszek
Pacholski | Wroclaw
University | Poland |
pacholsk*ii.uni.wroc.pl |
| Andrey
Paskevich | Kiev
Nat. Taras Shevchenko Uni. | Ukraine |
andrey*raptor.kiev.ua |
| Lawrence
Paulson | University
of Cambridge | UK |
lcp*cl.cam.ac.uk |
| Francis
Jeffry Pelletier | University
of Alberta | Canada |
jeffp*cs.ualberta.ca |
| Uwe
Petermann | HTWK
Leipzig | Germany |
uwe*imn.htwk-leipzig.de |
| Frank
Pfenning | Carnegie
Mellon University | USA |
fp*cs.cmu.edu |
| Reinhard
Pichler | TU
Wien | Austria |
reini*logic.at |
| Amir
Pnueli | Weizmann
Institute of Science | Israel |
amir*wisdom.weizmann.ac.il |
| Martin
Pollet | University
of Birmingham | UK |
M.Pollet*cs.bham.ac.uk |
| Shieh
Yuh Pyng | National
Taiwan University | Taiwan |
arping*turing.csie.ntu.edu.tw |
| Silvio
Ranise | LORIA-INRIA
& DIST (U. Genova) | France |
Silvio.Ranise*loria.fr |
| Alexandre
Riazanov | Manchester
University | UK |
riazanov*cs.man.ac.uk |
| Albert
Rubio | Univ.
Politecnica de Catalunya. | Spain |
rubio*lsi.upc.es |
| Harald
Ruess | SRI
International | USA |
ruess*csl.sri.com |
| Ulrike
Sattler | TU
Dresden | Germany |
sattler*tcs.inf.tu-dresden.de |
| Renate
Schmidt | University
of Manchester | UK |
schmidt*cs.man.ac.uk |
| Robert
Schneck | Group
in Logic, UC Berkeley | USA |
schneck*math.berkeley.edu |
| Stephan
Schulz | Tech.
Univ. Muenchen | Germany |
schulz*informatik.tu-muenchen.de |
| Johann
Schumann | RIACS
NASA Ames | USA |
schumann*email.arc.nasa.gov |
| Carsten
Schürmann | Yale
University | USA |
carsten*cs.yale.edu |
| Christoph
Schwarzweller | Wilhelm-Schickard-Inst.
for Com. | Germany |
schwarzw*informatik.uni-tuebingen.de |
| Dana
S. Scott | Carnegie
Mellon Univ/ Dept. Comput | USA |
dana.scott*cs.cmu.edu |
| Roberto
Sebastiani | UNiversity
of Trento | Italy |
rseba*dit.unitn.it |
| Jörg
Siekmann | Saarland
University / DFKI | Germany |
siekmann*dfki.de |
| Sebastian
Skalberg | DIKU |
Denmark |
skalberg*diku.dk |
| John
Slaney | Australian
National University | Australia |
John.Slaney*anu.edu.au |
| Alan
Smaill | Univ.
Edinburgh | UK |
a.smaill*ed.ac.uk |
| Viorica
Sofronie-Stokkermans | Max-Planck-Institut
für Informatik | Germany |
sofronie*mpi-sb.mpg.de |
| Volker
Sorge | University
of Birmingham | UK |
V.Sorge*cs.bham.ac.uk |
| Gernot
Stenz | Technische
Universität München | Germany |
stenzg*in.tum.de |
| Werner
Stephan | German
Research Center for AI | Germany |
stephan*dfki.de |
| Mark
E. Stickel | SRI
International | USA |
stickel*ai.sri.com |
| Martin
Strecker | Tech.
Univ. München | Germany |
Martin.Strecker*in.tum.de |
| Jürgen
Stuber | INRIA
LORIA | France |
stuber*loria.fr |
| Aaron
Stump | Stanford
University | USA |
stump*cs.stanford.edu |
| Toshinori
Takai | National
Inst of Advanced Industria | Japan |
t-takai*aist.go.jp |
| Tanel
Tammet | Tallinn
Technical Univ and Safelog | Estonia |
tammet*staff.ttu.ee |
| Yoshihito
Toyama | RIEC,
Tohoku University | Japan |
toyama*nue.riec.tohoku.ac.jp |
| Andrei
Voronkov | University
of Manchester | UK |
voronkov*cs.man.ac.uk |
| Uwe
Waldmann | Max-Planck-Institut
fuer informatik | Germany |
uwe*mpi-sb.mpg.de |
| Christoph
Weidenbach | Max-Planck-Institut
fuer Informatik | Germany |
weidenb*mpi-sb.mpg.de |
| Claus-Peter
Wirth | FR
Inf., Saarland Univ. | Germany |
cp*ags.uni-sb.de |
| Stefan
Woltran | Vienna
University of Technology, | Austria |
stefan*kr.tuwien.ac.at |
| Calogero
Zarba | Stanford
University | USA |
zarba*theory.stanford.edu |
| Jürgen
Zimmer | Universitaet
des Saarlandes | Germany |
jzimmer*mathweb.org |
This list is generated from the VHC registration database, with manual
patches based on information from the FLoC paper and committee
databases.
If your entry is incorrect, or if you would prefer not to be listed,
contact andrzej@diku.dk.
![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
