M 001 - OCL 2025

VenueUniversity of Koblenz

Room nameM 001

Floor0

Room number001

Capacity150

Room InformationNo extra information available

Program

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

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

09:00 - 10:30	ECMFA OpeningECMFA at M 001

09:00 15m Day opening		STAF - Opening Session ECMFA Ralf Laemmel University of Koblenz
09:15 15m Day opening		ECMFA - Opening Session ECMFA C: Robbert Jongeling Mälardalen University, C: Sébastien Mosser McMaster University
09:30 60m Keynote		Formal Modeling and Verification of Safety-Critical Systems ECMFA Matthias Volk TU Eindhoven

11:00 - 12:30	ECMFA Session 1: Model managementECMFA at M 001 Chair(s): Joeri Exelmans

11:00 30m Talk		Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes ECMFA Haitam El Hayani ENSIAS, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Steffen Zschaler King's College London Link to publication DOI
11:30 30m Talk		Enhancing Production Workflows by Leveraging BPMN to Model Inconsistencies — An Experience Report ECMFA Thomas Weber Karlsruhe Institute of Technology (KIT), Niklas D. Kuder Daedalus GmbH, Karlsruhe Institute of Technology, Thomas A. Völk Karlsruhe Institute of Technology, Jonas Schneider Daedalus GmbH, Sebastian Weber FZI Research Center for Information Technology, Anne Koziolek Karlsruhe Institute of Technology Link to publication DOI
12:00 30m Talk		A Model Management Framework for Next-Generation Web-based Modeling Tools ECMFA David Jaeger TU Wien, Adam Lencses TU Wien, Martin Fleck EclipseSource Services GmbH, Philip Langer EclipseSource Services GmbH, Dominik Bork TU Wien, Vienna, Austria Link to publication DOI

13:30 - 15:00	ECMFA Session 2: TestingECMFA at M 001 Chair(s): Dominik Bork TU Wien, Vienna, Austria

13:30 30m Talk		Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models ECMFA Issam Al-Azzoni Al Ain University of Science, United Arab Emirates, Reiko Heckel University of Leicester, Zobia Erum Birmingham City University Link to publication DOI
14:00 30m Talk		Introducing automated testing to video game development via Behaviour-Driven Development ECMFA Michael Mulder University of Twente, Petra van den Bos University of Twente, The Netherlands Link to publication DOI
14:30 30m Talk		Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting ECMFA Mathijs Schuts TNO-ESI, Jozef Hooman TNO-ESI, Ivan Kurtev Eindhoven University of Technology, Issam Tlili Philips, Erik Oerlemans Philips Link to publication DOI

15:30 - 17:00	ECMFA Session 3: Digital twins and data analysisECMFA at M 001 Chair(s): Iván Alfonso Luxembourg Institute of Science and Technology

15:30 30m Talk		Behavioral analysis of a digital twin using logging and model learning ECMFA Gunasekaran Raghavendran Tilburg University, Boudewijn Haverkort University of Twente, Loes Kruger Radboud University Link to publication DOI
16:00 30m Talk		Navigating the trace of executable domain specific languages through a trace domain query language ECMFA Hiba Ajabri Nantes Université, Jean-Marie Mottu Nantes Université, Christian Attiogbe Nantes Université, Pascal Berruet University of Bretagne Sud Link to publication DOI
16:30 30m Talk		Support for Model-Based Data Sovereignty Analysis ECMFA Sanjeev Sun Shakya University of Koblenz, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Julian Flake University of Koblenz, Alexander Peikert University of Koblenz Link to publication DOI

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

09:00 - 10:30	ECMFA KeynoteECMFA at M 001

09:00 15m Day opening		STAF - Announcements ECMFA G: Ralf Lämmel Universität Koblenz
09:15 75m Keynote		Modeling and LLMs in Continuous Software Engineering ECMFA Anne Koziolek Karlsruhe Institute of Technology

