2-4 Apr 2012
Manchester, U.K.
LAST CALL FOR ABSTRACTS
ARW 2012
19th Automated Reasoning Workshop
The University of Manchester, UK
2-4 April 2012
http://arw2012.cs.man.ac.uk/
The deadline for Abstract Submission is 12 March 2012, less than
10 days from now.
IMPORTANT DATES
12 Mar 2012 Abstract submission deadline
within 3 days Notification of abstract acceptance/rejection
22 Mar 2012 Final version due
2-4 Apr 2012 Workshop
REGISTRATION & ACCOMMODATION
Please register as soon as possible by going to
http://arw2012.cs.man.ac.uk/ and following the links to our
registration site. Accommodation booking can be done separately
via the same address. We advise early booking, as Manchester
hotels can get busy.
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.
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:
o Theorem proving in classical and non-classical logics
o Interactive theorem proving, logical frameworks, proof
assistants, proof planning
o 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
o Formal methods to specifying, deriving, transforming and
verifying computer systems, requirements and software
o Logic-based knowledge representation and reasoning:
Ontology engineering and reasoning
Domain specific reasoning (spatial, temporal, epistemic,
agents, etc)
o Logic and functional programming, deductive databases
o Implementation issues and empirical results, demos
o 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.
INVITED SPEAKERS
o Reiner Haehnle (Technische Universitaet Darmstadt)
Formal verification of software product families
o Daniel Kroening (University of Oxford)
SAT over an Abstract Domain
o Mike Edmunds (University of Cardiff)
BCTCS Afternoon invited lecture
The Antikythera Mechanism and the early history of
mechanical computing
SUBMISSIONS
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.
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. Correspondence will be sent to the first author,
unless otherwise indicated.
Submissions should be sent in PDF format to
ARWorkshop2012@gmail.com using *ARW12Submission* as subject of
the email. For the final versions we require all sources (tex
file and any input files).
PUBLICATION DETAILS
Abstracts will be published in informal workshop notes and will
be made available on the internet.
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, where they can further present and discuss
their work. Please prepare posters for the event.
CONTACT
Please address any queries about the workshop to the local
organisers at ARWorkshop2012@gmail.com.
SPONSORS
Automated Reasoning Workshop
British Logic Colloquium
School of Computer Science, University of Manchester
University of Manchester
ARW ORGANISING COMMITTEE
Alexander Bolotov
Simon Colton
David Crocker
Louise Dennis
Clare Dixon
Jacques Fleuriot
Ullrich Hustadt
Mateja Jamnik
Ekaterina Komendantskaya
Alice Miller
Renate Schmidt
Volker Sorge
LOCAL ORGANISERS
Renate Schmidt (Chair)
Mohammad Khodadadi
Fabio Papacchini
Dmitry Tishkovsky