[FOM] 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13/4/18
Dr A. Koutsoukou-Argyraki
ak2110 at cam.ac.uk
Tue Mar 20 19:28:37 EDT 2018
25th AUTOMATED REASONING WORKSHOP 2018
University of Cambridge, 12-13 April 2018
http://www.cl.cam.ac.uk/events/arw2018/
(LAST REMINDER FOR REGISTRATION DEADLINE: 25 MARCH 2018)
GENERAL INFORMATION
The 25th Automated Reasoning Workshop (ARW 2018) will take place at the
University of Cambridge on 12-13 April 2018.
INVITED SPEAKERS
Ekaterina Komendantskaya (Heriot-Watt University)
Lawrence Paulson (University of Cambridge)
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
- Machine learning and automated reasoning systems
- 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 open discussion sessions organised around specific topics
such as "Automated Reasoning meets Artificial Intelligence".
IMPORTANT DATES
25 March 2018: Registration deadline (now EXTENDED)
12-13 April 2018: Workshop
PROGRAMME COMMITTEE
Alexander Bolotov Chair (University of Westminster)
Jacques Fleuriot Secretary/Treasurer (University of Edinburgh)
Simon Colton (Goldsmiths College, University of London)
Louise Dennis (University of Liverpool)
Ullrich Hustadt (University of Liverpool)
Mateja Jamnik (University of Cambridge)
Florian Kammueller (Middlesex University)
Ekaterina Komendantskaya (Heriot-Watt University)
Alice Miller (University of Glasgow)
Oliver Ray (University of Bristol)
Renate Schmidt (University of Manchester)
LOCAL ORGANISERS
Mateja Jamnik (Mateja dot Jamnik at cl dot cam dot ac dot uk)
Edward Ayers
Angeliki Koutsoukou-Argyraki
Wenda Li
Chaitanya Mangla
Lawrence Paulson
Zohreh Shams
CONTACT
arw2018 at easychair.org
More information about the FOM
mailing list