Programme

Last Update: 28.05

 Monday 28.05 Tuesday 29.05 Wednesday 30.05 
TitlePresenterTitlePresenterTitlePresenter
09:00 - 09:05
Welcome
09:05 - 09:30Talk: A New Semantics for ABSReiner HähnleTalk: CompugeneRadu MuscheviciTalk: Explicit or implicit futures, what is the difference?Ludovic Henrio
09:30 - 10:00
10:00 - 10:30Talk: A New Calculus for ABSDLRichard BubelTalk: FormETCSStefan DillmannTalk + Discussion: Predicate abstraction for ABSFrank de Boer
10:30 - 11:00: Break
11:00 - 11:30Talk: Time analysis of actor programsViolet Ka I PunTalk: Towards Cyber-Physical Modelling with ABSEduard KamburjanTalk: Asynchronous Method Contracts for ABSEduard Kamburjan
11:30 - 12:00Talk: Modelling IoT systems with ABSEinar Broch JohnsenTalk: Reals and Dates in ABSRudolf SchlatteTalk: Program Verification for Exception Handling on Active Objects using FuturesCrystal Chang Din
12:00 - 13:30: Lunch
13:30 - 14:00Talk: A Proposal to use ABS as a Proof of Concept Platform for New TheoriesSilvia Lizeth Tapia TarifaTalk: Xtext-based tool support for ABSThomas BaarBreakout Sessionoptional
14:00 - 15:00Talk + Discussion: ABS support for SPLs and Multi SPLs Ferruccio DamianiDiscussion: What is the use case for ABS?Reiner Hähnle
15:00 - 15:30:
Break
15:30 - 16:00Talk: Data-Flow Analysis for ABSBjörn PetersenTalk: 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 suiteRudolf SchlatteDiscussion: Teaching and Learning MaterialsEinar Broch Johnsen
Guided Tour @ EBD ~18:00
Afterwards, Vinocentral
Conference Dinner @ Ferrucci ~19:00