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.
| About FME | Formal Methods | Symposia | FME Awards | Contact | Upcoming Conferences |
FM 2019: 3rd World Congress on Formal Methods
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/
FME Fellowship Awarded to Prof. Manfred Broy
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.
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.
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).
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
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.