Location

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

Tel: +43/512/507-53229


Quick Links

Latest News

November 23, 2017: 3-year PhD student and postdoc position available

continue reading ...

November 8, 2017: CL welcomes Evan Marzion, Yutaka Nagashima and T. V. H. Prathamesh as new members

continue reading ...

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