11:00 - 12:30	ECMFA Session 4: Low-code and user-friendly modellingECMFA at M 001

11:00 30m Talk		A Metascience Study of the Low-Code Scientific Field ECMFA Mauro Dalle Lucca Tosi Luxembourg Institute of Sciences and Technology, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology Link to publication DOI
11:30 30m Talk		An internal DSL for graphical modeling tools based on GLSP ECMFA Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Bodo Igler RheinMain University of Applied Sciences Link to publication DOI
12:00 30m Talk		User Modeling in Model-Driven Engineering: A Systematic Literature Review ECMFA Aaron Conrardy Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology, Alfredo Capozucca University of Luxembourg Link to publication DOI Pre-print

13:30 - 15:00	ECMFA Session 5: MaintenanceECMFA at M 001 Chair(s): Riccardo Rubei University of L'Aquila

13:30 30m Talk		Methodical and Formally Verified Model-Driven Architecture Refactoring ECMFA Lars Fischer Chair of Software Engineering, RWTH Aachen University, Hendrik Kausch RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, Lucas Wollenhaupt Chair of Software Engineering, RWTH Aachen University Link to publication DOI
14:00 30m Talk		On the Use of GPT-4 in the Reverse Engineering of Class Diagrams ECMFA Victor Campanello Chalmers University of Technology, University of Gothenburg, Shariq Shahbaz Chalmers University of Technology, University of Gothenburg, Vladislav Indykov Chalmers \| University of Gothenburg, Daniel Strüber Chalmers \| University of Gothenburg / Radboud University Link to publication DOI
14:30 30m Talk		Using MDE to support sustainable re-engineering ECMFA Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton , Zishan Rahman King's College London Link to publication DOI

15:30 - 17:00	ECMFA ClosingECMFA at M 001

15:30 60m Day closing		Closing & Discussions ECMFA C: Robbert Jongeling Mälardalen University, C: Sébastien Mosser McMaster University

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

09:00 - 10:30	SLE KeynoteSLE at M 001 Chair(s): Regina Hebig Universität Rostock, Rostock, Germany

09:00 15m Day opening		SLE Welcome SLE G: Görel Hedin Lund University, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente
09:15 75m Keynote		A New DSL Textbook in Town! SLE K: Thorsten Berger Ruhr University Bochum

11:00 - 12:30	SLE Session 1: Parsing and Attribute GrammarsSLE at M 001 Chair(s): Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany

11:00 22m Talk		Handling Grammar Cycles in the 1997 Standard ML Definition SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London, UK Pre-print
11:22 22m Talk		Property-based Testing of Attribute Grammars SLE José Nuno Macedo University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho
11:45 22m Talk		Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars SLE Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities Pre-print
12:07 22m Talk		Boosting Parallel Parsing through Cyclic Operator Precedence Grammars SLE Michele Chiari TU Wien, Michele Giornetta Politecnico di Milano, Dino Mandrioli Politecnico di Milano, Matteo Pradella Politecnico di Milano, Italy Pre-print

13:30 - 15:00	SLE Session 2: Language and Framework DesignSLE at M 001 Chair(s): Elizabeth Scott Royal Holloway University of London

13:30 22m Talk		A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries SLE Arkadii Gerasimov RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Sebastian Will RWTH Aachen
13:52 22m Talk		TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly SLE José Pedro Ferreira University of Porto, Portugal, João Bispo Faculdade de Engenharia e Universidade do Porto, Susana Lima
14:15 22m Talk		Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization SLE Philipp Riemer Leipzig University, Yury Nikulin University of Turku, Ashley Claymore , Mikhail Barash University of Bergen
14:37 22m Talk		AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support SLE Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Alexander Hert RheinMain University of Applied Sciences, Wiesbaden, Germany, Niklas Hettler RheinMain University of Applied Sciences, Wiesbaden, Germany, Kevin Weinert RheinMain University of Applied Sciences, Wiesbaden, Germany

15:30 - 17:00	SLE Session 3: Language WorkbenchesSLE at M 001 Chair(s): Jeff Smits Delft University of Technology

15:30 25m Talk		Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design SLE Alex Lüpges RWTH Aachen, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
15:55 20m Talk		Integrating Model Checking into a Live Modeling Environment SLE Joeri Exelmans , Ciprian Teodorov ENSTA Bretagne, Hans Vangheluwe University of Antwerp and Flanders Make
16:15 15m Awards		SLE Awards SLE S: Eric Van Wyk University of Minnesota, Twin Cities, Marjan Mernik University of Maribor, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente
16:30 30m Talk		SLE MIP Talk SLE S: Thomas Degueule CNRS

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

09:00 - 10:30	SLE KeynoteSLE at M 001 Chair(s): Vadim Zaytsev University of Twente

09:00 15m Day opening		SLE Second Day SLE
09:15 75m Keynote		Can Programming Be Liberated from the Functional Style? SLE K: Friedrich Steimann Fernuniversität in Hagen

11:00 - 12:30	SLE Session 4: Debugging and Dynamic CheckingSLE at M 001 Chair(s): Eric Van Wyk University of Minnesota, Twin Cities

11:00 22m Talk		Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages SLE Damian Frölich University of Amsterdam, Tommaso Pacciani , L. Thomas van Binsbergen University of Amsterdam Pre-print
11:22 22m Talk		Dynamic Dependency-Based Purity Checking SLE Anton Risberg Alaküla Lund University, Niklas Fors Lund University, Christoph Reichenbach Lund University Pre-print
11:45 45m Panel		SLE Panel: The Future of SLE SLE Thomas Degueule CNRS, Ralf Lämmel Universität Koblenz, Jeff Smits Delft University of Technology, Friedrich Steimann Fernuniversität in Hagen, Eric Van Wyk University of Minnesota, Twin Cities, Regina Hebig Universität Rostock, Rostock, Germany

13:30 - 15:00	SLE Session 5: Language ToolingSLE at M 001 Chair(s): Görel Hedin Lund University

13:30 22m Talk		Optimize Effect Handling for Tail-resumption with Stack Unwinding SLE Yuze Fu University of Tokyo, Shigeru Chiba University of Tokyo
13:52 22m Talk		Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15 22m Talk		(Semantic) Feature Model Differences with (Q)SAT SLE Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz
14:37 22m Talk		Detecting Resource Leaks on Android with Alpakka SLE Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do Porto Pre-print

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M 001	ECMFA ECMFA Opening																								ECMFA ECMFA Session 1: Model management																														ECMFA ECMFA Session 2: Testing																								ECMFA ECMFA Session 3: Digital twins and data analysis

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M 001	ECMFA ECMFA Keynote																								ECMFA ECMFA Session 4: Low-code and user-friendly modelling																														ECMFA ECMFA Session 5: Maintenance																								ECMFA ECMFA Closing

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
M 001	SLE SLE Keynote																								SLE SLE Session 1: Parsing and Attribute Grammars																														SLE SLE Session 2: Language and Framework Design																								SLE SLE Session 3: Language Workbenches

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
M 001	SLE SLE Keynote																								SLE SLE Session 4: Debugging and Dynamic Checking																														SLE SLE Session 5: Language Tooling

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


