PhD Symposium at iFM'17 on
Formal Methods: Algorithms, Tools and Applications
(PhD-iFM'17)

CALL FOR PAPERS

Important dates

  • Paper submission: Friday June 2
  • Author notification: Friday July 7
  • PhD Symposium: Tuesday September 19
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.

Scope

The theory, implementation, integration or application of formal methods in a broad sense.

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.
    • remove 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.
    • remove The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic.
    • remove The best paper/presentation will be awarded.
    • remove The selected contributions will be published as a technical report of the University of Oslo, Norway.

What to submit?

You are welcome to submit an extended abstract of at most 3 pages, describing your research project which you would like to present. Co-authors are allowed, but you should be the first author. The results may have been accepted or even published elsewhere. Multiple submissions by one author are not permitted. Submissions should be written in English and follow the EasyChair formatting guidelines, available at

http://www.easychair.org/publications/for_authors

Please submit your abstract electronically in pdf via the EasyChair page

https://easychair.org/conferences/?conf=phdifm17

The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of the University of Oslo.

Programme Committee