SPLASH-IV - SPLASH 2020

VenueOnline

Room nameSPLASH-IV

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select 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 15 Nov
Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20	10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University

10:00 10m Day opening		Opening and Introduction LPOP Peter Van Roy Université catholique de Louvain
10:10 40m Talk		Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language LPOP I: Leslie Lamport Microsoft Research
10:50 15m Paper		Deductive Synthesis of the Unification Algorithm: The Automation of Introspection LPOP Richard Waldinger
11:05 15m Paper		Logic in Program Analysis and Verification LPOP Patrick Cousot New York University
11:20 30m Live Q&A		Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? LPOP Leslie Lamport Microsoft Research, Richard Waldinger , Patrick Cousot New York University, C: David Warren Stony Brook University
11:50 10m Break		Break: Ask Me Anything LPOP Michael Leuschel University of Düsseldorf, C: Jorge Lobo ICREA and Universitat Pompeu Fabra

11:00 - 12:20	12:00-- Logic in Artificial Intelligence and Machine LearningLPOP at SPLASH-IV Chair(s): Peter Van Roy Université catholique de Louvain

12:00 40m Talk		Invited Talk: Logic, Probability, Knowledge, and Learning LPOP I: Stuart Russell University of California, Berkeley
12:40 15m Paper		Training Neural Networks to Do Logic, with Logic LPOP Paul Tarau University of North Texas
12:55 10m Break		Break: Ask Me Anything LPOP Gopal Gupta , C: Joost Vennekens KU Leuven

13:00 - 14:20	13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University

13:05 40m Talk		Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms LPOP I: Adnan Darwiche UCLA
13:45 30m Live Q&A		Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? LPOP Stuart Russell University of California, Berkeley, Paul Tarau University of North Texas, Adnan Darwiche UCLA, C: David Warren Stony Brook University
14:15 10m Break		Break: Ask Me Anything LPOP Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria

15:00 - 16:20	14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV Chair(s): Peter Van Roy Université catholique de Louvain

14:25 40m Talk		Invited Talk: From CLP(R) to MiniZinc: There and Back Again LPOP I: Peter Stuckey University of Melbourne
15:05 15m Paper		Logical English LPOP Robert Kowalski
15:20 10m Paper		Flamingo, a Compiler and Runtime for Reactive ALM Systems LPOP Daniel Hines
15:30 30m Live Q&A		Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? LPOP Peter Stuckey University of Melbourne, Robert Kowalski , Daniel Hines , C: David Warren Stony Brook University

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

07:00 - 08:20	Welcome to REBLS & KeynoteREBLS at SPLASH-IV Chair(s): Ivan Perez NIA / NASA Formal Methods

07:00 20m Day opening		Welcome to REBLS REBLS Ivan Perez NIA / NASA Formal Methods
07:20 60m Keynote		Keynote: SCADE 6 REBLS K: Jean-Louis Colaço ANSYS

09:00 - 10:20	Session 1REBLS at SPLASH-IV Chair(s): Ivan Perez NIA / NASA Formal Methods

09:00 40m Research paper		Debugging RxJS-based Applications REBLS Manuel Alabor University of Applied Sciences of Eastern Switzerland (OST) File Attached
09:40 40m Talk		Managing Persistent Signals using Signal Classes REBLS Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology File Attached

11:00 - 12:20	Session 2REBLS at SPLASH-IV Chair(s): Mark Santolucito Barnard College, Columbia University, USA

11:00 40m Research paper		Asynchronous Monad for Reactive IoT Programming REBLS Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee File Attached
11:40 40m Research paper		The essence of live coding: Change the program, keep the state! REBLS Manuel Bärenz sonnen eServices GmbH

13:00 - 14:20	Session 3REBLS at SPLASH-IV Chair(s): Manuel Bärenz sonnen eServices GmbH

13:00 40m Talk		An Introduction to Denotative Continuous Spacetime Programming (Work in Progress) REBLS Adriaan Leijnse Universidade NOVA de Lisboa File Attached
13:40 40m Talk		Reactive Sorting Networks REBLS Bjarno Oeyen Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel

15:00 - 16:20	Session 4REBLS at SPLASH-IV Chair(s): Ivan Perez NIA / NASA Formal Methods

15:00 40m Talk		Multitier Languages for Reactive Microservice Architectures REBLS Simon Schoenwaelder TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen File Attached
15:40 20m Day closing		Closing remarks REBLS Ivan Perez NIA / NASA Formal Methods

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

01:00 - 02:20	Invited TalkNSAD at SPLASH-IV Chair(s): Khalil Ghorbal Inria, France

01:00 80m Keynote		Invited Talk: Abstract Domains in SMT Solving for Real Algebra NSAD Erika Abraham RWTH Aachen University

03:00 - 04:20	PapersNSAD at SPLASH-IV Chair(s): Liqian Chen National University of Defense Technology, China, Khalil Ghorbal Inria, France

03:00 20m Paper		Abstract Domains for Constraint Programming with Differential Equations NSAD Ghiles Ziat , Olivier Mullier , Julien Alexandre dit Sandretto , Christophe Garion ISAE-SUPAERO, Alexandre Chapoutot , Xavier Thirioux
03:20 20m Paper		Numeric Domains Meet Algebraic Data Types NSAD Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria
03:40 20m Paper		Proving array properties using data abstraction NSAD Julien Braine , Laure Gonnord University of Lyon & LIP, France
04:00 20m Paper		Rigorous Linear Programming Techniques for Numerical Abstract Domains NSAD Tengbin Wang , Liqian Chen National University of Defense Technology, China, Ji Wang

09:00 - 13:00	HILT workshop Tuesday sessionsHILT at SPLASH-IV Chair(s): Robert Bocchino NASA/Caltech Jet Propulsion Laboratory, Tucker Taft AdaCore, United States, Richard Wai ANNEXI-STRAYLINE Tuesday HILT zoom room – Tuesday HILT YouTube – HILT Clowdr Break Room

09:00 60m Keynote		Tuesday Keynote: ZeroMQ - The world-saving superhero sockets of the networking world HILT Arnaud Loonstra Utrecht School of the Arts, Netherlands, Kevin Sapper codecentric AG
10:00 10m Coffee break		Tuesday early coffee break HILT
10:10 25m Talk		XERIS/APEX: Hyperscaling with Ada HILT Richard Wai ANNEXI-STRAYLINE
10:35 25m Talk		Challenges and lessons learned introducing Fuse, an evolving open source technology, into an established legacy Ada and C++ program HILT Brian Kleinke Leidos
11:00 10m Coffee break		Tuesday later coffee break HILT
11:10 25m Talk		Productive Parallel Programming with Parsl HILT Kyle Chard University of Chicago
11:35 25m Talk		Building a Culture of Safe and Performant Systems with the Rust Programming Language HILT James Munns Ferrous Systems
12:00 60m Other		Tuesday Panel: Language support for parallel and distributed computing HILT P: Tucker Taft AdaCore, United States, P: Kyle Chard University of Chicago, P: James Munns Ferrous Systems, P: Richard Wai ANNEXI-STRAYLINE

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

11:00 - 12:20	Formal MethodsHATRA at SPLASH-IV Chair(s): Michael Coblenz University of Maryland at College Park

11:00 20m Meeting		Welcome and Introductions HATRA
11:20 20m Talk		Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers HATRA April Gonçalves Metastate AG Pre-print
11:40 20m Talk		Towards making formal methods normal: meeting developers where they are HATRA Alastair Reid Arm Ltd, Luke Church University of Cambridge, Shaked Flur Google Research, Sarah de Haas Google Research, Maritza Johnson Google Research, Ben Laurie Google Research Link to publication

13:00 - 14:20	TypesHATRA at SPLASH-IV Chair(s): Peter-Michael Osera Grinnell College

13:00 20m Talk		The Usability of Ownership HATRA Will Crichton Stanford University Link to publication
13:20 20m Talk		RustViz: Interactively Visualizing Ownership and Borrowing HATRA Gongming (Gabriel) Luo University of Michigan, Vishnu Reddy University of Michigan, Marcelo Almeida University of Michigan, Yingying Zhu University of Michigan, Ke Du University of Michigan, Cyrus Omar University of Michigan Link to publication Pre-print
13:40 20m Talk		Guiding user annotations for units-of-measure verification HATRA Dominic Orchard University of Kent, UK, Mistral Contrastin Facebook London, Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK Link to publication

15:00 - 16:20	DesignHATRA at SPLASH-IV Chair(s): Luke Church University of Cambridge

15:00 20m Talk		Programming languages shouldn't and needn't be Turing complete HATRA Gabriel Pickard Pre-print
15:20 20m Talk		User-Centered Programming Language Design: A Course-Based Case Study HATRA Michael Coblenz University of Maryland at College Park, Ariel Davis Carnegie Mellon University, Megan Hofmann Carnegie Mellon University, Vivian Huang Carnegie Mellon University, Siyue Jin Carnegie Mellon University, Max Krieger , Kyle Liang Carnegie Mellon University, Brian Wei Carnegie Mellon University, Mengchen Sam Yong Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University Link to publication
15:40 20m Meeting		Day 1 Discussion HATRA

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

11:00 - 12:20	Breakfast in SeattleStudent Research Competition at SPLASH-IV

11:00 80m Poster		Student Research Competition Student Research Competition

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

09:00 - 10:20	Welcome and KeynoteSPLASH-E at SPLASH-IV Chair(s): Elisa Baniassad University of British Columbia, Charlie Curtsinger Grinnell College Keynote Conversation on Diversity, Equity and Inclusion in CS Education with Dr. Nicki Washington

09:00 10m Day opening		Welcome SPLASH-E Charlie Curtsinger Grinnell College, Elisa Baniassad University of British Columbia
09:10 70m Keynote		SPLASH-E Keynote SPLASH-E Nicki Washington Duke University

11:00 - 12:20	PapersSPLASH-E at SPLASH-IV Conference publishing symposium proceedings

11:00 30m Talk		The PL-Detective Revisited SPLASH-E Christoph Reichenbach Lund University Link to publication DOI Media Attached
11:30 20m Talk		CSS Instruction Enhanced by Objective Typography SPLASH-E Karl Stolley Illinois Institute of Technology Link to publication
11:50 30m Talk		Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments SPLASH-E Lucas Zamprogno University of British Columbia, Reid Holmes University of British Columbia, Elisa Baniassad University of British Columbia Link to publication

13:00 - 14:20	Panel: Engineering for Chaos -- Lessons Learned from COVID-19SPLASH-E at SPLASH-IV Chair(s): Steven D. Fraser Panelists: Rebecca Mercuri (Notable Software) - http://www.notablesoftware.com/ Landon Curt Noll (Cisco) - http://www.isthe.com/chongo/ Aleš Plšek (Netflix) - https://www.linkedin.com/in/plsek/ Moshe Vardi (Rice University) - https://www.cs.rice.edu/~vardi/ Link to panelist bios and more panel info

13:00 80m Live Q&A		Panel Discussion SPLASH-E

15:00 - 16:20	Lightning Talks and DiscussionSPLASH-E at SPLASH-IV

15:00 10m Talk		Direct Manipulation for Computational Making SPLASH-E Ian McCormack University of Wisconsin-Eau Claire, Chris Johnson James Madison University
15:10 10m Talk		How student avatars can contribute to a more social environment in online courses SPLASH-E Felix Grund University of British Columbia
15:20 10m Talk		Bridging the Gap Between Programming Language Theory and Mathematics Education in Computer Science SPLASH-E Peter-Michael Osera Grinnell College
15:30 10m Talk		Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS SPLASH-E Dan Barowy Williams College
15:40 10m Talk		Group Harmony Visualisation At Scale SPLASH-E Elisa Baniassad University of British Columbia, Alice Campbell The University of British Columbia, Braxton Hall
15:50 30m Live Q&A		Open Discussion with the SPLASH-E Community SPLASH-E

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) 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						18:00						30
SPLASH-IV	LPOP 10:00-- Logic in Program Specification and Analysis																								LPOP 12:00-- Logic in Artificial Intelligence and Machine Learning																								LPOP 13:05-- Logic and Implementation Tractability																								LPOP 14:25-- Logic and Language Expressiveness																								LPOP

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


Room	7:00						30						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						18:00						30
SPLASH-IV	REBLS Welcome to REBLS & Keynote																								REBLS Session 1																								REBLS Session 2																								REBLS Session 3																								REBLS Session 4																								REBLS

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30
SPLASH-IV	NSAD Invited Talk																								NSAD Papers																								NSAD																																																HILT HILT workshop Tuesday sessions

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
SPLASH-IV	HATRA Formal Methods																								HATRA Types																								HATRA Design																								HATRA

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


Room	11:00						30						12:00						30
SPLASH-IV	Student Research Competition Breakfast in Seattle

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) 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
SPLASH-IV	SPLASH-E Welcome and Keynote																								SPLASH-E Papers																								SPLASH-E Panel: Engineering for Chaos -- Lessons Learned from COVID-19																								SPLASH-E Lightning Talks and Discussion

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
SPLASH-IV	LPOP Opening and Introduction 10:00 - 10:10		LPOP Invited Talk: If You're Not Writing a Program, Don't Use a Programming ... 10:10 - 10:50								LPOP Deductive Synthesis of the Unification Algorithm: The Automation of Int ... 10:50 - 11:05			LPOP Logic in Program Analysis and Verification 11:05 - 11:20			LPOP Panel: Logic in Program Specification: Where Has It Failed? How Can We ... 11:20 - 11:50						LPOP Break: Ask Me Anything 11:50 - 12:00		LPOP Invited Talk: Logic, Probability, Knowledge, and Learning 12:00 - 12:40								LPOP Training Neural Networks to Do Logic, with Logic 12:40 - 12:55			LPOP Break: Ask Me Anything 12:55 - 13:05		LPOP Invited Talk: Tractable Boolean Circuits: Applications and Compilation ... 13:05 - 13:45								LPOP Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neu ... 13:45 - 14:15						LPOP Break: Ask Me Anything 14:15 - 14:25		LPOP Invited Talk: From CLP(R) to MiniZinc: There and Back Again 14:25 - 15:05								LPOP Logical English 15:05 - 15:20			LPOP Flamingo, a Compiler and Runtime for Reactive ALM Systems 15:20 - 15:30		LPOP Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? 15:30 - 16:00

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


