Theorema Seminar

The work of the Theorema Group (research, software implementation, advising of PhD and masters' students and seminar students) is discussed and co-ordinated in the weekly Theorema Seminar. The exact date of this seminar is fixed at the first meeting in every semester but is, sometimes, adjusted to the particular time schedules of the faculty and students.

Students of mathematics and computer science are invited to take part in the Theorema seminar. For being accepted to the seminar, please, write an introductory mail to buchberger@risc.uni-linz.ac.at.