Formal Methods Europe

Homepage of FME

Archives for the ‘News’ Category

Call for FM’15 Symposium Proposals

By Bernhard Aichernig • Jul 11th, 2013 • Category: News

The FME board is inviting proposals to arrange the 20th International Symposium on Formal Methods 2015.
See the attached Call for FM’15.



Report on AVoCS 2012

By Bernhard Aichernig • Oct 19th, 2012 • Category: News, Sponsored by FME

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



FM 2014: Preliminary Call

By Bernhard Aichernig • Sep 3rd, 2012 • Category: News

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



FM 2014 in Singapore

By Bernhard Aichernig • Jul 10th, 2012 • Category: News

The board of FME recently decided that the 19th International Symposium on Formal Methods FM 2014 will be held in Singapore. The conference location will be the National University of Singapore (NUS). Jin Song Dong will serve as general co-chair.
More details can be found on the website of FM 2014.
This is the first time in [...]



CALL FOR PAPERS: FormSERA 2012

By Bernhard Aichernig • Feb 2nd, 2012 • Category: News

FormSERA 2012
Formal Methods in Software Engineering: Rigorous and Agile Approaches
Workshop on Saturday 2 June 2012, Zurich, Switzerland
http://www.formsera.org/
Held in conjunction with ICSE 2012 (http://www.icse2012.org/)
The FormSERA workshop addresses the use formal methods in software development
practice. Formal methods differ from many software engineering techniques in
that they demand [...]



First Call for Papers: CONCUR 2012

By Bernhard Aichernig • Jan 2nd, 2012 • Category: News

=====================================
FIRST CALL FOR PAPERS - CONCUR 2012
=====================================
23rd International Conference on Concurrency Theory
3rd to 8th September 2012, Newcastle upon Tyne, United Kingdom
http://conferences.ncl.ac.uk/concur-2012/
CONCUR 2012 is an official event of The Alan Turing Year
http://www.mathcomp.leeds.ac.uk/turing2012/
The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency,
and promote its applications.
===================================
TOPICS
Submissions are [...]



Upcoming: ICFEM 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

FME will sponsor Jifeng HE, East China Normal University, China as a keynote speaker at ICFEM 2011, the 13th International Conference on Formal Engineering Methods 26th-28th October 2011, Durham, United Kingdom.
Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and [...]



AVoCS 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

Tom Maibaum, a Canada Research Chair in the Foundations of Software Engineering at McMaster University, will be an FME invited speaker at the coming 11th International Workshop on Automated Verification of Critical Systems (AVOCS). AVoCS 2011 will be organised in Newcastle upon Tyne (UK) on September 12-15, 2011 (for more information see http://conferences.ncl.ac.uk/AVoCS2011/).
The workshop organisers [...]



Report on PSI 2011

By Bernhard Aichernig • Jul 26th, 2011 • Category: News, Sponsored by FME

The Ershov Informatics Conference (the “Perspectives of System Informatics” conference series, the 8th edition) was held on June 27 – July 1, 2011, in Akademgorodok, Novosibirsk, Russia. The conference was dedicated to the 80th anniversary of a pioneer in theoretical and system programming research, academician Andrei Petrovich Ershov (1931-1988), and to the 100 anniversary of [...]



VSTTE 2010

By Bernhard Aichernig • Nov 16th, 2010 • Category: News, Sponsored by FME

Back in August, the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010) was hosted by Heriot-Watt in Edinburgh.
VSTTE is the flagship conference associated with the Verified Software Initiative (VSI) — a fifteen year international collaborative project directed at the scientific challenges of large-scale software verification. VSTTE 2010 clearly met the [...]