[Caml-list] IWIL 2017 with LPAR-21 in Botswana - Call for Papers

12th International Workshop on the Implementation of Logics
http://www.eprover.org/EVENTS/IWIL-2017.html

CALL FOR PAPERS
Deadline: March 20, 2017.


The 12th International Workshop on the Implementation of Logics will be held on
7th May 2017, in conjunction with the 21th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning, at Cresta Riley's
Hotel in Maun, Botswana.

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
+ Non-classical logics, including modal, temporal, description, non-monotonic
reasoning
+ Formal foundations for efficient implementation of logics
+ Data structures and algorithms for the efficient representation and
processing of logical concepts
+ Proof/model search organization and heuristics for logical reasoning systems
+ Data analysis and machine learning approaches to search control
+ Techniques for proof/model search visualization and analysis
+ Reasoning with ontologies and other large theories
+ Implementation of efficient theorem provers and model finders for different
logics
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ I/O standards and communication between reasoning systems

We are particularly interested in contributions that help the community to
understand how to build useful and powerful reasoning systems, and how to apply
them 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 paper (up to 15
pages) via the EasyChair page for IWIL-2017.
https://easychair.org/conferences/?conf=iwil2017

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. The
proceedings will be published as a volume of EPiC Computing.

Important Dates:

+ Submission of papers/abstracts: March 20th, 2017
+ Notification of acceptance: April 10th, 2017
+ Camera ready versions due: April 21st, 2017
+ Workshop: May 7th, 2017

Program committee (so far - more coming):

Stephan Schulz (Co-Chair) DHBW Stuttgart
Geoff Sutcliffe (Co-Chair) University of Miami
Josef Urban (Co-Chair) Czech Technical University
Armin Biere Johannes-Kepler Universität Linz
Jasmin Blanchette INRIA Nancy/MPI für Informatik
Guillaume Burel ENSIIE/CEDRIC
Stefan Hetzl Vienna University of Technology
Jan Hladik DHBW Stuttgart
Tommi Junttila Aalto University
Boris Konev University of Liverpool
Jens Otten Universität Potsdam
Giles Reger The University of Manchester
Andrew Reynolds University of Iowa
Peter Schneider-Kamp University of Southern Denmark
Laurent Simon University of Bordeaux
Martin Suda Vienna University of Technology
Bob Veroff University of New Mexico
Uwe Waldmann Max-Planck-Institut für Informatik
Bruno Woltzenlogel Paleo Australian National University

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs