News

System’s Administrator Wanted (May 2, 2012)

The Computational Logic research group is looking for a new system’s administrator.

Logic Puzzles @ Tiroler Forschungsnacht (April 28, 2012)

The Computational Logic group showed how computers can solve logic puzzles such as Sudoku at the Tiroler Forschungsnacht.

Andreas Schnabl passed his final examination (April 27, 2012)

Today DI Andreas Schnabl passed his rigorosum (cum laude) and will soon be officially honoured with his doctorate.

FWF-JSPS Joint Project Austria-Japan Accepted (March 20, 2012)

The project “Constrained Rewriting and SMT: Emerging Trends in Rewriting”, funded by Austrian Science Fund (FWF) and the Japan Society for Promotion of Science (JSPS) has been accepted. The project is a joint project between Austria and Japan. It is planned for 3 years and will commence shortly. The volume of the project is EUR 463K.

CL welcomes its new member: Cezary Kaliszyk (February 1, 2012)

Dr. Cezary Kaliszyk is an expert on interactive theorem proving and joins us from the renowned University of Tsukuba, Japan.

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”.