Location

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

Tel: +43/512/507-53229


Quick Links

Latest News

September 8, 2017: CL Mini Seminar on Isabelle Tool Development

continue reading ...

June 1, 2017: FWF project “FORTissimo: Automating the First-Order Theory of Rewriting” approved

continue reading ...

May 18, 2017: PhD student or postdoc position available

continue reading ...

September 15, 2016: Cezary Kaliszyk awarded ERC starting grant

continue reading ...