Room	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
M 001	ECMFA STAF - Opening Session 09:00 - 09:15			ECMFA ECMFA - Opening Session 09:15 - 09:30			ECMFA Formal Modeling and Verification of Safety-Critical Systems 09:30 - 10:30																		ECMFA Variability Exploration for Decision Making: Supporting Domain Experts ... 11:00 - 11:30						ECMFA Enhancing Production Workflows by Leveraging BPMN to Model Inconsistenc ... 11:30 - 12:00						ECMFA A Model Management Framework for Next-Generation Web-based Modeling Tools 12:00 - 12:30																		ECMFA Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph ... 13:30 - 14:00						ECMFA Introducing automated testing to video game development via Behaviour-D ... 14:00 - 14:30						ECMFA Online Model-Based Testing Reusing Multiple Design Models in an Industr ... 14:30 - 15:00												ECMFA Behavioral analysis of a digital twin using logging and model learning 15:30 - 16:00						ECMFA Navigating the trace of executable domain specific languages through a ... 16:00 - 16:30						ECMFA Support for Model-Based Data Sovereignty Analysis 16:30 - 17:00

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


Room	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
M 001	ECMFA STAF - Announcements 09:00 - 09:15			ECMFA Modeling and LLMs in Continuous Software Engineering 09:15 - 10:30																					ECMFA A Metascience Study of the Low-Code Scientific Field 11:00 - 11:30						ECMFA An internal DSL for graphical modeling tools based on GLSP 11:30 - 12:00						ECMFA User Modeling in Model-Driven Engineering: A Systematic Literature Review 12:00 - 12:30																		ECMFA Methodical and Formally Verified Model-Driven Architecture Refactoring 13:30 - 14:00						ECMFA On the Use of GPT-4 in the Reverse Engineering of Class Diagrams 14:00 - 14:30						ECMFA Using MDE to support sustainable re-engineering 14:30 - 15:00												ECMFA Closing & Discussions 15:30 - 16:30

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


Room	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
M 001	SLE SLE Welcome 09:00 - 09:15			SLE A New DSL Textbook in Town! 09:15 - 10:30																					SLE Handling Grammar Cycles in the 1997 Standard ML Definition 11:00 - 11:22				SLE Property-based Testing of Attribute Grammars 11:22 - 11:45					SLE Scheduling the Construction and Interrogation of Scope Graphs Using Att ... 11:45 - 12:07				SLE Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 12:07 - 12:30																	SLE A Model-Driven Approach to Design, Generation, and Deployment of GUI Co ... 13:30 - 13:52				SLE TranspileJS, an Intelligent Framework for Transpiling JavaScript to Web ... 13:52 - 14:15					SLE Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript ... 14:15 - 14:37				SLE AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a ... 14:37 - 15:00											SLE Lessons Learned from Developing the MontiCore Language Workbench: Chall ... 15:30 - 15:55					SLE Integrating Model Checking into a Live Modeling Environment 15:55 - 16:15				SLE SLE Awards 16:15 - 16:30			SLE SLE MIP Talk 16:30 - 17:00

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


Room	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
M 001	SLE SLE Second Day 09:00 - 09:15			SLE Can Programming Be Liberated from the Functional Style? 09:15 - 10:30																					SLE Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for No ... 11:00 - 11:22				SLE Dynamic Dependency-Based Purity Checking 11:22 - 11:44					SLE SLE Panel: The Future of SLE 11:45 - 12:30																					SLE Optimize Effect Handling for Tail-resumption with Stack Unwinding 13:30 - 13:52				SLE Variability Fault Localization by Abstract Interpretation and its Appli ... 13:52 - 14:15					SLE (Semantic) Feature Model Differences with (Q)SAT 14:15 - 14:37				SLE Detecting Resource Leaks on Android with Alpakka 14:37 - 15:00

Room information: M 001

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

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

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

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

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

ECMFA

ECMFA

ECMFA

ECMFA

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

ECMFA

ECMFA

ECMFA

ECMFA

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

SLE

SLE

SLE

SLE

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

SLE

SLE

SLE

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

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

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

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

Tracks

Room information: M 001

Program Display Configuration

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECMFA

ECMFA

ECMFA

ECMFA

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECMFA

ECMFA

ECMFA

ECMFA

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SLE

SLE

SLE

SLE

Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SLE

SLE

SLE

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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