FME Fellowship Award

Established in 2015 and normally given every three years for technical achievements in advancing, applying, and promoting formal methods, the Formal Methods Europe (FME) Fellowship rewards scientific breakthroughs and pioneering work that have made a difference to the world through advances in formal methods. This includes contributions in the following areas:

• Solid theoretical work
• Development of frameworks and tools
• Teaching formal methods
• Industrial applications
• Publicising formal methods worldwide and attracting people to the community

The recipient of the fellowship will clearly have made a difference in one or more of these areas, and this will be supported by concrete evidence.

Read more

FM 2019: 23rd International Symposium on Formal Methods
3rd World Congress on Formal Methods

Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt

FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a Program Committee with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience.

Read more

FME has established a formal methods teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.

Read more

FM 2019 will be the 3rd World Congress on Formal Methods and will take place in Porto, Portugal, 7-11 October 2019.
http://formalmethods2019.inesctec.pt/

Read more

Prof. Manfred Broy, professor emeritus at the Technical University of Munich (DE), has been awarded the FME Fellowship 2018. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.

Read more

You are invited to attend the FME business meeting in Oxford on 16 July 2018 during the lunch break (13:00-13:45). The meeting will be held in Room L6, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Road and co-located with the FM 2018 conference (part of FLOC 2018).

Read more

Report by Ridhi Jain (IIIT Delhi, India)

The sixth Conference on Formal Methods in Software Engineering, FormaliSE 2018, was organized as a one-day event in Gothenburg, Sweden on 2nd June. The event was attended by roughly 50 researchers, including people from industry as well as academia in the area of Formal Verification from around the globe.

Read more

You are invited to attend the FME business meeting in Gothenburg on 2 June 2018. The meeting will be held at Congress center Gothia Towers and co-located with the FormaliSE 2018 conference (part of ICSE 2018).

Read more

Call for Papers – FM 2018 Doctoral Symposium

IMPORTANT DATES

• New Submission deadline: 29 April 2018
• Notification: 15 May 2018
• Doctoral Symposium: 14 July 2018

Read more

FME has established a teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.

Read more