Linhart - OCaml 2022

VenueCankarjev Dom

Room nameLinhart

Capacity550

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:50 - 09:00	WelcomeICFP Catering & social at Linhart

08:50 10m Day opening		Welcome ICFP Catering & social G: Andrej Bauer University of Ljubljana

09:00 - 10:00	KeynoteICFP Papers and Events at Linhart Chair(s): Stephanie Weirich University of Pennsylvania

09:00 60m Keynote		Deep Programmability: A New Lens on Networking ICFP Papers and Events Nate Foster Cornell University

10:30 - 12:10	Lambda Calculus and SemanticsICFP Papers and Events at Linhart Chair(s): Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA

10:30 20m Talk		The Theory of Call-by-Value Solvability ICFP Papers and Events Beniamino Accattoli Inria & Ecole Polytechnique, Giulio Guerrieri Huawei Edinburgh Research Centre DOI
10:50 20m Talk		A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine ICFP Papers and Events Malgorzata Biernacka University of Wrocław, Witold Charatonik University of Wrocław, Faculty of Mathematics and Computer Science, Tomasz Drab University of Wrocław, Faculty of Mathematics and Computer Science DOI
11:10 20m Talk		On Feller Continuity and Full Abstraction ICFP Papers and Events Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Raphaëlle Crubillé CNRS, Ugo Dal Lago University of Bologna; Inria, Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis DOI
11:30 20m Talk		Multi Types and Reasonable SpaceDistinguished Paper ICFP Papers and Events Beniamino Accattoli Inria & Ecole Polytechnique, Ugo Dal Lago University of Bologna; Inria, Gabriele Vanoni University of Bologna & INRIA Sophia Antipolis DOI
11:50 20m Talk		Denotational semantics as a foundation for cost recurrence extraction for functional languagesJFP Presentation ICFP Papers and Events Norman Danner Wesleyan University, Daniel R. Licata Wesleyan University

13:40 - 15:20	Analysis and TransformationsICFP Papers and Events at Linhart Chair(s): Malgorzata Biernacka University of Wrocław

13:40 20m Talk		Reference Counting with Frame Limited Reuse ICFP Papers and Events Anton Lorenzen University of Bonn, Daan Leijen Microsoft Research DOI
14:00 20m Talk		Entanglement Detection With Near-Zero CostDistinguished Paper ICFP Papers and Events Sam Westrick Carnegie Mellon University, Jatin Arora Carnegie Mellon University, Umut A. Acar Carnegie Mellon University DOI
14:20 20m Talk		Generating circuits with generators ICFP Papers and Events Marek Materzok University of Wroclaw DOI
14:40 20m Talk		Staged Compilation With Two-Level Type Theory ICFP Papers and Events András Kovács Eötvös Loránd University DOI
15:00 20m Talk		Random Testing of a Higher-Order Blockchain LanguageExperience Report ICFP Papers and Events Tram Hoang National University of Singapore, Anton Trunov Zilliqa Research, Leonidas Lampropoulos University of Maryland, College Park, Ilya Sergey National University of Singapore DOI Pre-print

15:50 - 16:50	(Gradual) Type TheoryICFP Papers and Events at Linhart Chair(s): Jesper Cockx TU Delft

15:50 20m Talk		Propositional Equality for Gradual Dependently Typed Programming ICFP Papers and Events Joseph Eremondi University of British Columbia, Ronald Garcia University of British Columbia, Éric Tanter University of Chile DOI
16:10 20m Talk		A Reasonably Gradual Type Theory ICFP Papers and Events Kenji Maillard Inria Nantes & University of Chile, Meven Lennon-Bertrand Inria – LS2N, Université de Nantes, Nicolas Tabareau Inria, Éric Tanter University of Chile DOI
16:30 20m Talk		A completely unique account of enumeration ICFP Papers and Events Cas van der Rest Delft University of Technology, Wouter Swierstra Utrecht University, Netherlands DOI

17:00 - 18:00	Panel DiscussionICFP Papers and Events at Linhart Chair(s): Simon Peyton Jones Epic Games

17:00 60m Panel		Fireside Chat with Arvind and Guy Steele ICFP Papers and Events Arvind Massachusetts Institute of Technology, USA, Guy L. Steele Jr. Oracle Labs

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:00	KeynoteICFP Papers and Events at Linhart Chair(s): Ugo Dal Lago University of Bologna; Inria

09:00 60m Keynote		Call-by-Push-Value, Quantitatively ICFP Papers and Events Delia Kesner Université de Paris; CNRS; IRIF; Institut Universitaire de France

10:30 - 12:10	LogicICFP Papers and Events at Linhart Chair(s): Ilya Sergey National University of Singapore

10:30 20m Talk		Later Credits: Resourceful Reasoning for the Later Modality ICFP Papers and Events Simon Spies MPI-SWS & Saarland University, Lennard Gäher MPI-SWS & Saarland University, Joseph Tassarotti NYU, Ralf Jung MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Lars Birkedal Aarhus University, Derek Dreyer MPI-SWS DOI
10:50 20m Talk		Introduction and Elimination, Left and Right ICFP Papers and Events Klaus Ostermann University of Tübingen, David Binder University of Tübingen, Ingo Skupin University of Tübingen, Tim Süberkrüb University of Tübingen, Paul Downen University of Massachusetts Lowell DOI Pre-print
11:10 20m Talk		Normalization for Fitch-style Modal CalculiDistinguished Paper ICFP Papers and Events Nachiappan Valliappan Chalmers University of Technology, Fabian Ruch Unaffiliated, Carlos Tomé Cortiñas Chalmers University of Technology DOI Media Attached
11:30 20m Talk		Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom ICFP Papers and Events Jules Jacobs Radboud University, Stephanie Balzer Carnegie Mellon University, Robbert Krebbers Radboud University Nijmegen DOI
11:50 20m Talk		Back to futuresJFP Presentation ICFP Papers and Events Klaas Pruiksma Carnegie Mellon University, Frank Pfenning Carnegie Mellon University, USA

13:40 - 15:20	Program Verification & SynthesisICFP Papers and Events at Linhart Chair(s): Arthur Azevedo de Amorim Boston University

13:40 20m Talk		Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) ICFP Papers and Events Steven Keuchel Vrije Universiteit Brussel, Sander Huyghebaert Vrije Universiteit Brussel, Georgy Lukyanov Newcastle University, UK, Dominique Devriese KU Leuven DOI
14:00 20m Talk		Safe Couplings: Coupled Refinement Types ICFP Papers and Events Lisa Vasilenko IMDEA Software Institute, Niki Vazou IMDEA Software Institute, Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain DOI
14:20 20m Talk		Aeneas: Rust Verification by Functional Translation ICFP Papers and Events Son Ho INRIA, Jonathan Protzenko Microsoft Research, Redmond DOI
14:40 20m Talk		Searching Entangled Program Spaces ICFP Papers and Events James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego DOI
15:00 20m Talk		Iterating on multiple collections in synchronyJFP Presentation ICFP Papers and Events Stefano Perna , Val Tannen University of Pennsylvania, USA, Limsoon Wong National University of Singapore

15:50 - 16:50	Generic Programming and EducationICFP Papers and Events at Linhart Chair(s): Nicolas Wu Imperial College London

15:50 20m Talk		Datatype-Generic Programming Meets Elaborator Reflection ICFP Papers and Events Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica, Liang-Ting Chen Academia Sinica, Tzu-Chi Lin Institute of Information Science, Academia Sinica Link to publication DOI Media Attached
16:10 20m Talk		Practical generic programming over a universe of datatypes ICFP Papers and Events Lucas Escot TU Delft, Jesper Cockx TU Delft DOI
16:30 20m Talk		Structural Versus Pipeline Composition of Higher-Order FunctionsVirtualExperience Report ICFP Papers and Events Elijah Rivera Brown University, Shriram Krishnamurthi Brown University, United States DOI

17:00 - 18:00	ReportsICFP Papers and Events at Linhart

17:00 40m Other		Student Research Competition – Finalist Presentations ICFP Papers and Events Daniel Hillerström The University of Edinburgh, Danel Ahman University of Ljubljana
17:40 20m Other		Programming Contest Report ICFP Papers and Events Alperen Keles University of Maryland at College Park

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:00	KeynoteICFP Papers and Events at Linhart Chair(s): Sam Lindley The University of Edinburgh, UK

09:00 60m Keynote		Retrofitting Concurrency – Lessons from the Engine Room ICFP Papers and Events KC Sivaramakrishnan IIT Madras and Tarides Media Attached

10:30 - 12:10	CompilationICFP Papers and Events at Linhart Chair(s): Matija Pretnar University of Ljubljana, Slovenia

10:30 20m Talk		Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structured Control FlowFunctional Pearl ICFP Papers and Events Norman Ramsey Tufts University DOI
10:50 20m Talk		Automatically Deriving Control-Flow Graph Generators From Operational Semantics ICFP Papers and Events James Koppel Massachusetts Institute of Technology, USA, Jackson Kearl MIT, Armando Solar-Lezama Massachusetts Institute of Technology DOI
11:10 20m Talk		Analyzing Binding Extent in 3CPS ICFP Papers and Events Benjamin Quiring University of Maryland, Olin Shivers Northeastern University, USA, John Reppy University of Chicago, USA DOI
11:30 20m Talk		'do' Unchained: Embracing Local Imperativity in a Purely Functional LanguageFunctional Pearl ICFP Papers and Events Sebastian Ullrich Karlsruhe Institute of Technology, Leonardo de Moura Microsoft Research, n.n. DOI
11:50 20m Talk		ANF Preserves Dependent Types up to Extensional EqualityJFP Presentation ICFP Papers and Events Paulette Koronkevich University of British Columbia, Ramon Rakow University of British Columbia, Amal Ahmed Northeastern University, USA, William J. Bowman University of British Columbia

13:40 - 15:20	Programming and Reasoning About EffectsICFP Papers and Events at Linhart Chair(s): William J. Bowman University of British Columbia

13:40 20m Talk		Monadic Compiler CalculationFunctional Pearl ICFP Papers and Events Patrick Bahr IT University of Copenhagen, Graham Hutton University of Nottingham, UK DOI
14:00 20m Talk		Formal Reasoning About Layered Monadic Interpreters ICFP Papers and Events Irene Yoon University of Pennsylvania, Yannick Zakowski Inria, Steve Zdancewic University of Pennsylvania DOI
14:20 20m Talk		Program Adverbs and Tlön EmbeddingsDistinguished PaperVirtual ICFP Papers and Events Yao Li Portland State University, Stephanie Weirich University of Pennsylvania DOI Pre-print
14:40 20m Talk		Flexible presentations of graded monads ICFP Papers and Events Shin-ya Katsumata National Institute of Informatics, Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University, Nicolas Wu Imperial College London DOI
15:00 20m Talk		Fusing Industry and Academia at GitHubExperience Report ICFP Papers and Events Patrick Thomson GitHub, Rob Rix GitHub, Inc., Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London DOI

15:50 - 16:50	Effects and Type InferenceICFP Papers and Events at Linhart Chair(s): Ben Lippmeier Ghost Locomotion

15:50 20m Talk		Modular Probabilistic Models via Algebraic Effects ICFP Papers and Events Minh Nguyen University of Bristol, Roly Perera Alan Turing Institute, Meng Wang University of Bristol, Nicolas Wu Imperial College London DOI
16:10 20m Talk		Constraint-based type inference for FreezeML ICFP Papers and Events Frank Emrich University of Edinburgh, UK, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh; Alan Turing Institute, Sam Lindley The University of Edinburgh, UK DOI
16:30 20m Talk		Linearly Qualified Types: Generic inference for capabilities and uniqueness ICFP Papers and Events Arnaud Spiwack Tweag, Csongor Kiss Imperial College London, Jean-Philippe Bernardy University of Gothenburg, Sweden, Nicolas Wu Imperial College London, Richard A. Eisenberg Jane Street Link to publication DOI Pre-print

17:00 - 18:00	ConclusionsICFP Papers and Events at Linhart Chair(s): Ronald Garcia University of British Columbia

17:00 40m Awards		Awards ICFP Papers and Events
17:40 15m Other		Program Committee Chair Report ICFP Papers and Events Zena M. Ariola University of Oregon
17:55 5m Day closing		ICFP 2023 Announcement ICFP Papers and Events Nikhil Swamy MSR Redmond, Sam Lindley The University of Edinburgh, UK

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague 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
Linhart											ICFP Catering & social Welcome		ICFP Papers and Events Keynote																		ICFP Papers and Events Lambda Calculus and Semantics																																						ICFP Papers and Events Analysis and Transformations																										ICFP Papers and Events (Gradual) Type Theory														ICFP Papers and Events Panel Discussion

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague 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
Linhart	ICFP Papers and Events Keynote																		ICFP Papers and Events Logic																																						ICFP Papers and Events Program Verification & Synthesis																										ICFP Papers and Events Generic Programming and Education														ICFP Papers and Events Reports

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague 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
Linhart	ICFP Papers and Events Keynote																		ICFP Papers and Events Compilation																																						ICFP Papers and Events Programming and Reasoning About Effects																										ICFP Papers and Events Effects and Type Inference														ICFP Papers and Events Conclusions

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague 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
Linhart											ICFP Catering & social Welcome 08:50 - 09:00		ICFP Papers and Events Deep Programmability: A New Lens on Networking 09:00 - 10:00																		ICFP Papers and Events The Theory of Call-by-Value Solvability 10:30 - 10:50				ICFP Papers and Events A Simple and Efficient Implementation of Strong Call by Need by an Abst ... 10:50 - 11:10				ICFP Papers and Events On Feller Continuity and Full Abstraction 11:10 - 11:30				ICFP Papers and EventsDistinguished Paper Multi Types and Reasonable Space 11:30 - 11:50				ICFP Papers and EventsJFP Presentation Denotational semantics as a foundation for cost recurrence extraction f ... 11:50 - 12:10																						ICFP Papers and Events Reference Counting with Frame Limited Reuse 13:40 - 14:00				ICFP Papers and EventsDistinguished Paper Entanglement Detection With Near-Zero Cost 14:00 - 14:20				ICFP Papers and Events Generating circuits with generators 14:20 - 14:40				ICFP Papers and Events Staged Compilation With Two-Level Type Theory 14:40 - 15:00				ICFP Papers and EventsExperience Report Random Testing of a Higher-Order Blockchain Language 15:00 - 15:20										ICFP Papers and Events Propositional Equality for Gradual Dependently Typed Programming 15:50 - 16:10				ICFP Papers and Events A Reasonably Gradual Type Theory 16:10 - 16:30				ICFP Papers and Events A completely unique account of enumeration 16:30 - 16:50						ICFP Papers and Events Fireside Chat with Arvind and Guy Steele 17:00 - 18:00

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague 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
Linhart	ICFP Papers and Events Call-by-Push-Value, Quantitatively 09:00 - 10:00																		ICFP Papers and Events Later Credits: Resourceful Reasoning for the Later Modality 10:30 - 10:50				ICFP Papers and Events Introduction and Elimination, Left and Right 10:50 - 11:10				ICFP Papers and EventsDistinguished Paper Normalization for Fitch-style Modal Calculi 11:10 - 11:30				ICFP Papers and Events Multiparty GV: Functional Multiparty Session Types With Certified Deadl ... 11:30 - 11:50				ICFP Papers and EventsJFP Presentation Back to futures 11:50 - 12:10																						ICFP Papers and Events Verified Symbolic Execution with Kripke Specification Monads (and no Me ... 13:40 - 14:00				ICFP Papers and Events Safe Couplings: Coupled Refinement Types 14:00 - 14:20				ICFP Papers and Events Aeneas: Rust Verification by Functional Translation 14:20 - 14:40				ICFP Papers and Events Searching Entangled Program Spaces 14:40 - 15:00				ICFP Papers and EventsJFP Presentation Iterating on multiple collections in synchrony 15:00 - 15:20										ICFP Papers and Events Datatype-Generic Programming Meets Elaborator Reflection 15:50 - 16:10				ICFP Papers and Events Practical generic programming over a universe of datatypes 16:10 - 16:30				ICFP Papers and EventsVirtualExperience Report Structural Versus Pipeline Composition of Higher-Order Functions 16:30 - 16:50						ICFP Papers and Events Student Research Competition – Finalist Presentations 17:00 - 17:40								ICFP Papers and Events Programming Contest Report 17:40 - 18:00

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague 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
Linhart	ICFP Papers and Events Retrofitting Concurrency – Lessons from the Engine Room 09:00 - 10:00																		ICFP Papers and EventsFunctional Pearl Beyond Relooper: Recursive Translation of Unstructured Control Flow to ... 10:30 - 10:50				ICFP Papers and Events Automatically Deriving Control-Flow Graph Generators From Operational S ... 10:50 - 11:10				ICFP Papers and Events Analyzing Binding Extent in 3CPS 11:10 - 11:30				ICFP Papers and EventsFunctional Pearl 'do' Unchained: Embracing Local Imperativity in a Purely Functional Lan ... 11:30 - 11:50				ICFP Papers and EventsJFP Presentation ANF Preserves Dependent Types up to Extensional Equality 11:50 - 12:10																						ICFP Papers and EventsFunctional Pearl Monadic Compiler Calculation 13:40 - 14:00				ICFP Papers and Events Formal Reasoning About Layered Monadic Interpreters 14:00 - 14:20				ICFP Papers and EventsDistinguished PaperVirtual Program Adverbs and Tlön Embeddings 14:20 - 14:40				ICFP Papers and Events Flexible presentations of graded monads 14:40 - 15:00				ICFP Papers and EventsExperience Report Fusing Industry and Academia at GitHub 15:00 - 15:20										ICFP Papers and Events Modular Probabilistic Models via Algebraic Effects 15:50 - 16:10				ICFP Papers and Events Constraint-based type inference for FreezeML 16:10 - 16:30				ICFP Papers and Events Linearly Qualified Types: Generic inference for capabilities and uniqueness 16:30 - 16:50						ICFP Papers and Events Awards 17:00 - 17:40								ICFP Papers and Events Program Committee Chair Report 17:40 - 17:55			ICFP Papers and Events ICFP 2023 Announcement 17:55 - 18:00

Room information: Linhart

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

ICFP Catering & social

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tracks

Room information: Linhart

Program Display Configuration

Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

ICFP Catering & social

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Mon 12 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 13 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 14 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change