🆕 FM 2019 Journal-First Track
- Alloy*: a general-purpose higher-order relational constraint solver – Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang and Daniel Jackson
- Conditions of contracts for separating responsibilities in heterogeneous systems – Jonas Westman and Mattias Nyberg
- Unifying separation logic and region logic to allow interoperability – Yuyan Bao, Gary T. Leavens and Gidon Ernst
More information available from the FM 2019 program.
Why a Journal-first track at FM 2019
The FME Association has recently established partnerships with prestigious formal methods journals. Through these partnerships, we will be able to include presentations of papers published in the journals in the program of the FM 2019 symposium. The presentations will compose a Journal-First Track.
Augusto Sampaio (UFPE, Brazil) accepted to be the Journal-First Track Chair. With the support of the FME Fellows, Cliff Jones (U. Newcastle, UK) and Manfred Broy (TUM, Germany), he will select papers and invite authors to present their work at FM 2019.
In this way, the social side of our science gets stronger, as lively discussion is central to the scientific process.
The partner journals that will support the Journal-first Track of FM 2019 are:
FME and the FM’19 World Congress thank Springer for their collaboration in this initiative.