10th International Conference on
Artificial Intelligence and Symbolic Computation
AISC 2010

Paris, France, 5th-6th July 2010

Call For Presentations

You are invited to submit a title and a short abstract proposing a presentation (short talk or poster) on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for presenting both mature work and work in progress are welcome. Please submit title and abstract (up to 2 pages) to aisc2010_0@easychair.org and indicate your preferred presentation style (short talk or poster).

Submission of title and abstracts:
May 28, 2010
Notification of acceptance:
June 4, 2010

The accepted work should be presented at the conference in a short talk of 15 minutes or as poster preceded by a 5 min teaser talk. The abstracts of the accepted presentations will be collected in informal proceedings and made available at the conference. Authors of accepted presentations are elligible to submit to a special issue in the Annals of Math and AI after the conference.