66th FME Meeting

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

Share

FormaliSE 2018

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

Share

65th FME Meeting

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

Share

CfP: FM 2018 Dr. Symposium

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

Share

Formal Methods Teaching Committee Established

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

Share

FormaliSE 2018

Call for Participation:

FormaliSE 2018

Conference on Formal Methods in Software Engineering (June 2nd, 2018)
co-located with ICSE 2018, Gothenburg, Sweden

Read more

Share

FM 2018: Keynotes

FM 2018: keynote speakers

The keynote speakers for FM2018 have just been announced.

Read more

Share

FME Fellowship Award

FME Fellowship Award

Given every three years for technical achievements in advancing, applying, and promoting formal methods, the 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

Share

FME 64th Meeting at iFM2017, 20 September 2017

You are invited to attend the FME business meeting in Turin on 20 September 2017. The meeting will be hosted by the University of Torino and co-located with the Integrated Formal Methods (iFM2017) conference. Please refer to the agenda for more information. The minutes from the previous FME business meeting in London are available on the FME web site. Best regards, Lars-Henrik Eriksson FME Secretary

Read more

Share

FM 2018: Oxford 15-17 July 2018

FM2018, the 22nd International Symposium on Formal Methods, will take place in Oxford, UK, 15-17 July 2018 as part of FLoC 2018, the Federated Logic Conferences.

Read more

Share