Contact Information

Inquiries about FM2015 can be addressed to

fm-2015@ifi.uio.no

or to the general chair:

Prof. Einar Broch Johnsen
Department of informatics
University of Oslo
PO Box 1080 Blindern
N-0316 Oslo
Norway

20th International Symposium on Formal Methods