GENERAL INFORMATION

The 19th Automated Reasoning Workshop (ARW 2012) will be held at the University of Manchester from 2 to 4 April 2012. This year the workshop will be collocated with the 28th British Colloquium for Theoretical Computer Science.

PROCEEDINGS

The electronic version of the proceedings can be found at the following link:
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:161817

The BibTeX reference is as follows.
@PROCEEDINGS{SchmidtPapacchini12,
EDITOR = {Schmidt, Renate A. and Papacchini, Fabio},
YEAR = {2012},
TITLE = {Proceedings of the 19th Automated Reasoning Workshop},
PUBLISHER = {School of Computer Science, The University of Manchester},
ADDRESS = {Manchester},
PAGES = {71},
URL = {http://arw2012.cs.man.ac.uk/},
ABSTRACT = {This report contains the proceedings of The 19th Automated Reasoning Workshop (ARW2012). The workshop was held at the University of Manchester from 2 to 4 April 2012.ARW provides an informal forum for the automated reasoning community to discussrecent work, new ideas and applications, and current trends. It aims to bring togetherresearchers from all areas of automated reasoning in order to foster links and facilitatecross-fertilisation of ideas among researchers from various disciplines, from theoreticians,from implementers and from users of automated reasoning methodologies. Since 1994, when it was held in Leedsas part of the 1994 AISBWorkshop and Tutorial Series,ARW has been organised on an annual basis.}
}

SCOPE

The workshop will provide 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 and facilitate cross-fertilisation of ideas among researchers from various disciplines, from theoreticians, from implementers and from users of automated reasoning methodologies.

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 the opportunity to participate. It will contain sessions for displaying posters and presenting system demonstrations, and open discussion sessions organised around specific topics.

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.