- Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, Springer, 2015.
- Andreas Bollin, Tiziana Margaria, Isabelle Perseil, editors, Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. Volume 1385 of CEUR Workshop Proceedings, CEUR-WS.org, 2015.