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.
|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.
PhD students and young researchers at an early career stage (up to 2 years after PhD completion).
Participants will have the possibility to give short presentations about their research projects.
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 http://www.easychair.org/publications/for_authors
Please submit your abstract electronically in pdf via the following EasyChair page.
The submitted abstracts will undergo a lightweight reviewing process.
Andreas Griesmayer, Senior Research Engineer (Arm, Cambridge, UK)
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)