**********************************************************************
**                     CALL FOR PARTICIPATION                       **
**                                                                  **
**    4th International Workshop on First-Order Theorem Proving     **
**                    FTP'2003, June 12-14, 2003                    **
**                         Valencia, Spain                          **
**********************************************************************

	  *** early registration deadline: May 15, 2003 ***

The FTP'2003 workshop is the fourth in a series that intends to focus
effort on First-Order Theorem Proving as a core theme of Automated
Deduction, and to provide a forum for presentation of recent work and
discussion of research in progress.
The topics considered are: theorem proving in first-order classical,
many-valued, and modal logics; strategies and complexity of theorem
proving procedures; applications of first-order theorem provers.

FTP'2003 will be part of the Federated Conference on Rewriting,
Deduction and Programming (RDP'03), together with RTA (the 14th
International Conference on Rewriting Techniques and Applications),
TLCA (the 6th International Conference on Typed Lambda Calculi and
Applications), and several workshops.


INVITED TALKS:

- Enrico Giunchiglia (DIST, Genova, Italy)
  "SAT and Beyond SAT"
- Thomas Hillenbrand (MPI, Saarbruecken, Germany)
  "Citius altius fortius:
   Lessons learned from the Theorem Prover WALDMEISTER"
- Dieter Hutter (DFKI, Saarbruecken, Germany)
  "Deduction as an Engineering Science"


PROGRAM:

The Program Committee has selected 16 high quality papers for
presentation at the workshop.  This list of regular papers, system
descriptions and position papers is available at:

	http://rewriting.loria.fr/FTP-2003/ftp2003results.html


REGISTRATION:

FTP'2003 registration is now available on the RDP'03 web page:

       http://www.dsic.upv.es/~rdp03/org/registration_info.html

The DEADLINE FOR EARLY REGISTRATION is Wednesday, May 15, 2003.


FURTHER INFORMATION:

For regularly updated details of the workshop organization, visit the
FTP'2003 and RDP'03 web pages:

		 http://rewriting.loria.fr/FTP-2003/
		    http://www.dsic.upv.es/~rdp03/

For contacting the PC chairs: ftp2003 @ uni-koblenz.de