4th International Workshop on the Implementation of Logics
Friday September 26th, 2003, Almaty, Kazakhstan

Following a series of successful workshops on the implementation of logics held in conjunction with the LPAR conference, there will be a fourth workshop on this topic, to be held in conjunction with the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2003, September 22-26, Almaty, Kazakhstan.

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

• System descriptions
• Data structures and algorithms for the efficient representation of logical concepts
• Practical constraint handling
• Implementation of provers for different logics
• Implementation of logic programming
  
• Efficient model generation
• Issues of reliability, proof generation and verification
• Propositional logic and decision procedures
• Implementation of higher order logics and lambda-calculus
• Proof search organisation and efficient heuristics for classical and inductive provers
• Experiences with new or unusual calculi
• Evaluation and benchmarking of provers and other logic-based systems

Researchers interested in participating are invited to send a short abstract, experimental paper, position paper, system description, or research paper of between 2 and 15 pages to B.Konev@csc.liv.ac.uk. 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 or plain ASCII. Final versions should be in Postscript and will be included in the proceedings of the workshop which will be edited by Boris Konev and distributed to the participants. Following the workshop, final versions of the accepted papers will be made available electronically in the workshop's homepage.

Important dates:

• Submission of abstracts: July 27th, 2003
• Notification: August 15th
• Final version: September 1st
• Workshop: September 26th, with LPAR 2003.

Registration:

Program committee:

Previous events: