Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
VenueUniversity of California, Santa Barbara
Room nameESB 1001
Floor1
Room number1001
Capacity0
Additional informationThere is no additional information of this room available.
Program

Thu 13 Jul

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

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

Thu 13 Jul 2017

Fri 14 Jul 2017