MODELS 2023 - MODELS 2023

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

No information available yet.

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, ViennaSelect other time zone

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 programSpecify 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

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

08:30 - 10:00	PlenaryMODELS at Kongresshall

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 Maurice H. ter Beek ISTI-CNR File Attached

	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 201

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	PlenaryMODELS at Kongresshall

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 File Attached

	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	PlenaryMODELS at Kongresshall

08:45 15m Day opening		Announcements MODELS
09:00 60m Keynote		A "most appropriate” Talk MODELS Hans Vangheluwe University of Antwerp and Flanders Make File Attached

	10:00 - 10:30	Coffee BreakBreak at Foajé Plan 2

	12:00 - 13:30	Lunch breakBreak at Restaurant

13:30 - 15:00	ClosingMODELS at Kongresshall

13:30 90m Day closing		Closing and Farewell MODELS

Accepted Papers

	Title
	A "most appropriate” Talk MODELS Hans Vangheluwe File Attached
	Announcements MODELS Federico Ciccozzi
	Announcements MODELS
	Closing and Farewell MODELS
	Models for formal methods and tools: the case of railway systems MODELS Maurice H. ter Beek File Attached
	MODELS Steering Committee Meeting MODELS
	Navigating the White-Water World with Digital Humanism MODELS Gordana Dodig-Crnkovic File Attached
	Welcome to MODELS 2023 MODELS Antonio Cicchetti, Alfonso Pierantonio, Thomas Kuehne, Gabriele Taentzer

MODELS

Program Display Configuration

Wed 4 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Accepted Papers

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

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

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