Aula Master - PLDI 2017

VenueUniversitat Politècnica de Catalunya

Room nameAula Master

Floor0

Capacity132

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	OpeningISMM at Aula Master Chair(s): Christoph Kirsch University of Salzburg

08:30 15m Day opening		Opening ISMM

08:45 - 09:30	KeynoteISMM at Aula Master Chair(s): Ben L. Titzer Google

08:45 45m Talk		Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations ISMM K: Xipeng Shen North Carolina State University

09:30 - 10:30	Session 1: Garbage CollectionISMM at Aula Master Chair(s): Hannes Payer Google

09:30 30m Talk		NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications ISMM Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi Oliveira Feedzai, A: Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon
10:00 30m Talk		Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures ISMM Albert Mingkun Yang , Tobias Wrigstad Uppsala University

11:00 - 12:30	Session 2: Clever Data TricksISMM at Aula Master Chair(s): Michael D. Bond Ohio State University

11:00 30m Talk		A Marshalled Data Format for Pointers in Relocatable Data Blocks ISMM Nick Vrvilo , Lechen Yu Rice University, Vivek Sarkar Rice University, USA
11:30 30m Talk		Flexible and Efficient Memory Object Metadata ISMM Zhengyang Liu Beijing University of Posts and Telecommunications, John Criswell University of Rochester
12:00 30m Talk		Shadow State Encoding for Efficient Monitoring of Block-level Properties ISMM Kostyantyn Vorobyov CEA LIST, France, Julien Signoles CEA LIST, Nikolai Kosmatov

14:00 - 15:30	Session 3: Hybrid Memory SystemsISMM at Aula Master Chair(s): Ben L. Titzer Google

14:00 30m Talk		Analyzing Memory Management Methods on Integrated CPU-GPU Systems ISMM Mohammad Dashti University of British Columbia, Alexandra (Sasha) Fedorova Simon Fraser University
14:30 30m Talk		Continuous Checkpointing of HTM Transactions in NVM ISMM Ellis Giles Rice University, Kshitij Doshi Intel Corporation, Peter Varman Rice University
15:00 30m Talk		RTHMS: A Tool for Data Placement on Hybrid Memory System ISMM Ivy Bo Peng KTH Royal Institute of Technology, Roberto Gioiosa Pacific Northwest National Laboratory, Gokcen Kestor Pacific Northwest National Laboratory, Stefano Markidis KTH Royal Institute of Technology, Pietro Cicotti San Diego Supercomputer Center, Erwin Laure KTH Royal Institute of Technology

16:00 - 17:30	Session 4: A Deeper LookISMM at Aula Master Chair(s): Steve Blackburn Australian National University

16:00 30m Talk		"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis ISMM Vini Kanvar Indian Institute of Technology (IIT) Bombay, Uday P. Khedker
16:30 30m Talk		A Refinement Hierarchy for Free List Memory Allocators ISMM Bin Fang East China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France
17:00 30m Talk		Avoiding Consistency Exceptions Under Strong Memory Consistency Models ISMM Minjia Zhang Microsoft Research, Swarnendu Biswas University of Texas at Austin, Michael D. Bond Ohio State University

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

10:50 - 12:30	Compiler OptimizationsPLDI Research Papers at Aula Master Chair(s): Uday Bondhugula Indian Institute of Science

10:50 25m Talk		Cache Locality Optimization for Recursive Programs PLDI Research Papers Jonathan Lifflander , Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:15 25m Talk		Fusing Effectful Comprehensions PLDI Research Papers Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research
11:40 25m Talk		Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction PLDI Research Papers Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University Media Attached
12:05 25m Talk		ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM PLDI Research Papers David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, USA Media Attached

14:00 - 15:40	Concurrency AnalysisPLDI Research Papers at Aula Master Chair(s): Jeff Huang Texas A&M University

14:00 25m Talk		BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs PLDI Research Papers Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania
14:25 25m Talk		BigFoot: Static Check Placement for Dynamic Race Detection PLDI Research Papers Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
14:50 25m Talk		Dynamic Race Prediction in Linear Time PLDI Research Papers Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign Media Attached
15:15 25m Talk		Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Marina Billes TU Darmstadt, Anders Møller Aarhus University, Michael Pradel TU Darmstadt Media Attached

16:10 - 17:50	Static AnalysisPLDI Research Papers at Aula Master Chair(s): Loris D'Antoni University of Wisconsin–Madison

16:10 25m Talk		Compositional Recurrence Analysis Revisited PLDI Research Papers Zachary Kincaid Princeton University, Jason Breck University of Wisconsin-Madison, Ashkan Forouhi Boroujeni University of Wisconsin-Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. Media Attached
16:35 25m Talk		Context Transformations for Pointer Analysis PLDI Research Papers Rei Thiessen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada Media Attached
17:00 25m Talk		Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata PLDI Research Papers Tian Tan UNSW Australia, Yue Li UNSW Australia, Jingling Xue UNSW Australia Pre-print Media Attached
17:25 25m Talk		Static Deadlock Detection for Asynchronous C# Programs PLDI Research Papers Anirudh Santhiar Indian Institute of Science, Aditya Kanade Indian Institute of Science, Bangalore Media Attached

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

