Vertex WS216 - LCTES 2017

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS216

Floor0

Room number216

Capacity30

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

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

08:30 - 08:45	OpeningSOAP at Vertex WS216

08:30 15m Day opening		Opening SOAP

08:45 - 09:30	Invited Speaker - Sukyoung RyuSOAP at Vertex WS216

08:45 45m Talk		Journey to Find Bugs in JavaScript Web Applications in the WildInvited Talk SOAP Sukyoung Ryu KAIST File Attached

09:30 - 10:30	Points-to AnalysisSOAP at Vertex WS216

09:30 20m Talk		Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction SOAP Jihyeok Park KAIST, South Korea, Xavier Rival INRIA/CNRS/ENS Paris, Sukyoung Ryu KAIST DOI File Attached
09:50 20m Talk		A Datalog Model of Must-Alias Analysis SOAP George Balatsouras University of Athens, Kostas Ferles University of Texas at Austin, USA, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens DOI File Attached
10:10 20m Talk		An Efficient Tunable Selective Points-to Analysis for Large Codebases SOAP Behnaz Hassanshahi Oracle Labs, Australia, Raghavendra Kagalavadi Oracle Labs, Australia, Paddy Krishnan , Bernhard Scholz University of Sydney, Australia, Yi Lu Oracle DOI File Attached

11:00 - 11:45	Invited Speaker - Jingling XueSOAP at Vertex WS216

11:00 45m Talk		Static Analysis of Java ReflectionInvited Talk SOAP Jingling Xue UNSW Australia

11:45 - 12:30	Modular AnalysisSOAP at Vertex WS216

11:45 22m Talk		SootKeeper: Runtime Reusability for Modular Static Analysis SOAP Florian Kübler TU Darmstadt, Germany, Patrick Müller TU Darmstadt, Germany, Ben Hermann University of Paderborn DOI Pre-print
12:07 22m Talk		Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses SOAP Anastasios Antoniadis , Konstantinos Triantafyllou University of Athens, Greece, Yannis Smaragdakis University of Athens DOI Pre-print File Attached

14:00 - 14:45	Invited Speaker - Julian DolbySOAP at Vertex WS216

14:00 45m Talk		WALA EverywhereInvited Talk SOAP Julian Dolby IBM Thomas J. Watson Research Center Media Attached

14:45 - 15:30	Soundness and PrecisionSOAP at Vertex WS216

14:45 22m Talk		Systematic Approaches for Increasing Soundness and Precision of Static Analyzers SOAP Esben Andreasen Aarhus University, Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University DOI File Attached
15:07 22m Talk		On the Construction of Soundness Oracles SOAP Jens Dietrich Massey University, Li Sui Massey University, New Zealand, Shawn Rasheed Massey University, Amjed Tahir Massey University DOI Media Attached

16:00 - 16:20	BenchmarkingSOAP at Vertex WS216

16:00 20m Talk		Hermes: Assessment and Creation of Effective Test Corpora SOAP Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Ben Hermann University of Paderborn, Mira Mezini TU Darmstadt DOI Pre-print File Attached

16:20 - 18:00	Open DiscussionSOAP at Vertex WS216

16:20 1h40m Meeting		Open Discussion SOAP

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

09:00 - 10:30	Morning IICOOOLPS at Vertex WS216 Chair(s): Mario Wolczko Oracle Labs

09:00 10m Talk		Workshop Welcome ICOOOLPS Mario Wolczko Oracle Labs
09:10 80m Talk		We Software People are not Worthy - All Hail the Hardware Gods ICOOOLPS Sylvan Clebsch Imperial College London

11:00 - 12:30	Morning IIICOOOLPS at Vertex WS216 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

11:00 30m Talk		dart2java: Running Dart in Java-based Environments ICOOOLPS Matthias Springer Tokyo Institute of Technology, Andrew Krieger University of California, Los Angeles, Stanislav Manilov University of Edinburgh, Hidehiko Masuhara Tokyo Institute of Technology Link to publication DOI File Attached
11:30 30m Talk		VM Wrapping - Fake it till you make it ICOOOLPS Johannes Henning Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI Link to publication DOI File Attached
12:00 30m Talk		A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability ICOOOLPS Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz Link to publication DOI File Attached

14:00 - 15:30	Afternoon IICOOOLPS at Vertex WS216 Chair(s): Edd Barrett King's College London

14:00 60m Talk		Can Compiler Magic Ever Be Explained? ICOOOLPS Eric Sedlar Oracle Labs, Thomas Wuerthinger Oracle Labs
15:00 30m Talk		Code Generation in Serializers and Comparators of Apache Flink ICOOOLPS Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton Balassi Hungarian Academy of Sciences Link to publication DOI File Attached

16:00 - 18:00	Afternoon IIICOOOLPS at Vertex WS216 Chair(s): Olivier Zendra

16:00 60m Other		Panel: Do new Computing Environments lead to new Language Constructs? ICOOOLPS Eric Jul University of Oslo, Edd Barrett King's College London, Steve Blackburn Australian National University , Ben L. Titzer Google
17:00 30m Talk		Diff Graphs for a fast Incremental Pointer Analysis ICOOOLPS Jakob Krainz Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen Link to publication DOI File Attached
17:30 30m Demonstration		A Formalization IDE Integrated with a Verifying Compiler ICOOOLPS Daniel Welch Clemson University, Blair Durkee Clemson University, Mike Kabbani Clemson University, Murali Sitaraman Clemson University Link to publication DOI File Attached

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

09:00 - 10:30	Session 1COP at Vertex WS216

09:00 15m Day opening		Welcome COP
09:15 60m Talk		Keynote on Context-Oriented Language Engineering COP S: Tijs van der Storm CWI & University of Groningen
10:15 15m Other		Discussion COP

11:00 - 12:30	Session 2COP at Vertex WS216

11:00 30m Talk		The Declarative Nature of Implicit Layer Activation COP Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:30 30m Talk		Push-based Reactive Layer Activation in Context-Oriented Programming COP Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
12:00 30m Talk		Petri-Net Based Testing Environment for Context-Oriented Programming COP Harumi Watanabe Tokai University, Nobuhiko Ogura Tokyo City University

14:00 - 15:30	Session 3COP at Vertex WS216

14:00 30m Talk		ContextROS: Context-Oriented Programming for the Robot Operating System COP Yuta Saeki Kyushu University, Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
14:30 30m Talk		IoT Robot Simulator and Framework for Context-Oriented Programming COP Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Nobuhiko Ogura Tokyo City University, Harumi Watanabe Tokai University, Akira Fukuda Kyushu University
15:00 30m Talk		Peace COrP: Learning to solve conflicts between contexts COP Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Jorge H. Castro Universidad de los Andes Media Attached File Attached

16:00 - 18:00	Session 4COP at Vertex WS216

16:00 2h Other		Discussion COP

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

09:00 - 10:00	Intro & industry perspective on cryptoDSW at Vertex WS216 Chair(s): Andrew W. Appel Princeton

09:00 15m Day opening		Introduction to DeepSpec DSW Lennart Beringer Princeton University, Adam Chlipala Massachusetts Institute of Technology, USA
09:15 45m Talk		Building Faith in Experts: Applying Formal Verification to Cryptography DSW Dominic Rizzo Google

10:30 - 12:10	Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216 Chair(s): Zhong Shao Yale University

10:30 30m Talk		Correct-by-Construction Generation of Fast Code for Elliptic Curves DSW Adam Chlipala Massachusetts Institute of Technology, USA
11:00 30m Talk		Introduction to verification using the VST DSW Lennart Beringer Princeton University
11:30 40m Talk		Using formal tools to develop high-assurance software for autonomous ground vehicles DSW Aleksey Nogin HRL Laboratories, LLC

13:40 - 15:00	Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216 Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA

13:40 40m Talk		Verifying concurrent C programs with the Verified Software Toolchain DSW Andrew W. Appel Princeton
14:20 40m Talk		Challenges in Analysing Virtualisation Stacks DSW Michael Tautschnig Amazon Web Services

15:30 - 17:00	Academic hypervisor project; closing discussionDSW at Vertex WS216 Chair(s): Lennart Beringer Princeton University

15:30 45m Talk		CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems DSW Zhong Shao Yale University
16:15 45m Day closing		Closing discussion DSW

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

09:00 - 10:00	Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216

09:00 60m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

10:30 - 12:10	Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216

10:30 1h40m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

13:40 - 15:20	Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216

13:40 1h40m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

15:50 - 17:00	Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216

15:50 70m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

Sun 18 Jun
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						17:00						30
Vertex WS216							SOAP Opening			SOAP Invited Speaker - Sukyoung Ryu									SOAP Points-to Analysis																		SOAP Invited Speaker - Jingling Xue									SOAP Modular Analysis																											SOAP Invited Speaker - Julian Dolby									SOAP Soundness and Precision															SOAP Benchmarking				SOAP Open Discussion

Mon 19 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						17:00						30
Vertex WS216	ICOOOLPS Morning I																								ICOOOLPS Morning II																																				ICOOOLPS Afternoon I																								ICOOOLPS Afternoon II

