Following in the highly successful series of Workshops on Automated Reasoning, this workshop will provide an informal forum for the automated reasoning community. This workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

Topics

Theorem proving in classical and non-classical logics Equational reasoning Unification Induction Verification Specification Constraint solving Decision procedures

Formal methods Interactive theorem proving Nonmonotonic reasoning Abduction Logic-based knowledge representation, in particular description logics Implementation Experiments

Participation

The workshop is intended to be an inclusive event, with participants encouraged from the broad spectrum covered by the field of automated reasoning. We encourage the participation of experienced researchers as well as those new to the field, especially students. The call for participation is available here.

Format of the Workshop

There will be invited talks, panel sessions, short presentations of the papers, and poster sessions. Each accepted paper will be introduced by a 5 minute overview talk. The technical details can then be presented in one of the poster sessions.

Related Events