10:50 - 12:30	Static Analysis and SecurityPLDI Research Papers at Aula Master Chair(s): Mayur Naik Georgia Tech

10:50 25m Talk		Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels PLDI Research Papers Timos Antonopoulos Yale University, Paul Gazzillo Yale University, Michael Hicks University of Maryland, College Park, Eric Koskinen Yale University, Tachio Terauchi JAIST, Shiyi Wei University of Maryland, College Park Media Attached
11:15 25m Talk		Automatic Program Inversion using Symbolic Transducers PLDI Research Papers Qinheping Hu University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison Media Attached
11:40 25m Talk		Control-Flow Recovery from Partial Failure Reports PLDI Research Papers Peter Ohmann University of Wisconsin - Madison, Alexander L. Brooks University of Wisconsin, Madison, Loris D'Antoni University of Wisconsin–Madison, Ben Liblit University of Wisconsin–Madison Pre-print Media Attached
12:05 25m Talk		Rigorous Analysis of Software Countermeasures against Cache Attacks PLDI Research Papers Goran Doychev IMDEA Software Institute, Boris Köpf IMDEA Software Institute, Spain Media Attached

14:00 - 15:40	Functional Programming and CorrectnessPLDI Research Papers at Aula Master Chair(s): Francesco Logozzo Facebook

14:00 25m Talk		Compiling without continuations PLDI Research Papers Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, Cambridge Media Attached
14:25 25m Talk		FunTAL: Reasonably Mixing a Functional Language with Assembly PLDI Research Papers Daniel Patterson Northeastern University, Jamie Perconti Northeastern University, Christos Dimoulas Harvard University, USA, Amal Ahmed Northeastern University, USA Media Attached
14:50 25m Talk		HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics PLDI Research Papers Shumo Chu University of Washington, USA, Konstantin Weitz University of Washington, USA, Alvin Cheung University of Washington, Dan Suciu University of Washington Media Attached
15:15 25m Talk		Levity Polymorphism PLDI Research Papers Richard A. Eisenberg Bryn Mawr College, USA, Simon Peyton Jones Microsoft Research, Cambridge Media Attached

16:10 - 17:00	Verified ComputationPLDI Research Papers at Aula Master Chair(s): Alvin Cheung University of Washington

16:10 25m Talk		A Formally Verified Compiler for Lustre PLDI Research Papers Timothy Bourke INRIA, Lelio Brun ENS/Inria, Pierre-Evariste Dagand LIP6/CNRS , Xavier Leroy Inria, Marc Pouzet École normale supérieure, Lionel Rieg Collège de France Media Attached
16:35 25m Talk		Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) PLDI Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bui Phi Diep Uppsala University, Yu-Fang Chen , Lukáš Holík , Ahmed Rezine , Philipp Ruemmer Uppsala University Media Attached

17:00 - 18:00	Program Chair report and SIGPLAN Town Hall meetingPLDI Invited Speakers at Aula Master

17:00 60m		Program Chair report and SIGPLAN Town Hall meeting PLDI Invited Speakers

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

15:30 - 17:10	S4ECOOP Summer School at Aula Master

15:30 1h40m Talk		Kotlin: the ins and outs of designing a commercial language ECOOP Summer School Andrey Breslav JetBrains Pre-print

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

10:30 - 12:10	S5AECOOP Summer School at Aula Master

10:30 1h40m Talk		What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print

13:40 - 15:20	S5BECOOP Summer School at Aula Master

13:40 1h40m Talk		Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached

15:50 - 17:30	S5CECOOP Summer School at Aula Master

15:50 1h40m Talk		Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached

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

10:30 - 12:10	S6AECOOP Summer School at Aula Master

10:30 1h40m Talk		Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication

13:40 - 15:20	S6BECOOP Summer School at Aula Master

13:40 1h40m Talk		Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication

15:50 - 17:05	S6CECOOP Summer School at Aula Master

15:50 75m Talk		What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print

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
Aula Master							ISMM Opening			ISMM Keynote									ISMM Session 1: Garbage Collection																		ISMM Session 2: Clever Data Tricks																																				ISMM Session 3: Hybrid Memory Systems																								ISMM Session 4: A Deeper Look

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Aula Master											PLDI Research Papers Compiler Optimizations																																						PLDI Research Papers Concurrency Analysis																										PLDI Research Papers Static Analysis

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Aula Master											PLDI Research Papers Static Analysis and Security																																						PLDI Research Papers Functional Programming and Correctness																										PLDI Research Papers Verified Computation										PLDI Invited Speakers Program Chair report and SIGPLAN Town Hall meeting

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


Room	15:00						30						16:00						30						17:00						30
Aula Master							ECOOP Summer School S4

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Aula Master							ECOOP Summer School S5A																																						ECOOP Summer School S5B																										ECOOP Summer School S5C

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Aula Master							ECOOP Summer School S6A																																						ECOOP Summer School S6B																										ECOOP Summer School S6C

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
Aula Master							ISMM Opening 08:30 - 08:45			ISMM Bridging the Gap between Memory Performance and Massive Parallelism: Th ... 08:45 - 09:30									ISMM NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSp ... 09:30 - 10:00						ISMM Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures 10:00 - 10:30												ISMM A Marshalled Data Format for Pointers in Relocatable Data Blocks 11:00 - 11:30						ISMM Flexible and Efficient Memory Object Metadata 11:30 - 12:00						ISMM Shadow State Encoding for Efficient Monitoring of Block-level Properties 12:00 - 12:30																								ISMM Analyzing Memory Management Methods on Integrated CPU-GPU Systems 14:00 - 14:30						ISMM Continuous Checkpointing of HTM Transactions in NVM 14:30 - 15:00						ISMM RTHMS: A Tool for Data Placement on Hybrid Memory System 15:00 - 15:30												ISMM "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis 16:00 - 16:30						ISMM A Refinement Hierarchy for Free List Memory Allocators 16:30 - 17:00						ISMM Avoiding Consistency Exceptions Under Strong Memory Consistency Models 17:00 - 17:30

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


Room	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
Aula Master											PLDI Research Papers Cache Locality Optimization for Recursive Programs 10:50 - 11:15					PLDI Research Papers Fusing Effectful Comprehensions 11:15 - 11:40					PLDI Research Papers Generalizations of the Theory and Deployment of Triangular Inequality f ... 11:40 - 12:05					PLDI Research Papers ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizati ... 12:05 - 12:30																							PLDI Research Papers BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs 14:00 - 14:25					PLDI Research Papers BigFoot: Static Check Placement for Dynamic Race Detection 14:25 - 14:50					PLDI Research Papers Dynamic Race Prediction in Linear Time 14:50 - 15:15					PLDI Research Papers Systematic Black-Box Analysis of Collaborative Web Applications 15:15 - 15:40											PLDI Research Papers Compositional Recurrence Analysis Revisited 16:10 - 16:35					PLDI Research Papers Context Transformations for Pointer Analysis 16:35 - 17:00					PLDI Research Papers Efficient and Precise Points-to Analysis: Modeling the Heap by Merging ... 17:00 - 17:25					PLDI Research Papers Static Deadlock Detection for Asynchronous C# Programs 17:25 - 17:50

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


Room	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
Aula Master											PLDI Research Papers Decomposition Instead of Self-Composition for Proving the Absence of T ... 10:50 - 11:15					PLDI Research Papers Automatic Program Inversion using Symbolic Transducers 11:15 - 11:40					PLDI Research Papers Control-Flow Recovery from Partial Failure Reports 11:40 - 12:05					PLDI Research Papers Rigorous Analysis of Software Countermeasures against Cache Attacks 12:05 - 12:30																							PLDI Research Papers Compiling without continuations 14:00 - 14:25					PLDI Research Papers FunTAL: Reasonably Mixing a Functional Language with Assembly 14:25 - 14:50					PLDI Research Papers HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics 14:50 - 15:15					PLDI Research Papers Levity Polymorphism 15:15 - 15:40											PLDI Research Papers A Formally Verified Compiler for Lustre 16:10 - 16:35					PLDI Research Papers Flatten and Conquer (A Framework for Efficient Analysis of String Const ... 16:35 - 17:00					PLDI Invited Speakers Program Chair report and SIGPLAN Town Hall meeting 17:00 - 18:00

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


Room	15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Aula Master							ECOOP Summer School Kotlin: the ins and outs of designing a commercial language 15:30 - 17:10

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


Room	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
Aula Master							ECOOP Summer School What You Need to Know about Performance Evaluation 10:30 - 12:10																																						ECOOP Summer School Declarative Language Definition 13:40 - 15:20																										ECOOP Summer School Declarative Language Definition 15:50 - 17:30

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


Room	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
Aula Master							ECOOP Summer School Engineering a Real-World Garbage Collector 10:30 - 12:10																																						ECOOP Summer School Engineering a Real-World Garbage Collector 13:40 - 15:20																										ECOOP Summer School What You Need to Know about Performance Evaluation 15:50 - 17:05

Room information: Aula Master

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

Wed 21 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

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

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

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

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

ECOOP Summer School

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

ECOOP Summer School

ECOOP Summer School

ECOOP Summer School

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

ECOOP Summer School

ECOOP Summer School

ECOOP Summer School

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

Wed 21 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

Wed 21 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

Wed 21 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

Wed 21 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