Email Gateway (Aug 18 2022 at 11:55): Email Gateway (Aug 18 2022 at 11:55):From: Volker Sorge <V.Sorge@cs.bham.ac.uk>
[ We apologise if you receive multiple copies ]
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.
For more information on the topics of interest please see:
http://events.cs.bham.ac.uk/cicm08/aisc08
http://events.cs.bham.ac.uk/cicm08/calculemus08
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.
Last updated: May 03 2024 at 01:09 UTC