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

Wed 12 Jul 2017

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

RERS

09:00 - 10:00

RERS

10:30 - 12:00

RERS

13:30 - 15:00

RERS

15:00 - 15:30

RERS

15:30 - 17:30

Thu 13 Jul 2017

Fri 14 Jul 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ESB 1001

SPIN Agenda

17:10 - 17:30

Thu 13 Jul

spin-2017-Keynote
08:30 - 09:30: SPIN Keynote - Session 1 at ESB 1001
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
spin-2017-full-papers149993100000009:30 - 10:00
Talk
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 4 at ESB 1001
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
spin-2017-full-papers149994900000014:30 - 15:00
Talk

Fri 14 Jul

spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 10 at ESB 1001
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
spin-2017-full-papers150003540000014:30 - 15:00
Talk
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscirption service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)