Welcome to the homepage of PhD-iFM’19, a PhD Symposium at iFM 2019 on Formal Methods: Algorithms, Tools and Applications, held in Bergen, Norway on December 3, 2019.

Important Dates

Paper submission: September, 22 June 2019
Notification: October, 11 September 2019
Symposium: December 3, 2019
Main Conference: December 4-6, 2019

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.

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.

  • 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.
  • The selected contributions will be published as a technical report of the Western Norway University of Science and Technology, Norway.

What to submit?

You are welcome to submit an extended abstract of 1-3 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 you are author of an accepted iFM’19 publication, it is sufficient to submit the title, authors, and abstract of that paper.

Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at

Please submit your abstract electronically in pdf via the following EasyChair page.

The submitted abstracts will undergo a lightweight reviewing process.

Invited Speaker

Andreas Griesmayer, Senior Research Engineer (Arm, Cambridge, UK)

Title: TBA

Symposium Co-Chairs

Jacopo Mauro (University of Southern Denmark, Odense, Denmark)
César Sánchez (IMDEA Software Institute, Madrid, Spain)

Program Committee

Erika Ábrahám (Aachen University, Germany)
Carlo Furia (USI, Switzerland)
Gordon Pace (University of Malta, Malta)
Gerardo Schneider (University of Gothemborg, Sweden)
Martin Steffen (UiO, Norway)
Mariëlle Stoelinga (U Twente, Netherlands)