Program Overview

In order to help you to plan your trip, a rough schedule of the conference can be find below.

Please note that all information is subject to change!

8:00
8:30
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
Workshop & Tutorial
Welcome & Coffee
08:00 - 09:00 / Registration N27
8th Rodin User and Developer Workshop
Session
09:00 - 10:30 / N27-2059
Coffee Break
10:30 - 11:00 / N27
8th Rodin User and Developer Workshop
Session
11:00 - 12:30 / N27-2059
Lunch
12:30 - 13:30 / N27
8th Rodin User and Developer Workshop
Session
13:30 - 15:00 / N27-2509
Coffee Break
15:00 - 15:30 / N27
8th Rodin User and Developer Workshop
Session
15:30 - 17:00 / N27-2509
Implementing Domain-Specific Languages with JetBrains MPS
Session 1
09:00 - 10:30 /
Implementing Domain-Specific Languages with JetBrains MPS
Session 2
11:00 - 12:30 /
ProB Jupyter Notebook
Session
13:30 - 15:00 /
Welcome & Coffee
08:00 - 09:00 / Registration N27
Main conference
Session
09:00 - 10:30 / N27-2059
Coffee Break
10:30 - 11:00 / N27
Main conference
Session
11:00 - 12:30 / N27-2059
Lunch
12:30 - 13:30 / N27
Main conference
Session
13:30 - 15:00 / N27-2059
Coffee Break
15:00 - 15:30 / N27
Main conference
Session
15:30 - 17:00 / N27-2059
Steering Committee Meeting
17:00 - 18:00 / O27-411
Coffee
08:00 - 09:00 / N27
Main conference
Session
09:00 - 10:30 / N27-2059
Coffee Break
10:30 - 11:00 / N27
Main conference
Session
11:00 - 12:30 / N27-2059
Lunch
12:30 - 13:30 / N27
Main conference
Session
13:30 - 15:00 / N27-2059
Coffee Break
15:00 - 15:30 / N27
Excursion
15:30 - 18:00 / Ulm Minster
Guided tour through and about the tallest christian church of the world.
Reception
18:00 - 19:00 / Townhall of Ulm
Conference Dinner
19:00 - open end / Bella Vista
Coffee
08:00 - 09:00 / N27
Main conference
Session
09:00 - 10:30 / N27-2059
Coffee Break
10:30 - 11:00 / N27
Main conference
Session
11:00 - 12:30 / N27-2059
Lunch
12:30 - 13:30 / N27
Main conference
Session
13:30 - 15:00 / N27-2059
Coffee Break
15:00 - 15:30 / N27
Main conference
Session
15:30 - 17:00 / N27-2059
Farewell and Goodbye
17:00 - 17:30 / N27 - 2509

Last updated: 2020-02-07