Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Deadline extended: CfP for the 8th Workshop on...


view this post on Zulip Email Gateway (Apr 19 2022 at 09:13):

From: Alexander Steen <alx.steen@gmail.com>
FINAL CALL FOR PAPERS - DEADLINE EXTENDED

PAAR 2022: 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING
-- co-located with FLoC/IJCAR 2022 --
August 11-12, 2022, Haifa, Israel
Web site: https://paar2022.github.io/

Submission link: https://easychair.org/conferences/?conf=paar2022

The paper submission deadline has been extended:
Abstract registration deadline: May 2, 2022
Submission deadline: May 10, 2022

Description

The automation of logical reasoning is a challenge that has been studied
intensively in fields including mathematics, philosophy, and computer
science. PAAR is the workshop on turning this theory into practice: how
can automated reasoning tools be built that work and are useful in
applications? PAAR covers all aspects of this challenge: which theories,
logics, or fragments are well-behaved in practice, and connect well to
application domains? which reasoning tasks are tractable and useful?
which algorithms are able to solve real-world instances? how should
automated reasoning tools be designed, implemented, tested, and evaluated?

The goal of PAAR is to bring together theoreticians, tool developers,
and users, to concentrate on the practical aspects of automated
reasoning. The workshop welcomes high-quality contributions of any kind,
including new research results, presentation of work in progress,
presentation of new tools, new implementation techniques, new
application domains, or case studies.

PAAR 2022 will host the meeting of the working group on Automated
Theorem Provers of the EuroProofNet COST action
(https://europroofnet.github.io/). Every workshop participant is welcome
to attend.

Submission Guidelines

Researchers interested in participating are invited to submit either an
extended abstract (up to 8 pages) or a regular paper (up to 15 pages),
excluding references, via EasyChair at
https://easychair.org/conferences/?conf=paar2022. Submissions will be
refereed by the program committee, which will select a balanced program
of high-quality contributions. Short submissions that could stimulate
fruitful discussion at the workshop are particularly welcome.

Submissions should be prepared in LaTeX using the CEUR-WS.org style
template (CEURART, one-column). The package containing the class file
and the user guide can be downloaded from
http://ceur-ws.org/Vol-XXX/CEURART.zip.

SCOPE

Topics include, but are not limited to:


Invites speakers

Programme Committee

Publication

PAAR proceedings will be published electronically in the CEUR workshop
proceedings.

Venue

FLoC 2022 at Haifa, Israel

Important dates


Last updated: Mar 29 2024 at 04:18 UTC