------------------------------------------------------------------
      [ We apologise if you receive multiple copies ]
------------------------------------------------------------------

23rd  Automated Reasoning Workshop  (ARW 2016)

                      19-20 May 2016
                 University of Liverpool

http://www.csc.liv.ac.uk/~ullrich/ARW2016/


CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS

GENERAL INFORMATION

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

SCOPE

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.

Topics include but are not limited to:

- Theorem proving in classical and non-classical logics;
- Interactive theorem proving, logical frameworks, proof assistants,
  proof planning
- Reasoning methods:
  * Saturation-based, instantiation-based, tableau, SAT
  * Equational reasoning, unification
  * Constraint satisfaction
  * Decision procedures, SMT
  * Combining reasoning systems
  * Non-monotonic reasoning, commonsense reasoning
  * Abduction, induction
  * Model checking, model generation, explanation
- Formal methods to specifying, deriving, transforming and verifying
  computer systems, requirements and software
- Logic-based knowledge representation and reasoning:
  * Ontology engineering and reasoning
  * Domain specific reasoning (spatial, temporal, epistemic,agents, etc)
- Logic and functional programming, deductive databases
- Implementation issues and empirical results, demos
- Practical experience and applications of automated reasoning

The workshop will be highly interactive, giving all attendees an
opportunity to participate. There will be sessions for displaying
posters and presenting system demonstrations, and open discussion
sessions organised around specific topics. The discussion sessions
will follow the invited lectures.

SUBMISSIONS

We invite the submission of camera-ready, two-page extended abstracts
about recent work, work in progress, or a system description.  The
abstract can describe work that has already been published elsewhere.
The main objective of the abstracts is to spread information about
recent work in our community, and we expect to accept most on-topic
submissions, but we may ask for revisions.

To prepare your submission, please use the ARW LaTeX style file
provided from the workshop website. Each submission should include the
names and complete addresses (including email) of all authors.  For
the final versions we require all sources (TeX file and any input
files).

Please send you submission via Easychair at
https://www.easychair.org/conferences/?conf=arw16.
Correspondence will be sent to corresponding authors indicated on
EasyChair.

PUBLICATION DETAILS

Abstracts will be published in informal workshop notes and will be
made available on the workshop page.

PRESENTATIONS

Each workshop participant will be asked to give a short talk (5-10
minutes) to introduce their research. Each participant will also be
allocated space in a poster session (poster size up to A0), where they
can further present and discuss their work. Please prepare posters for
the event.

STUDENT GRANTS

We have a limited number of grants available to support PhD students
in attending the event. If you are interested submit an application by
6 May 2016. Please refer to the workshop website for details.

IMPORTANT DATES

    6 May 2016  Student grant application deadline
    6 May 2016  Abstract submission deadline
    9 May 2016  Abstract notification
   13 May 2016  Final version due
19/20 May 2016  Workshop

ARW ORGANISING COMMITTEE

Alexander Bolotov        (University of Westminster)
Simon Colton             (Goldsmiths College, University of London)
David Crocker            (Escher Technologies)
Louise Dennis            (University of Liverpool)
Clare Dixon              (University of Liverpool)
Jacques Fleuriot         (University of Edinburgh)
Ullrich Hustadt          (University of Liverpool)
Mateja Jamnik            (Univerity of Cambridge)
Florian Kammueller       (Middlesex University)
Ekaterina Komendantskaya (University of Dundee)
Alice Miller             (University of Glasgow)
Oliver Ray               (University of Bristol)
Renate Schmidt           (University of Manchester)
Volker Sorge             (University of Birmingham)

LOCAL ORGANISERS

Ullrich Hustadt

CONTACT
Please address any queries about the workshop to
arw16@easychair.org.