- Details
With the first general assembly of the ERCIM1 association (AISBL2) in Trondheim, Norway, 10 June 2011, ERCIM has accomplished a major organisational restructuring. An important change in ERCIM’s membership policy is coinciding with the creation of ERCIM AISBL. ERCIM is now open to multiple members per country while retaining its membership criteria of excellence and active participation. The aim is to build a strong European community of research organisations to promote science, research and innovation.
- Details
Bordeaux, August 29th, 2011
CoreGRID is a European research Network of Excellence which has developed theoretical foundations and software infrastructures for large-scale, distributed Grid and P2P applications. The network has extended its interests to include the emerging field of (service based) Cloud computing which is of great importance to the European software industry.
- Details
For over twenty years, ERCIM has been a consortium of leading research institutions committed to cooperating for excellence in research. Focusing on information and communication science and technology (ICST) and related areas of mathematics, ERCIM has a successful track record of promoting ICST research and cooperation in Europe and beyond. ERCIM is now dropping its limitation of one member per country, allowing a small number of excellent research institutions in ICST per country to directly become members of ERCIM.
- Details
- Details
Michel Cosnard, President of INRIA was elected President of ERCIM at the last ERCIM Board of Directors, held in Brno, Czech Republic, 4 November 2010. Michel Cosnard took office as ERCIM president 1st January 2011 for a two-year term. Michel succeeds Keith Jeffery who served as ERCIM President from January 2005.
- Details
by Stefan Kowalewski and Marco Roveri
The 15th ERCIM Formal Methods for Industrial Critical Systems (FMICS) workshop was held in Antwerp, Belgium, on 20-21 September 2010. It was co-located with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE).
- Details
The kick-off meeting of a Working Group on Media Technology and Educations is planned on Tuesday, November 30, 10:00 - 15:30 at Fraunhofer IAIS, Schloss Birlinghoven, 53754 St. Augustin, Germany. Scientists interested in participating in this group should contact Sepideh Chakaveh (see below)
- Details
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.
- Details
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.
- Details
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.
The main conferences and their satellite events were hosted by the Faculty of Informatics, Masaryk University, Brno, Czech Republic, on 21-29 August 2010. Masaryk University if a founding member of CRCIM, the Czech member institution of ERCIM.
ERCIM booth at MFCS.
The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together researchers who do not usually meet at specialized conferences.
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.