Festkolloquium zum 65. Geburtstag von Prof. Dr. Wolfgang Reif
Symposium zum Jubil?um 65 Jahre Prof. Reif und 25 Jahre Lehrstuhl Softwaretechnik
------------------------------------------------------------------------
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*
?
Parkm?glichkeiten am Veranstaltungsort (Geb?ude W)
Information folgt in Kürze.
?
?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.
?