Welcome to the homepage of PhD-iFM'22, a PhD Symposium at the 17th International Conference on integrated Formal Methods (iFM), which will take place on the 7th of June 2022 in beautiful Lugano, Switzerland.
The theory, implementation, integration or application of formal methods in a broad sense.
- Marie Farrell (Maynooth University, Ireland)
- João F. Ferreira (INESC-ID & IST, University of Lisbon, Portugal)
- Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
- Clare Dixon (The University of Manchester, UK)
- Angelo Ferrando (Università degli Studi di Genova, Italy)
- Alexandra Mendes (HASLab - INESC TEC / FEUP, University of Porto, Portugal)
- Ivan Perez (NIA / NASA, USA)
- Maike Schwammberger (University of Oldenburg, Germany)
- Graeme Smith (The University of Queensland, Australia)
- Paper submission:
March 1, 2022March 4, 2022
- Author notification: April 1, 2022
- Camera-ready: April 15, 2022
- Symposium date: June 7, 2022
09:00 - 09:10 Welcome and Introduction
09:10 - 10:10 Invited Talk: Yamine Ait Ameur
10:10 - 10:40 Paper Presentations
- Machine-Assisted Proofs for Institutions in Coq (Conor Reynolds and Rosemary Monahan)
10:40 - 11:10 BREAK
11:10 - 12:40 Paper Presentations
- SNITCH: A Platform for Information Flow Control (Eduardo Geraldo)
- A Dialogue Interface for Low Code Program Evolution (Luís Carvalho)
- Simple Dependent Types for OSTRICH (Joana Parreira)
12:40 - 14:30 LUNCH
14:30 - 15:30 Invited Talk: Louise A. Dennis
15:30 - 16:00 Paper Presentations
- Modeling Explanations in Autonomous Vehicles (Akhila Bairy)
16:00 - 16:30 BREAK
16:30 - 17:30 Paper Presentations
- A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller (Oisín Sheridan, Matt Luckcuck and Rosemary Monahan)
- Studying Users' Willingness to Use a Formally Verified Password Manager (Carolina Carreira)
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.
- 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 lets you exchange knowledge and experiences with fellow PhD-students in a related topic.
What to submit?
You are welcome to submit an extended abstract of 2-3 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 they should be appropriately referenced. If submitted to iFM2022 the authors should indicate this in their submission.
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: