Last Update: 28.05
| Monday 28.05 | Tuesday 29.05 | Wednesday 30.05 | ||||
|---|---|---|---|---|---|---|
| Title | Presenter | Title | Presenter | Title | Presenter | |
| 09:00 - 09:05 | Welcome | |||||
| 09:05 - 09:30 | Talk: A New Semantics for ABS | Reiner Hähnle | Talk: Compugene | Radu Muschevici | Talk: Explicit or implicit futures, what is the difference? | Ludovic Henrio |
| 09:30 - 10:00 | ||||||
| 10:00 - 10:30 | Talk: A New Calculus for ABSDL | Richard Bubel | Talk: FormETCS | Stefan Dillmann | Talk + Discussion: Predicate abstraction for ABS | Frank de Boer |
| 10:30 - 11:00: Break | ||||||
| 11:00 - 11:30 | Talk: Time analysis of actor programs | Violet Ka I Pun | Talk: Towards Cyber-Physical Modelling with ABS | Eduard Kamburjan | Talk: Asynchronous Method Contracts for ABS | Eduard Kamburjan |
| 11:30 - 12:00 | Talk: Modelling IoT systems with ABS | Einar Broch Johnsen | Talk: Reals and Dates in ABS | Rudolf Schlatte | Talk: Program Verification for Exception Handling on Active Objects using Futures | Crystal Chang Din |
| 12:00 - 13:30: Lunch | ||||||
| 13:30 - 14:00 | Talk: A Proposal to use ABS as a Proof of Concept Platform for New Theories | Silvia Lizeth Tapia Tarifa | Talk: Xtext-based tool support for ABS | Thomas Baar | Breakout Session | optional |
| 14:00 - 15:00 | Talk + Discussion: ABS support for SPLs and Multi SPLs | Ferruccio Damiani | Discussion: What is the use case for ABS? | Reiner Hähnle | ||
| 15:00 - 15:30: Break |
||||||
| 15:30 - 16:00 | Talk: Data-Flow Analysis for ABS | Björn Petersen | Talk: Java Backend for Core ABS with symbolic time support and COG support. | Vlad Serbanescu | ||
| 16:00 - 17:00 | Discussion: The state of ABS maintenance / Future directions for the tool suite | Rudolf Schlatte | Discussion: Teaching and Learning Materials | Einar Broch Johnsen | ||
| Guided Tour @ EBD ~18:00 Afterwards, Vinocentral | Conference Dinner @ Ferrucci ~19:00 | |||||