[isabelle] Fwd: CFP: Automated Reasoning Workshop, 3-4 April 2017, University of Bristol



> Subject: CFP: Automated Reasoning Workshop, 3-4 April 2017, University of Bristol
> 
> ------------------------------------------------------------------
>       [ We apologise if you receive multiple copies ]
> ------------------------------------------------------------------
> 
>          24th  Automated Reasoning Workshop  (ARWâ17)
> 
>                       3-4 April 2017
>                  University of Bristol
> 
>            https://www.cs.bris.ac.uk/~oray/ARW17/
> 
> 
>          FINAL CALL FOR ABSTRACTS AND PARTICIPATION
> 
> ------------------------------------------------------------------
> 
> GENERAL INFORMATION
> 
> The 24th Automated Reasoning Workshop (ARW 2017) will be held at 
> the University of Bristol from 3-4 April 2017.
> 
> 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.
> 
> 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, argumentation
>   * 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. The discussion sessions
> will follow the invited lectures.
> 
> One discussion will focus on the topic of eXplainable AI (XAI) and 
> the potential role of logical methods in this emerging field.
> 
> INVITED SPEAKERS
> 
> There will be invited talks by 
> 
> - Maria Paola Bonacina (on topics relating to semantically-guided 
> goal-sensitive theorem proving and satisfiability modulo theories);
> 
> - Nello Christianini (on topics relating to the philosophy of AI,
> computational social science and statistical machine learning).
> 
> SUBMISSIONS
> 
> We invite the submission of camera-ready, two-page extended abstracts
> on 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.  
> 
> Please submit all sources (TeX file and any input files) along with a 
> PDF via EasyChair at https://easychair.org/conferences/?conf=arw170.
> 
> Correspondence will be sent to corresponding authors indicated on
> EasyChair.
> 
> PUBLICATION DETAILS
> 
> Abstracts will be included in an informal workshop proceedings that will 
> be made available on the workshop page (see link at top of this email).
> 
> PRESENTATIONS
> 
> Each workshop participant will be asked to give a short talk (5-10
> minutes) to introduce their research. Each participant will also be
> allocated space in a poster session (poster size up to A1), where they
> can further present and discuss their work. 
> 
> IMPORTANT DATES
> 
> 22-29 March 2017 
>  Abstract submission period (2-page limit,
>  Notification within 2 days of submission)
> 3-4 April 2017 
>  The workshop itself
> 
> ARW ORGANISING COMMITTEE
> 
> Alexander Bolotov        (University of Westminster)
> Simon Colton             (Goldsmiths College, University of London)
> David Crocker            (Escher Technologies)
> Louise Dennis            (University of Liverpool)
> Jacques Fleuriot         (University of Edinburgh)
> Ullrich Hustadt          (University of Liverpool)
> Mateja Jamnik            (Univerity of Cambridge)
> Florian Kammueller       (Middlesex University)
> Ekaterina Komendantskaya (University of Dundee)
> Alice Miller             (University of Glasgow)
> Oliver Ray               (University of Bristol)
> Renate Schmidt           (University of Manchester)
> 
> LOCAL ORGANISERS
> 
> Oliver Ray
> Helen Cooke
> 
> CONTACT
> 
> Please address any queries about the workshop to
> csxor at bristol.ac.uk
> 



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.