ACSOS 2024
Mon 16 - Fri 20 September 2024 Aarhus, Denmark
VenueAarhus University
Room nameHornungstuen
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Tutorial 1 - Session 1Tutorials at Hornungstuen
08:30
90m
Tutorial
Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service
Tutorials
Morten Haahr Kristensen Aarhus University, Alberto Bonizzi , Claudio Gomes Aarhus University, Denmark, Simon Thrane Hansen , Carlos Isasa , Hannes Iven , Eduard Kamburjan University of Oslo, Peter Gorm Larsen Aarhus University, Martin Leucker University of Lübeck, Prasad Talasila , Valdemar Tang , Stefano Tonetta Fondazione Bruno Kessler, Italy, Lars B. Vosteen , Thomas Wright
10:30 - 12:00
Tutorial 1 - Session 2Tutorials at Hornungstuen
10:30
90m
Tutorial
Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service
Tutorials
Morten Haahr Kristensen Aarhus University, Alberto Bonizzi , Claudio Gomes Aarhus University, Denmark, Simon Thrane Hansen , Carlos Isasa , Hannes Iven , Eduard Kamburjan University of Oslo, Peter Gorm Larsen Aarhus University, Martin Leucker University of Lübeck, Prasad Talasila , Valdemar Tang , Stefano Tonetta Fondazione Bruno Kessler, Italy, Lars B. Vosteen , Thomas Wright
13:00 - 15:00
Tutorial 2 - Session 1Tutorials at Hornungstuen
13:00
2h
Tutorial
Complex systems, self-organisation, and simulation
Tutorials
Simon Dobson University of St Andrews
15:30 - 17:00
Tutorial 2 - Session 2Tutorials at Hornungstuen
15:30
90m
Tutorial
Complex systems, self-organisation, and simulation
Tutorials
Simon Dobson University of St Andrews

Mon 16 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change