Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
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: (GMT-07:00) Tijuana, Baja California change

spin-2017-Keynote
08:30 - 09:30: SPIN Keynote - Session 1 at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University
spin-2017-Keynote08:30 - 09:30
Talk
spin-2017-full-papers
09:30 - 10:00: SPIN Full Paper - Session 2: Symbolic Verification at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
spin-2017-full-papers09:30 - 10:00
Talk
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 4 at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
spin-2017-Keynote13:30 - 14:30
Talk
spin-2017-full-papers
14:30 - 15:00: SPIN Full Paper - Session 5: Code Verification at ESB 1001
Chair(s): Alberto Salmeron
spin-2017-full-papers14:30 - 15:00
Talk

Fri 14 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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