FME will partially sponsor Kim G. Larsen (Aalborg University, Denmark), Boris Koepf (IMDEA Software Institute, Madrid, Spain), and Jeremy Bradley (Imperial College London, U.K.) as keynote speakers at QAPL 2012, the Tenth International Workshop on Quantitative Aspects of Programming Languages, March 31th - April 1st, 2012, Tallinn, Estonia. (cf http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012).

Since 2001, QAPL has provided a forum for those interested in quantitative aspects of computation. These aspects are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties.

Read more

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 and exploit a mathematically rigorous semantic basis for the tools and notations used. Such sound foundations permit the analysis as well as synthesis and sound transformation of software engineering artifacts to a depth, and with a degree of automation, that is otherwise impossible to achieve.

Read more

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 solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):

Read more

*******************************************************************************
18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August 27 - 31, 2012
CNAM, Paris, France
http://fm2012.cnam.fr
*******************************************************************************

Submission Deadline: March 5th, 2012

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 in precise mathematical methodsed by at least three members of the Programme Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere.

Read more

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 are from Newcastle and Dusseldorf Universities (Jens Bendisposto, Cliff Jones, Michael Leuschel and Alexander Romanovsky). It is supported by the FP7 ICT DEPLOY integrated project on Industrial deployment of system engineering methods providing high dependability and productivity (http://www.deploy-project.eu/) and by Centre of Software Reliability at Newcastle University (CSR).

Read more

Update: The minutes are available for download: FME Minutes of the 54th Meeting

The 2012 Annual General Meeting of FME will be held February 16 at 14:00 on thepremises of the British Computer Society in London.

After the meeting (at 18:00) there will be a seminar organised by BCS/FACS. See http://www.londoncentral.bcs.org/events/forthcoming-events.php.

The necessary documents for the AGM follow:

• Agenda-FME-AGM-2012
• FME Minutes of the 53rd-Meeting
• FME Board’s Activities Report 2011
• FME Financial Report 2011, Budget 2012
• FME Publication Activities Report
• FME Board’s Plans 2012

Read more

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 one of the founders of cybernetics, a member of the Soviet Academy of Sciences Aleksei Andreevich Lyapunov (1911-1973). Another aim of the conference was to provide a forum for the presentation and in-depth discussion of advanced research directions in computer, software and information sciences. Improvement of contacts and exchange of ideas between the regional and the international research communities and industry in the fields were further aims of the conference.

Read more

SCORE 2011 is the second iteration of a team-oriented software engineering contest that attracts student teams from around the world, culminating in a final round of competition and awards at the International Conference on Software Engineering (ICSE) held in Waikiki Honolulu, in May 2011.

FME sponsored also this second edition of the contest, and a special award was given to a team “for outstanding exploitation of formal methods in a project”.

Read more

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 government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.

Read more

Jan Broenink: Embedded Control Software Design with Formal Methods and Engineering Models

Joint seminar BCS-FACS with FME, September 13th 2010

The speaker presented ongoing work in the model driven design of embedded control software, entailing both dependability and safety. Such systems contain both continuous time (CT) and discrete event (DE) elements. During the seminar a test case, a production cell demonstrator, was also described for which two types of control computer had been tried and compared: a central processing unit (CPU) and a programmable integrated circuit (a Field Programmable Gate Array or FPGA).

Read more