Atlas home || Conferences | Abstracts | about Atlas
Host: Schloss Dagstuhl
Homepage: http://www.dfki.de/CIAO-2000/, http://www.dagstuhl.de/DATA/Events/00/#00122
Email: office@dagstuhl.de
Organizers: D. Hutter (DFKI Saarbrücken)
Description:
The CLAM-INKA-OMRS workshop (CIAO-2000) will be held in Dagstuhl from the 20th to the 21st March 2000. It is
intended to provide a snapshot of research into automating mathematical reasoning, especially in the areas of proof planning,
rippling and related areas. Given the widening interested in these areas, the CIAO-2000 workshop is inviting participation from
groups involved in closely related research.
Date received: March 21, 2000
© 2008 Atlas Conferences Inc.