Location

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

Tel: +43/512/507-53229


Quick Links

Latest News

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

continue reading ...

November 24, 2014: 2-year postdoc or 3-year PhD-student position available

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