PhD Symposium

Program

Tuesday 18 November 2025

08:00 - 09:00 Registration
09:00 - 10:00 Invited Speaker
A PhD in 10 (False) Dichotomies
Carlo Furia (Università della Svizzera Italiana, Switzerland)
10:00 - 10:30 Coffee Break
10:30 - 11:00 Get To Know Your Fellows
11:00 - 11:30 Formal Verification of Cyber-Physical Systems under Unexpected Conditions
Carlos Isasa
11:30 - 12:00 Safe Autonomy by Design: A Software Architecture for Safety-Critical Robotics
Diana Carolina Benjumea Hernandez
12:00 - 13:30 Lunch
13:30 - 14:00 Static Program Analysis Across Trust Boundaries
Naïm Moussaoui Remil
14:00 - 14:30 Utilising Lightweight Formal Methods for Finding Vulnerabilities in Security Protocols
Daniel Farcas
14:30 - 15:00 Towards Integrating Formal Security into the Matrix Decentralised Messaging System
Johanna Stuber
15:00 - 15:30 Coffee Break
15:30 - 16:00 Shape Analysis by Abstract Interpretation of Non-Blocking Concurrent Programs
Valentin Barbazo
16:00 - 16:30 Formal Semantic Foundations for Higher-Order SMT Encoding of B Proof Obligations
Vincent Trélat
16:30 - 17:00 Generating Customizable Benchmarks for OCL
Ankit Jha
17:00 - 17:30 Security-Minded Verification of Autonomous Robotic Systems
Juel Hussain
19:30 - 22:00 FMAS & PhD Symposium Dinner
L'Excuse
219 rue de Tolbiac, 75013 Paris
(drinks are not included and must be paid for on site)

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