Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
Filter
Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

spin-2017-RERS
09:00 - 10:00: RERS - Session 1 at Bren 1424
spin-2017-RERS09:00 - 10:00
Day opening
spin-2017-RERS
10:30 - 12:00: RERS - Session 2 at Bren 1424
spin-2017-RERS10:30 - 12:00
Talk
spin-2017-RERS
13:30 - 15:00: RERS - Session 3 at Bren 1424
spin-2017-RERS13:30 - 14:15
Talk
spin-2017-RERS14:15 - 15:00
Talk
spin-2017-RERS
15:30 - 16:30: RERS - Session 4 at Bren 1424
spin-2017-RERS15:30 - 16:30
Talk
spin-2017-RERS
16:30 - 17:30: RERS - Session 5 at Bren 1424
spin-2017-RERS16:30 - 17:30
Day closing

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-catering
10:00 - 10:30: Catering - Thursday AM Break at ESB Courtyard
spin-2017-catering10:00 - 10:30
Coffee break
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
spin-2017-catering
15:00 - 15:30: Catering - Thursday PM Break at ESB Courtyard
spin-2017-catering15:00 - 15:30
Coffee break
spin-2017-catering
18:30 - 20:30: Catering - SPIN Reception at Mosher Alumni House
spin-2017-catering18:30 - 20:30
Dinner

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

spin-2017-catering
10:00 - 10:30: Catering - Friday AM Break at ESB Courtyard
spin-2017-catering10:00 - 10:30
Coffee break
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-catering
15:00 - 15:30: Catering - Friday PM Break at ESB Courtyard
spin-2017-catering15:00 - 15:30
Coffee break
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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)