A Doctoral Symposium will be held in conjunction with the 26th International Symposium on Formal Methods (FM 2024), 9-13 September 2024. FM 2024 is hosted by Politecnico di Milano.
Program is now available!
Important Dates
| Submission Open | June 1st, 2024 (Sat) | |
| Submission Deadline | June 17th, 2024 (Mon) | 23:59 AoE |
| Notification | July 5th, 2024 (Fri) | |
| Doctoral Symposium | September 10th, 2024 (Tue) |
Goals and Scope
This doctoral symposium aims to provide an engaging and informal environment where PhD students can present and discuss their ongoing work, meet other students working in formal methods, and receive feedback and advice from experienced researchers. In addition to short talks followed by open group discussions, the doctoral symposium will also provide opportunities for PhD students to meet senior academics in smaller groups to informally discuss research strategies, career aspects, or any other topic of interest.
If you are a PhD student doing research related to formal methods, you are warmly invited to submit a Research Abstract for consideration. Selected submissions will earn you a spot as a participant in the Doctoral Symposium.
There will be a best presentation award.
Invited Speakers
- Byron Cook, Amazon and UCL
- Kristin-Yvonne Rozier, Iowa State University
Research Abstracts
Research Abstracts should be up to 4 pages in Springer LNCS format. A Research Abstract should:
- Outline the main problems addressed by your research, their relevance, and the solution you are working on – including your research approach (research method) and the expected contributions.
- Contain a very brief literature review indicating the most important references related to the research problem and/or existing solutions.
- Indicate the current state of progress of your research.
The Research Abstract should be written by yourself as sole author. It may include references to relevant papers you have already published, including joint publications with your supervisors or other collaborators.
How to Submit
Submit your papers at https://easychair.org/conferences/?conf=fm24
Doctoral Symposium Committee
| Member(s) | Affiliation | Role |
| Carlo A. Furia | USI Università della Svizzera italiana, Switzerland | Doctoral Symposium Co-Chair |
| Laura Kovács | TU Wien, Austria | Doctoral Symposium Co-Chair |
| Rosemary Monahan | Maynooth University, Ireland | DS Committee Member |
| Paula Herber | University of Münster, Germany | DS Committee Member |
| Raúl Pardo | University of Copenhagen, Denmark | DS Committee Member |
| Wolfgang Ahrendt | Chalmers University of Technology, Sweden | DS Committee Member |
| Marcello M. Bersani | Politecnico di Milano, Italy | DS Committee Member |
| Marieke Huisman | University of Twente, The Netherlands | DS Committee Member |
| Stefano Tonetta | Fondazione Bruno Kessler, Italy | DS Committee Member |
| Mattias Ulbrich | Karlsruhe Institute of Technology, Germany | DS Committee Member |
| Nikolaj Bjørner | Microsoft, USA | DS Committee Member |
| Alexandra Mendes | University of Porto, Portugal | DS Committee Member |
| Silvia Lizeth Tapia Tarifa | University of Oslo, Norway | DS Committee Member |
| Simon Robillard | Université de Montpellier, France | DS Committee Member |