MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden

No information available yet.

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

Wed 4 Oct

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

08:30 - 10:00
08:30
30m
Social Event
Welcome to MODELS 2023
MODELS
Antonio Cicchetti Mälardalen University, Alfonso Pierantonio Università degli Studi dell'Aquila, Thomas Kuehne Victoria University of Wellington, Gabriele Taentzer Philipps-Universität Marburg
09:00
60m
Keynote
Models for formal methods and tools: the case of railway systems
MODELS
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 2
12:00 - 13:30
Lunch BreakBreak at Restaurant
15:00 - 15:30
Coffee BreakBreak at Foajé Plan 2
15:30 - 17:00
MODELS Steering Committee MeetingMODELS at 102
15:30
90m
Meeting
MODELS Steering Committee Meeting
MODELS

Thu 5 Oct

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

08:45 - 10:00
08:45
15m
Day opening
Announcements
MODELS
Federico Ciccozzi Mälardalen University
09:00
60m
Keynote
Navigating the White-Water World with Digital Humanism
MODELS
Gordana Dodig-Crnkovic Chalmers University of Technology
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 2

Fri 6 Oct

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

08:45 - 10:00
08:45
15m
Day opening
Announcements
MODELS

09:00
60m
Keynote
A "most appropriate” Talk
MODELS
Hans Vangheluwe University of Antwerp and Flanders Make
10:00 - 10:30
Coffee BreakBreak at Foajé Plan 2
12:00 - 13:30
Lunch breakBreak at Restaurant
13:30 - 15:00
13:30
90m
Day closing
Closing and Farewell
MODELS

Hide past events