Salle 14 - POPL 2026

Venuele Couvent des Jacobins

Room nameSalle 14

Floor1

Capacity130

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+01:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+01:00) Brussels, Copenhagen, Madrid, ParisSelect 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 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	BINSEC: Adapting Symbolic Execution for Binary-level SecurityTutorials at Salle 14

09:00 90m Tutorial		BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials Sébastien Bardin CEA LIST, University Paris-Saclay, Frédéric Recoules CEA, List, Yanis Sellami CEA, List, Univ. Grenoble Alpes

11:00 - 12:30	BINSEC: Adapting Symbolic Execution for Binary-level SecurityTutorials at Salle 14

11:00 90m Tutorial		BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials Sébastien Bardin CEA LIST, University Paris-Saclay, Frédéric Recoules CEA, List, Yanis Sellami CEA, List, Univ. Grenoble Alpes

14:00 - 15:30	Discrete and continuous models for concurrent systemsTutorials at Salle 14

14:00 90m Tutorial		Discrete and Continuous Models for Concurrent Systems: From Petri Nets to Directed Spaces Tutorials Uli Fahrenberg Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF

16:00 - 17:30	Discrete and continuous models for concurrent systemsTutorials at Salle 14

16:00 90m Tutorial		Discrete and Continuous Models for Concurrent Systems: From Petri Nets to Directed Spaces Tutorials Uli Fahrenberg Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Session 1PLanQC at Salle 14

09:00 10m Talk		Opening AddressTalk PLanQC Vladimir Zamdzhiev Inria File Attached
09:10 20m Talk		Traq: Estimating the Quantum Cost of Classical ProgramsTalk PLanQC Anurudh Peduri Ruhr University Bochum, Jam Kabeer Ali Khan Standard Chartered Bank; Max Planck Institute for Security and Privacy (MPI-SP), Gilles Barthe MPI-SP; IMDEA Software Institute, Michael Walter Ruhr-Universität Bochum File Attached
09:30 20m Talk		Programming Abstractions for Quantum Linear AlgebraTalk PLanQC Charles Yuan University of Wisconsin–Madison File Attached
09:50 20m Talk		Verifying Repeat-Until-Success Circuits with AutoQTalk PLanQC Jyun-Ao Lin National Taipei University of Technology, Yu-Fang Chen Academia Sinica, Jakub Havlík Brno University of Technology, Ondřej Lengál Brno University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai Academia Sinica File Attached
10:10 20m Talk		VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Minimal IntrusionTalk PLanQC Xiaoquan Xu , Li Zhou Institute of Software at Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University

11:00 - 12:30	Session 2PLanQC at Salle 14

11:00 45m Keynote		Democratizing quantum formal verification: the path-sum wayKeynote PLanQC Christopĥe Chareton CEA, LIST, France
11:45 20m Talk		One rig to control them allTalk PLanQC Chris Heunen University of Edinburgh, Robin Kaarsgaard University of Southern Denmark, Louis Lemonnier University of Edinburgh File Attached
12:05 20m Talk		Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic ApproachTalk PLanQC Thea Li Inria, LMF, ENS Paris-Saclay, Université Paris-Saclay, Vladimir Zamdzhiev Inria File Attached

13:50 - 15:30	Session 3PLanQC at Salle 14

13:50 20m Talk		A Graded Modal Type Theory for Pulse SchedulesTalk PLanQC Robin Adams Chalmers University of Technology, Gothenburg University, Sweden, Jean-Philippe Bernardy Chalmers University of Technology, Gothenburg University, Sweden, Lorenzo Perticone Chalmers University of Technology, Gothenburg University, Sweden, Jeremy Pope Chalmers University of Technology, Gothenburg University, Sweden File Attached
14:10 20m Talk		Efficient Parallel Compilation and Profiling of Quantum Circuits at Large ScalesTalk PLanQC Jane Moore Queen's University Belfast, Michael Hart Queen's University Belfast, John McAllister Queen's University Belfast File Attached
14:30 20m Talk		A Unified Assertion-Based Framework for Classical-Quantum Program VerificationTalk PLanQC Yingte Xu File Attached
14:50 20m Talk		A Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilation and EmulationRemote PLanQC Yu-Hsuan Wu Academia Sinica, Yue Shi Princeton University, Junyi Liu University of Maryland, Yuxiang Peng Purdue University File Attached
15:10 20m Talk		Quantum Assertion Testing Without Mid-Circuit Measurement: Strategies and Lower BoundsRemote PLanQC Shengyuan Yang University of Wisconsin-Madison, Charles Yuan University of Wisconsin–Madison File Attached

16:00 - 17:30	Session 4PLanQC at Salle 14

16:00 30m		Poster SessionPoster PLanQC
16:30 20m Talk		Compiling Quantum Lambda-Terms into Circuits via the Geometry of InteractionTalk PLanQC Kostia Chardonnet Université de Lorraine, CNRS, Inria, LORIA, Ugo Dal Lago University of Bologna; Centre Inria d’Université Côte d’Azur, Naohiko Hoshino Sojo University, Paolo Pistone Université Claude Bernard Lyon 1 File Attached
16:50 20m Talk		Towards a Hierarchical Quantum Circuit LanguageTalk PLanQC William Schober Università della Svizzera italiana, Scott Wesley Dalhousie University File Attached
17:10 20m Talk		Denotational semantics for stabiliser quantum programsTalk PLanQC Robert I. Booth University of Oxford, Cole Comfort INRIA Paris-Saclay File Attached

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Analyzing Shell ScriptsTutorials at Salle 14

09:00 90m Tutorial		Analyzing Shell Scripts Tutorials Michael Greenberg Stevens Institute of Technology, Konstantinos Kallas University of California, Los Angeles, Nikos Vasilakis Brown University, Evangelos Lamprou Brown University, USA

11:00 - 12:30	Analyzing Shell ScriptsTutorials at Salle 14

11:00 90m Tutorial		Analyzing Shell Scripts Tutorials Michael Greenberg Stevens Institute of Technology, Konstantinos Kallas University of California, Los Angeles, Nikos Vasilakis Brown University, Evangelos Lamprou Brown University, USA

14:00 - 15:30	Is Program Synthesis Soluble in Large Language Models?Tutorials at Salle 14

14:00 90m Tutorial		Is Program Synthesis Soluble in Large Language Models? Tutorials Nathanaël Fijalkow CNRS, LaBRI, University of Bordeaux

16:00 - 17:30	Is Program Synthesis Soluble in Large Language Models?Tutorials at Salle 14

16:00 90m Tutorial		Is Program Synthesis Soluble in Large Language Models? Tutorials Nathanaël Fijalkow CNRS, LaBRI, University of Bordeaux

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

12:30 - 14:00	LGBTQ+ LunchPOPL Catering at Salle 14

12:30 90m Lunch		LGBTQ+ Lunch POPL Catering

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

12:30 - 14:00	URM LunchPOPL Catering at Salle 14

12:30 90m Lunch		URM Lunch POPL Catering

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	KeynoteRocqPL at Salle 14

09:00 45m Keynote		Future-Proofing Numerical Accuracy with Formal Specifications RocqPL Ariel E. Kellison Cornell University
09:45 15m Talk		Crane Lowers Rocq Safely into C++ RocqPL Matthew Z. Weaver Bloomberg, Joomy Korkut Bloomberg Pre-print File Attached
10:00 15m Talk		Specifying and Verifying the NOVA Microhypervisor in Concurrent Separation Logic RocqPL Hoang-Hai Dang BedRock Systems, Gregory Malecha Skylabs AI
10:15 15m Talk		The HOL-Light library of Multivariate real analysis in Rocq RocqPL Abdelghani Alidra Inria, Claudio Sacerdoti Coen University of Bologna, Frédéric Blanqui Inria

11:00 - 12:30	Rocq Developer Session and Mechanized Metatheory in RocqRocqPL at Salle 14 Chair(s): François Pottier Inria

11:00 45m Panel		Session with the Rocq Development Team RocqPL P: Matthieu Sozeau Inria, Yann Leray Nantes Université; Inria, Gaetan Gilbert
11:45 15m Talk		Rocq CARVe-ing: A Library for Substructural Meta-Theory RocqPL Daniel Zackon McGill University, Ryan Kavanagh Université du Québec à Montréal, Alberto Momigliano Università degli Studi di Milano, Brigitte Pientka McGill University File Attached
12:00 15m Talk		Scalable Type Inference for Intrinsically-Typed Binders RocqPL Max Kurze Barkhausen Institut, Clément Pit-Claudel EPFL, Sebastian Ertel Barkhausen Institute, Dresden
12:15 15m Talk		Sulfur: Substitution Generation using a Logical Framework RocqPL Mathis Bouverot-Dupuis INRIA & École Normale Supérieure, Théo Winterhalter INRIA, Kenji Maillard Inria, Kathrin Stark Heriot-Watt University File Attached

14:00 - 15:30	Rocq Enhancements and ExtensionsRocqPL at Salle 14

14:00 15m Talk		A systematic approach to "Well-founded recursion done right" RocqPL Herman Geuvers Radboud University Nijmegen, Netherlands, Gijs Pennings Eindhoven University of Technology File Attached
14:15 15m Talk		Implementing parametricity in Rocq-ELPI RocqPL Cyril Cohen Inria, CNRS, ENS Lyon, UCBL, LIP, Vojtěch Štěpančík Inria
14:30 15m Talk		Enhancing universe polymorphism for Rocq: Algebraic universes, consistency checking and variance inference RocqPL Matthieu Sozeau Inria, Marc Bezem University of Bergen File Attached
14:45 15m Talk		Nested Inductive Types for Rocq and Lean RocqPL Thomas Lamiaux Nantes Université, Inria, Yannick Forster INRIA, Matthieu Sozeau Inria, Nicolas Tabareau Inria
15:00 15m Talk		Trocq parametricity translations for inductives RocqPL Tomas Vallejos Parada Inria File Attached
15:15 15m Talk		Verifying Synchronous Dataflow Programs with SMTCoq RocqPL Basile Pesin Ecole Nationale de l'Aviation Civile (ENAC) File Attached

16:00 - 18:00	Certified Programs and Proofs in RocqRocqPL at Salle 14

16:00 15m Talk		Abstract VCG: Tie-breaking rules in VCG mechanism design RocqPL Zhan JING Shanghai Jiao Tong University, Pierre Jouvelot
16:15 15m Talk		Formal Assurance for Railway Interlockings: Verifying Z3 SAT Proofs with Tseitin in Rocq RocqPL Harry Bryant Swansea University, Andrew Lawrence Siemens Mobility, Monika Seisenberger Swansea University, Anton Setzer Swansea University File Attached
16:30 15m Talk		Formalizing a First-order Differentiable Logic with MathComp RocqPL Jairo Miguel Marulanda-Giraldo University of Southampton
16:45 15m Talk		Recursive Mutexes in Separation Logic RocqPL Ke Du , William Mansky University of Illinois Chicago, Paolo G. Giarrusso Delft University of Technology, Gregory Malecha Skylabs AI
17:00 15m Talk		Towards a Mechanization of the ECMAScript (JavaScript) Proposal "Temporal" RocqPL Aria B. Eide University of Bergen, Vebjørn S. Øiestad University of Bergen, Mikhail Barash University of Bergen File Attached
17:15 15m Talk		Verification of Templated Code in C++ RocqPL Gregory Malecha Skylabs AI, David Swasey Riverside Research, Simon Hudon SkyLabs AI
17:30 15m Talk		Lambda JS à la Carte RocqPL Kirill Golubev University of Turku, Mikhail Barash University of Bergen, Jaakko Järvi University of Turku File Attached

Hide past events

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security																								Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security																																				Tutorials Discrete and continuous models for concurrent systems																								Tutorials Discrete and continuous models for concurrent systems

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	PLanQC Session 1																								PLanQC Session 2																																		PLanQC Session 3																										PLanQC Session 4

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	Tutorials Analyzing Shell Scripts																								Tutorials Analyzing Shell Scripts																																				Tutorials Is Program Synthesis Soluble in Large Language Models?																								Tutorials Is Program Synthesis Soluble in Large Language Models?

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	12:00						30						13:00						30
Salle 14							POPL Catering LGBTQ+ Lunch

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	12:00						30						13:00						30
Salle 14							POPL Catering URM Lunch

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	RocqPL Keynote																								RocqPL Rocq Developer Session and Mechanized Metatheory in Rocq																																				RocqPL Rocq Enhancements and Extensions																								RocqPL Certified Programs and Proofs in Rocq

Hide past events

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	POPL Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security 09:00 - 10:30																								POPL Tutorials BINSEC: Adapting Symbolic Execution for Binary-level Security 11:00 - 12:30																																				POPL Tutorials Discrete and Continuous Models for Concurrent Systems: From Petri Nets ... 14:00 - 15:30																								POPL Tutorials Discrete and Continuous Models for Concurrent Systems: From Petri Nets ... 16:00 - 17:30

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	PLanQCTalk Opening Address 09:00 - 09:10		PLanQCTalk Traq: Estimating the Quantum Cost of Classical Programs 09:10 - 09:30				PLanQCTalk Programming Abstractions for Quantum Linear Algebra 09:30 - 09:50				PLanQCTalk Verifying Repeat-Until-Success Circuits with AutoQ 09:50 - 10:10				PLanQCTalk VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Min ... 10:10 - 10:30										PLanQCKeynote Democratizing quantum formal verification: the path-sum way 11:00 - 11:45									PLanQCTalk One rig to control them all 11:45 - 12:05				PLanQCTalk Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach 12:05 - 12:25																					PLanQCTalk A Graded Modal Type Theory for Pulse Schedules 13:50 - 14:10				PLanQCTalk Efficient Parallel Compilation and Profiling of Quantum Circuits at Lar ... 14:10 - 14:30				PLanQCTalk A Unified Assertion-Based Framework for Classical-Quantum Program Verif ... 14:30 - 14:50				PLanQCRemote A Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilati ... 14:50 - 15:10				PLanQCRemote Quantum Assertion Testing Without Mid-Circuit Measurement: Strategies a ... 15:10 - 15:30										PLanQCPoster Poster Session 16:00 - 16:30						PLanQCTalk Compiling Quantum Lambda-Terms into Circuits via the Geometry of Intera ... 16:30 - 16:50				PLanQCTalk Towards a Hierarchical Quantum Circuit Language 16:50 - 17:10				PLanQCTalk Denotational semantics for stabiliser quantum programs 17:10 - 17:30

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	POPL Tutorials Analyzing Shell Scripts 09:00 - 10:30																								POPL Tutorials Analyzing Shell Scripts 11:00 - 12:30																																				POPL Tutorials Is Program Synthesis Soluble in Large Language Models? 14:00 - 15:30																								POPL Tutorials Is Program Synthesis Soluble in Large Language Models? 16:00 - 17:30

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	12:00			15			30			45			13:00			15			30			45
Salle 14							POPL Catering LGBTQ+ Lunch 12:30 - 14:00

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	12:00			15			30			45			13:00			15			30			45
Salle 14							POPL Catering URM Lunch 12:30 - 14:00

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
Salle 14	RocqPL Future-Proofing Numerical Accuracy with Formal Specifications 09:00 - 09:45									RocqPL Crane Lowers Rocq Safely into C++ 09:45 - 10:00			RocqPL Specifying and Verifying the NOVA Microhypervisor in Concurrent Separat ... 10:00 - 10:15			RocqPL The HOL-Light library of Multivariate real analysis in Rocq 10:15 - 10:30									RocqPL Session with the Rocq Development Team 11:00 - 11:45									RocqPL Rocq CARVe-ing: A Library for Substructural Meta-Theory 11:45 - 12:00			RocqPL Scalable Type Inference for Intrinsically-Typed Binders 12:00 - 12:15			RocqPL Sulfur: Substitution Generation using a Logical Framework 12:15 - 12:30																					RocqPL A systematic approach to "Well-founded recursion done right" 14:00 - 14:15			RocqPL Implementing parametricity in Rocq-ELPI 14:15 - 14:30			RocqPL Enhancing universe polymorphism for Rocq: Algebraic universes, consiste ... 14:30 - 14:45			RocqPL Nested Inductive Types for Rocq and Lean 14:45 - 15:00			RocqPL Trocq parametricity translations for inductives 15:00 - 15:15			RocqPL Verifying Synchronous Dataflow Programs with SMTCoq 15:15 - 15:30									RocqPL Abstract VCG: Tie-breaking rules in VCG mechanism design 16:00 - 16:15			RocqPL Formal Assurance for Railway Interlockings: Verifying Z3 SAT Proofs wit ... 16:15 - 16:30			RocqPL Formalizing a First-order Differentiable Logic with MathComp 16:30 - 16:45			RocqPL Recursive Mutexes in Separation Logic 16:45 - 17:00			RocqPL Towards a Mechanization of the ECMAScript (JavaScript) Proposal "Temporal" 17:00 - 17:15			RocqPL Verification of Templated Code in C++ 17:15 - 17:30			RocqPL Lambda JS à la Carte 17:30 - 17:45

Hide past events

Room information: Salle 14

This program is tentative and subject to change.

Program Display Configuration

Sun 11 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sun 11 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

PLanQC

PLanQC

PLanQC

PLanQC

Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tutorials

Tutorials

Tutorials

Tutorials

Thu 15 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

POPL Catering

Fri 16 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

POPL Catering

Sat 17 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

RocqPL

RocqPL

RocqPL

RocqPL

Sun 11 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change