Location

ICT Gebäude
2nd Floor, Room 3M08
Technikerstraße 21a
6020 Innsbruck
Austria

Tel: +43/512/507-53229


Quick Links

Latest News

January 22, 2015: FWF project “Certification Redux” approved

continue reading ...

December 5, 2014: FWF project “From Confluence to Unique Normal Forms: Certification and Complexity” approved

continue reading ...

November 10th, 2014: CL congratulates Michael Färber for winning the “Prix de la France”.

continue reading ...

July 23, 2014: Vienna Summer of Logic

continue reading ...