Photo by Jose Zuniga on Unsplash

PhD Symposium iFM 2023

Welcome to the homepage of PhD symposium iFM 2023, an event at the 18th International Conference on integrated Formal Methods (iFM), which will take place on the 16th of November 2023 in Leiden, The Netherland.


The theory, implementation, integration or application of formal methods in a broad sense.

Invited Speakers

Accepted contributions (in no particular order)

  1. Qais Hamarneh. Formal Verification of Strategies for Autonomous Driving.
  2. Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich and Werner Dietl. Scalable and Precise Refinement Types for Imperative Languages.
  3. Hassan Hage, Ahmad Nasruddin Bin Mohd Azlan and Frank Mantwill. COMBOT: Easy Model Checking for all Actors by a virtual Collaborative Model Checking Robot.
  4. Artur Graczyk, Marialena Hadjikosti and Andrei Popescu. A Framework for the Verification of Collision Freeness for Collaborative Robots.
  5. Alberto Bombardelli. Asynchronous composition of temporal logics.
  6. Luc Edixhoven. Shuffling posets on trajectories.
  7. Dimitrios Thanos and Alfons Laarman. Accelerating Formal Methods for Quantum Circuit Compilation.

PhD Symposium Chairs

Program Committee

Important Dates

  • Paper submission: 13 July 2023 (extended, AoE)
  • Author notification: 1 September 2023
  • Camera-ready: 14 September 2023
  • Symposium date: 16 November 2023