• 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	Lunch	Lunch	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

• Modelling and Analysis of Communicating Systems.
  Monday. More information.
• The Correctness-by-Construction Approach to Programming.
  Monday. More information.
• Abstract Behavioral Specification.
  Tuesday. More information.
• Theory and Practice of Runtime Verification.
  Tuesday. More information.

Workshops: Monday and Tuesday

• FMICS: Formal Methods for Industrial Critical Systems.
  Monday and Tuesday. More information.
• Overture/VDM: Including extensions made on top of the platform.
  Tuesday. More information.
• WWV: Automated Specification and Verification of Web Systems.
  Tuesday. More information.
• Refinement.
  Monday. More information.
• ESSS: Engineering Safety and Security Systems.
  Monday. More information.
• USE: Usages of Symbolic Execution.
  Tuesday. More information.
• SETS: Sets and Tools.
  Tuesday. More information.
• FMSEET: Formal Methods in Software Engineering Education and Training.
  Tuesday. More information.
• Formal Methods and Model­-Driven Engineering in Robotics.
  Monday. More information.
• F-IDE: Formal Integrated Development Environment.
  Monday. More information.

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