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.

Please submit title and abstract (one page or less) to: aisc08@easychair.org or calculemus08@easychair.org

Deadlines

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.