The Coq mailing list

[Mattias Ulbrich <ulbrich AT kit.edu>]

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-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw

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