Apologies if you receive multiple copies of this CFP. Please, pass it on to interested colleagues.

--------------------------------------------------------------------------------------------------------------------------- PhD Symposium iFM 2024 - Final Call for Papers (Extended Deadline) 19th International Conference on integrated Formal Methods 12 November 2024, Manchester, United Kingdom https://ifm2024.cs.manchester.ac.uk/phd-symposium.html ---------------------------------------------------------------------------------------------------------------------------

IMPORTANT DATES

Paper submission (EXTENDED): 30 Aug 2024 (AoE) Author notification: 22 Sep 2024 (AoE) Camera-ready: 7 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 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?

There are several options for your submission:

1 _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.

2 _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.

3 _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 https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-wo...

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.

PROGRAMME 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 Banjamin Lucien Kaminski, Saarland University and University College London, UK Gergely Kovásznai, Eszterházy Károly University Egar, Hungary Ondrej Lengal, Brno University of Technology, Czech Republic Luigia Petre, Åbo Akademi University, Finland Philipp Rümmer, University of Regensburg, Germany Nestan Tsiskaridze, Stanford University, USA Mattias Ulbrich, Karlsruhe Institute of Technology, Germany (co‑chair)

FURTHER INFORMATION

available on the web pages: https://ifm2024.cs.manchester.ac.uk/phd-symposium.html https://easychair.org/cfp/ifm2024phd