By Irina Virbitskaite (July 2014).

PSI 2014, the Ershov Informatics Conference, was held in St. Petersburg, Russia, from June 24 to 27, 2014. The conference is the premier international forum in Russia for research and its applications in computer, software and information sciences. The event brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area. In doing so, the forum provides a venue for building up research collaborations between the rapidly growing Russian informatics community and its international counterparts. Also, the conference welcomes both young researchers looking for international cooperation in computer science and established scientists willing to attract new colleagues to their research.

Read more

The aim of Automated Verification of Critical Systems (AVoCS) 2014 (http://utwente.nl/avocs2014/) is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).

Read more

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in London, UK from September 17-18, 2014.

We welcome participation from PhD students and post-doctoral researchers and systems engineers with a background in Systems of Systems, Systems Engineering, Formal Specification, Component-Based Development, Model-Based Systems Engineering or related disciplines.

The objective of the Summer School is to encourage the growth and development of a community of researchers around the COMPASS technology, and to engage interest in a community which includes experts in Model-Based Design, Architectural Modelling and Meta-Modelling, Systems Engineering and Formal Specification. We will achieve this with an intensive two day event with tutorials on the COMPASS technologies and tools.

Read more

We are pleased to announce the invited speakers at the next FM 2015 in Oslo.

• Elvira Albert, Complutense University of Madrid, Spain
• Werner Damm, OFFIS, Germany
• Valérie Issarny, INRIA, France
• Leslie Lamport, Microsoft Research, USA

For details on the conference, please, visit the webpage of FM 2015.

Read more

Dear FME Member,

As usual at FM Symposia, there will be an FME business meeting at the symposium in Singapore.

The meeting will be held during lunch (12:30-14:00) on Friday, May 16. The room will be announced.

For details, please, see the Agenda.

All FME members are most welcome!

Read more

FormaliSE 2014, Hyderabad, India, 3 June 2014

www.formalise.org

FormaliSE 2014 received a good number of high-quality submissions this year and we are proud to announce an excellent programme. The FormaliSE workshop is co-located with ICSE 2014 (http://2014.icse-conferences.org/). Please join us at FormaliSE 2014!

Introduction
Formal methods for software developent are still not widely used in industry. This may be due to the fact that the formal methods community has not enough focused its attention to software engineering needs, and its specific role in the software process. At the same time, from a software engineering perspective, there could be a number of fundamental principles that might help to guide the design of formal methods in order to make them more easily applicable in the development of software applications.

Read more

The COMPASS Summer School
(http://www.compass-research.eu/summerschool.html) takes place in Newcastle upon Tyne, UK from June 16-20, 2014.

We invite PhD students and post-doctoral researchers to participate in the Summer School, which will focus on new developments in modelling and analysis of Systems of Systems (SoSs).

The objective of the Summer School is to encourage the growth and development of a community of researchers around the COMPASS technology, and to engage interest in a community which includes experts in Model-Based Design, Architectural Modelling and Meta-Modelling, Systems Engineering and Formal Specification.

Read more

It is time to register! The upcoming Formal Methods conference FM 2014 in Singapore has opened the registration process. The deadline for early registration is 31 March 2014.

Go to Registration Page.

For the list of accepted papers see list of accepted papers.

The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).

Homepage of FM 2014

Read more

The FME members present at the last Annual General Meeting (AGM) have elected Ana Cavalcanti as the new chair of the board of FME. She is succeeding John Fitzgerald who has served as chairman since 2000.

Ana Cavalcanti is a Professor at the University of York and a Royal Society - Wolfson Research Merit Award holder. In 2003, she was awarded a Royal Society Industry Fellowship to work with QinetiQ on formal methods. She has published more than 100 papers, and chaired the Programme Committee of various well-established international conferences. Her main research interest is the theory and practice of formal methods. She has a long-term interest in refinement, safety-critical systems, object-orientation , concurrency, and real-time applications. She has played a major role in the design and formalisation of a state-rich process algebra, namely, Circus, and its development techniques using the Hoare and He’s Unifying Theories of Programming.

Read more

The Program Committee of FM 2014 has completed the paper selection process. See the list of accepted papers.

The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).

Homepage of FM 2014

(Photo: williamcho)

Read more