Next Workshop

The Twenty-sixth Workshop on Automated Reasoning (ARW 2019) will be organised by Florian Kammueller and Alexander Bolotov at the University of Middlesex on 2-3 September 2019.

Objective

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.

Organising Committee

• Alexander Bolotov Chair (University of Westminster)
• Jacques Fleuriot Secretary/Treasurer (University of Edinburgh)
• Simon Colton (Goldsmiths College, University of London)
• David Crocker (Escher Technologies)
• Louise Dennis (University of Liverpool)
• Ullrich Hustadt (University of Liverpool)
• Mateja Jamnik (Univerity of Cambridge)
• Florian Kammueller (Middlesex University)
• Ekaterina Komendantskaya (University of Dundee)
• Konstantin Korovin (University of Manchester)
• Alice Miller (University of Glasgow)
• Oliver Ray (University of Bristol)
• Giles Reger (University of Manchester)

Full contact details are available here. 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.