ERCIM News 83

Image ERCIM News 83 cover page

October 2010
Special theme:
Cloud Computing
This issue in pdf
(64 pages; 17 Mb)
Next issue
July 2013
Next special theme:
Intelligent Cars
Call for the next issue
Get the latest issue to your desktop
RSS Feed

Joint ERCIM Actions

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

Static Analysis versus Model Checking

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

ERCIM at SAFECOMP 2010

by Erwin Schoitsch

ERCIM sponsored the 29th International Conference on Computer Safety, Reliability and Security, SAFECOMP, which took place from 14-17 September 2010 at the Schönbrunn Palace Conference Center in Vienna, Austria. More than 100 experts from 17 countries, including US, Korea, Japan and Brazil, attended and contributed to the conference, workshops and exhibition. The conference was organized by the Austrian Computer Society (OCG), the Austrian Institute of Technology (AIT) and EWICS TC7 (European Workshop on Industrial Computer Systems, TC7, Reliability, Safety and Security). The conference and programme chair was Erwin Schoitsch from AARIT/AIT.

Read more: ERCIM at SAFECOMP 2010

35th International Symposium on Mathematical Foundations of Computer Science

by Vaclav Matias

In the 2010, the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), sponsored by ERCIM and 19th EACSL Annual Conferences on Computer Science Logic (CSL 2010) were federated and organized in parallel. The scientific program of MFCS & CSL 2010 was further enriched by twelve satellite workshops on more specialized topics. The symposium was attended by more than 350 participants from 38 countries and five continents.

Read more: 35th International Symposium on Mathematical Foundations of Computer Science

IWPSE-EVOL 2010 – International Workshop on Principles of Software Evolution

by Anthony Cleve and Tom Mens

The sixth annual workshop of the ERCIM Working Group of Software Evolution took place in Antwerp, Belgium, 20-21 September 2010, under the auspices of the ERCIM Working Group on Software Evolution. The event gathered theorists and practitioners to present and discuss the state-of-the-art in research and practice on automated software evolution.

Read more: IWPSE-EVOL 2010 – International Workshop on Principles of Software Evolution

ICT Policy Alignment between Europe and India

by Nicholas Ferguson, Ashok Kar and Florence Pesce

The ERCIM-led Euro-India SPIRIT project launches the first Information and Communication Technologies (ICT) Experts meeting to discuss ICT policy alignment between Europe and India.

Read more: ICT Policy Alignment between Europe and India

Andrea Esuli Winner of the 2010 ERCIM Cor Baayen Award

Andrea Esuli from ISTI-CNR has been chosen by ERCIM as the winner of the 2010 Cor Baayen Award for a promising young researcher in computer scienceand applied mathematics.

Read more: Andrea Esuli Winner of the 2010 ERCIM Cor Baayen Award