SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
VenueOnline
Room nameSPLASH-IV
Floor0
Additional informationThere is no additional information of this room available.
Program

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: 10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV
Chair(s): Y. Annie LiuStony Brook University
10:00 - 10:10
Day opening
LPOP
Peter Van RoyUniversité catholique de Louvain
10:10 - 10:50
Talk
LPOP
I: Leslie LamportMicrosoft Research
10:50 - 11:05
Paper
LPOP
11:05 - 11:20
Paper
LPOP
Patrick CousotNew York University
11:20 - 11:50
Live Q&A
LPOP
Leslie LamportMicrosoft Research, Richard Waldinger, Patrick CousotNew York University, C: David WarrenStony Brook University
11:50 - 12:00
Break
LPOP
Michael LeuschelUniversity of Düsseldorf, C: Jorge LoboICREA and Universitat Pompeu Fabra
11:00 - 12:20: 12:00-- Logic in Artificial Intelligence and Machine LearningLPOP at SPLASH-IV
Chair(s): Peter Van RoyUniversité catholique de Louvain
12:00 - 12:40
Talk
LPOP
I: Stuart RussellUniversity of California, Berkeley
12:40 - 12:55
Paper
LPOP
Paul TarauUniversity of North Texas
12:55 - 13:05
Break
LPOP
13:00 - 14:20: 13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie LiuStony Brook University
13:05 - 13:45
Talk
LPOP
13:45 - 14:15
Live Q&A
LPOP
Stuart RussellUniversity of California, Berkeley, Paul TarauUniversity of North Texas, Adnan DarwicheUCLA, C: David WarrenStony Brook University
14:15 - 14:25
Break
LPOP
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid, C: Martin GebserUniversity of Klagenfurt, Austria
15:00 - 16:20: 14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV
Chair(s): Peter Van RoyUniversité catholique de Louvain
14:25 - 15:05
Talk
LPOP
I: Peter StuckeyUniversity of Melbourne
15:05 - 15:20
Paper
LPOP
15:20 - 15:30
Paper
LPOP
15:30 - 16:00
Live Q&A
LPOP
Peter StuckeyUniversity of Melbourne, Robert Kowalski, Daniel Hines, C: David WarrenStony Brook University

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

07:00 - 08:20: Welcome to REBLS & KeynoteREBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
07:00 - 07:20
Day opening
REBLS
Ivan PerezNIA / NASA Formal Methods
07:20 - 08:20
Keynote
REBLS
09:00 - 10:20: Session 1REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
09:00 - 09:40
Research paper
REBLS
Manuel AlaborUniversity of Applied Sciences of Eastern Switzerland (OST)
File Attached
09:40 - 10:20
Talk
REBLS
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
File Attached
11:00 - 12:20: Session 2REBLS at SPLASH-IV
Chair(s): Mark SantolucitoBarnard College, Columbia University, USA
11:00 - 11:40
Research paper
REBLS
Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity of Wisconsin -- Milwaukee
File Attached
11:40 - 12:20
Research paper
REBLS
Manuel Bärenzsonnen eServices GmbH
13:00 - 14:20: Session 3REBLS at SPLASH-IV
Chair(s): Manuel Bärenzsonnen eServices GmbH
13:00 - 13:40
Talk
REBLS
Adriaan LeijnseUniversidade NOVA de Lisboa
File Attached
13:40 - 14:20
Talk
REBLS
Bjarno OeyenVrije Universiteit Brussel, Sam Van den VonderVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
15:00 - 16:20: Session 4REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
15:00 - 15:40
Talk
REBLS
Simon SchoenwaelderTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen
File Attached
15:40 - 16:00
Day closing
REBLS
Ivan PerezNIA / NASA Formal Methods

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

01:00 - 02:20: Invited TalkNSAD at SPLASH-IV
Chair(s): Khalil GhorbalInria, France
01:00 - 02:20
Keynote
NSAD
Erika AbrahamRWTH Aachen University
03:00 - 04:20: PapersNSAD at SPLASH-IV
Chair(s): Liqian ChenNational University of Defense Technology, China, Khalil GhorbalInria, France
03:00 - 03:20
Paper
NSAD
03:20 - 03:40
Paper
NSAD
Santiago BautistaUniv Rennes, ENS Rennes, Inria, IRISA, Thomas P. JensenINRIA Rennes, Benoît MontaguInria
03:40 - 04:00
Paper
NSAD
Julien Braine, Laure GonnordUniversity of Lyon & LIP, France
04:00 - 04:20
Paper
NSAD
Tengbin Wang, Liqian ChenNational University of Defense Technology, China, Ji Wang
09:00 - 13:00: HILT workshop Tuesday sessionsHILT at SPLASH-IV
Chair(s): Robert BocchinoNASA/Caltech Jet Propulsion Laboratory, Tucker TaftAdaCore, United States, Richard WaiANNEXI-STRAYLINE

