[Caml-list] Artificial Intelligence and Theorem Proving - Call for Papers

[geoff@cs.miami.edu (Geoff Sutcliffe)]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3600 bytes --]

                     CALL FOR CONTRIBUTIONS

          Artificial Intelligence and Theorem Proving,
                            AITP 2017
              March 26-30, 2017, Obergurgl, Austria

                     http://aitp-conference.org/2017

                        Deadline: December 1, 2016
        https://easychair.org/conferences/?conf=aitp2017

BACKGROUND
Large-scale semantic processing and strong computer assistance of mathematics 
and science is our inevitable future. New combinations of AI and reasoning 
methods and tools deployed over large mathematical and scientific corpora will 
be instrumental to this task. The AITP conference is the forum for discussing 
how to get there as soon as possible, and the force driving the progress 
towards that.

TOPICS
    - AI and big-data methods in theorem proving and mathematics.
    - Collaboration between automated and interactive theorem proving.
    - Common-sense reasoning and reasoning in science.
    - Alignment and joint processing of formal, semi-formal, and informal 
      libraries.
    - Methods for large-scale computer understanding of mathematics and science.
    - Combinations of linguistic/learning-based and semantic/reasoning methods.
 
SESSIONS
There will be several focused sessions on AI for ATP, ITP and mathematics, 
modern AI and big-data methods, and several sessions with contributed talks. 
The focused sessions will be based on invited talks and discussion oriented.

CONFIRMED PARTICIPANTS/SPEAKERS
Cameron Freer, Gamalon Labs
Georges Gonthier, INRIA Saclay
Thomas C. Hales, University of Pittsburgh
John Harrison, Intel
Andreas Holmstrom	
Cezary Kaliszyk, University of Innsbruck
Michael Kohlhase, FAU Erlangen-Nurnberg 
Tim Rocktäschel, University College London
Stephan Schulz, DHBW Stuttgart
Christian Szegedy, Google
Josef Urban, Czech Technical University
Robert Veroff, University of New Mexico

CONTRIBUTED TALKS
We solicit contributed talks. Selection of those will be based on extended 
abstracts/short papers of 2 pages formatted with easychair.cls.
Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2017).

DATES
Submission deadline: December 1, 2016
Author notification: December 23, 2016
Conference registration: January 20, 2017
Camera-ready versions: February 1, 2017
Conference: March 26-30, 2017

POST-PROCEEDINGS
We will consider an open call for post-proceedings in an established series of 
conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).

PROGRAM COMMITTEE
Jasmin Christian Blanchette, INRIA Nancy
Ulrich Furbach, University of Koblenz
Deyan Ginev, Jacobs University Bremen 
Thomas C. Hales (co-chair), University of Pittsburgh
Sean Holden, University of Cambridge
Geoffrey Irving, Google
Cezary Kaliszyk (co-chair), University of Innsbruck
Jens Otten, University of Oslo
Claudio Sacerdoti Coen, University of Bologna
Stephan Schulz (co-chair), DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Josef Urban (co-chair), Czech Technical University

LOCATION AND PRICE
The conference will take place from March 26 to March 30 in the stunning 
scenery of the Tyrolean Alps in the Obergurgl Conference Center 
(http://www.uz-obergurgl.at/) of the University of Innsbruck. Obergurgl is 
a picturesque village located at an altitude of 2000m, a 1-hour drive from 
Innsbruck.  It offers a variety of winter-sport activities such as skiing, 
snowshoeing and hiking at this time of the year. The total price for 
accommodation, food and registration for the four days will be around 500 EUR.

ORGANIZERS
Cezary Kaliszyk and Josef Urban