Write a Blog >>
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