CFP
ARW2019: 26th UK Automated Reasoning Workshop 2019 Middlesex University London, UK, September 2-3, 2019 |
Conference website | http://arw.csc.liv.ac.uk/ |
Submission link | https://easychair.org/conferences/?conf=arw2019 |
Abstract registration deadline | June 10, 2019 |
Submission deadline | June 10, 2019 |
26th AUTOMATED REASONING WORKSHOP (ARW2019) GENERAL INFORMATION The 26th Automated Reasoning Workshop (ARW 2019, http://arw.csc.liv.ac.uk/) will take place at Middlesex University of on 2-3 September 2019 and will be co-located with the prestigious TABLEAUX 2019 (https://tableaux2019.org/) and FroCoS 2019 (https://frocos2019.org/) conferences. The workshop participants will benefit from a very convenient fee option that would allow them to also attend the conferences. The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas, applications, and current trends. We aim 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 Machine learning and automated reasoning systems Practical experience and applications of automated reasoning Our workshops are highly interactive, giving all attendees an opportunity to participate. SUBMISSION INFORMATION: 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. The submission Web page for ARW2019 is https://easychair.org/conferences/?conf=arw2019 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 asked to give a short talk (around 10 minutes depending on time constraints) to introduce their research. Each participant will also be allocated space in a poster session (poster size should be A1), where they can further present and discuss their work. Please prepare posters for the event. STUDENT GRANTS We will have a limited number of grants available to support PhD students in attending the event. If you are interested, please refer to the workshop website for details. The deadline to apply for student grants is 1 June 2018. Imporatant Dates: 23 May 2019: Students grants Application Deadline 10 June 2019: Abstract submission deadline 13 June 2019: Student grant notification 13 June 2019: Abstract acceptance notification 20 June 2019: Final version due 2-3 September 2019: Workshop Registration information will be available on the Workshop Website. Alexander Bolotov, Chair (University of Westminster) Jacques Fleuriot, Secretary/Treasurer (University of Edinburgh) Simon Colton (Goldsmiths College, University of London) David Crocker (Escher Technologies) Louise Dennis (University of Liverpool) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (Univerity of Cambridge) Florian Kammueller (Middlesex University) Ekaterina Komendantskaya (University of Dundee) Konstantin Korovin (University of Manchester) Alice Miller (University of Glasgow) Oliver Ray (University of Bristol) Giles Reger (University of Manchester) LOCAL ORGANISERS Florian Kammueller Alexander Bolotov CONTACT A.Bolotov@wmin.ac.uk f.kammueller@mdx.ac.uk