13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop
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 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 LIACS (NL)
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs
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 current technologies cannot be assured. For large complex projects ad hoc approaches have proven inadequate to assure the correct behavior of the delivered software. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. Aids to precision in each phase of software development and crosschecking are essential, and this is precisely one the objectives of formal methods.
The next Annual General Meeting of FME will be held on Friday, 8 March 2013 at the premises of CWI, Amsterdam.
Details will follow.
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 discussion and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems.
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
Important Dates:
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 discuss what we want FME to do (beside the symposia) and ways to achieve it.
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 was given by Professor Michael Jackson (The Open University and University of Newcastle) , titled: “Formalisms and Structures”. His talk was sponsored by FME, and was perceived by the attendees as very inspiring. The main program consisted of eight scientific paper presentations, which had been thoroughly reviewed by an international program committee (50% acceptance rate). A “round table” discussion concluded the workshop.
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 its long history that FM will be held in Asia!
The FM conference series is the main event on formal methods organized by the FME organization. A list of past FM symposia can be found here.
The FME board is inviting proposals to arrange the 19th International Symposium on Formal Methods 2014.
We particularly invite proposals from outside Europe.
See the attached Call for FM’14.