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 [...]
