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"
Algorithm for a strong IT hub
16/09/2026 | FWF
CompiCamp 2026 in Malbun
20/07/2026 | 1FL News
Events
01.09.2026 –26.12.2026 The SIC Data-hack Challenge gives students at Bachelor’s, Master’s, and PhD levels the opportunity to work in teams on a real-world challenge at the intersection of sport, data, technology, and fan engagement. The winning team will receive support to further develop its idea, showcase its solution at the Spengler Cup 2026, and receive tickets to both the Spengler Cup and THE SPOT 2027.
27.09.2026 Sashko Ristov (QE research group) will give the talk: "Engineering Cloud Digital Twins: From Requirements to Replicable Models" at the 18th ICT Innovations which takes place in Struga, North Macedonia.
28.09.2026 Rigorosum: Abdelrahman Elsayed Abdallah
Abdelrahman Elsayed Abdallah will present his thesis “LLM-Driven Reranking in Retrieval-Augmented Generation“ at 10:00 in Seminar room 1 (Technikerstr. 21a). 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.
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!
