Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры 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.

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

В избранное