ERCIM Latest News

ercim.eu - ERCIM changed top-level domain name

ERCIM has changed its "ercim.org" top-level domain to "ercim.eu". 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 ercim.org 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

EuroIndia ICT Co-operation Conference, 10-11 December 2009

International Management Institute, New Delhi, India

euroinda_confAfter almost two years of actively pursuing project objectives, the Euro-India ICT Innovation Mapping project will hold its final conference in order to share findings and insights on Indian ICT innovation with industry, academia and government.

Read more: EuroIndia ICT Co-operation Conference, 10-11 December 2009

ERCIM news bulletin October 2009

From the President

In each issue I seem to say that ERCIM is busy - well this time busier than usual with the submission of several proposals against the EC IST Call5 deadline of October 26th - extended to October 27th because of problems with the EC webserver. ERCIM is coordinating several very interesting proposals and the office staff have been working all hours to achieve submission. We now hope for success with these proposals to increase further ERCIM's presence in the research scene.

Read more: ERCIM news bulletin October 2009

2009 Cor Baayen Award to Teemu Roos

In a tight competition, the ERCIM Executive Committee has chosen Teemu Roos from the Helsinki Institute for Information Technology HIIT as the winner of the 2009 Cor Baayen Award for a promising young researcher in computer science and applied mathematics.

Read more: 2009 Cor Baayen Award to Teemu Roos

Two New ERCIM Working Groups Formed


To new ERCIM Working Groups have been established recently: The Working Group "Social Network Analysis" focusing on algorithmic aspects of network data analysis and the Working Group "Models and Logics for Quantitative Analysis" exploring and developping methods for formal verification of modern advanced software systems.

Read more: Two New ERCIM Working Groups Formed

D4Science-II - Towards an e-Infrastructure Ecosystem for Science

D4Science-II started on October 1st 2009 as one of the main European e-Infrastructure projects, involving 10 participants such as the European Organisation for Nuclear Research (CERN) and the Food and Agriculture Organization of the United Nations (FAO). Co-funded by the European Commission's Seventh Framework Programme for Research and Technological Development, the D4Science-II project will hold its kick-off meeting 13-16 October 2009 in Pisa, Italy.

Read more: D4Science-II - Towards an e-Infrastructure Ecosystem for Science