next up previous contents
Next: MEGA 98 Up: Announcements Previous: SIMAI

The Second International Theorema Workshop

June 4-5, 1998, RISC, Hagenberg by Linz, Austria

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@risc.uni-linz.ac.at
or
	Theorema Workshop
	Institut RISC
	A-4232 Hagenberg
	Austria
No 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:

theorema_workshop@risc.uni-linz.ac.at
or
tjebelea@risc.uni-linz.ac.at


next up previous contents
Next: MEGA 98 Up: Announcements Previous: SIMAI