FM 2015 will be opened on 22 Jun and it will be end on 26 Jun 2015.
The 20th International Symposium on Formal Methods (FM 2015) will go on at University of Oslo in Oslo, Norway.
It is going to be a trend-setting Symposium, popular as one of the most cutting-edge meetings within the Software Development, Mathematical Methods and Formal Methods aspects.
Formal Methods Europe"s Symposium is organized annually.
The association of the FM 2015 is Formal Methods Europe.
Let Oslo must do holiday attractions make you fall in love with this city when you are there for FM 2015. Here are top notch things to do in Oslo!
University of Oslo
Formal Methods Europe