skip to primary navigationskip to content

Automated Reasoning Workshop 2018

The 25th Automated Reasoning Workshop (ARW 2018) will take place at the University of Cambridge on 12-13 April 2018.
When Apr 12, 2018 09:00 AM to
Apr 13, 2018 05:00 PM
Where Computer Laboratory, JJ Thompson Avenue, Cambridge, CB3 0FD
Add event to calendar vCal

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”.

More information about this event…

About Us


The University of Cambridge’s Trustworthy Technologies Strategic Research Initiative (SRI) catalyses and facilitates multi-disciplinary research on issues relating to society, trust, and computer and internet technologies.

Upcoming events

Hermann Hauser - Technology for Social Good in 2027

Apr 05, 2018

Anglia Ruskin University, Lecture Theatre LAB002, East Road, Cambridge, CB1 1PT


Apr 10, 2018

Manchester Central, Windmill St, Manchester, M2 3GX

Automated Reasoning Workshop 2018

Apr 12, 2018

Computer Laboratory, JJ Thompson Avenue, Cambridge, CB3 0FD

Upcoming events