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.
Scope
The theory, implementation, integration or application of formal methods in a broad sense.
Proceedings
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)
|
| 10:00 – 10:30 | Coffee/Tea break |
| 10:30 – 12:00 | Morning session (chair: Gidon Ernst)
|
| 12:00 – 14:00 | Lunch break |
| 14:00 – 15:00 | Invited talk (chair: Gidon Ernst)
|
| 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
- 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