PRL Seminars

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.

Slides