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.

 

 

---

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  

                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: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

 

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

 

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

15:20    Persönliche Reminiszenzen (Wolfgang Ahrendt u.a.)
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    Absolventen über den Elitestudiengang Software Engineering

 

16:50    *Führung durch die Roboter-Versuchsanlagen (Robotikhalle)*

 

18:15    *Get-together und Buffet*