News
CL welcomes its new member: Cezary Kaliszyk
Dr. Cezary Kaliszyk is an expert on interactive theorem proving and joins us from the renowned University of Tsukuba, Japan.
continue reading ...Award of the Hypo Tirol Bank 2011 (December 22 2011)
The project “The Word Problem in Equational Logic” led by Dr. Harald Zankl is supported by the “Hypo Bank Tirol Forschungsförderungspreis 2011”.
continue reading ...2nd Kick-Off Meeting STRUCTURAL (October 21 2011)
From October 26 — 28 the Computational Logic group hosts the
2nd kick-off meeting of the STRUCTURAL project.
Memorandum of Understanding (September 5 2011)
Early September the University of Innsbruck and the Japan Advanced Institute of Science and Technology have signed a memorandum of understanding that eases international cooperation.
continue reading ...