CALL FOR PAPERS

			    ARW 2011
		18th Automated Reasoning Workshop
		The University of Glasgow, UK
			 11-12th April 2011

	   Abstract Submission Deadline: 23rd March 2011
                http://www.dcs.gla.ac.uk/arw2011

Papers
The workshop will include topics such as:

Theorem proving in classical and non-classical logics

Reasoning systems and mechanisms:
    Description logics
    Equational reasoning, unification
    Induction
    Constraint Satisfaction
    Combining reasoning systems
    Specialised decision procedures

Formal methods in software analysis:
    Verification
    Formal Modelling
    Non-classical inference:
    Non-monotonic reasoning, abduction
    Intuitionistic reasoning

Logic-based knowledge representation:
    Ontology specification
    Domain specific reasoning (spatial, temporal, epistemic etc.)
    Reasoning for agents (or about agents)
    Interactive theorem proving
    Implementation issues and empirical results
    Applications of automated reasoning


Presentations
Each workshop attendee will be allocated a 5-10 minute slot (depending
on time constraints), for a short talk to introduce their
research. Each attendee will also be allocated space in a poster
session, where they can further present and discuss their work. Please
prepare posters for the event. 

How to Submit Papers
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. Anyone wishing to attend but not interested in presenting
should send a shorter position statement (1/2 - 1 page). 

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 LaTeX style file provided:
ARW 2011 Submission 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 either Postscript or PDF format by email
to: kirwanr@dcs.gla.ac.uk. Please, if possible, title your email
"ARW2011Submission" for easier email filtering. 

For research (PhD) students - ARW 2011 has limited funds for the
financial support, please contact Alice Miller: alice@dcs.gla.ac.uk 

 

Invited Speakers
 
Colin Stirling (Edinburgh)
http://www.dcs.ed.ac.uk/~cps

Patricia Johann (Strathclyde)
http://www.cis.strath.ac.uk/~patricia