------------------------------------------------------------------------
PROGRAMM SYMPOSIUM
------------------------------------------------------------------------

09:00h - Begrü?ung
09:05h - Gru?wort der Pr?sidentin
09:20h - Manfred Broy
         Specifying and Implementing Interface Moore Machines by a
         Logic of Actions (11)
09:40h - Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel,
         Reiner H?hnle, Mattias Ulbrich
         The Many Uses of Dynamic Logic (2)
10:00h - Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol,
         Heike Wehrheim
         Mirror is Not Strong: Discovery of a Persistent Memory Bug
         using Refinement in KIV (14)
10:20h - Gidon Ernst, Marian Lingsch-Rosenfeld
         Towards Automatic Structured Inference of Module
         Abstractions (13)

10:40h-11:00h
*Kaffeepause*

11:00h - Matthias Güdemann
         Bounded Checking of Stack-Based Virtual Machine (7)
11:20h - Leonhard Alkewitz, Timo Zuccarello, Alexander Raschke,
         Matthias Tichy
         How to Drawjectory? - Trajectory Planning using Programming
         by Demonstration (8)
11:40h - Benjamin Weigell, Bernhard Bauer
         Go Where Energy Can be Saved: A Vision for a Green
         Infrastructure Evaluation, Optimization, and Alignment
         System (9)
12:00h - Franz Wotawa
         On the quest for criticality - Searching for interactions
         that matter when hunting for bugs (15)

12:20h-13:20h
*Mittagessen*

13:20h - Christof Obertscheider, Leonard Heber, Carola Lenzen,
         Ewald Fauster
         Refactoring of LCMsim: A lightweight Julia package for
         Mould Filling Simulations in Liquid Composite Moulding (5)
13:40h - Florian Nafz, Magdalena Krajinovic, Martin Ley
         Artificial Intelligence in Software Documentation:
         Embracing the Documentation as Code Paradigm (12)
14:00h - Stefan Wildermann, Nils Wilbert, Tobias H?berlein, Jürgen Teich
         Self-Powered Embedded Systems: The Role of Non-Volatile Memory
         Technology in IoT Devices (6)

14:20h-14:40h
*Kaffeepause*

14:40h - Sven Tomforde, Jonas Lange, Pia Schweizer, Christian Krupitzer
         Observation and Control of Hybrid Organic Computing Systems -
         Centralised Planning combined with Autonomous Entities (1)
15:00h - Hartmut Schmeck, Mischa Ahrens
         Organic Computing for Adaptive and Resilient Electricity
         Grid Management (10)

15:20h - Pers?nliche Reminiszenzen (Wolfgang Ahrendt u.a.)
15:30h - ?berreichung der Festschrift

------------------------------------------------------------------------
PROGRAMM 25 JAHRE LEHRSTUHL SOFTWARETECHNIK
------------------------------------------------------------------------

ca. 15:50h - ca. 18:15h
mit Projekt- und Industriepartnern, Vertretern des Elitestudiengangs
Software Engineering und einer Führung durch die
Roboter-Versuchsanlagen (Robotikhalle)

18:15h-
*Get together und Buffet*