FME has established partnerships with formal methods journals to introduce journal-first track at FM 2019.
FME has established partnerships with two prestigious formal methods journals. Through these partnerships, the FM symposia will include presentations of papers published in the journals in the program, starting with FM 2019.. These presentations compose a Journal-First Track. At FM2019 a dedicated Track Chair, with the help of a small committee, will select papers from the partnership joiurnals and invite authors to present their work at FM 2019. In this way, FME aims to strenghten the social side of our science, as lively discussion are central to scientific progress.
The partner journals that support the Journal-first Track are:
- Formal Aspects of Computing (Springer)
- Formal Methods in System Design (Springer)
FME thanks Springer for their collaboration in this initiative.