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
iCal

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

Cambridge Trustworthy Technologies is a University of Cambridge strategic research initiative (SRI) which catalyses and facilitates multi-disciplinary research on issues relating to society, trust, and computer and internet technologies.

Mailing list

Keep up-to-date with our news, events, and activities.

Sign up here