The Calculemus Autumn School
by Christoph Kreitz, Sabina Petride, Matthew Fluet
The Calculemus Autumn School in September/October 2002 brought together a number of experts from the research field of Computer Algebra and Deduction Systems to train young researchers, high school teachers, and representatives from industry on the state-of-the-art research and current systems in this field.
We will talk about some of the systems presented at the School in detail and
discuss some of the issues that symbolic reasoning systems may have to address
in the coming years.
SlidesOverview - Christoph Kreitz
Theorem proving and planning - Matthew Fluet
Approaches on integration - Sabina Petrides