Joint ERCIM Actions
14th ERCIM Formal Methods for Industrial Critical Systems Workshopby 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.
ACGT - Evolution of a Semantic Grid Infrastructureby Alexander Hoppe and Manolis Tsiknakis
ACGT (Advancing Clinico-Genomic clinical Trials on cancer: open grid services for improving medical knowledge discovery) is an Integrated Project funded by the 6th Framework Programme of the European Commission, under the action line ‘Integrated biomedical information for better health’. The overall vision of the project is to become a pan-European voluntary network or grid connecting individuals and institutions, which will enable the sharing of data and tools. This will create a European Wide Web of cancer clinical research with the goal of speeding the delivery of innovative approaches for the prevention and treatment of cancer.