The PhD Symposium at the International Conference on Integrated Formal Methods (iFM) 2024 aims at providing PhD students an opportunity to present and discuss their research in the fields of theory, implementation, integration or application of formal methods. It is targetted towards PhD students and young researchers at an early career stage (up to 2 years after PhD completion). The goal of the symposium is to provide a possibility to the participants to present their research projects. Moreover: The PhD symposium ofers the participants an excellent opportunity to introduce their work to fellow researchers in an international setting, and to get feedback from senior researchers in the field. The doctoral symposium provides an environment to exchange knowledge and experiences with fellow PhD-students in a related topic - both regarding research topics, but regarding being a PhD candidate and working towards an PhD, and about future career plans. It is the 19th time the community meets at iFM. Like in the previous iterations of co-located PhD symposia at iFM, we were able to engage outstanding figures from the scientific community as presenters for the invited talks, who were able to provide participants with valuable input based on their scientific and academic expertise and experience. Prof. Dr. Paula Herber from the University of Münster illuminated the opportunities and challenges of an academic career in her lecture ”How to Become a Professor,” while Dr. Renate A. Schmidt from the University of Manchester gave a more scientifically oriented overview presentation titled ”Research in Knowledge Base Extraction: Tools, Applications and Lessons Learnt.” We received a total of 10 submissions, out of which the programme committee selected 8 for presentation and publication. This year, we supported three categories of papers that could be submitted: 1) Thesis Proposal Abstracts summarizing research questions and outlining a research project. They are ideal for early-stage PhD students to get feedback on their research project during the initial planing and orientation phase. 2) Result Reports summarizing preliminary results of early-stage research. Papers on unexpected results or inefective methods were particularly welcome. 3) Master Summaries summarizing the research question, method, and results of an impactful Master's thesis together with a discussion about possible next research steps. They were intended for new and future PhD students to communicate their thesis results together an experienced supervisor. For all formats, supervisors and colleagues were allowed to act as co-authors.
i Programme Committee Co-Chairs Mădălina Eraşcu
Mattias Ulbrich Programmme Committee West University of Timisoara, Romania Karlsruhe Institute of Technology, Germany