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 the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a one-stream conference without parallel sessions, allowing easy networking.

Read more

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 week we reviewed the “state of JML” from a language, tool, and library perspective. We spent an afternoon on this topic, documenting for ourselves and the world where we think the community could/should head, given the current state of affairs, for the benefit of all.

Read more

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 needs of the VSI by attracting strong international participation from both industry and academia.

This year’s conference introduced a number of new and highly successful features, ranging from a two day Summer School, with ten distinguished speakers and thirty students, through to a live software verification competition which attracted eleven international teams. In addition, the setting up of a Microsoft Verified Software Milestone Award was announced at the conference — an annual award, worth 5K to the winners.

Read more

The FM 2012 Symposium will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris during August 27-31, 2012. The general chairs are Kamel Barkaoui (CNAM) and Béatrice Berard (Laboratoire d’Informatique de Paris 6). The PC chairs are  Dominique Mery and Dimitra Giannakopoulou. More details and updated information can be found on the symposium website.

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.

Read more

The 2011 FME Annual General Meeting will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris on Friday, February 18, between 10:00 and 13:00. CNAM is the venue of the FM 2012 symposium. After the meeting, we will be shown the FM 2012 symposium venue.

The meeting will take place in room 21.2.28 (building 21, 2nd floor, room number 28), address 292 Rue Saint-Martin (CNAM main entrance). Metro Reaumur Sebastopol or Arts et Métiers.

Read more

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 in research and education between participants and their institutions, from developing and industrial countries.

At the conference, new results on modelling, grammars, semantics, logics, algorithms, and types were presented. The program included a seven-day school for students, and three invited talks in addition to 23 contributed presentations (selected from among 68 papers submitted to the conference by researchers from 24 countries). The detailed information on the conference program can be found at the conference website.

Read more

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 composed exclusively of undergraduate and/or master’s level students. A team may have 2 to 7 members; teams of 5 or less are recommended.

Read more

CFP: FM+AM’10: 2nd Workshop on Formal Methods and Agile Methods, Affiliated to the SEFM’10 Conference, Pisa, September 2010

By Bernhard Aichernig • May 12th, 2010 • Category: News

* Update June 1, 2010*

Dear FME member,

We will make another attempt at an Annual General Meeting of the Formal Methods Europe association instead of the cancelled meeting of April 20th.

The AGM will now take place in the Daley Room, Plassey House, University of Limerick, Ireland, on June 21st, 2010, 10:00-13:00. After the meeting Mike Hinchey will give us a tour of the campus and show the FM’11 venue.

Read more

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 for the event, got updated on various efforts, a series of short talks were given, a keynote talk by Gary Leavens was given to an open audience, and everyone went home pretty happy.

Read more