ABS Workshop 2021

The ABS Workshop 2021 will be fully digital and hold

  • 13:00 – 17:00 26.08.21
  • 13:00 – 17:00 27.08.21

as a Zoom meeting for the presentation and discussion sessions and on wonder.me for the virtual coffee breaks. This page will be updated and the links will stay password-protected in the area below.

26.08.202127.08.2021
TimeTopicSpeakerTopicSpeaker
13:00 – 13:25LAGCReiner HähnleVariability Modules for ABSFerruccio Damiani
13:25 – 13:50Hybrid ABSEduard KamburjanVariability Modules for JavaMaya Setyautami
13:50 – 14:20coffee breakcoffee break
14:20 – 14:55ABS and KubernetesGianluca TurinSPL Verification with Abstract ExecutionMarco Scaletta
14:55 – 15:20Refactoring for ABS Ole Jørgen AbusdalC2ABSNathan Wasser
15:20 – 16:00coffee breakcoffee break
16:00 – 16:25CrowbarEduard KamburjanRecent DevelopmentsRudolf Schlatte
16:25 – 16:50ExoDPORLars TveitoDiscussion Session
Preliminary schedule