******************************************************** 20th Automated Reasoning Workshop (ARW'13) School of Computing, University of Dundee, UK www.computing.dundee.ac.uk/staff/katya/arw2013 CALL FOR PAPERS AND STUDENT TRAVEL GRANT DEADLINE ********************************************************************* Reminder: student travel grant deadline is approaching (18 February 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@gmail.com.