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

---