[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Presentations at AISC'08 and Calculemus 2008

       [ We apologise if you receive multiple copies ]
Call For Presentations

jointly for 
AISC'08 -- Artificial Intelligence and Symbolic Computation
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:

Please submit title and abstract (one page or less) to:
aisc08@xxxxxxxxxxxxx or calculemus08@xxxxxxxxxxxxx

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.