CfP FormaliSE 2020

Call for Papers
FORMALISE 2020

8th International Conference on Formal Methods in Software Engineering
co-located with ICSE 2019 (23-29 May)

25-26 May 2020 May 2019, Seoul, Korea
http://www.formalise.org/

Read more

Share

FME Fellowship Awarded to Prof. José Meseguer

Prof. José Meseguer, professor of computer science at University of Illinois, Urbana-Champaign (USA), has been awarded the FME Fellowship 2019. 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

Share

Second FME Lucas Award to Syverson and Stubblebine

The FME Lucas Award goes to Paul F. Syverson and Stuart G. Stubblebine for their paper

Group principals and the formalisation of anonymity

published at the First World Congress on Formal Methods (FM’99).

Read more

Share

HFM 2019: History of Formal Methods workshop @ FM2019

The History of Formal Methods workshop (HFM 2019) will be part of the the 3rd World Congress on Formal Methods (FM 2019) and take place in Porto, Portugal, 11 October 2019.
https://sites.google.com/view/hfm2019/home

Read more

Share

FormaliSE 2019 Keynote on YouTube

Watch Jeff Joyce’s keynote from FormaliSE 2019: The Benefits of (having doubts about) Formal Methods

Read more

Share

FME Annual General Meeting 2019 and FME/BCS-FACS Seminar

2019 FME Annual General Meeting. The Annual General Meeting of FME will take place in London, April 3, and be co-located with a lecture by Farhad Arbab at the British Computer Society.

Read more

Share

FM 2018: Questionnaire

The Formal Methods Europe association is collecting feedback on FM 2018, and on how the FM participants appreciated our participation in FLOC last year.

Read more

Share

FM 2021: Call for Organizers

FME invites proposals from any group or institution wishing to host the next FM symposium in 2021. FM 2021 will be the 24th International Symposium on Formal Methods and will preferably take place in spring 2021. The format of the symposium foresees for the organization of related events such as tutorials, displays of tools, products, research projects and publishers and the co-location of the FM Symposium with other conferences and workshops in related areas.

Read more

Share

FME partners with FM journals

FME has established partnerships with formal methods journals to introduce journal-first track at FM 2019.

Read more

Share

CfP FormaliSE 2019

Call for Papers
FORMALISE 2019

7th International Conference on Formal Methods in Software Engineering
co-located with ICSE 2019 (May 25th–May 31st)

27th May 2019, Montreal, Canada
http://www.formalise.org/

Read more

Share