ifm2024phd: Integrated Formal Methods 2024: PhD Symposium Manchester, UK, November 12, 2024 |
| Conference website | https://ifm2024.cs.manchester.ac.uk/phd-symposium.html |
| Submission link | https://easychair.org/conferences/?conf=ifm2024phd |
PhD Symposium at the 19th International Conference on Integrated Formal Methods (iFM)
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).
Important Dates
| Paper submission: | 8 Sept 2024 (AoE) (extended) |
| Author notification: | 22 Sep 2024 (AoE) |
| Camera-ready: | 7 Oct 2024 (AoE) |
| Registration: | same as for iFM 2024 (t.b.a.) |
| Symposium date: | 12 Nov 2024 |
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
http://ceur-ws.org/Vol-XXX/CEURART.zip
or on Overleaf.
Please submit your contribution electronically in PDF via the EasyChair page:
https://easychair.org/conferences/?conf=ifm2024phd
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)
see the symposium web page.