17.09. 09:00 - 12:30 Uhr
Hauptprogramm Informatik-Festval Teil I

17.09. 14:00 Uhr
Session 1: Internet der Dinge und Netzwerksysteme

• Beyond Centralization: A Multi-region LoRaWAN-Fog Architecture for Efficient IoT - Muhammad Tayyab Shafique und Abeera Ayesha Riaz, Otto-Friedrich-Universität Bamberg
• Cross-Checking SMTP Implementations with Active Automata Learning - William Gilles Augustin Bernas und Wolffhardt Schwabe, Technische Universität Berlin
• (abgesagt) Development and Evaluation of a Real-Time Fall Detection System for Resource-Constrained Edge Devices - Milan Ferus-Comelo, Duale Hochschule Baden-Württemberg Stuttgart

17.09. 16:30 Uhr
Session 2: Datenmodellierung und KI-Anwendungen I

• A Framework for Fair Evaluation of Variance-Aware Bandit Algorithms - Elise Wolf, Universität Mannheim
• Deep Embedding-based Outlier Detection for Contaminated DNA Sequences with Ensemble Methods for Downstream Applications - Suvinava Basak und Sumit Gargesh, Technische Universität Braunschweig
• Compression is Prediction: Creating a Language Model based on Lossless Compression - Niels Glodny, Samuel Leßmann und Niclas Dern, Ludwig-Maximilians-Universität München und Technische Universität München
  
  Vorgezogen aus Session 7: Innovation in Programmierung und Technologien
• Personalisierte Tabletten aus dem 3D-Drucker: Entwicklung eines standardisierten Workflows - Melanie Hartmann, Technische Hochschule Mittelhessen

17.09. ab 19 Uhr
Abendprogramm (Ort wird noch bekannt gegeben)

18.09. 09:00 Uhr
Session 3: Algorithmische Konzepte und Optimierung

• Präkonzepte von Schülerinnen und Schülern zu der algorithmischen Grundstruktur Wiederholung - Leon-Morris Pilip, Universität Münster
• On the Ineffectiveness of Genetic Algorithms for Improving Hitting Set Based Contraction Hierarchies - Sebastian Paule, Universität Stuttgart
• Experimente zur Anwendung von Online-Algorithmen in der Energiesystemsteuerung - Jakob Steffens und Nicolas Frank, Ostbayerische Technische Hochschule Regensburg

18.09. 11:00 Uhr
Session 4: Softwareentwicklung und Sicherheit I

• Reactive Programming in Java: An Analysis of Application Performance and Developer Experience - Joshua Brandes, Technische Hochschule Nürnberg Georg Simon Ohm
• OshrEQ: An Interactive Proof Checker for OCaml-like Program Verification with Equational Reasoning - Mauritz Orlinski, Chuyang Wang, Clemens März, Lukas Bilstein, Victor Tipkemper, Technische Universität München und Friedrich-Alexander-Universität Erlangen-Nürnberg
• Towards a Trustworthy Architecture for Cyber Resilience Agents - Patricia Ehrenreich und Louis Bieber, Technische Hochschule Mittelhessen

18.09. 14:00 - 18:00 Uhr
Hauptprogramm Informatik-Festval Teil II

18.09. ab 19 Uhr
Abendprogramm: Junge GI Festival Night

19.09. 09:00 Uhr
Session 5: Softwareentwicklung und Sicherheit II

• Evaluating Software Supply Chain Security in Research Software - Richard Hegewald und Rebecca Beyer, Universität Potsdam
• ZEER: A Spatial Task Management Tool for Game Development - Janosch Landvogt und Daniel Dyrda, Technische Universität München
• Towards a Unified System for Controlling Aesthetics in Video Games Using Graph-Based Spatial Models - Paul Simon Hemming und Daniel Dyrda, Technische Universität München

19.09. 11:00 Uhr
Session 6: Datenmodellierung und KI-Anwendungen II

• Detection and Simulation of Urban Heat Islands Using a Fine-Tuned Geospatial Foundation Model - David Kreismann, Duale Hochschule Baden-Württemberg Stuttgart
• Automatisierte Varroa-Erkennung in Bildern: Deep-Learning-Ansätze im Überblick - Gabriel Lukas Schoen, Hochschule Darmstadt
• BeyondLabels: A Circumplex-Based Framework for Emotion on X (formerly Twitter) - Noah Meißner und Simon Manzenberger, University of Regensburg

19.09. 14:00 Uhr
Session 7: Innovation in Programmierung und Technologien

• Form vs Function: Database Normalization’s Effect on Zero-Shot NL2SQL - Clara Voß, Hochschule München

19.09. 14:30 Uhr
Abschluss und Best Paper Award

15:00
Ende der Konferenz