Twenty-Second Workshop on Automated Reasoning
(ARW 2015) was organised by
Volker Sorge at the
Birmingham on 9th-10th April 2015.
The next workshop will be in 2016 and is usually organised around
This workshop series provides an informal forum for the automated
reasoning community to discuss recent work, new ideas and current
trends. It 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.
The series covers the full breadth and diversity of automated reasoning,
including topics such as logic and functional programming; equational
reasoning; deductive databases; unification and constraint solving; the
application of formal methods to specifying, deriving, transforming and
verifying computer systems and requirements; deductive and non-deductive
reasoning, including abduction, induction, nonmonotonic reasoning, and
analogical reasoning; commonsense reasoning; and the wide range of topics
that fall under the heading of knowledge representation and reasoning.
The workshops in this series are highly interactive, giving all attendees
the opportunity to participate. The workshops contain many open discussion
sessions organised around specific topics, and often contain sessions for
displaying posters and presenting system demonstrations.
This is intended to be an inclusive workshop, 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.
This web site mainly serves as a repository for information
on past workshops in the series.
Full contact details are available
The Organising Committee is eager to hear your comments and
suggestions. Please contact a committee member and if relevant they
will forward to the committee
The members only mail address for committee members is
arw-committee at csc.liv.ac.uk.