[TYPES/announce] PhD Symposium iFM 2023 - Call for Papers [Deadline Extensions: July 13]

[Gidon Ernst]

---------------------------------------------------------------------------------------------------------------------------
PhD Symposium iFM 2023 - Call for Papers
18th International Conference on integrated Formal Methods
16 November 2023, Leiden, the Netherlands
https://urldefense.com/v3/__https://liacs.leidenuniv.nl/*bonsanguemm/ifm23/phd.html__;fg!!IBzWLUs!VJw4fLVN1rlEWzFWaRx2EbEe4E5KbLTPrhCwgI6PduMIMoQt6HcTSMUKIcwnoxx_hu8D7FFWjwuUs9D85LqJ4-F8M1q9ooVaGB0$ 
---------------------------------------------------------------------------------------------------------------------------

IMPORTANT DATES
Paper submission: 13 July 2023 (extended! AoE)
Author notification: 1 September 2023
Camera-ready: 14 September 2023
Symposium date: 16 November 2023

OBJECTIVE AND SCOPE
The iFM PhD symposium provides PhD students an opportunity to present 
their work which lies 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?
Participants will have the possibility to give short presentations about 
their research projects. Moreover:
The doctoral symposium offers an excellent opportunity to present your 
work 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.

WHAT TO SUBMIT?
There are two options for your submission:
Extended abstract of 2-4 pages, describing your research project which 
you would like to present. Co-authors are allowed. The results may have 
been accepted or even published elsewhere. If published elsewhere then 
this should be appropriately referenced. If submitted to iFM2023 the 
authors should indicate this in their submission.
Short papers describing previously unpublished work of at least 4 pages, 
up to 6 pages. These submissions will be included in the proceedings of 
iFM. Co-authors are allowed. This is a great opportunity to showcase 
preliminary results and ideas.

SUBMISSION GUIDELINES
Multiple submissions by one author are not permitted. Submissions should 
be written in English and follow the LNCS formatting guidelines, 
available at: 
https://urldefense.com/v3/__https://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation__;!!IBzWLUs!VJw4fLVN1rlEWzFWaRx2EbEe4E5KbLTPrhCwgI6PduMIMoQt6HcTSMUKIcwnoxx_hu8D7FFWjwuUs9D85LqJ4-F8M1q9Vw7nT6U$ 

Please submit your abstract electronically in PDF via the EasyChair 
page: https://urldefense.com/v3/__https://easychair.org/my/conference?conf=phdifm2023__;!!IBzWLUs!VJw4fLVN1rlEWzFWaRx2EbEe4E5KbLTPrhCwgI6PduMIMoQt6HcTSMUKIcwnoxx_hu8D7FFWjwuUs9D85LqJ4-F8M1q9-bDgr1E$