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"
Arbeitswelt im Wandel
03.07.2026 | eco.nova
CompiCamp 2026 in Malbun
20.07.2026 | 1FL News
Events
01.09.2026 –03.09.2026 Die Summer School ALPEC findet vom 1. bis 3. September 2026 statt. Ihr Ziel ist es, einen fundierten und dennoch leicht verständlichen Überblick über eine Reihe von Themen im Bereich der datenschutzfördernden Kryptografie zu vermitteln.
11.09.2026 Defensio: Thomas Filips, BSc
Thomas Filips wird seine Masterarbeit „Improving Automated C-to-Rust Translation" um 11:00 Uhr im Raum 3W04 (Technikerstr. 21a) vorstellen. Interessierte KollegInnen sind herzlich willkommen!
16.09.2026 Defensio: Tobias Beiser, BSc
Tobias Beiser wird seine Masterarbeit „Co-Simulation for Smart Buildings using Waveform Relaxation" um 12:00 Uhr im Raum Hörsaal 10 (Technikerstr. 21) 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.
