re-add AIFB

Author: seebi

docs/program.md

@@ -9,18 +9,18 @@ This challenge is part of the [4th International Workshop on LLM-Integrated Know
 The presentation session for the challengers will be on 2025-06-01 from 10:40 to 12:30 (main presenters in bold).
 
 - 10:40 - **Sebastian Tramp**: Welcome and Introduction to the Challenge
-- 10:50 - Mehrzad Shahinmoghadam, **Tommaso Soru** and Sanju Tiwari: Presentation of the [DBpedia Group](https://www.dbpedia.org/)
-- 11:05 - Daniel Henselmann, **Rene Dorsch** and Andreas Harth: Presentation of the [Fraunhofer Institute for Integrated Circuits (IIS)](https://www.iis.fraunhofer.de/en.html)
-- 11:20 - Daniel Gerber, Lorenz Bühmann, **Lars-Peter Meyer**, Felix Brei and Claus Stadler: Presentation of the [ETi @ Institute for Applied Informatics (InfAI)](https://cc-eti.org/)
-- 11:35 - **Oleg Somov**, Daniil Berezin and Roman Avdeev: Presentation of the [Artificial Intelligence Research Institute (AIRI), Moscow](https://airi.net/) - remote
-- 11:50 - Aleksandr Perevalov and **Andreas Both**: Presentation of the [WSE Research Group @ Leipzig University of Applied Sciences](https://github.com/WSE-research)
-- 12:05 - **Edgard Marx** and Sebastian Tramp: Result Presentation and Winner Ceremony
-- 12:30 - Closing
+- 10:50 - Jan Wardenga and **Tobias Käfer**: Presentation of the [Institute of Applied Informatics and Formal Description Methods (AIFB) @ KIT](https://www.aifb.kit.edu/english/index.php)
+- 11:05 - Mehrzad Shahinmoghadam, **Tommaso Soru** and Sanju Tiwari: Presentation of the [DBpedia Group](https://www.dbpedia.org/)
+- 11:20 - Daniel Henselmann, **Rene Dorsch** and Andreas Harth: Presentation of the [Fraunhofer Institute for Integrated Circuits (IIS)](https://www.iis.fraunhofer.de/en.html)
+- 11:35 - Daniel Gerber, Lorenz Bühmann, **Lars-Peter Meyer**, Felix Brei and Claus Stadler: Presentation of the [ETi @ Institute for Applied Informatics (InfAI)](https://cc-eti.org/)
+- 11:50 - **Oleg Somov**, Daniil Berezin and Roman Avdeev: Presentation of the [Artificial Intelligence Research Institute (AIRI), Moscow](https://airi.net/) - remote
+- 12:05 - Aleksandr Perevalov and **Andreas Both**: Presentation of the [WSE Research Group @ Leipzig University of Applied Sciences](https://github.com/WSE-research)
+- 12:20 - **Edgard Marx** and Sebastian Tramp: Result Presentation / Feedback Session and Winner Ceremony
+- 12:45 - Closing
 
 The following participants withdrew their participation after the first results were published:
 
 
-- Jan Wardenga and Tobias Käfer, [Institute of Applied Informatics and Formal Description Methods (AIFB) @ KIT](https://www.aifb.kit.edu/english/index.php)
 - Mikel Bancroft and Kevin Layer, [AllegroGraph @ Franz Inc.](https://franz.com/)
 - Brucce Neves dos Santos, Daniel Zitei, João Barbirato and Rafael Silva, [LABIC @ University of São Paulo](https://labic.icmc.usp.br/)
 - Baptiste Amice, Sébastien Ferré and Peggy Cellier, [LACODAM @ Université de Rennes / IRISA/INSA de Rennes](https://team.inria.fr/lacodam/)