26th AUTOMATED REASONING WORKSHOP (ARW2019)

GENERAL INFORMATION

The 26th Automated Reasoning Workshop (ARW 2019, http://arw.csc.liv.ac.uk/) will take place at Middlesex University of on 2-3 September 2019
and will be co-located with the prestigious TABLEAUX 2019 (https://tableaux2019.org/) and FroCoS 2019 (https://frocos2019.org/) conferences.
The workshop participants will benefit from a very convenient fee option that would allow them to also attend the conferences.

The workshop provides an informal forum for the automated reasoning community to discuss recent work,
new ideas, applications, and current trends. We aim 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
    Machine learning and automated reasoning systems
    Practical experience and applications of automated reasoning

Our workshops are highly interactive, giving all attendees an opportunity to participate.

SUBMISSION INFORMATION:
 
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.
The submission Web page for ARW2019 is https://easychair.org/conferences/?conf=arw2019

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
(around 10 minutes depending on time constraints) to introduce their research.
Each participant will also be allocated space in a poster session (poster size should be A1),
where they can further present and discuss their work. Please prepare posters for the event.

STUDENT GRANTS

We will have a limited number of grants available to support PhD students in attending the event.
If you are interested, please refer to the workshop website for details. The deadline to apply for student grants is 1 June 2018.

Imporatant Dates:
23  May 2019: Students grants Application Deadline
10 June 2019: Abstract submission deadline
13 June 2019: Student grant notification
13 June 2019: Abstract acceptance notification
20 June 2019: Final version due
2-3 September 2019: Workshop

Registration information will be available on the Workshop Website.

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)


LOCAL ORGANISERS

Florian Kammueller
Alexander Bolotov

CONTACT

A.Bolotov@wmin.ac.uk
f.kammueller@mdx.ac.uk