Program - Overview


  • Monday: Tutorials, Workshops
  • Tuesday: Doctoral symposium, Tutorials, Workshops
  • Wednesday – Friday: FM2016 and Industry Day

Monday 7 /11
Tuesday 8/11
 
Registration/ Support Desk Hours
 
08:00 - 13:00 & 14:00 - 17:00
08:30 - 13:00 & 14:00 - 17:00
09:00 – 10:00
Parallel Sessions
Parallel Sessions
10:00 – 10:30
Coffee Break
Coffee Break
10:30 – 12:30
Parallel Sessions
Parallel Sessions
12:30 – 14:00
Lunch
Lunch
14:00 – 15:30
Parallel Sessions
Parallel Sessions
15:30 – 16:00
Coffee Break
Coffee Break
16:00 – 18:00
Parallel Sessions
Parallel Sessions
19:00
Satellite Events
Dinner

Wednesday 9/11
Thursday 10/11
Friday 11/11
 
Registration/ Support Desk Hours
 
08:30 - 13:00 & 14:00 - 17:00
08:30 - 13:00 & 14:00 - 17:00
08:30 - 13:00 & 14:00 - 17:00
09:00 – 10:00
Session 1
Keynote Speech:
Manfred Broy
Session 5
Keynote Speech:
Peter O'Hearn
Session 10
Keynote Speech:
Jan Peleska
10:00 – 10:30
Coffee Break
Coffee Break (Sponsored by DiffBlue)
Coffee Break
10:30 – 12:30
Session 2
Session 6A
Session 6B
I-Track
Session 11
12:30 – 14:00
Lunch
Lunch and FME Business Meeting
Lunch
14:00 – 16:00
Session 3A
Session 3B
Session 7A
Session 7B
I-Track
Session 12A
Session 12B
Session 8 I-Track, Panel Discussion
16:00 – 16:30
Coffee Break
Coffee Break
Coffee Break
16:30 – 18:00
Session 4A
Session 4B
Session 9
Lucas Award Ceremony
Session 13
18.30
Welcome Reception and Launch Ceremony of the LNCS/FM subline
(Sponsored by Springer)
Banquet Conference

Doctoral Symposium: Tuesday

  • Invited Speaker: John S. Fitzgerald
  • Presentations and discussions of ongoing PhD projects
  • More information

Tutorials: Monday and Tuesday

  • Abstraction and Rely/Guarantee Thinking
    Monday - AM. More Information
  • KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems
    Monday - PM. More Information
  • Session Types for Concurrent and Distributed Programming: Principles and Practice
    Monday - PM. More Information
  • Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools
    Tuesday. More Information
  • The CProver Suite of Verification Tools
    Tuesday - AM. More Information

Workshops: Monday and Tuesday

  • FM-Priv 2016: 1st Workshop on Formal Methods for Privacy
    Monday. More Information
  • Overture 2016: 14th Overture Workshop
    Monday. More Information
  • F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment
    Tuesday. More Information

FM2016: Wednesday – Friday

  • Invited Speakers:  Manfred Broy, Peter O'Hearn, Jan Peleska
  • Lucas Award Ceremony
  • 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


Sponsors