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 ...

by 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.

Read more ...
Next issue
April 2018
Next special theme:
Autonomous Vehicles
Call for the next issue
Get the latest issue to your desktop
RSS Feed