Participant list for CADE

Registrants

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

Distribution

Country Count
USA 28
Germany 27
France 15
UK 15
Spain 6
Austria 5
Italy 5
Australia 4
Canada 4
Japan 4
Sweden 3
Denmark 2
Ukraine 2
Estonia 1
Israel 1
Poland 1
Russia 1
Taiwan 1
The Netherlands 1
Total 126

Generated on Fri Aug 9 12:08:37 2002.

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.