[DL] FTP'2005: call for participation

Reinhold Letz letz at informatik.tu-muenchen.de
Mon Aug 8 14:23:11 CEST 2005

                  [Apologies for multiple copies]


                     CALL FOR PARTICIPATION
    5th International Workshop on First-Order Theorem Proving     
                 FTP'2005, September 15-17, 2005                  
                        Koblenz, Germany  


Invited speaker: Hans-Juergen Ohlbach (Munich)

Social events:
     - excursion to Fortress Ehrenbreitstein (Thursday)
     - excursion to St. Goar - Wine festival (Saturday) 
     - Rhine in Flames (Saturday)

Important Dates:
      Early registration deadline   August 12, 2005
      Camera ready papers           August 18, 2005
      FTP'2005 workshop             September 15-17, 2005

   The series of FTP workshops is intended to focus 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 workshop welcomes original contributions on:
   * theorem proving in first-order classical, many-valued, and modal
     logics, including:
     - resolution,
     - tableau methods,
     - equational reasoning,
     - term rewriting,
     - model construction,
     - constraint reasoning,
     - unification,
     - description logics,
     - propositional logic,
     - specialized decision procedures,
   * strategies and complexity of theorem proving procedures,
   * applications of first-order theorem provers, for example to:
     - verification,
     - artificial intelligence,
     - mathematics,
     - education.
   The previous international workshops on First-Order Theorem Proving
   were held at Schloss Hagenberg (Austria, 1997), Vienna (Austria,
   1998), St Andrews (Scotland, 2000), Valencia (Spain, 2003).  
   In 2001 and 2004, FTP was part of the IJCAR Conferences, held in 
   Siena (Italy) and Cork (Ireland), respectively.

Program Committee:
  A. Armando (Genova)  
  B. Beckert (Koblenz)  
  C. Fermueller (Vienna)  
  B. Gramlich (Vienna)  
  R. Letz (Munich, chair)  
  B. Loechner (Kaiserslautern)  
  C. Lynch (Clarkson)  
  P. Narendran (Albany)  
  N. Peltier (Grenoble)  
  M. Rusinowitch (Nancy) 
  R. Schmidt (Manchester)  
  M. Velev (CMU)  
  L. Vigano (Zurich) 

Local Organization:
  G. Beuster, V. Klebanov (Koblenz)

Conference Venue:
   The workshop will be held in Koblenz, Germany, jointly with
   the International conference TABLEAUX 2005, with opportunities
   for joint registration.
   Other invited lectures at the joint meeting will be given by:
     - Ian Horrocks (Manchester)
     - Diego Calvanese (Bolzano)
     - Eric Rosenthal (New Haven)

Further information:
   For contacting the PC chair: ftp2005 @ uni-koblenz.de

More information about the dl mailing list