ERCIM opens to Multiple Members per Country

The ERCIM consortium is currently re-organising into a two-tier structure: a non-profit association (AISBL) open to any suitable institution based on criteria of excellence, and the current European Economic Interest Group (EEIG) composed of a few members which will act as the host of W3C Europe and the ERCIM office. The association will be able to drive the ERCIM mission without the current restriction of one member organisation per country.

Read more: ERCIM opens to Multiple Members per Country

Michel Cosnard elected President of ERCIM

Michel Cosnard, President of INRIA was elected President of ERCIM at the last ERCIM Board of Directors, held in Brno, Czech Republic, 4 November 2010. Michel Cosnard took office as ERCIM president 1st January 2011 for a two-year term. Michel succeeds Keith Jeffery who served as ERCIM President from January 2005.

Read more: Michel Cosnard elected President of ERCIM

Report on the 15th ERCIM Formal Methods for Industrial Critical Systems Workshop

by Stefan Kowalewski and Marco Roveri

The 15th ERCIM Formal Methods for Industrial Critical Systems (FMICS) workshop was held in Antwerp, Belgium, on 20-21 September 2010. It was co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Read more: Report on the 15th ERCIM Formal Methods for Industrial Critical Systems Workshop

New ERCIM WG “Media Technology & Edutainment” to kick-off

The kick-off meeting of a Working Group on Media Technology and Educations is planned on Tuesday, November 30, 10:00 - 15:30 at  Fraunhofer IAIS, Schloss Birlinghoven, 53754 St. Augustin, Germany. Scientists interested in participating in this group should contact Sepideh Chakaveh (see below)

Read more: New ERCIM WG “Media Technology & Edutainment” to kick-off

Static Analysis versus Model Checking - Workshop Report

by Flemming Nielson

The second annual meeting of the ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) took place on Friday July 9th 2010 as part of the Federated Logic Conference (FLoC) organized by the School of Informatics at the University of Edinburgh in Scotland. It was attended by more than 30 researchers, from senior researchers to PhD students, and was one of the best attended satellite events taking place at FLoC.

Read more: Static Analysis versus Model Checking - Workshop Report

An Infrastructure for Clinical Trials for Cancer – ACGT Project Successfully Terminated

by Jessica Michel Assoumou and Manolis Tsiknakis

During the last four and one-half years, the EU-funded ACGT project (Advancing Clinico-Genomic Trials on cancer: Open Grid Services for improving Medical Knowledge Discovery) managed by ERCIM, has been developing methods and systems for improved medical knowledge discovery and understanding through the integration of biomedical information.

Read more: An Infrastructure for Clinical Trials for Cancer – ACGT Project Successfully Terminated

Page 20 of 25