General Information

The 25th Automated Reasoning Workshop (ARW 2018) will take place at the University of Cambridge on 12-13 April 2018.

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 and Artificial Intelligence”.


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 call for papers is available in plain text format.

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 your submissions via EasyChair here.


You can register for the workshop here.

Costs: £90 for students, £120 for full paying participants.
Deadline for registration is 21 March 2018.

Registration includes coffee break refreshments, lunches and workshop dinner at Clare College. Additional dinner tickets for guests can be purchased on the registration page.


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 up to A0), where they can further present and discuss their work. Please prepare posters for the event.

Invited Speakers


This is a preliminary schedule subject to change.

April 12th
9:00 - 10:00 Registration
10:00 - 11:00 Invited Talk
11:00 - 11:30 Coffee Break
11:30 - 12:30 Short Talks
12:30 - 13:00 Poster Session
13:00 - 14:00 Lunch
14:00 - 15:30 Short Talks
15:30 - 16:30 Poster Session and Coffee
19:00 onwards Dinner (Clare College)
April 13th
9:30 - 10:30 Short Talks
10:30 - 11:30 Coffee and Poster Session
11:30 - 13:00 Discussion panel: AR meets AI
13:00 - 14:00 Lunch
14:00 - 15:00 Invited Talk (Larry Paulson)
15:00 - 16:00 Coffee and Business meeting

Student Grants

There is a small number of grants available for PhD students. Applications must include:

  • an abstract of at most 2 pages following the formatting details on the submissions page.
  • a recommendation letter from their supervisor
  • a covering letter from the student

Recipients of grants are expected to present their work in the poster sessions. The abstracts will be published in the workshop notes.

The ARW committee will review the applications. Preference will be given to those who would not otherwise have resources to attend the workshop, and whose attendance would benefit both the applicant and the workshop.

Applicants who receive grants will be allowed to register at a reduced student registration rate.

All applications should be sent to using ARW2018 Student Grant as the subject of the email. The deadline for applying for these grants is 1 March 2018.


ARW Committee

Local Organisers

Local Arrangements

Venue Location

The workshop will take place in the Computer Laboratory (CL) at the Department of Computer Science and Technology (CST) on the West Cambridge site. Directions are available here.


We have reserved 20 single rooms at Clare College for ARW2018 participants for the nights of April 12th and April 13th. Additionally, there are 4 ensuite rooms available at Clare College including the night before the start (April 11th). To book one of these rooms, please follow this link and use the promotional code of "ARW2018".

There are also other rooms around Cambridge and within colleges that can be booked here:

Getting to Cambridge

Information on how to get to Cambridge is available at the Visit Cambridge site here.


Please email The Computer Laboratory reception could also be of assistance.