ERCIM Latest News

ERCIM 2009 Activity Report published

The ERCIM Activity Report 2009 is now available for download in pdf. A free printed copy can be received on request by sending email to

The current and former activity reports are available at

A Tribute to Georges Nissen

Georges Nissen
INRIA and ERCIM have lost one of its pioneers: Georges Nissen, an iconic figure at INRIA who spent his entire career working for the Institute, passed away on Tuesday 9 March 2010.

Read more: A Tribute to Georges Nissen

Call for nominations for the 2010 ERCIM Cor Baayen Award

Each year, ERCIM awards a promising young researcher in computer science and applied mathematics with the Cor Baayen Award. The winner of the award receives 5,000 euro, together with an award certificate. The award will be presented at a ceremony during the 2010 ERCIM fall meetings.

Read more: Call for nominations for the 2010 ERCIM Cor Baayen Award

ERCIM news bulletin March 2010

From the President

ERCIM continues to encourage European information technology and applied mathematics research via its members and their networks of contacts. The fellowship programme is popular both with applicants and hosting institutions. The Working Groups demonstrate activity in bringing together researchers from the ERCIM member institutions and wider to discuss issues and generate research proposals. As in the past, some of these proposals and - if successful - subsequent projects are managed by the ERCIM Office, although in the last year or so the number of ERCIM-managed research projects has reduced.

Read more: ERCIM news bulletin March 2010

ETSI Workshop on Future Network Technologies

ETSI, the European Telecommunications Standards Institute organises a workshop on Future Network Technologies on 10-11 March 2010 in Sophia Antipolis, France. The key goal of this workshop is to identify potential needs for standardization or pre-standardization of Future Network Technologies.

Read more: ETSI Workshop on Future Network Technologies

InterLink research roadmaps published

The Coordination Action InterLink (International Cooperation Activities in Future And Emerging ICTs), coordinated by ERCIM and ICS-FORTH, and funded by the Future and Emerging Technologies (FET) Programme of the European Commission, has elaborated research roadmaps for international collaboration in the domains of Software-Intensive Systems and New Computing Paradigms; Ambient Computing and Communication Environments and Intelligent and Cognitive Systems.

Read more: InterLink research roadmaps published - ERCIM changed top-level domain name

ERCIM has changed its "" top-level domain to "". By chosing the .eu domain name, ERCIM clearly emphasises the European dimension of the organisation. ERCIM had registered its .eu domain name already when this top-level domain was launched in 2006. It was operational since then but redirected to the now historical domain acquired in 1996.

This change concerns all ERCIM web sites as well as the ERCIM email addresses and mailing lists. Please update your links and bookmarks.

14th ERCIM Formal Methods for Industrial Critical Systems Workshop

by María Alpuente, Byron Cook and Christophe Joubert

The 14th ERCIM Formal Methods for Industrial Critical Systems (FMICS) workshop was held in Eindhoven, The Netherlands, on 2-3 November 2009. It was part of FMweek, the first Formal Methods Week, which offered a choice of events in the area including TESTCOM/FATES (Conference on Testing of Communicating Systems and Workshop on Formal Approaches to Testing of Software); FACS (Formal Aspects of Component Software); PDMC (Parallel and Distributed Methods of verification); FM2009 (Symposium of Formal Methods Europe); CPA (Communicating Process Architectures); FAST (Formal Aspects of Security and Trust); FMCO (Formal Methods for Components and Objects); and the REFINE workshop.

Read more: 14th ERCIM Formal Methods for Industrial Critical Systems Workshop