Doctoral Symposium

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.

Important Dates

Submission Open June 1st, 2024 (Sat)
Submission DeadlineJune 17th, 2024 (Mon)23:59 AoE
NotificationJuly 5th, 2024 (Fri)
Doctoral SymposiumSeptember 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

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


Doctoral Symposium Committee (to be announced)

Carlo A. FuriaUSI Università della Svizzera italiana, SwitzerlandDoctoral Symposium Co-Chair
Laura KovácsTU Wien, AustriaDoctoral Symposium Co-Chair