Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Wed 12 Jul

spin-2017-RERS
09:00 - 10:00: RERS - Session 1 at Bren 1424
spin-2017-RERS149984280000009:00 - 10:00
Day opening
spin-2017-RERS
10:30 - 12:00: RERS - Session 2 at Bren 1424
spin-2017-RERS149984820000010:30 - 12:00
Talk
spin-2017-RERS
13:30 - 15:00: RERS - Session 3 at Bren 1424
spin-2017-RERS149985900000013:30 - 14:15
Talk
spin-2017-RERS149986170000014:15 - 15:00
Talk
spin-2017-RERS
15:30 - 16:30: RERS - Session 4 at Bren 1424
spin-2017-RERS149986620000015:30 - 16:30
Talk
spin-2017-RERS
16:30 - 17:30: RERS - Session 5 at Bren 1424
spin-2017-RERS149986980000016:30 - 17:30
Day closing

Thu 13 Jul

spin-2017-Keynote
08:30 - 09:30: SPIN Keynote - Session 1 at ESB 1001
Chair(s): Klaus Havelund, Hakan Erdogmus
spin-2017-Keynote149992740000008: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 Havelund
spin-2017-full-papers149993100000009:30 - 10:00
Talk
spin-2017-catering
10:00 - 10:30: Catering - Thursday AM Break at ESB Courtyard
spin-2017-catering149993280000010:00 - 10:30
Coffee break
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 4 at ESB 1001
Chair(s): Klaus Havelund
spin-2017-Keynote149994540000013: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-papers149994900000014:30 - 15:00
Talk
spin-2017-catering
15:00 - 15:30: Catering - Thursday PM Break at ESB Courtyard
spin-2017-catering149995080000015:00 - 15:30
Coffee break
spin-2017-catering
18:30 - 20:30: Catering - SPIN Reception at Mosher Alumni House
spin-2017-catering149996340000018:30 - 20:30
Dinner

Fri 14 Jul

spin-2017-catering
10:00 - 10:30: Catering - Friday AM Break at ESB Courtyard
spin-2017-catering150001920000010:00 - 10:30
Coffee break
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 10 at ESB 1001
Chair(s): Yliès Falcone
spin-2017-Keynote150003180000013: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-papers150003540000014:30 - 15:00
Talk
spin-2017-catering
15:00 - 15:30: Catering - Friday PM Break at ESB Courtyard
spin-2017-catering150003720000015:00 - 15:30
Coffee break
spin-2017-SPIN
17:10 - 17:30: SPIN Agenda - Session 14 at ESB 1001
Chair(s): Klaus Havelund, Hakan Erdogmus, Pedro Merino Gomez
spin-2017-SPIN150004500000017:10 - 17:30
Day closing

Wed 12 Jul 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bren 1424

RERS

Session 1
09:00 - 10:00

RERS

Session 2
10:30 - 12:00

RERS

Session 3
13:30 - 15:00

RERS

Session 4
15:30 - 16:30

RERS

Session 5
16:30 - 17:30

Thu 13 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
DLG Commons
ESB 1001
ESB Courtyard
Mosher Alumni House

Fri 14 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
DLG Commons
ESB 1001
ESB Courtyard
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)