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).

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.