The Coq mailing list

[Volker Sorge <V.Sorge AT 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 AT easychair.org
 or 
calculemus08 AT 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.