=Paper=
{{Paper
|id=Vol-3860/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-3860/preface.pdf
|volume=Vol-3860
}}
==None==
https://ceur-ws.org/Vol-3860/preface.pdf
Preface
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 offers 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 pre-
sentation 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. Pa-
pers on unexpected results or ineffective 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.
Mădălina Erașcu and Mattias Ulbrich,
co-chairs
PhD Symposium of the 19th International Conference on Integrated Formal Methods (iFM)
at the University of Manchester, UK, 12 November 2024.
© 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
CEUR
ceur-ws.org
Workshop ISSN 1613-0073
Proceedings
i
Organisation
of the PhD Symposium at iFM 2024 in Manchester, UK on 12 November 2024.
Programme Committee Co-Chairs
Mădălina Eraşcu West University of Timisoara, Romania
Mattias Ulbrich Karlsruhe Institute of Technology, Germany
Programmme Committee
Erika Abraham RWTH Aachen, Germany
Ștefan Ciobâcă UAIC Iași, Romania
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
ii