PhD Symposium

Call for Presentation Proposals

Important Dates (AoE)

Talk Proposal Submission          29 Sep 2025
Author Notification 07 Oct 2025
Early Registration 25 Oct 2025
PhD Symposium 18 Nov 2025

Objective and Scope

The iFM PhD symposium provides PhD students an opportunity to present
and discuss their research in the fields of theory, implementation,
integration or application of formal methods.

Who Can Submit?

PhD students and young researchers at an early career stage (up to 2
years after PhD completion).

Why to Submit and Participate?

Participants will have the possibility to present their research
projects. Moreover: The doctoral symposium offers an excellent
opportunity to introduce your work to fellow researchers 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 – both
regarding research and regarding working towards an PhD.

What to Submit?

Talk proposals should be 2 or 3 pages in Springer LNCS format.

Your talk proposal should:

  • Outline the problem being addressed, its relevance, the solution
    you are working on, your research approach (such as your research
    method) and your expected contribution.
  • Contain a very brief literature survey indicating the most
    important references related to:
    • the problem being addressed, and/or
    • existing solutions as appropriate.
  • Indicate your progress to date and the current stage of research.

The talk proposal should be written by yourself as sole author,
but may include references to relevant papers you have already
published, including joint publications with collaborators.

(Note that submitted talk proposals will not be published.)

Submission Guidelines

Multiple submissions by one author are not permitted.

Please submit your contribution electronically in PDF via the
EasyChair page:

https://easychair.org/conferences?conf=ifm2025

All submissions will be evaluated based on their clarity and their
potential to generate interesting discussions.

PhD Symposium Chairs