News
CL-Group-Tools überzeugen bei den FLoC Olympic Games 2026
In den letzten beiden Juliwochen des Jahres 2026 fand in Lissabon die Federated Logic Conference (FLoC) statt. Die FLoC 2026 umfasste nicht nur zehn internationale Konferenzen, sondern auch die FLoC-Olympiade. Diese Spiele bestanden aus mehreren internationalen Wettbewerben zu allen Arten von Herausforderungen im Bereich Automated Reasoning, darunter der internationale Confluence-Wettbewerb (CoCo 2026).
Medienspiegel
"Was kann KI?" mit Pascal Knierim
27.01.2026 | Radio Tirol "Tirol am Wort"
Algorithmus für einen starken IT-Standort
16.09.2026 | FWF
CompiCamp 2026 in Malbun
20.07.2026 | 1FL News
Events
01.09.2026 –26.12.2026 Die SIC Data-hack Challenge bietet Studierenden auf Bachelor-, Master- und Promotionsebene die Möglichkeit, in Teams an einer praxisnahen Aufgabenstellung an der Schnittstelle von Sport, Daten, Technologie und Fan-Engagement zu arbeiten. Das Gewinnerteam erhält Unterstützung bei der Weiterentwicklung ihrer Idee, darf ihre Lösung beim Spengler Cup 2026 präsentieren und erhält Tickets sowohl für den Spengler Cup als auch für THE SPOT 2027.
Sashko Ristov (Forschungsgruppe QE) hält den Vortrag "Engineering Cloud Digital Twins: From Requirements to Replicable Models" bei der 18. ICT Innovations in Struga, Nordmazedonien.
28.09.2026 Rigorosum: Abdelrahman Elsayed Abdallah
Abdelrahman Elsayed Abdallah wird seine Dissertation „LLM-Driven Reranking in Retrieval-Augmented Generation" um 10:00 Uhr in SR 1 (Technikerstr. 21a) vorstellen. Interessierte KollegInnen sind herzlich willkommen!
Rainer Böhme (Leiter der Forschungsgruppe SEC) hält den Vortrag "KI – aktuelle und zukünftige Schadenszenarien für die Cyberversicherung". Eine virtuelle Teilnahme ist möglich.
02.10.2026 Dieser Workshop findet im Rahmen der 20th ACM Recommender Systems Conference (RecSys 2026) in Minneapolis, MN, USA statt und wird von Eva Zangerle (Forschungsgruppe DBIS) mitorganisiert.
05.10.2026 –06.10.2026 Dieser Workshop findet im Rahmen des 25. IEEE International Symposium on Mixed and Augmented Reality (ISMAR) in Bari statt und wird von Pascal Knierim (Forschungsgruppe IGS) mitorganisiert.
16.10.2026 Der 3. Alumni Homecoming Day der Fakultät für Mathematik, Informatik und Physik findet am 16. Oktober 2026 ab 16:00 Uhr im Großen Hörsaal statt. Wir freuen uns auf ein Wiedersehen!
21.10.2026 Der „Day of Scientific Computing 2026“ wird vom Forschungsbereich Scientific Computing organisiert. Er bringt Forschende und Studierende zusammen, die in den Bereichen Modellierung und Simulation tätig sind, und präsentiert einem universitätsweiten Publikum diese unverzichtbaren Werkzeuge der modernen Wissenschaft. Registrierung notwendig.
05.01.2027 –08.01.2027 Philipp Zech ist Co-Chair des Minitracks „Dependable Technical and Socio-technical Systems Engineering“ bei der 60. Hawaii International Conference on System Sciences.
23.02.2027 Tag der MIP 2027
Der Tag der Mathematik, Informatik und Physik findet am Dienstag, den 23. Februar 2027 von 8:00 bis 13:30 Uhr am Campus Technik statt. Die Veranstaltung richtet sich gezielt an Schülerinnen und Schüler der letzten beiden Klassen der Sekundarstufe II, die sich für ein Studium an der MIP interessieren.
25.02.2027 2027 findet Girls! TECH UP zum ersten Mal in Innsbruck statt! Der Erlebnistag richtet sich speziell an Mädchen der Unter- und Oberstufe.
