Festkolloquium zum 65. Geburtstag von Prof. Dr. Wolfgang Reif
Anl?sslich des 65. Geburtstags von Prof. Wolfgang Reif und des 25-j?hrigen Jubil?ums des Lehrstuhls Softwaretechnik findet am 06.06.2025 ganzt?gig ein Festkolloquium statt.
?
Die Feierlichkeiten beginnen am Vormittag mit einem wissenschaftliches Kolloquium, im Rahmen dessen die Inhalte einer Festschrift vorgetragen werden. Diese wird als Buchver?ffentlichung mit?Peer Review erscheinen. Die Autoren sind Kollegen, Schüler und Wegbegleiter von Prof. Reif. Der wissenschaftliche Teil des Festkolloquiums schlie?t mit der ?bergabe der Festschrift.
?
Ab 15:50 Uhr wird das Lehrstuhljubil?um begangen. Zun?chst sind Ansprachen und Vortr?ge aus dem Umfeld der Softwaretechnik bzw. des Lehrstuhls geplant. Anschlie?end gibt es die M?glichkeit, im Rahmen einer Führung die Robotik-Versuchsanlagen des Lehrstuhls in Augenschein zu nehmen. Mit einem Get-together am festlichen Buffet lassen wir den Tag ausklingen.
?
?
Programm
SYMPOSIUM
09:00????Begrü?ung
09:05????Gru?wort der Pr?sidentin
09:20????Manfred Broy
????????????????Specifying and Implementing Interface Moore Machines by a Logic of Actions
09:40????Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H?hnle, Mattias Ulbrich??
09:05????Gru?wort der Pr?sidentin
09:20????Manfred Broy
????????????????Specifying and Implementing Interface Moore Machines by a Logic of Actions
09:40????Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H?hnle, Mattias Ulbrich??
????????????????The Many Uses of Dynamic Logic
10:00????Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim
????????????????Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV
10:20????Gidon Ernst, Marian Lingsch-Rosenfeld
????????????????Towards Automatic Structured Inference of Module Abstractions
10:00????Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim
????????????????Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV
10:20????Gidon Ernst, Marian Lingsch-Rosenfeld
????????????????Towards Automatic Structured Inference of Module Abstractions
?
10:40????*Kaffeepause*
?
11:00????Matthias Güdemann
????????????????Bounded Checking of Stack-Based Virtual Machine
11:20????Leonhard Alkewitz, Timo Zuccarello, Alexander Raschke, Matthias Tichy
????????????????How to Drawjectory? - Trajectory Planning using Programming by Demonstration
11:40????Benjamin Weigell, Bernhard Bauer
????????????????Go Where Energy Can be Saved: A Vision for a Green Infrastructure Evaluation, Optimization, and Alignment System
12:00????Franz Wotawa
????????????????On the quest for criticality - Searching for interactions that matter when hunting for bugs
????????????????Bounded Checking of Stack-Based Virtual Machine
11:20????Leonhard Alkewitz, Timo Zuccarello, Alexander Raschke, Matthias Tichy
????????????????How to Drawjectory? - Trajectory Planning using Programming by Demonstration
11:40????Benjamin Weigell, Bernhard Bauer
????????????????Go Where Energy Can be Saved: A Vision for a Green Infrastructure Evaluation, Optimization, and Alignment System
12:00????Franz Wotawa
????????????????On the quest for criticality - Searching for interactions that matter when hunting for bugs
?
12:20??? *Mittagspause*
?
13:20????Christof Obertscheider, Leonard Heber, Carola Lenzen, Ewald Fauster
????????????????Refactoring of LCMsim: A lightweight Julia package for Mould Filling Simulations in Liquid Composite Moulding
13:40????Florian Nafz, Magdalena Krajinovic, Martin Ley
????????????????Artificial Intelligence in Software Documentation: Embracing the Documentation as Code Paradigm
14:00????Stefan Wildermann, Nils Wilbert, Tobias H?berlein, Jürgen Teich
????????????????Self-Powered Embedded Systems: The Role of Non-Volatile Memory Technology in IoT Devices
????????????????Refactoring of LCMsim: A lightweight Julia package for Mould Filling Simulations in Liquid Composite Moulding
13:40????Florian Nafz, Magdalena Krajinovic, Martin Ley
????????????????Artificial Intelligence in Software Documentation: Embracing the Documentation as Code Paradigm
14:00????Stefan Wildermann, Nils Wilbert, Tobias H?berlein, Jürgen Teich
????????????????Self-Powered Embedded Systems: The Role of Non-Volatile Memory Technology in IoT Devices
?
14:20????*Kaffeepause*
?
14:40????Sven Tomforde, Jonas Lange, Pia Schweizer, Christian Krupitzer
????????????????Observation and Control of Hybrid Organic Computing Systems-Centralised Planning combined with Autonomous Entities
15:00????Hartmut Schmeck, Mischa Ahrens
????????????????Organic Computing for Adaptive and Resilient Electricity Grid Management
????????????????Observation and Control of Hybrid Organic Computing Systems-Centralised Planning combined with Autonomous Entities
15:00????Hartmut Schmeck, Mischa Ahrens
????????????????Organic Computing for Adaptive and Resilient Electricity Grid Management
15:20????Pers?nliche Reminiszenzen
15:30?????berreichung der Festschrift
15:30?????berreichung der Festschrift
25 JAHRE LEHRSTUHL SOFTWARETECHNIK
15:50??? Gru?wort des Dekans
16:00????Martin Wirsing: Ein Blick auf die Entwicklung der Softwaretechnik der letzten 25 Jahre
16:20????Rainer Bischoff: Software und KI für die Automatisierung
16:35 ?? Der Elitestudiengang Software Engineering
?
16:50??? *Führung durch die Roboter-Versuchsanlagen (Robotikhalle)*
?
18:15????*Get-together und Buffet*
?
?
?
Veranstaltungsort (Geb?ude W)
Das Festkolloquium findet im Foyer und im H?rsaal des MRM-Geb?udes (Geb?ude W) statt. Parkm?glichkeiten befinden sich auf der Rückseite des Geb?udes, wenn Sie rechts am Geb?ude nach hinten fahren.
?
?
?
?
?bernachtungsm?glichkeiten in der Umgebung und in der Innenstadt
Falls Sie über Nacht in Augsburg bleiben, finden Sie hier eine Auswahl an Hotels in der N?he der Universit?t und in der Innenstadt.
?