8th International Workshop on the Implementation of Logics
     http://www.eprover.org/EVENTS/IWIL2010/iwil-2010.html


                    Call for Papers


The 8th International Workshop on the Implementation of Logics will be
held in October 2010 in conjunction with the 17th International
Conference on Logic for Programming, Artificial Intelligence, and
Reasoning in Yogyakarta, Indonesia.

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:


+ Propositional logic and decision procedures, including SMT
+ First-order and higher order logics
+ Formal foundations for efficient implementation of logics
+ Datastructures and algorithms for the efficient representation of
  logical concepts
+ Proof search organization and heuristics for logical reasoning systems
+ Practical constraint handling
+ Implementation of efficient theorem provers for different logics
+ Implementation of efficient model finders for different logics
+ Implementation of efficient systems for other processes in logic
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and  witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ Experiences with new or unusual calculi


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 submit a
position statement (2 pages), a short paper (up to 5 pages), or a full
papers (up to 15 pages) via EasyChair at

    http://www.easychair.org/conferences/?conf=iwil2010

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

Submissions should be in standard-conforming PDF. Final versions will
be required to be submitted in LaTeX using the easychair.cls class
file. Proceedings will be published as EasyChair Proceedings.

If number and quality of the submissions warrant it, we plan to
produce a special issue of a recognized journal on the topic of the
workshop.

Important Dates:

   Submission of papers/abstracts:  August 9th, 2010
   Notification of acceptance:      August 27th, 2010
   Camera ready versions due:       September 27th, 2010
   Workshop:                        October 10th, 2010 


Program committee:

   Eugenia Ternovska (Co-Chair)  Simon Frazer University, Vancouver
   Stephan Schulz (Co-Chair)     TU München
   Geoff Sutcliffe (Co-Chair)    University of Miami
   Michael Gabbay                King's College, London
   Boris Konev                   University of Liverpool
   Fausto Spoto                  Università di Verona
   Jiri Vyskocil                 Charles University, Prague
   <futher members to be confirmed>