Tuesday HILT zoom roomTuesday HILT YouTubeHILT Clowdr Break Room

09:00 - 10:00
Keynote
HILT
Arnaud LoonstraUtrecht School of the Arts, Netherlands, Kevin Sappercodecentric AG
10:00 - 10:10
Coffee break
HILT
10:10 - 10:35
Talk
HILT
Richard WaiANNEXI-STRAYLINE
10:35 - 11:00
Talk
HILT
11:00 - 11:10
Coffee break
HILT
11:10 - 11:35
Talk
HILT
Kyle ChardUniversity of Chicago
11:35 - 12:00
Talk
HILT
James MunnsFerrous Systems
12:00 - 13:00
Other
HILT
P: Tucker TaftAdaCore, United States, P: Kyle ChardUniversity of Chicago, P: James MunnsFerrous Systems, P: Richard WaiANNEXI-STRAYLINE

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

11:00 - 12:20: Formal MethodsHATRA at SPLASH-IV
Chair(s): Michael CoblenzUniversity of Maryland at College Park
11:00 - 11:20
Meeting
HATRA
11:20 - 11:40
Talk
HATRA
April GonçalvesMetastate AG
Pre-print
11:40 - 12:00
Talk
HATRA
Alastair ReidArm Ltd, Luke ChurchUniversity of Cambridge, Shaked FlurGoogle Research, Sarah de HaasGoogle Research, Maritza JohnsonGoogle Research, Ben LaurieGoogle Research
Link to publication
13:00 - 14:20: TypesHATRA at SPLASH-IV
Chair(s): Peter-Michael OseraGrinnell College
13:00 - 13:20
Talk
HATRA
Will CrichtonStanford University
Link to publication
13:20 - 13:40
Talk
HATRA
Gongming (Gabriel) LuoUniversity of Michigan, Vishnu ReddyUniversity of Michigan, Marcelo AlmeidaUniversity of Michigan, Yingying ZhuUniversity of Michigan, Ke DuUniversity of Michigan, Cyrus OmarUniversity of Michigan
Link to publication Pre-print
13:40 - 14:00
Talk
HATRA
Dominic OrchardUniversity of Kent, UK, Mistral ContrastinFacebook London, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
Link to publication
15:00 - 16:20: DesignHATRA at SPLASH-IV
Chair(s): Luke ChurchUniversity of Cambridge
15:00 - 15:20
Talk
HATRA
Pre-print
15:20 - 15:40
Talk
HATRA
Michael CoblenzUniversity of Maryland at College Park, Ariel DavisCarnegie Mellon University, Megan HofmannCarnegie Mellon University, Vivian HuangCarnegie Mellon University, Siyue JinCarnegie Mellon University, Max Krieger, Kyle LiangCarnegie Mellon University, Brian WeiCarnegie Mellon University, Mengchen Sam YongCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Link to publication
15:40 - 16:00
Meeting
HATRA

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

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

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

09:00 - 10:20: Welcome and KeynoteSPLASH-E at SPLASH-IV
Chair(s): Elisa BaniassadUniversity of British Columbia, Charlie CurtsingerGrinnell College

Keynote Conversation on Diversity, Equity and Inclusion in CS Education with Dr. Nicki Washington

09:00 - 09:10
Day opening
SPLASH-E
Charlie CurtsingerGrinnell College, Elisa BaniassadUniversity of British Columbia
09:10 - 10:20
Keynote
SPLASH-E
Nicki WashingtonDuke University
13:00 - 14:20: Panel: Engineering for Chaos -- Lessons Learned from COVID-19SPLASH-E at SPLASH-IV
Chair(s): Steven D. Fraser

Panelists:

Link to panelist bios and more panel info

13:00 - 14:20
Live Q&A
SPLASH-E
15:00 - 16:20: Lightning Talks and DiscussionSPLASH-E at SPLASH-IV
15:00 - 15:10
Talk
SPLASH-E
Ian C. McCormackUniversity of Wisconsin-Eau Claire, Chris JohnsonJames Madison University
15:10 - 15:20
Talk
SPLASH-E
Felix GrundUniversity of British Columbia
15:20 - 15:30
Talk
SPLASH-E
Peter-Michael OseraGrinnell College
15:30 - 15:40
Talk
SPLASH-E
Dan BarowyWilliams College
15:40 - 15:50
Talk
SPLASH-E
Elisa BaniassadUniversity of British Columbia, Alice CampbellThe University of British Columbia, Braxton Hall
15:50 - 16:20
Live Q&A
SPLASH-E

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

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SPLASH-IV

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:0030
SPLASH-IV

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

Room11:003012:003013:003014:003015:003016:003017:003018:0030
SPLASH-IV

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

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

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