Symposium Location
The Rutherford Rooms in the Core Technology Facility.
Program — Tuesday, 12 Nov 2024
Paula Herber, University of Muenster & University of Twente
Pauline Blohm, Paula Herber and Anne Remke
Qais Hamarneh
Muhammad Raza Naqvi
Thomas Flinkow, Barak A. Pearlmutter and Rosemary Monahan
Renate Schmidt, University of Manchester
Andrei-Catalin Mogage and Dorel Lucanu
Gergely Buday and Andrei Popescu
Huan Zhang and Hao Wu
Pierre Malafosse, Alexandre Albore, Jérémie Guiochet and Charles Lesire
Important Dates
Paper submission | → 8 Sept 2024 (AoE) |
---|---|
Author notification | → 1 Oct 2024 (AoE) |
Camera-ready | → 12 Oct 2024 (AoE) |
Early Registration | until 19 Oct 2024 |
Symposium date | 12 Nov 2024 |
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 Should I 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 Should I Submit?
There are several options for your submission:
- Thesis Proposal Abstracts summarize your research questions and outline your planned approach without needing to report experimental results. They are ideal for early-stage PhD students to get feedback on their research project during the initial planing and orientation phase. Abstracts have 2–3 pages, co-authors are allowed, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024.
- Result Reports are short papers summarizing preliminary results of early-stage research. Result Reports are short papers summarizing preliminary results of early-stage research. They should objectively report the addressed question, applied methods, and obtained results. Papers on unexpected results or ineffective methods are particularly welcome. Result Reports have 3–6 pages, co-authors are allowed, the work must be previously unpublished.
- Master summaries are short papers summarizing the research question, method, and results of your impactful Master’s thesis together with a discussion about possible next research steps. They are ideal for new and future PhD students to communicate their thesis results. Master reports have 2–3 pages, an experienced supervisor should be a co-author, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024.
All submissions will be reviewed and accepted papers will be made publicly available in open-access online symposium proceedings.
Submission Guidelines
Multiple submissions by one author are not permitted. Submissions must be written in English and follow the CEUR-WS single-column formatting guidelines, available at
or on Overleaf.
Please submit your contribution electronically in PDF via the EasyChair page:
All submissions will be peer-reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Authors will get valuable feedback from more experienced reviewers. All types of contributions will benefit from feedback received during a dicussion at the workshop.
Reviewing will be single blind, i.e., submissions need not be anonymized.
Program Committee
- Erika Abraham, RWTH Aachen, Germany
- Ștefan Ciobâcă, UAIC Iași, Romania
- Mădălina Eraşcu, West University of Timisoara, Romania (co‑chair)
- Grigory Fedyukovich, Floria State University, USA
- Asmae Heydari Tabar, Karlsruhe Institute of Technology, Germany
- Eduard Kamburjan, University of Oslo, Norway
- Benjamin Kaminski, Saarland University, Germany, and University College London, UK
- Gergely Kovasznai, Eszterházy Károly University, Eger, Hungary
- Ondrej Lengal, Brno University of Technology, Czech Republic
- Luigia Petre, Åbo Akademi University, Norway
- Philipp Rümmer, University of Regensburg, Germany
- Nestan Tsiskaridze, Stanford University, USA
- Mattias Ulbrich, Karlsruhe Institute of Technology, Germany (co‑chair)