Call for Presentations
You are invited to submit a title and a short abstract proposing a talk on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for talks on both mature work and work in progress are welcome.
Submission of title and abstracts: 23 May
Notification of acceptance 30 May
The accepted work should be presented at the conference. The abstracts of the accepted presentations will be distributed as internal proceedings at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference.