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.
PhD Symposium Chairs
- Crystal Chang Din (University of Bergen, Norway)
- Gidon Ernst (Ludwig-Maximilians-University of Munich, Germany)
- 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)
- Marieke Huisman (University of Twente, the Netherlands)
- Rustan Leino (Amazon Web Services, USA)
- Paper submission: 29 June 2023 (AoE)
- Author notification: 1 September 2023
- Camera-ready: 14 September 2023
- Symposium date: 16 November 2023
Who can submit?
PhD students and young researchers at an early career stage (up to 2 years after PhD completion).
Why to submit?
Participants will have the possibility to give short presentations about their research projects.Moreover:
- The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field.
- The doctoral symposium let you exchange knowledge and experiences with fellow PhD-students in a related topic.
What to submit?
There are two options for your submission:
- Extended abstract of 2-4 pages, describing your research project which you would like to present. Co-authors are allowed. The results may have been accepted or even published elsewhere. If published elsewhere then this should be appropriately referenced. If submitted to iFM2023 the authors should indicate this in their submission.
- Short papers describing previously unpublished work of at least 4 pages, up to 6 pages. These submissions will be included in the proceedings of iFM. Co-authors are allowed. This is a great opportunity to showcase preliminary results and ideas.
Multiple submissions by one author are not permitted. Submissions should be written in English and follow the LNCS formatting guidelines, available at:
Please submit your abstract electronically in PDF via the EasyChair page: