[loginf] 5th IWIL Workshop - Call for Papers

Stephan Schulz schulz at informatik.tu-muenchen.de
Thu Oct 21 12:44:07 CEST 2004

5th International Workshop on the Implementation of Logics

                 Call for Papers

The 5th International Workshop on the Implementation of Logics will be
held in March 2005 in conjunction with the 11th International
Conference on Logic for Programming, Artificial Intelligence, and
Reasoning in Mondevideo, Uruguay.

We are looking for contributions describing implementation techniques
for and implementations of automated reasoning programs, theorem
provers for various logics, logic programming systems, and related
technologies. Topics of interest include, but are not limited to:

+ Datastructures and algorithms for the efficient representation of 
  logical concepts 
+ Practical constraint handling
+ Implementation of provers for different logics
+ Efficient model generation
+ Issues of reliability, witness generation, and  witness
+ Propositional logic (modulo theories) and decision procedures
+ Implementation of higher order logics and lambda-calculus
+ Proof search organization and efficient heuristics for classical
  and inductive provers
+ Experiences with new or unusual calculi
+ Evaluation and benchmarking of provers and other logic-based
+ System descriptions

We are particularly interested in contributions that help the
community to understand how to build useful and powerful reasoning
systems in practice.

Researchers interested in participating are invited to send a short
abstract (4-8 pages) to schulz at eprover.org.

Submissions will be refereed by the program committee, which will
select a balanced program of high-quality contributions.

Submissions should be in standard-conforming Postscript, PDF, or plain
ASCII. Final versions will likely be required to be in Postscript or
PDF, and will be included in the proceedings. If possible, please use
(PDF)LaTeX and the standard article class.

Important Dates:

  Submission of abstracts: January 14th, 2005
  Notification: February 11th, 2005
  Final version: March 1st, 2005
  Workshop: March 13th, 2005 (tentative)

Program committee:

   Elvira Albert             Universidad Complutense de Madrid
   Alessandro Cimatti        ITC/irst, Trento
   Bart Demoen               Katholieke Universiteit Leuven
   Ullrich Hustadt           University of Liverpool
   Boris Konev (Co-Chair)    University of Liverpool
   Bernd Loechner            TU Kaiserslautern
   William McCune            Argonne National Laboratory
   Gopalan Nadathur          University of Minnesota
   Alexandre Riazanov        University of Manchester
   Renate Schmidt            University of Manchester
   Kostis Sagonas            Uppsala University
   Stephan Schulz (Co-Chair) TU Muenchen and U. Verona
   Gernot Stenz              TU Muenchen
   Mark E. Stickel           SRI International
   Geoff Sutcliffe           University of Miami

Workshop home page: http://www.eprover.org/EVENTS/iwil-2004.html

-------------------------- It can be done! ---------------------------------
   Please email me as schulz at informatik.tu-muenchen.de (Stephan Schulz)

More information about the loginf mailing list