[TYPES/announce] Final Call for Contributions: Automated Reasoning Workshop, April 2013, Dundee

[Jonathan Heras]

********************************************************

20th  Automated Reasoning Workshop  (ARW'13)

    School of Computing, University of Dundee, UK

www.computing.dundee.ac.uk/staff/katya/arw2013

FINAL CALL FOR CONTRIBUTIONS DEADLINE

*********************************************************************

Reminder: submission deadline is approaching (3 March 2013), see
http://www.computing.dundee.ac.uk/staff/katya/arw13/grants.html
for more details.

*********************************************************************



GENERAL INFORMATION

The 20th Automated Reasoning Workshop (ARW 2013) will be held
at the University of Dundee on 11-12 April 2013. This year, the
workshop is supported by the Scottish Informatics and Computer
Science Alliance (SICSA) and the British Logic Colloquium (BLC).


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 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 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 .

The discussion sessions will follow the invited lectures devoted to
these topics.

INVITED SPEAKERS

Joseph Urban, Radboud University
Invited lecture  "Machine Learning in Automated Reasoning", followed
by the discussion session. 11 April 2012.


Manfred Kerber, University of Birmingham
Invited lecture  "Automated Reasoning for Economics" followed by the
discussion session, 12 April 2012.


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 using Easychair. 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 workshop page.

PRESENTATIONS
Each workshop participant will be allocated a 10-15 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.



STUDENT GRANTS
As it is a SICSA sponsored event,
students from SICSA institutions do not pay registration fees.

For all other PhD students,  there is a limited number of grants available.
The application deadline is 18 February 2013. Please refer to the
workshop website for details.



REGISTRATION FEES

Regular registration fee - 110
Student registration fee - 80
Student from a SICSA institution - FREE
Extra dinner ticket    -  40

IMPORTANT DATES

18 Feb 2013 Student grant application deadline
3 Mar 2013 Abstract submission deadline
8 Mar 2013 Abstract notification
25 Mar 2013 Final version due
11-12 Apr 2013 Workshop



ARW ORGANISING COMMITTEE


Alexander Bolotov
Simon Colton
David Crocker
Louise Dennis
Clare Dixon
Jacques Fleuriot
Ullrich Hustadt
Mateja Jamnik
Katya Komendantskaya
Alice Miller
Renate Schmidt
Volker Sorge



LOCAL ORGANISERS

Katya Komendantskaya
Jónathan Heras


CONTACT
Please address any queries about the workshop to the organisers at
arworkshop2013 at gmail.com.

The University of Dundee is a Scottish Registered Charity, No. SC015096.