SPIN 2017 - Keynotes

Write a Blog >>

Thu 13 - Fri 14 July 2017 Santa Barbara, California, United States

co-located with ISSTA 2017

SPIN will feature three great keynote addresses by:

Domagoj Babic, Google, Inc.
Byron Cook, Amazon Web Services
Gerard Holzmann, Nimble Research

… more on Keynote Speakers

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 13 Jul
Displayed time zone: Tijuana, Baja California change

08:30 - 09:30	Session 1SPIN Keynote at ESB 1001 Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory

08:30 60m Talk		Gerard Holzmann: Cobra - Fast Structural Code Checking SPIN Keynote

13:30 - 14:30	Session 4SPIN Keynote at ESB 1001 Chair(s): Klaus Havelund NASA/Caltech Jet Propulsion Laboratory

13:30 60m Talk		Byron Cook: Automated Formal Reasoning About Amazon Web Services SPIN Keynote

Fri 14 Jul
Displayed time zone: Tijuana, Baja California change

13:30 - 14:30	Session 10SPIN Keynote at ESB 1001 Chair(s): Yliès Falcone Univ. Grenoble Alpes, Inria

13:30 60m Talk		Domagoj Babic: SunDew - Systematic Automated Security Testing. SPIN Keynote

Speakers and Talk Titles

	Title
	Byron Cook: Automated Formal Reasoning About Amazon Web Services SPIN Keynote
	Domagoj Babic: SunDew - Systematic Automated Security Testing. SPIN Keynote
	Gerard Holzmann: Cobra - Fast Structural Code Checking SPIN Keynote

KeynotesSPIN 2017

Thu 13 Jul
Displayed time zone: Tijuana, Baja California change

Fri 14 Jul
Displayed time zone: Tijuana, Baja California change

Speakers and Talk Titles

Tracks

KeynotesSPIN 2017

Program Display Configuration

Thu 13 JulDisplayed time zone: Tijuana, Baja California change

Fri 14 JulDisplayed time zone: Tijuana, Baja California change

Speakers and Talk Titles

Thu 13 Jul
Displayed time zone: Tijuana, Baja California change

Fri 14 Jul
Displayed time zone: Tijuana, Baja California change