Write a Blog >>
VenueUniversity of California, Santa Barbara
Room nameESB 1001
Floor1
Room number1001
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

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 09:30: Session 1SPIN Keynote at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University
08:30 - 09:30
Talk
SPIN Keynote
09:30 - 10:00: Session 2: Symbolic VerificationSPIN Full Paper at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
09:30 - 10:00
Talk
SPIN Full Paper
13:30 - 14:30: Session 4SPIN Keynote at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
13:30 - 14:30
Talk
SPIN Keynote

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 14:30: Session 10SPIN Keynote at ESB 1001
Chair(s): Yliès FalconeUniv. Grenoble Alpes, Inria
13:30 - 14:30
Talk
SPIN Keynote
14:30 - 15:00: Session 11: Program SketchingSPIN Full Paper at ESB 1001
Chair(s): Madalina Erascu
14:30 - 15:00
Talk
SPIN Full Paper
17:10 - 17:30: Session 14SPIN Agenda at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University, Pedro Merino Gomez
17:10 - 17:30
Day closing
SPIN Agenda