News
Tools of the CL-Group are Successful at the FLoC Olympic Games in 2026
During the last two weeks of July 2026, the Federated Logic Conference (FLoC) took place in Lisbon. FLoC 2026 did not only host 10 international conferences, but it also included the FLoC olympic games. These games consisted of several international competitions on all kinds of automated reasoning challenges, including the international Confluence Competition (CoCo 2026).
Media review
"What can AI do?" with Pascal Knierim
27/01/2026 | Radio Tirol "Tirol am Wort"
The Changing World of Work
03/07/2026 | eco.nova
CompiCamp 2026 in Malbun
20/07/2026 | 1FL News
Events
01.09.2026 –03.09.2026 The summer school ALPEC will be held in September 1-3, 2026. The goal of this short school is to provide an in-depth yet accessible overview of a number of topics in privacy enabling Cryptography.
11.09.2026 Defensio: Thomas Filips, BSc
Thomas Filips will present his master's thesis, “Improving Automated C-to-Rust Translation,” at 11:00 a.m. in Room 3W04 (Technikerstr. 21a). Interested colleagues are cordially invited to attend!
16.09.2026 Defensio: Tobias Beiser, BSc
Tobias Beiser will present his master's thesis, “Co-Simulation for Smart Buildings using Waveform Relaxation,” at 12:00 p.m. in Room Hörsaal 10 (Technikerstr. 21). Interested colleagues are cordially invited to attend!
Rainer Böhme (head of SEC research group) will give the talk: "KI – aktuelle und zukünftige Schadenszenarien für die Cyberversicherung". Virtual participation is possible.
02.10.2026 This workshop takes place as part of the 20th ACM Recommender Systems Conference (RecSys 2026) in Minneapolis, MN, USA and is co-organized by Eva Zangerle (DBIS research group).
05.10.2026 –06.10.2026 This workshop takes place as part of the 25th IEEE International Symposium on Mixed and Augmented Reality (ISMAR) in Bari and is co-organized by Pascal Knierim (IGS research group).
16.10.2026 The 3rd Alumni Homecoming Day of the Faculty of Mathematics, Computer Science and Physics will take place in the Large Lecture Hall on October 16, 2026, starting at 4:00 p.m. We look forward to seeing you again!
21.10.2026 The Day of Scientific Computing 2026 is organized by the Research Area Scientific Computing. It brings together researchers and students working in modelling and simulation and presents these indispensable tools of modern science to a university-wide audience. Registration required!
28.10.2026 –29.10.2026 This conference will take place in Budapest in 2026 and one of the organizers is Samuel Frontull (TCS research group), as Ladin will be represented as a language for the first time. The WMT is a long-established and important competition in the field of machine translation.
12.11.2026 The Department of Computer Science has been organizing an annual day of information and networking between students and research staff with the inday students event since 2014.
05.01.2027 –08.01.2027 Philipp Zech is co-chair of the minitrack “Dependable Technical and Socio-technical Systems Engineering” at the 60th Hawaii International Conference on System Sciences.
23.02.2027 Tag der MIP 2027
The Day of Mathematics, Computer Science and Physics will take place on Tuesday, February 23, 2027, from 8:00 a.m. to 1:30 p.m. at the Technology Campus. The event is specifically aimed at pupils in the last two years of secondary school who are interested in studying at MIP.
25.02.2027 In 2027 the Girls! TECH UP will take place in Innsbruck for the first time! This event is specifically aimed at girls in high school and secondary school.
