ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20: S-2Research Papers at SPLASH-I +12h
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton, Shigeru ChibaThe University of Tokyo
09:00 - 09:20
Talk
Abstracting gradual referencesSCICO Journal-First
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity of Chile
Link to publication DOI Media Attached
09:20 - 09:40
Talk
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
Research Papers
Lukas DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
09:40 - 10:00
Talk
Blame for Null
Research Papers
Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
10:00 - 10:20
Talk
Perfect is the Enemy of Good: Best-Effort Program Synthesis
Research Papers
Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
11:00 - 12:20: S-3Research Papers at SPLASH-I +12h
Chair(s): Anitha GollamudiHarvard University, Carl Friedrich Bolz-Tereick
11:00 - 11:20
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
11:20 - 11:40
Talk
Sound regular corecursion in coFJ
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
11:40 - 12:00
Talk
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Benjamin Barslev NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached
13:00 - 14:20: S-4Research Papers at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Eli TilevichVirginia Tech
13:00 - 13:20
Talk
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
13:20 - 13:40
Talk
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
13:40 - 14:00
Talk
A big step from finite to infinite computationsSCICO Journal-First
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
14:00 - 14:20
Talk
Static Type Analysis by Abstract Interpretation of Python Programs
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached
15:00 - 16:20: S-5Research Papers at SPLASH-I +12h
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy, Eli TilevichVirginia Tech
15:00 - 15:20
Talk
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
15:20 - 15:40
Talk
Putting Randomized Compiler Testing into Production
Research Papers
Alastair DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
15:40 - 16:00
Talk
Owicki-Gries Reasoning for C11 RAR
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
Link to publication DOI Media Attached
16:00 - 16:20
Talk
Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Research Papers
David R. MacIverImperial College London, Alastair DonaldsonImperial College London
Link to publication DOI Media Attached
17:00 - 18:20: S-6Research Papers at SPLASH-I +12h
Chair(s): Shigeru ChibaThe University of Tokyo, Tiark RompfPurdue University
17:00 - 17:20
Talk
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Julia GabetImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
17:20 - 17:40
Talk
Reference immutability for DOT
Research Papers
Vlastimil DortCharles University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
17:40 - 18:00
Talk
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
Link to publication DOI Media Attached
18:00 - 18:20
Talk
Scala with Explicit Nulls
Research Papers
Abel NietoAarhus University, Yaoyu ZhaoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Angela ChangUniversity of Waterloo, Justin PuUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
21:00 - 22:20: S-2Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Hidehiko MasuharaTokyo Institute of Technology
21:00 - 21:20
Talk
Abstracting gradual referencesSCICO Journal-First
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity of Chile
Link to publication DOI Media Attached
21:20 - 21:40
Talk
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
Research Papers
Lukas DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
21:40 - 22:00
Talk
Blame for Null
Research Papers
Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
22:00 - 22:20
Talk
Perfect is the Enemy of Good: Best-Effort Program Synthesis
Research Papers
Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
23:00 - 00:20: S-3Research Papers at SPLASH-I
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Atsushi IgarashiKyoto University, Japan
23:00 - 23:20
Talk
Flow-Sensitive Type-Based Heap Cloning
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
23:20 - 23:40
Talk
Sound regular corecursion in coFJ
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
23:40 - 00:00
Talk
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Research Papers
Benjamin Barslev NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
00:00 - 00:20
Talk
Row and Bounded Polymorphism via Disjoint Polymorphism
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: S-4Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
01:00 - 01:20
Talk
K-LLVM: A Relatively Complete Semantics of LLVM IR
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
01:20 - 01:40
Talk
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
01:40 - 02:00
Talk
A big step from finite to infinite computationsSCICO Journal-First
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
02:00 - 02:20
Talk
Static Type Analysis by Abstract Interpretation of Python Programs
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached
03:00 - 04:20: S-5Research Papers at SPLASH-I
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy, Jeremy GibbonsDepartment of Computer Science, University of Oxford
03:00 - 03:20
Talk
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
03:20 - 03:40
Talk
Putting Randomized Compiler Testing into Production
Research Papers
Alastair DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
03:40 - 04:00
Talk
Owicki-Gries Reasoning for C11 RAR
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
Link to publication DOI Media Attached
04:00 - 04:20
Talk
Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Research Papers
David R. MacIverImperial College London, Alastair DonaldsonImperial College London
Link to publication DOI Media Attached
05:00 - 06:20: S-6Research Papers at SPLASH-I
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford, Olivier FlückigerNortheastern University
05:00 - 05:20
Talk
Static Race Detection and Mutex Safety and Liveness for Go Programs
Research Papers
Julia GabetImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
05:20 - 05:40
Talk
Reference immutability for DOT
Research Papers
Vlastimil DortCharles University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
05:40 - 06:00
Talk
Multiparty Session Programming with Global Protocol Combinators
Research Papers
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
Link to publication DOI Media Attached
06:00 - 06:20
Talk
Scala with Explicit Nulls
Research Papers
Abel NietoAarhus University, Yaoyu ZhaoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Angela ChangUniversity of Waterloo, Justin PuUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
07:00 - 08:20: M-1Research Papers at SPLASH-I +12h
Chair(s): Peter ThiemannUniversity of Freiburg, Germany, John BoylandUniveristy of Wisconsin, Milwaukee
07:00 - 07:20
Talk
A Semantics for the Essence of React
Research Papers
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo, Frank TipNortheastern University
Link to publication DOI Media Attached
07:20 - 07:40
Talk
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Evgenii MoiseenkoSt. Petersburg University / JetBrains Research, Anton PodkopaevNRU HSE, JetBrains Research, Ori LahavTel Aviv University, Orestis MelkonianUtrecht University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
07:40 - 08:00
Talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow, Edwin BradyUniversity of St. Andrews
Link to publication DOI Media Attached
08:00 - 08:20
Talk
Reshape your layouts, not your programs: A safe language extension for better cache localitySCICO Journal-First
Research Papers
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
Link to publication DOI Media Attached
11:00 - 12:20: M-3Research Papers at SPLASH-I +12h
Chair(s): John BoylandUniveristy of Wisconsin, Milwaukee, Peter ThiemannUniversity of Freiburg, Germany
11:00 - 11:20
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
The Duality of Subtyping
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
12:00 - 12:20
Talk
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadImperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached
13:00 - 14:20: M-4Research Papers at SPLASH-I +12h
Chair(s): Raffi KhatchadourianCity University of New York, Anitha GollamudiHarvard University
13:00 - 13:20
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
13:20 - 13:40
Talk
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Gabriela SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
13:40 - 14:00
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
14:00 - 14:20
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Malta, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
17:00 - 17:20: M-6BResearch Papers at SPLASH-III +12h
Chair(s): Raffi KhatchadourianCity University of New York, Patrick ReinHasso Plattner Institute
17:00 - 17:20
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Yuya TsudaKyoto University, Atsushi IgarashiKyoto University, Japan, Tomoya TabuchiKyoto University
Link to publication DOI Media Attached
19:00 - 20:20: M-1Research Papers at SPLASH-I
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology
19:00 - 19:20
Talk
A Semantics for the Essence of React
Research Papers
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo, Frank TipNortheastern University
Link to publication DOI Media Attached
19:20 - 19:40
Talk
Reconciling Event Structures with Modern Multiprocessors
Research Papers
Evgenii MoiseenkoSt. Petersburg University / JetBrains Research, Anton PodkopaevNRU HSE, JetBrains Research, Ori LahavTel Aviv University, Orestis MelkonianUtrecht University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
19:40 - 20:00
Talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow, Edwin BradyUniversity of St. Andrews
Link to publication DOI Media Attached
20:00 - 20:20
Talk
Reshape your layouts, not your programs: A safe language extension for better cache localitySCICO Journal-First
Research Papers
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
Link to publication DOI Media Attached
23:00 - 00:20: M-3Research Papers at SPLASH-I
Chair(s): Patrick ReinHasso Plattner Institute, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
Lifting Sequential Effects to Control Operators
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
The Duality of Subtyping
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
00:00 - 00:20
Talk
Data Consistency in Transactional Storage Systems: A Centralised Semantics
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadImperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: M-4Research Papers at SPLASH-I
Chair(s): Manuel SerranoInria, France, Patrick ReinHasso Plattner Institute
01:00 - 01:20
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
01:20 - 01:40
Talk
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Gabriela SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
01:40 - 02:00
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
02:00 - 02:20
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Malta, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
05:00 - 05:20: M-6BResearch Papers at SPLASH-III
Chair(s): Patrick ReinHasso Plattner Institute, Manuel SerranoInria, France
05:00 - 05:20
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
Research Papers
Yuya TsudaKyoto University, Atsushi IgarashiKyoto University, Japan, Tomoya TabuchiKyoto University
Link to publication DOI Media Attached

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 14:20: Scala SymposiumScala at SPLASH-V
10:00 - 10:05
Day opening
Welcome to Scala 2020
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt
10:05 - 10:40
Keynote
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Scala
10:40 - 11:00
Talk
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Scala
11:00 - 11:20
Paper
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
11:40 - 12:00
Talk
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
12:00 - 12:20
Paper
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Scala
Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley
12:20 - 12:40
Paper
Semantics-Preserving Inlining for Metaprogramming
Scala
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Sébastien DoeraeneEPFL, Switzerland, Martin OderskyEPFL
12:40 - 13:00
Talk
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Scala
Ifaz KabirUniversity of Alberta, Karim AliUniversity of Alberta
13:00 - 13:20
Day closing
Closing Scala 2020
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
SPLASH-I

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
SPLASH-I
SPLASH-III

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:0030
SPLASH-V

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-I
SPLASH-III
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)