Location

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

Tel: +43/512/507-53229


Quick Links

Latest News

April 21, 2015: Harald Zankl completes his habilitation procedure

continue reading ...

April 1, 2015: CL welcomes Akihisa Yamada as new member

continue reading ...

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