ACSOS 2024
Mon 16 - Fri 20 September 2024
Aarhus, Denmark
Toggle navigation
Attending
Venue: Aarhus University
Registration
Travel Grants
The Area: City of Aarhus
Accommodation
Travel to Aarhus
Diversity and Inclusion
Code of Conduct
ACSOS 2024 - Additional Social Events
Sponsoring ACSOS 2024
Program
Complete Program
Your Program
Program at a Glance
Keynotes
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ACSOS 2024
Main Track
Workshops
Doctoral Symposium
Posters and Demos
Tutorials
ACSOS In Practice
ACSOS Expert Panel
Artifacts
Diversity & Inclusion
Social Program
Organization
ACSOS 2024 Committees
Organizing Committee
Steering Committee
Advisory Board
Track Committees
Main Track
Workshops
Doctoral Symposium
Posters and Demos
Tutorials
ACSOS In Practice
ACSOS Expert Panel
Artifacts
Diversity & Inclusion
Contributors
People Index
Search
Series
Series
ACSOS 2025
ACSOS 2024
ACSOS 2023
ACSOS 2022
ACSOS 2021
ACSOS 2020
Sign in
Sign up
ACSOS 2024
(
series
) /
Aarhus University
/
Room information: Hornungstuen
Venue
Aarhus University
Room name
Hornungstuen
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
Tutorials
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 2
Tutorials
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 1
Tutorials
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 2
Tutorials
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Hornungstuen
Tutorials
Tutorial 1 - Session 1
Tutorials
Tutorial 1 - Session 2
Tutorials
Tutorial 2 - Session 1
Tutorials
Tutorial 2 - Session 2
Mon 16 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Hornungstuen
ACSOS Tutorials
Runtime Verification of Autonomous Systems utilizing Digital Twins as a ...
08:30 - 10:00
ACSOS Tutorials
Runtime Verification of Autonomous Systems utilizing Digital Twins as a ...
10:30 - 12:00
ACSOS Tutorials
Complex systems, self-organisation, and simulation
13:00 - 15:00
ACSOS Tutorials
Complex systems, self-organisation, and simulation
15:30 - 17:00
x
Tue 12 Nov 11:23