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.


Papers presented at the PhD symposium can be found either below or in the Springer's proceedings of iFM 2023 (volume 14300 of LNCS) that are temporarily available here to all participants of the event from 14 November to 14 December, 2023.

PhD Symposium Program

Thursday 16 November 2023 (Ketelhuis room, Scheltema Leiden)

8:30 – 8:45 Registration
8:45 – 9:00 Opening (Crystal Chang Din and Gidon Ernst, co-chairs PhD symposium)
9:00 – 10:00 Invited talk (chair: Crystal Chang Din)
  • The life of a scientist: Dream, build, learn, explain
    Rustan Leino (Amazon Web Services, US)
10:00 – 10:30 Coffee/Tea break
10:30 – 12:00 Morning session (chair: Gidon Ernst)
  • Formal Verification of Strategies for Autonomous Driving
    Qais Hamarneh
  • Scalable and Precise Refinement Types for Imperative Languages
    Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich and Werner Dietl
  • A Framework for the Verification of Collision Freeness for Collaborative Robots
    Artur Graczyk, Marialena Hadjikosti and Andrei Popescu
12:00 – 14:00 Lunch break
14:00 – 15:00 Invited talk (chair: Gidon Ernst)
  • A verification journey: from sequential Java programs to massively-parallel GPU code
    Marieke Huisman (University of Twente, NL)
15:00 – 15:30 Coffee/Tea break
15:30 – 17:00 Afternoon session (chair: Crystal Chang Din)
18:00 – 22:00 PhD symposium social dinner

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