General Information

The 20th Automated Reasoning Workshop (ARW 2013) will be held at the School of Computing of University of Dundee on 11-12 April 2013.

!!! The registration is now open, follow this link. !!!

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
  • Practical experiences 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 presenting system demonstrations, and open discussion sessions organised around specific topics. This year, the two chosen topics will be Machine Learning in Automated Reasoning and Automated Reasoning in Economics . They will follow the invited lectures devoted to these topics.

INVITED SPEAKERS

Presentations

Each workshop participant will be allocated a 5-10 minute slot (depending on time constraints), for a short talk 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.

Sponsored by: