SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
VenueSwissotel Chicago
Room nameZurich B
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Session 1ASAS at Zurich B +8h
09:00
20m
Talk
Accelerating Program Analyses in Datalog by Merging Library Facts
SAS
Yifan Chen Peking University, Chenyang Yang , Xin Zhang Peking University, Yingfei Xiong Peking University, Hao Tang Peking University, Xiaoyin Wang University of Texas at San Antonio, Lu Zhang Peking University
09:20
20m
Talk
Exploiting Verified Neural Networks via Floating Point Numerical Error
SAS
Pre-print
09:40
20m
Talk
Verifying Low-dimensional Input Neural Networks via Input Quantization
SAS
Kai Jia MIT, Martin C. Rinard Massachusetts Institute of Technology
Pre-print
10:00
20m
Talk
A Multi-Language Static Analysis of Python Programs with Native C Extensions
SAS
Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Pre-print
13:50 - 15:10
Session 3ASAS at Zurich B +8h
13:50
26m
Talk
Static Analysis of Endian Portability by Abstract Interpretation
SAS
David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
13:50
26m
Talk
Static Analysis of Endian Portability by Abstract Interpretation
SAS
David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
14:16
26m
Talk
Verified Functional Programming of an Abstract Interpreter
SAS
Lucas Franceschino INRIA, David Pichardie Univ Rennes, ENS Rennes, IRISA, Jean-Pierre Talpin INRIA, France
14:16
26m
Talk
Verified Functional Programming of an Abstract Interpreter
SAS
Lucas Franceschino INRIA, David Pichardie Univ Rennes, ENS Rennes, IRISA, Jean-Pierre Talpin INRIA, France
14:43
26m
Talk
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
SAS
Julien Braine , Laure Gonnord University of Lyon & LIP, France, David Monniaux CNRS/VERIMAG
14:43
26m
Talk
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
SAS
Julien Braine , Laure Gonnord University of Lyon & LIP, France, David Monniaux CNRS/VERIMAG
17:00 - 18:20
Session 1ASAS at Zurich B
17:00
20m
Talk
Accelerating Program Analyses in Datalog by Merging Library Facts
SAS
Yifan Chen Peking University, Chenyang Yang , Xin Zhang Peking University, Yingfei Xiong Peking University, Hao Tang Peking University, Xiaoyin Wang University of Texas at San Antonio, Lu Zhang Peking University
17:20
20m
Talk
Exploiting Verified Neural Networks via Floating Point Numerical Error
SAS
Pre-print
17:40
20m
Talk
Verifying Low-dimensional Input Neural Networks via Input Quantization
SAS
Kai Jia MIT, Martin C. Rinard Massachusetts Institute of Technology
Pre-print
18:00
20m
Talk
A Multi-Language Static Analysis of Python Programs with Native C Extensions
SAS
Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Pre-print
21:50 - 23:10
Session 3ASAS at Zurich B
21:50
26m
Talk
Static Analysis of Endian Portability by Abstract Interpretation
SAS
David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
22:16
26m
Talk
Verified Functional Programming of an Abstract Interpreter
SAS
Lucas Franceschino INRIA, David Pichardie Univ Rennes, ENS Rennes, IRISA, Jean-Pierre Talpin INRIA, France
22:43
26m
Talk
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
SAS
Julien Braine , Laure Gonnord University of Lyon & LIP, France, David Monniaux CNRS/VERIMAG

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10
Session 2BSAS at Zurich B +8h
10:50
20m
Talk
Compositional Verification of Smart Contracts Through Communication Abstraction
SAS
Scott Wesley University of Waterloo, Canada, Maria Christakis MPI-SWS, Arie Gurfinkel University of Waterloo, Jorge A. Navas SRI International, Richard Trefler University of Waterloo, Canada, Valentin Wüstholz ConsenSys
Pre-print
11:10
20m
Talk
Selectively-Amortized Resource Bounding
SAS
Tianhan Lu University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Ashutosh Trivedi
11:30
20m
Talk
Thread-modular Analysis of Release-Acquire Concurrency
SAS
Divyanjali Sharma IIT Delhi, India, Subodh Sharma IIT Delhi
13:50 - 15:10
Session 3BSAS at Zurich B +8h
13:50
80m
Keynote
Interactive Code Analysis
SAS
I: Gerard Holzmann NASA/Caltech Jet Propulsion Laboratory
15:40 - 17:00
Session 4BSAS at Zurich B
15:40
20m
Talk
Improving Thread-Modular Abstract Interpretation
SAS
Michael Schwarz Technische Universität München, Simon Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München, Kalmer Apinis University of Tartu, Estonia, Julian Erhard , Vesal Vojdani University of Tartu
16:00
20m
Talk
Automated Verification of the Parallel Bellman--Ford Algorithm
SAS
Mohsen Safari University of Twente, The Netherlands, Wytse Oortwijn ETH Zurich, Switzerland, Marieke Huisman University of Twente
16:20
20m
Talk
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
SAS
Takumi Shimoda The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan
16:40
20m
Talk
Backward Symbolic Execution with Loop Folding
SAS
Marek Chalupa Masaryk University, Jan Strejcek Masaryk University
18:50 - 20:10
Session 2BSAS at Zurich B
18:50
20m
Talk
Compositional Verification of Smart Contracts Through Communication Abstraction
SAS
Scott Wesley University of Waterloo, Canada, Maria Christakis MPI-SWS, Arie Gurfinkel University of Waterloo, Jorge A. Navas SRI International, Richard Trefler University of Waterloo, Canada, Valentin Wüstholz ConsenSys
Pre-print
19:10
20m
Talk
Selectively-Amortized Resource Bounding
SAS
Tianhan Lu University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Ashutosh Trivedi
19:30
20m
Talk
Thread-modular Analysis of Release-Acquire Concurrency
SAS
Divyanjali Sharma IIT Delhi, India, Subodh Sharma IIT Delhi
21:50 - 23:10
Session 3BSAS at Zurich B
21:50
80m
Keynote
Interactive Code Analysis
SAS
I: Gerard Holzmann NASA/Caltech Jet Propulsion Laboratory

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

07:40 - 09:00
Distributed Programming - mirrorOOPSLA at Zurich B
07:40
20m
Talk
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
OOPSLA
Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
08:00
20m
Talk
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
OOPSLA
Malte Viering TU Darmstadt, Germany, Raymond Hu University of Hertfordshire, Patrick Eugster USI Lugano & Purdue University, Lukasz Ziarek SUNY Buffalo, USA
08:20
20m
Talk
Automatic Migration from Synchronous to Asynchronous JavaScript APIs
OOPSLA
Satyajit Gokhale Northeastern University, Alexi Turcotte Northeastern University, Frank Tip Northeastern University
08:40
20m
Talk
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
OOPSLA
Nouraldin Jaber Purdue University, USA, Christopher Wagner Purdue University, Swen Jacobs CISPA Helmholtz Center for Information Security, Milind Kulkarni Purdue University, Roopsha Samanta Purdue University
10:50 - 12:10
TestingOOPSLA at Zurich B +8h
10:50
20m
Talk
Permchecker: A Toolchain for Debugging Memory Managers with Typestate
OOPSLA
Karl Cronburg Tufts University, Sam Guyer Tufts University
11:10
20m
Talk
Programming and Execution Models for Parallel Bounded Exhaustive Testing
OOPSLA
Nader Al Awar The University of Texas at Austin, Kush Jain The University of Texas at Austin, Chris Rossbach The University of Texas at Austin and VMware Research Group, Milos Gligoric University of Texas at Austin
11:30
20m
Talk
Generative Type-Aware Mutation for Testing SMT Solvers
OOPSLA
Jiwon Park École Polytechnique, Dominik Winterer ETH Zurich, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich
11:50
20m
Talk
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs
OOPSLA
Ting Su East China Normal University, Yichen Yan East China Normal University, Jue Wang Nanjing University, Jingling Sun East China Normal University, Yiheng Xiong East China Normal University, Geguang Pu East China Normal University, Ke Wang Visa Research, Zhendong Su ETH Zurich
13:50 - 15:10
SecurityOOPSLA at Zurich B +8h
13:50
20m
Talk
SpecSafe: Detecting Cache Side Channels in a Speculative World
OOPSLA
Robert Brotzman-Smith Pennsylvania State University, Danfeng Zhang Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Gang Tan Penn State University
14:10
20m
Talk
Interpretable Noninterference Measurement and its Application to Processor Designs
OOPSLA
Ziqiao Zhou Microsoft Research, Michael K. Reiter Duke University
14:30
20m
Talk
Reconciling Optimization With Secure Compilation
OOPSLA
Son Tuan Vu ARM, Albert Cohen Google, Arnaud de Grandmaison ARM, Christophe Guillon STMicroelectronics, Karine Heydemann Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
14:50
20m
Talk
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
OOPSLA
Michael D. Brown Georgia Institute of Technology, Matthew Pruett Georgia Institute of Technology, Robert Bigelow Georgia Institute of Technology, Girish Mururu Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology, USA
15:40 - 17:00
Distributed ProgrammingOOPSLA at Zurich B -8h
15:40
20m
Talk
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
OOPSLA
Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
16:00
20m
Talk
A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
OOPSLA
Malte Viering TU Darmstadt, Germany, Raymond Hu University of Hertfordshire, Patrick Eugster USI Lugano & Purdue University, Lukasz Ziarek SUNY Buffalo, USA
16:20
20m
Talk
Automatic Migration from Synchronous to Asynchronous JavaScript APIs
OOPSLA
Satyajit Gokhale Northeastern University, Alexi Turcotte Northeastern University, Frank Tip Northeastern University
16:40
20m
Talk
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
OOPSLA
Nouraldin Jaber Purdue University, USA, Christopher Wagner Purdue University, Swen Jacobs CISPA Helmholtz Center for Information Security, Milind Kulkarni Purdue University, Roopsha Samanta Purdue University
18:50 - 20:10
Testing - MirrorOOPSLA at Zurich B
18:50
20m
Talk
Permchecker: A Toolchain for Debugging Memory Managers with Typestate
OOPSLA
Karl Cronburg Tufts University, Sam Guyer Tufts University
19:10
20m
Talk
Programming and Execution Models for Parallel Bounded Exhaustive Testing
OOPSLA
Nader Al Awar The University of Texas at Austin, Kush Jain The University of Texas at Austin, Chris Rossbach The University of Texas at Austin and VMware Research Group, Milos Gligoric University of Texas at Austin
19:30
20m
Talk
Generative Type-Aware Mutation for Testing SMT Solvers
OOPSLA
Jiwon Park École Polytechnique, Dominik Winterer ETH Zurich, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich
19:50
20m
Talk
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs
OOPSLA
Ting Su East China Normal University, Yichen Yan East China Normal University, Jue Wang Nanjing University, Jingling Sun East China Normal University, Yiheng Xiong East China Normal University, Geguang Pu East China Normal University, Ke Wang Visa Research, Zhendong Su ETH Zurich
21:50 - 23:10
Security - mirrorOOPSLA at Zurich B
21:50
20m
Talk
SpecSafe: Detecting Cache Side Channels in a Speculative World
OOPSLA
Robert Brotzman-Smith Pennsylvania State University, Danfeng Zhang Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Gang Tan Penn State University
22:10
20m
Talk
Interpretable Noninterference Measurement and its Application to Processor Designs
OOPSLA
Ziqiao Zhou Microsoft Research, Michael K. Reiter Duke University
22:30
20m
Talk
Reconciling Optimization With Secure Compilation
OOPSLA
Son Tuan Vu ARM, Albert Cohen Google, Arnaud de Grandmaison ARM, Christophe Guillon STMicroelectronics, Karine Heydemann Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
22:50
20m
Talk
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
OOPSLA
Michael D. Brown Georgia Institute of Technology, Matthew Pruett Georgia Institute of Technology, Robert Bigelow Georgia Institute of Technology, Girish Mururu Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology, USA

Thu 21 Oct

Displayed time zone: Central Time (US & Canada) change

07:40 - 09:00
Smart Contracts and Distributed ProgrammingOOPSLA at Zurich B
10:50 - 12:10
Dynamic LanguagesOOPSLA at Zurich B +8h
10:50
20m
Talk
Promises Are Made to be Broken
OOPSLA
Aviral Goel Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Olivier Flückiger Northeastern University, Jan Vitek Northeastern University / Czech Technical University
11:10
20m
Talk
SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
OOPSLA
Milod Kazerounian University of Maryland, College Park, Jeffrey S. Foster Tufts University, Bonan Min Raytheon BBN Technologies
11:30
20m
Talk
Gradually Structured Data
OOPSLA
Stefan Malewski University of Chile, Michael Greenberg Stevens Institute of Technology, Éric Tanter University of Chile
11:50
20m
Talk
Solver-based Gradual Type Migration
OOPSLA
Luna Phipps-Costin University of Massachusetts Amherst, Carolyn Anderson Wellesley College, Michael Greenberg Stevens Institute of Technology, Arjun Guha Northeastern University
Pre-print
13:50 - 15:10
Program SynthesisOOPSLA at Zurich B +8h
13:50
20m
Talk
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
OOPSLA
Xiang Gao National University of Singapore, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ridwan Salihin Shariffdeen National University of Singapore, Sumit Gulwani Microsoft, Abhik Roychoudhury National University of Singapore
14:10
20m
Talk
Gauss: Program Synthesis by Reasoning Over Graphs
OOPSLA
Rohan Bavishi UC Berkeley, Caroline Lemieux Microsoft Research, Koushik Sen University of California, Berkeley, Ion Stoica UC Berkeley
14:30
20m
Talk
Generalizable Synthesis Through Unification
OOPSLA
Ruyi Ji Peking University, Jingtao Xia Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University
14:50
20m
Talk
LooPy: Interactive Program Synthesis with Control Structures
OOPSLA
Kasra Ferdowsifard University of California, San Diego, Shraddha Barke University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego
15:40 - 17:00
Smart Contracts and Distributed ProgrammingOOPSLA at Zurich B -8h
15:40
20m
Talk
Rich Specifications for Ethereum Smart Contract Verification
OOPSLA
Christian Braem ETH Zurich, Marco Eilers ETH Zurich, Peter Müller ETH Zurich, Robin Sierra , Alexander J. Summers University of British Columbia (UBC)
16:00
20m
Talk
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
OOPSLA
Yannis Smaragdakis University of Athens, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Konstantinos Triantafyllou University of Athens, Ilias Tsatiris University of Athens
16:20
20m
Talk
ECROs: Building Global Scale Systems from Sequential Code
OOPSLA
Kevin De Porre Vrije Universiteit Brussel, Carla Ferreira NOVA LINCS & NOVA School of Science and Tecnhology, Nuno Preguica Universidade Nova Lisboa, Elisa Gonzalez Boix Vrije Universiteit Brussel
16:40
20m
Talk
Durable Functions: Semantics for Stateful Serverless
OOPSLA
Sebastian Burckhardt Microsoft Research, Chris Gillum Microsoft Azure, David Justo Microsoft, Konstantinos Kallas University of Pennsylvania, Connor McMahon Microsoft Azure, Christopher S. Meiklejohn Carnegie Mellon University
18:50 - 20:10
Dynamic Languages - mirrorOOPSLA at Zurich B
18:50
20m
Talk
Promises Are Made to be Broken
OOPSLA
Aviral Goel Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Olivier Flückiger Northeastern University, Jan Vitek Northeastern University / Czech Technical University
19:10
20m
Talk
SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
OOPSLA
Milod Kazerounian University of Maryland, College Park, Jeffrey S. Foster Tufts University, Bonan Min Raytheon BBN Technologies
19:30
20m
Talk
Gradually Structured Data
OOPSLA
Stefan Malewski University of Chile, Michael Greenberg Stevens Institute of Technology, Éric Tanter University of Chile
19:50
20m
Talk
Solver-based Gradual Type Migration
OOPSLA
Luna Phipps-Costin University of Massachusetts Amherst, Carolyn Anderson Wellesley College, Michael Greenberg Stevens Institute of Technology, Arjun Guha Northeastern University
Pre-print
21:50 - 23:10
Program Synthesis - mirrorOOPSLA at Zurich B
21:50
20m
Talk
APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
OOPSLA
Xiang Gao National University of Singapore, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ridwan Salihin Shariffdeen National University of Singapore, Sumit Gulwani Microsoft, Abhik Roychoudhury National University of Singapore
22:10
20m
Talk
Gauss: Program Synthesis by Reasoning Over Graphs
OOPSLA
Rohan Bavishi UC Berkeley, Caroline Lemieux Microsoft Research, Koushik Sen University of California, Berkeley, Ion Stoica UC Berkeley
22:30
20m
Talk
Generalizable Synthesis Through Unification
OOPSLA
Ruyi Ji Peking University, Jingtao Xia Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University
22:50
20m
Talk
LooPy: Interactive Program Synthesis with Control Structures
OOPSLA
Kasra Ferdowsifard University of California, San Diego, Shraddha Barke University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego

Fri 22 Oct

Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10
OptimizationOOPSLA at Zurich B +8h
10:50
26m
Talk
A Derivative-based Parser Generator for Visibly Pushdown Grammars
OOPSLA
Xiaodong Jia The Pennsylvania State University, Ashish Kumar The Pennsylvania State University, Gang Tan Penn State University
11:16
26m
Talk
VESPA: Static Profiling for Binary Optimization
OOPSLA
Angelica Aparecida Moreira Universidade Federal de Minas Gerais, Guilherme Ottoni Facebook, Fernando Magno Quintão Pereira Federal University of Minas Gerais
11:43
26m
Talk
Copy-and-Patch Compilation
OOPSLA
Haoran Xu Stanford University, Fredrik Kjolstad Stanford University
Pre-print
13:50 - 15:10
Test and VerificationOOPSLA at Zurich B +8h
13:50
26m
Talk
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
OOPSLA
Florian Lanzinger Karlsruhe Institute of Technology (KIT), Alexander Weigl Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology, Werner Dietl University of Waterloo
14:16
26m
Talk
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
OOPSLA
Ranadeep Biswas Informal Systems, Diptanshu Kakwani Microsoft, India, Jyothi Vedurada IIT Hyderabad, Constantin Enea University of Paris / IRIF / CNRS, Akash Lal Microsoft Research
14:43
26m
Talk
Specifying and Testing GPU Workgroup Progress Models
OOPSLA
Tyler Sorensen University of California at Santa Cruz, Lucas Fernan Salvador Princeton University, Harmit Raval Princeton University, Hugues Evrard Imperial College London, UK, John Wickerson Imperial College London, Margaret Martonosi Princeton University, Alastair F. Donaldson Imperial College London
18:50 - 20:10
Optimization - mirrorOOPSLA at Zurich B
18:50
26m
Talk
A Derivative-based Parser Generator for Visibly Pushdown Grammars
OOPSLA
Xiaodong Jia The Pennsylvania State University, Ashish Kumar The Pennsylvania State University, Gang Tan Penn State University
19:16
26m
Talk
VESPA: Static Profiling for Binary Optimization
OOPSLA
Angelica Aparecida Moreira Universidade Federal de Minas Gerais, Guilherme Ottoni Facebook, Fernando Magno Quintão Pereira Federal University of Minas Gerais
19:43
26m
Talk
Copy-and-Patch Compilation
OOPSLA
Haoran Xu Stanford University, Fredrik Kjolstad Stanford University
Pre-print
21:50 - 23:10
Test and VerificationOOPSLA at Zurich B

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Zurich B

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Zurich B

Tue 19 Oct

Displayed time zone: Central Time (US & Canada) change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Zurich B

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Zurich B

Thu 21 Oct

Displayed time zone: Central Time (US & Canada) change

Fri 22 Oct

Displayed time zone: Central Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Zurich B

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich B

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich B

Thu 21 Oct

Displayed time zone: Central Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich B