The Theorema project at RISC aims at extending current computer algebra systems by facilities for supporting mathematical proving. Related research is carried on by RISC in cooperation with other groups:
The purpose of the workshop is to present the current status of these projects and to stimulate further interaction between the groups. Guests from the international research community are cordially invited to participate.
The proceedings will be published in the RISC Technical Report Series.
The workshop will consist of informal presentation of current reserch in the fields of automatic reasoning and rewriting systems. Please send your abstract -- preferably in electronic form (full-text, postscript, Mathematica notebook, Doc for Windows) -- to:
Theorema Workshop Institut RISC A-4232 Hagenberg AustriaNo formal refereeing will be performed, but we will check the papers for conformance to the scope of the workshop. The notification for acceptance will be sent to the authors by e-mail in a couple of days after receiving the abstract. Each accepted talk should be followed by a written paper which will be published in the proceedings (available at the conference).
For more information please write email to: