Wednesday June 27

• 09:00 - 09:30 - Paul E. Black (introduction)

Analysis of legacy code

• 09:30 - 10:30 - David Wheeler (keynote)
• 10:30 - 11:00 - coffee break
• 11:00 - 11:30 - Ben Hocking
• 11:30 - 12:00 - Alexey Khoroshilov
• 12:00 - 12:30 - Jon Aytac
• 12:30 - 13:00 - Benjamin Monate

Lunch break

• Use in new developments
• 14:30 - 15:30 - Rustan Leino (keynote)
• 15:30 - 16:00 - Alexander Senier
• 16:00 - 16:30 - Mariano Moscato
• 16:30 - 17:00 - Claire Dross
• 17:00 - 17:30 - François Bustany

• 18:00 - cocktail and dinner

Thursday June 28

Accountable software quality

• 09:00 - 10:00 - David Cok (keynote)
• 10:00 - 10:30 - Rod Chapman
• 10:30 - 11:00 - coffee break
• 11:00 - 11:30 - David Mentré
• 11:30 - 12:00 - David Delmas
• 12:00 - 12:30 - Stuart Matthews
• 12:30 - 13:00 - panel and open mic session

Lunch break

Tutorials

• 14:30 - 17:30 - parallel tutorials on Frama-C & TIS Analyzer, or SPARK