| Name |
Affiliation |
Country |
Email
(with "*" for "@") |
| Wolfgang
Ahrendt | Chalmers
University | Sweden |
ahrendt*cs.chalmers.se |
| Matthias
Baaz | TU
Wien | Austria |
baaz*logic.at |
| Peter
Baumgartner | Univ.
Koblenz-Landau | Germany |
peter*uni-koblenz.de |
| Bernhard
Beckert | Univ.
of Karlsruhe | Germany |
beckert*ira.uka.de |
| Chad
Brown | Carnegie
Mellon Univ. | USA |
cebrown*andrew.cmu.edu |
| Frank
Brown | University
of Kansas | USA |
brown*eecs.ku.edu |
| Serenella
Cerrito | University
Paris 11 | France |
serena*lri.fr |
| Nathalie
Chetcuti-Sperandio | IRIT |
France |
chetcuti*irit.fr |
| Marta
Cialdea Mayer | Univ.
di Roma Tre | Italy |
cialdea*dia.uniroma3.it |
| Roy
Dyckhoff | Univrsity
of St Andrews | UK |
rd*dcs.st-and.ac.uk |
| Uwe
Egly | TU
Wien | Austria |
uwe*kr.tuwien.ac.at |
| Christian
Fermüller | TU
Wien | Austria |
chrisf*logic.at |
| Camillo
Fiorentini | University
of Milano | Italy |
fiorenti*dsi.unimi.it |
| Guido
Fiorino | CRII,
Universita' dell'Insubria | Italy |
guido*dsi.unimi.it |
| Melvin
Fitting | City
Univ. of New York | USA |
fitting*lehman.cuny.edu |
| Ulrich
Furbach | University
of Koblenz | Germany |
uli*furbach.de |
| Didier
Galmiche | LORIA
- Univ.Henri Poincare | France |
galmiche*loria.fr |
| Lilia
Georgieva | Max-Planck-Inst
für Inf. | Germany |
georgiel*cs.man.ac.uk |
| Martin
Giese | Universität
Karlsruhe | Germany |
giese*ira.uka.de |
| 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 |
| Reiner
Hähnle | Chalmers
University of Technology | Sweden |
reiner*cs.chalmers.se |
| Jens
Happe | Simon
Fraser University | Canada |
jhappe*cs.sfu.ca |
| James
Harland | RMIT
University | Australia |
jah*cs.rmit.edu.au |
| Jan
Hladik | TU
Dresden | Germany |
hladik*tcs.inf.tu-dresden.de |
| Ullrich
Hustadt | University
of Liverpool | UK |
U.Hustadt*csc.liv.ac.uk |
| Yevgeny
Kazakov | Max-Planck-Institut
fuer Informatik | Germany |
kazakov*mpi-sb.mpg.de |
| Michael
Kohlhase | Carnegie
Mellon University | USA |
kohlhase+*cs.cmu.edu |
| Boris
Konev | The
University of Liverpool | UK |
konev*csc.liv.ac.uk |
| Reinhold
Letz | Munich
University of Technology | Germany |
letz*in.tum.de |
| Carla
Limongelli | University
"Roma Tre" | Italy |
limongel*dia.uniroma3.it |
| Zohar
Manna | Stanford
University | USA |
manna*cs.stanford.edu |
| Maarten
Marx | ILLC,
University of Amsterdam | The
Netherlands | marx*science.uva.nl |
| Dale
Miller | Penn
State University | USA |
dale*cse.psu.edu |
| Georg
Moser | Universität
Münster | Germany |
moserg*math.uni-muenster.de |
| Neil
Murray | University
at Albany - SUNY | USA |
nvm*cs.albany.edu |
| Linh
Anh Nguyen | Warsaw
University | Poland |
nguyen*mimuw.edu.pl |
| Naoyuki
Nide | Nara
Women's University | Japan |
nide*ics.nara-wu.ac.jp |
| Jean-Marc
Notin | LORIA
- Univ Henri Poincare | France |
notin*loria.fr |
| Nicola
Olivetti | University
of Torino | Italy |
olivetti*di.unito.it |
| Uwe
Petermann | HTWK
Leipzig | Germany |
uwe*imn.htwk-leipzig.de |
| Elaine
Pimentel | UFMG
- Federal University of Minas Gerai | Brazil |
elaine*mat.ufmg.br |
| Regimantas
Pliuskevicius | Institute
of Mathematics and Informatics, Vilnius | Lithuania |
regis*ktl.mii.lt |
| Norbert
Preining | TU
Wien | Austria |
preining*logic.at |
| Ken
Shiotani | Chiba
University | Japan |
saltcat*bc4.so-net.ne.jp |
| Viorica
Sofronie-Stokkermans | Max-Planck-Institut
für Informatik | Germany |
sofronie*mpi-sb.mpg.de |
| Gernot
Stenz | Technische
Universität München | Germany |
stenzg*in.tum.de |
| Balder
ten Cate | University
of Amsterdam - ILLC | The
Netherlands | b.ten.cate*hum.uva.nl |
| Virginie
Thion | LRI,
Orsay | France |
Virginie.Thion*lri.fr |
| Dan
Willard | SUNY-Albany |
USA |
dew*cs.albany.edu |
| 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 |
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.