General Information

The 23rd Automated Reasoning Workshop (ARW 2016) will be held at the Department of Computer Science of the University of Liverpool on 19-20 May 2016.

The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike. The participation of experienced researchers as well as those new to the field, especially students, is encouraged.

The workshop is intended to cover 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 workshop aims to be highly interactive, giving all attendees the opportunity to participate. It will contain sessions for displaying posters and presenting system demonstrations as well as open discussion sessions organised around specific topics.

Details of the ARW organisation and of previous ARW events can be found at the ARW website.