Program Overview

  • Monday + Tuesday: Doctoral symposium, tutorials, workshops
  • Wednesday – Friday: FM2015 and Industry Day
 Monday
June 22
Tuesday
June 23
Wednesday
June 24
Thursday
June 25
Friday
June 26
09:00
-10:00
Parallel
Sessions
Parallel
Sessions
Session 1:
Keynote
Elvira Albert
Session 5:
Keynote
Werner Damm
Session 9:
Keynote
Valérie Issarny
10:00
-10:30
Coffee
break
Coffee
break
Coffee
break
Coffee
break
Coffee
break
10:30
-12:30
Parallel
Sessions
Parallel
Sessions
Session 2A
Session 2B
Session 6A
Session 6B
Ind. Track
Session 10
12:30
-14:00
LunchLunch
Lunch
Lunch
Lunch
14:00
-15:30
Parallel
Sessions
Parallel
Sessions
Session 3A
Session 3B
Session 7A
Session 7B
Ind. Track
Session 11
15:30
-16:00
Coffee
break
Coffee
break
Coffee
break
Coffee
break
Coffee
break
16:00
-17:30
Parallel
Sessions
Parallel
Sessions
Session 4:
Keynote
Leslie Lamport
Session 8:
FME Fellowship
Award Ceremony
Session 12
17:45
- ...
FME AGM
Town Hall
Reception
Banquet

Doctoral Symposium: Monday

  • Keynote: Stijn de Gouw
  • Presentations and discussions of ongoing PhD projects
  • More information

Tutorials: Monday and Tuesday

Workshops: Monday and Tuesday

FM2015: Wednesday – Friday

  • Keynotes: Elvira Albert, Werner Damm, Valérie Issarny, Leslie Lamport
  • FME Fellowship Award
  • Technical program
  • Social events: Wednesday reception, Thursday banquet
  • Accepted papers

Industry Track: Thursday

  • Short presentations of industrial applications of formal methods
  • Experience with introducing formal methods in industry
  • Accepted papers

20th International Symposium on Formal Methods