Formal Methods Europe

Homepage of FME

Author Archive

Upcoming: QAPL 2012

By Bernhard Aichernig • Feb 15th, 2012 • Category: Sponsored by FME

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



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



CALL FOR PAPERS FM 2012

By Bernhard Aichernig • Oct 25th, 2011 • Category: Uncategorized

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



Report on the SCORE 2011 Contest

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

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



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



FME Annual General Meeting 2012

By Bernhard Aichernig • Jul 26th, 2011 • Category: FME Meeting

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



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



Report on BCS-FACS/FME talk by Jan Broenink

By Bernhard Aichernig • Jan 11th, 2011 • Category: Sponsored by FME

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