[Om-announce] 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023

[geoff at cs.miami.edu]

14th International Workshop on the Implementation of Logics
https://eprover.org/EVENTS/IWIL-2023.html


FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023.
==============================================================

The 14th International Workshop on the Implementation of Logics will be held on June 4th, 2023, in conjunction with the 24th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, in Manizales, Colombia.

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
Practical constraint handling
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 IWIL2023: https://easychair.org/conferences/?conf=iwil2023

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 Kalpa Publications in Computing.

Important Dates:

Submission of papers/abstracts: May 15th, 2023
Notification of acceptance: ASAP, 2023
Camera ready versions due: TBD, 2023
Workshop: June 4th, 2023
Program committee (so far - more coming):

Konstantin Korovin (Co-Chair) University of Manchester
Stephan Schulz (Co-Chair) DHBW Stuttgart
Michael Rawson (Co-Chair) TU Wien
Katalin Fazekas TU Wien
Jasmin Blanchette Ludwig-Maximilians-Universität München
Simon Schwarz Max-Planck-Institute for Informatics
Franz Brauße University of Manchester
Petra Hozzová TU Wien
Johannes Schoisswohl TU Wien
Alexander Steen Uni Greifswald
Jan Jakubův Czech Technical University
Boris Konev University of Liverpool
Daniela Kaufmann TU Wien
Christoph Wernhard University of Potsdam
Giles Reger Amazon Web Services, University of Manchester
Armin Biere University of Freiburg
Yevgeny Kazakov The University of Ulm
Martina Seidl Johannes Kepler University Linz
Eugenia Ternovska Simon Fraser University
Haniel Barbosa Universidade Federal de Minas Gerais
Ahmed Bhayat University of Manchester
Andrew Reynolds University of Iowa
Jens Otten University of Oslo
Pascal Fontaine Université de Liège, Belgium
(more to follow)