Tue 20 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						17:00						30
Vertex WS216	COP Session 1																								COP Session 2																																				COP Session 3																								COP Session 4

Thu 22 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
Vertex WS216	DSW Intro & industry perspective on crypto																		DSW Academic crypto projects; industry perspective on formal-methods integration																																						DSW Academic C-verification project; industry perspective on hypervisors																						DSW Academic hypervisor project; closing discussion

Fri 23 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
Vertex WS216	PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators																		PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)																																						PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)																										PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)

Sun 18 Jun
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			17:00			15			30			45
Vertex WS216							SOAP Opening 08:30 - 08:45			SOAPInvited Talk Journey to Find Bugs in JavaScript Web Applications in the Wild 08:45 - 09:30									SOAP Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Co ... 09:30 - 09:50				SOAP A Datalog Model of Must-Alias Analysis 09:50 - 10:10				SOAP An Efficient Tunable Selective Points-to Analysis for Large Codebases 10:10 - 10:30										SOAPInvited Talk Static Analysis of Java Reflection 11:00 - 11:45									SOAP SootKeeper: Runtime Reusability for Modular Static Analysis 11:45 - 12:07				SOAP Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog ... 12:07 - 12:30																							SOAPInvited Talk WALA Everywhere 14:00 - 14:45									SOAP Systematic Approaches for Increasing Soundness and Precision of Static ... 14:45 - 15:07				SOAP On the Construction of Soundness Oracles 15:07 - 15:30											SOAP Hermes: Assessment and Creation of Effective Test Corpora 16:00 - 16:20				SOAP Open Discussion 16:20 - 18:00

Mon 19 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			17:00			15			30			45
Vertex WS216	ICOOOLPS Workshop Welcome 09:00 - 09:10		ICOOOLPS We Software People are not Worthy - All Hail the Hardware Gods 09:10 - 10:30																						ICOOOLPS dart2java: Running Dart in Java-based Environments 11:00 - 11:30						ICOOOLPS VM Wrapping - Fake it till you make it 11:30 - 12:00						ICOOOLPS A Metaobject Protocol for Optimizing Application-Specific Run-Time Vari ... 12:00 - 12:30																								ICOOOLPS Can Compiler Magic Ever Be Explained? 14:00 - 15:00												ICOOOLPS Code Generation in Serializers and Comparators of Apache Flink 15:00 - 15:30												ICOOOLPS Panel: Do new Computing Environments lead to new Language Constructs? 16:00 - 17:00												ICOOOLPS Diff Graphs for a fast Incremental Pointer Analysis 17:00 - 17:30						ICOOOLPS A Formalization IDE Integrated with a Verifying Compiler 17:30 - 18:00

Tue 20 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			17:00			15			30			45
Vertex WS216	COP Welcome 09:00 - 09:15			COP Keynote on Context-Oriented Language Engineering 09:15 - 10:15												COP Discussion 10:15 - 10:30									COP The Declarative Nature of Implicit Layer Activation 11:00 - 11:30						COP Push-based Reactive Layer Activation in Context-Oriented Programming 11:30 - 12:00						COP Petri-Net Based Testing Environment for Context-Oriented Programming 12:00 - 12:30																								COP ContextROS: Context-Oriented Programming for the Robot Operating System 14:00 - 14:30						COP IoT Robot Simulator and Framework for Context-Oriented Programming 14:30 - 15:00						COP Peace COrP: Learning to solve conflicts between contexts 15:00 - 15:30												COP Discussion 16:00 - 18:00

Thu 22 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
Vertex WS216	DSW Introduction to DeepSpec 09:00 - 09:15			DSW Building Faith in Experts: Applying Formal Verification to Cryptography 09:15 - 10:00															DSW Correct-by-Construction Generation of Fast Code for Elliptic Curves 10:30 - 11:00						DSW Introduction to verification using the VST 11:00 - 11:30						DSW Using formal tools to develop high-assurance software for autonomous gr ... 11:30 - 12:10																										DSW Verifying concurrent C programs with the Verified Software Toolchain 13:40 - 14:20								DSW Challenges in Analysing Virtualisation Stacks 14:20 - 15:00														DSW CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems 15:30 - 16:15									DSW Closing discussion 16:15 - 17:00

Fri 23 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
Vertex WS216	PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 09:00 - 10:00																		PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 10:30 - 12:10																																						PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 13:40 - 15:20																										PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 15:50 - 17:00

Room information: Vertex WS216

Program Display Configuration

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

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

COP

COP

COP

COP

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

DSW

DSW

DSW

DSW

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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