RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
FTP'03
4th International Workshop on First order Theorem Proving
Valencia, Spain, June 12-14, 2003


LIST OF PARTICIPANTS
Number of Participants: 37
Name Second Name Email Affiliation
Gilles Barthe Gilles.Barthe@sophia.inria.fr INRIA Sophia-Antipolis
Frederic Blanqui LIX, Ecole Polytechnique
Maria Paola Bonacina mariapaola.bonacina@univr.it Università degli Studi di Verona
Domenico Cantone cantone@dmi.unict.it Dept. of Mathematics and Computer Science - University of Catania
Hugues Citeau esmeunier@ilog.fr ILOG
Nelly Condori Fernández nelly@dsic.upv.es DSIC, Universidad Politécnica de Valencia
Francisco Correa Zabala fcorrea@dsic.upv.es DSIC, Universidad Politécnica de Valencia
David Crocker dcrocker@eschertech.com Escher Technologies Ltd.
Nachum Dershowitz nachumd@tau.ac.il Tel Aviv Univ.
Mnacho Echenim Mnacho.Echenim@imag.fr LEIBNIZ-INPG
Elmar Eder eder@cosy.sbg.ac.at Dep. of Scientific Computing, University of Salzburg
Steven Eker eker@csl.sri.com SRI International
Christian Fermueller chrisf@logic.at TU Wien
Guillaume Feuillade Guillaume.Feuillade@irisa.fr ENS Cachan / IRISA
Thom Fruehwirth Thom.Fruehwirth@informatik.uni-ulm.de Universitaet Ulm
Silvio Ghilardi ghilardi@dsi.unimi.it Dipartimento di Scienze dell'informazione
Enrico Giunchiglia giunchiglia@dist.unige.it DIST
Bernhard Gramlich gramlich@logic.at TU Wien, Inst. f. Computersprachen
Thomas Hillenbrand hillen@mpi-sb.mpg.de Max-Planck-Institut für Informatik
Dieter Hutter hutter@dfki.de German Research Center for Artificial Intelligence
Pierre Lescanne pierre.lescanne@ens-lyon.fr ENS de Lyon
Patrick Lincoln lincoln@csl.sri.com SRI International
Salvador Lucas slucas@dsic.upv.es DSIC, Universidad Politécnica de Valencia
Felip Manya felip@eup.udl.es Universitat de Lleida
Aart Middeldorp ami@is.tsukuba.ac.jp University of Tsukuba
Mizuhito Ogawa mizuhito@acm.org JAIST / JST
Hitoshi Ohsaki ohsaki@ni.aist.go.jp National Institute of Advanced Industrial Science and Technology (AIST)
Nicolas Peltier Nicolas.Peltier@imag.fr CNRS, Leibniz-IMAG
Silvio Ranise Silvio.Ranise@loria.fr LORIA & INRIA-Lorraine
Christophe Ringeissen ringeiss@loria.fr LORIA-INRIA Lorraine
Gernot Salzer salzer@logic.at Technische Universität Wien
Cesare Tinelli tinelli@cs.uiowa.edu The University of Iowa
Josef Urban urban@kti.ms.mff.cuni.cz Charles University
Pascal Urso urso@essi.fr UNSA
Germán Vidal gvidal@dsic.upv.es DSIC, Universidad Politécnica de Valencia
Laurent Vigneron Laurent.Vigneron@loria.fr LORIA - Universite Nancy 2
Hans Zantema h.zantema@tue.nl TU/e
                                                                                                                                                                                                               
Last update July 2003 # sescobar@dsic.upv.es