Room	7:00			15			30			45			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
SPLASH-IV	REBLS Welcome to REBLS 07:00 - 07:20				REBLS Keynote: SCADE 6 07:20 - 08:20																				REBLS Debugging RxJS-based Applications 09:00 - 09:40								REBLS Managing Persistent Signals using Signal Classes 09:40 - 10:20																REBLS Asynchronous Monad for Reactive IoT Programming 11:00 - 11:40								REBLS The essence of live coding: Change the program, keep the state! 11:40 - 12:20																REBLS An Introduction to Denotative Continuous Spacetime Programming (Work in ... 13:00 - 13:40								REBLS Reactive Sorting Networks 13:40 - 14:20																REBLS Multitier Languages for Reactive Microservice Architectures 15:00 - 15:40								REBLS Closing remarks 15:40 - 16:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			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
SPLASH-IV	NSAD Invited Talk: Abstract Domains in SMT Solving for Real Algebra 01:00 - 02:20																								NSAD Abstract Domains for Constraint Programming with Differential Equations 03:00 - 03:20				NSAD Numeric Domains Meet Algebraic Data Types 03:20 - 03:40				NSAD Proving array properties using data abstraction 03:40 - 04:00				NSAD Rigorous Linear Programming Techniques for Numerical Abstract Domains 04:00 - 04:20																																																												HILT Tuesday Keynote: ZeroMQ - The world-saving superhero sockets of the net ... 09:00 - 10:00												HILT Tuesday early coffee break 10:00 - 10:10		HILT XERIS/APEX: Hyperscaling with Ada 10:10 - 10:35					HILT Challenges and lessons learned introducing Fuse, an evolving open sourc ... 10:35 - 11:00					HILT Tuesday later coffee break 11:00 - 11:10		HILT Productive Parallel Programming with Parsl 11:10 - 11:35					HILT Building a Culture of Safe and Performant Systems with the Rust Program ... 11:35 - 12:00					HILT Tuesday Panel: Language support for parallel and distributed computing 12:00 - 13:00

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


Room	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
SPLASH-IV	HATRA Welcome and Introductions 11:00 - 11:20				HATRA Towards user-friendliness in proof assistants: automated strategies alg ... 11:20 - 11:40				HATRA Towards making formal methods normal: meeting developers where they are 11:40 - 12:00																HATRA The Usability of Ownership 13:00 - 13:20				HATRA RustViz: Interactively Visualizing Ownership and Borrowing 13:20 - 13:40				HATRA Guiding user annotations for units-of-measure verification 13:40 - 14:00																HATRA Programming languages shouldn't and needn't be Turing complete 15:00 - 15:20				HATRA User-Centered Programming Language Design: A Course-Based Case Study 15:20 - 15:40				HATRA Day 1 Discussion 15:40 - 16:00

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


Room	11:00			15			30			45			12:00			15			30			45
SPLASH-IV	SPLASH Student Research Competition Student Research Competition 11:00 - 12:20

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) 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
SPLASH-IV	SPLASH -E Welcome 09:00 - 09:10		SPLASH -E SPLASH-E Keynote 09:10 - 10:20																						SPLASH -E The PL-Detective Revisited 11:00 - 11:30						SPLASH -E CSS Instruction Enhanced by Objective Typography 11:30 - 11:50				SPLASH -E Nudging Student Learning Strategies Using Formative Feedback in Automat ... 11:50 - 12:20														SPLASH -E Panel Discussion 13:00 - 14:20																								SPLASH -E Direct Manipulation for Computational Making 15:00 - 15:10		SPLASH -E How student avatars can contribute to a more social environment in onli ... 15:10 - 15:20		SPLASH -E Bridging the Gap Between Programming Language Theory and Mathematics Ed ... 15:20 - 15:30		SPLASH -E Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS 15:30 - 15:40		SPLASH -E Group Harmony Visualisation At Scale 15:40 - 15:50		SPLASH -E Open Discussion with the SPLASH-E Community 15:50 - 16:20

Room information: SPLASH-IV

Program Display Configuration

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

Thu 19 NovDisplayed time zone: Central Time (US & Canada) change

Fri 20 NovDisplayed time zone: Central Time (US & Canada) change

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

LPOP

LPOP

LPOP

LPOP

LPOP

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

REBLS

REBLS

REBLS

REBLS

REBLS

REBLS

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

NSAD

NSAD

NSAD

HILT

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

HATRA

HATRA

HATRA

HATRA

Thu 19 NovDisplayed time zone: Central Time (US & Canada) change

Student Research Competition

Fri 20 NovDisplayed time zone: Central Time (US & Canada) change

SPLASH-E

SPLASH-E

SPLASH-E

SPLASH-E

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

Thu 19 NovDisplayed time zone: Central Time (US & Canada) change

Fri 20 NovDisplayed time zone: Central Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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