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.
The budget for 2013 has been approved at the last AGM. Therefore, FME is ready to accept sponsoring requests.
Next to its main FM conference series, FME sponsors other events related to formal methods. Typically invited talks are sponsored. Details about sponsorship can be found in our Guide to FME Sponsorship.
The next Annual General Meeting of FME will be held on Friday, 8 March 2013 at the premises of CWI, Amsterdam.
Details will follow.
CALL FOR PAPERs: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
Papers due: February 7, 2013
INTRODUCTION
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the [...]
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 [...]
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 [...]
Dear FME Member,
As usual at FM Symposia, there will be a FME business meeting at the Symposium in Paris later this month. The meeting is planned to be held during lunch (13:00-14:00) on Thursday, August 30.
There will also be a more informal “brainstorming meeting” on Tuesday, August 28, at 18:00. At that meeting we will [...]
CALL FOR PARTICIPATION
FM 2012: 18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August 27-31, 2012
CNAM, Paris, France
http://fm2012.cnam.fr/
CONFERENCE SCOPE
FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners [...]
FormSERA (Formal Methods in Software Engineering: Rigorous and Agile Approaches) is a workshop that was organized under the umbrella of ICSE 2012 (International Conference on Software Engineering), the major yearly event in the field of software engineering. The workshop focussed on bridging the gap between the mainstream software engineering community and the formal methods community.
An invited lecture [...]
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 [...]
