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.

Scope

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

Invited Speakers

• Marieke Huisman (University of Twente, the Netherlands)
• Rustan Leino (Amazon Web Services, USA)

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

• Crystal Chang Din (University of Bergen, Norway)
• Gidon Ernst (Ludwig-Maximilians-University of Munich, Germany)

Program Committee

• Elvira Albert (Complutense University of Madrid, Spain)
• Eduard Kamburjan (University of Oslo, Norway)
• Ondrej Lengal (Brno University of Information Technology, Czech Republic)
• Anna Lukina (Technical University of Delft,the Netherlands)
• Andrei Paskevich (Paris-Saclay University, France)
• Chris Poskitt (Singapore Management University, Singapore)
• José Proença (CISTER Lab, ISEP, Portugal)
• Elvinia Riccobene (Università degli Studi di Milano, Italy)
• Dominic Steinhöfel (CISPA Helmholtz Center for Information Security, Germany)

Important Dates

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