Formal Methods Europe

Homepage of FME

Archives for the ‘Sponsored by FME’ Category

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



SAFECOMP 2011

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

The 30th International Conference on Computer Safety, Reliability and Security
19 / 21 September 2011 - Naples, Italy
Technically co-sponsored by IEEE Computer Society
In cooperation with ACM SIGBED and SIGSAC
http://www.safecomp2011.unina.it/
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to [...]



3rd JML Spec-a-thon summary

By Bernhard Aichernig • Nov 16th, 2010 • Category: Sponsored by FME

The 3rd JML Spec-a-thon finished up on Friday the 5th of November. Following up on my email of the 2nd that summarized our first couple of days, we thought we’d give the community a taste of what else went on at the event and what our concrete outcomes are.
As a recap, early in the [...]



VSTTE 2010

By Bernhard Aichernig • Nov 16th, 2010 • Category: News, Sponsored by FME

Back in August, the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010) was hosted by Heriot-Watt in Edinburgh.
VSTTE is the flagship conference associated with the Verified Software Initiative (VSI) — a fifteen year international collaborative project directed at the scientific challenges of large-scale software verification. VSTTE 2010 clearly met the [...]



ICTAC 2010, September 1-3, 2010, Natal, Brazil

By Bernhard Aichernig • Oct 29th, 2010 • Category: Sponsored by FME

The “Seventh International Colloquium on Theoretical Aspects of Computing” (ICTAC) was held in September 1-3, 2010, in Natal, Brazil. The ICTAC series of conferences brings together practitioners and researchers from academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation [...]



SCORE 2011: Student Contest on Software Engineering

By Bernhard Aichernig • Aug 10th, 2010 • Category: Sponsored by FME

SCORE 2011 is the second in a series of SCORE contests and part of the International Conference on Software Engineering. SCORE project topics suitable for software engineering project courses or independent teams are available now on the SCORE website. Teams must register at the SCORE website before they start the project. Participating teams must be [...]



FME-sponsored JML Spec-a-thon

By Bernhard Aichernig • Nov 9th, 2009 • Category: Sponsored by FME

A JML Spec-a-thon is a gathering of JML researchers and users for intense collaboration on JML development, modeled after other development gatherings such as the OpenBSD Hackathons and the PyPy Sprints.
Our first FME-sponsored Spec-a-thon was a great success. We had nine attendees from the U.S.A. and Europe, we worked hard and long, made T-shirts [...]



FME Tools Repository

By Bernhard Aichernig • Nov 2nd, 2009 • Category: News, Sponsored by FME

We are happy to announce that the FME Tools Repository is online. It is hosted at University of Minho.
The repository was funded by FME under the small-project scheme. It was implemented by Adriana Santos and Carlos Vilhena.