Система компьютерной алгебры GAP - Call for Presentations at AISC'08 and Calculemus 2008
Call For Presentations
jointly for AISC'08 -- Artificial Intelligence and Symbolic Computation and Calculemus 2008 -- Integrating Symbolic Computation and Mechanised Reasoning
held as part of the
Conferences on Intelligent Computer Mathematics (CICM '08)
July 30 -- August 2, 2008
University of Birmingham, UK
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 at easychair dot org or calculemus08 at easychair dot 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.