Formal Methods Europe

Homepage of FME

Lead Story

FM 2014: Preliminary Call

The next Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).
The general chair responsible for the event is Jin Song Dong. The local chair is Yang Liu, NTU, Singapore.
The PC Co-Chairs responsible for the technical program are

Cliff B. Jones: Newcastle [...]

{More»}

Sponsored by FME

AVOCS 2013»

13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop
http://www.avocs2013.org.uk
11-13th September, 2013
University of Surrey, UK
Submission (abstract for full paper): 31st May 2013
Submission (full papers): 7th June 2013
FME is sponsoring three students bursaries for the event.

FME Meeting

FME Annual General Meeting 2013 - A Celebration of Formal Methods»

The Formal Methods Europe Annual General Meeting 2013 and Celebration of Formal Methods, was held on Friday 8 March 2013 at CWI, Amsterdam, The Netherlands. Four invited speakers gave presentations on current research in a day that was both enjoyable and informative.
ABSTRACTS AND SLIDES OF THE INVITED TALKS

prof. dr. Frank S. de Boer, CWI and [...]

News

Report on AVoCS 2012»

The 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012) was held on 18-20th September 2012 at the University of Bamberg, Germany. AVoCS is dedicated to subjects of automated verification, including model checking, theorem proving, abstract interpretation and refinement concepts, interpreted in a broad and inclusive manner. The workshop series contributes to the [...]