\n

Large-sca le semantic processing and strong computer assista nce of mathematics and science is our inevitable f uture. New combinations of AI and reasoning method s and tools deployed over large mathematical and s cientific corpora will be instrumental to this tas k. The AITP conference is the forum for discussing how to get there as soon as possible, and the for ce driving the progress towards that.

\n\nThere will be several focused sessions on AI for A TP, ITP and mathematics, Formal Abstracts, linguis tic processing of mathematics/science, modern AI a nd big-data methods, and several sessions with con tributed talks. The focused sessions will be based on invited talks and discussion oriented.

\n\n

URL:http://aitp-conference.org/2019
END:VEVENT
END:VCALENDAR
AITP solicits contributed talks. S election of those will be based on extended abstra cts/short papers of 2 pages formatted with easycha ir.cls. Submission is via EasyChair. Accepted cont ributions will be published in an informal book of abstracts for distribution at the conference.

\n