Email Gateway (May 30 2023 at 15:45): Email Gateway (May 30 2023 at 15:45):From: Gidon Ernst <gidon.ernst@lmu.de>
PhD Symposium iFM 2023 - Call for Papers
18th International Conference on integrated Formal Methods
16 November 2023, Leiden, the Netherlands
https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/phd.html
IMPORTANT DATES
Paper submission: 29 June 2023 (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://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation
Please submit your abstract electronically in PDF via the EasyChair
page: https://easychair.org/my/conference?conf=phdifm2023
Email Gateway (May 30 2023 at 15:52):From: Gidon Ernst <gidon.ernst@lmu.de>
PhD Symposium iFM 2023 - Call for Papers
18th International Conference on integrated Formal Methods
16 November 2023, Leiden, the Netherlands
https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/phd.html
IMPORTANT DATES
Paper submission: 29 June 2023 (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://www.springer.com/gp/authors-editors/book-authors-editors/your-publication-journey/manuscript-preparation
Please submit your abstract electronically in PDF via the EasyChair
page: https://easychair.org/my/conference?conf=phdifm2023
Last updated: Apr 19 2024 at 12:27 UTC