Symposium in honor of Arnd Poetzsch-Heffter’s 60th birthday

November 16, 2018

Gruppenfoto der Teilnehmer am Symposium

In honor of Arnd Poetzsch-Heffter’s 60th birthday, 14 invited talks by Arnd’s colleagues on all aspects of Arnd’s research interests were held during a symposium on November 16, 2018 .


09:00 - 09:15 Welcome
Univ.-Prof.Dr. 名誉工学博士 Helmut J. Schmidt (President TU Kaiserslautern)
09:15 - 10:30 Verification 1 (Chair: Peter Müller)
Klaus Schneider: Are Synchronous Programs Logic Programs?
Gary Leavens: A Methodology for Invariants, Framing, and Subtyping in JML
Dilian Gurov: A Hoare Logic Contract Theory
10:35 - 11:00 Coffee Break
11:00 - 12:30 Verification 2 (Chair: Ina Schaefer)
Peter Müller: The Binomial Heap Verification Challenge in Viper
Wolfgang Ahrendt: Smart Contracts - A Killer Application for Deductive Verification
Bernhard Beckert: Trends in Relational Program Verification?
Rupak Majumdar: Verification of event-driven programs
12:30 - 13:30 Lunch Break
13:30 - 15:00 Concurrency (Chair: Ina Schaefer)
Marieke Huisman: Verification of concurrent software
Einar Broch Johnsen: Dynamic Software Updates and Context Adaptation for Distributed Active Objects
Annette Bieniusa: Collaborative Work Management with a Highly-Available Kanban Board
Roland Meyer: Reasoning about Weak Semantics via Strong Semantics
15:00 - 15:30 Coffee Break
15:30 - 16:30 Software Product Lines (Chair: Peter Müller)
Ferruccio Damiani: A Formal Model for Multi SPLs
Reiner Hähnle: Same Same But Different: Interoperability of Software Product Line Variants
Ina Schaefer: A Personal History of Delta Modelling
20:00 Dinner twenty-one, im Rathaus Kaiserslautern


The Symposium was hosted by the Max-Planck Institute for Software Systems (Building 26, in the northwest corner of the campus of TU Kaiserslautern).

Getting there


We can recommend the following hotels:


If you have any questions, please contact us: