Organizing the 20th International Symposium on Formal Methods (FM 2015)

The FM scientific symposium is organized approximately every 18 months and gathers 200-300 participants from all over the world to share their knowledge and latest research on software engineering and software verification using formal methods. Formal met hods provide tools and techniques to design and verify the quality of software systems based on rigorous semantics, which enables systematic approaches to software development and verification. As the conference number indicates, the symposium is well-est ablished in the community; it is the main international venue on formal methods. By hosting the symposium in Norway, we would like to draw attention to the related Norwegian research (including our EU-funded project "Engineering Virtualized Resources") as well as the Norwegian industry who has increasing interest in such tools and techniques. The conference is organized by, and will be located at, the University of Oslo. It will contain tutorials, workshops, invited talks by leading international researc hers, presentations of accepted papers (reviewed by an international program committee). The expected audience are researchers and software developers from Europe, USA, and Asia. Funding from the Research Council of Norway will be of major importance to k eep the registration fee paid by each conference participant at a moderate level. Thus, more people would be able to attend and experience a comprehensive conference program.