ERCIM
  • Home
  • Science
    • Projects
    • Working Groups
    • Cooperations and Partnerships
    • EOSC and Gaia-X
    • Beyond Compliance - Digital Ethics in Research
  • People & Careers
    • Fellowship Programme
    • Cor Baayen Award
    • In-House Staff Exchange Programmes
    • Jobs
  • Publications
    • ERCIM News
    • Strategic Reports
    • Leaflets & Brochures
    • Annual Report
  • About
    • Objectives
    • Membership
    • Member representation
    • ERCIM Office
    • Governance
    • ERCIM and W3C
    • Legal Information
    • Contact
    • Slides
    • Logos
  • Events
  • News
  1. You are here:  
  2. Home
  3. News

Michel Cosnard elected President of ERCIM

Details
Published: 03 January 2011

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.

Read more …

Report on the 15th ERCIM Formal Methods for Industrial Critical Systems Workshop

Details
Published: 09 November 2010

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

Read more …

New ERCIM WG “Media Technology & Edutainment” to kick-off

Details
Published: 05 November 2010

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)

Read more …

Static Analysis versus Model Checking - Workshop Report

Details
Published: 13 October 2010

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 …

An Infrastructure for Clinical Trials for Cancer – ACGT Project Successfully Terminated

Details
Published: 13 October 2010

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 …

Report on 35th International Symposium on Mathematical Foundations of Computer Science

Details
Published: 13 October 2010

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.

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

Link: http://mfcsl2010.fi.muni.cz/

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

Details
Published: 13 October 2010

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 …

ICT Policy Alignment between Europe and India

Details
Published: 13 October 2010

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 …

Andrea Esuli Winner of the 2010 ERCIM Cor Baayen Award

Details
Published: 06 October 2010

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 …

ERCIM at ICT 2010

Details
Published: 21 September 2010

ERCIM takes part in ICT 2010, the bi-annual event organised this year by the European Commission on 27-29 September in Bruxelles. With a joint information stand, ERCIM and ETSI will demonstrate that standardisation should be considered early in the R&D cycle in order to optimise the markets for European industry.

Together with ACM Europe, ERCIM has arranged the networking session " ICT Professional Societies: Which Opportunities for Europe?" (session T004 on Tuesday 28 September 2010 from 14:00-15:30).

Read more …

Page 11 of 14

  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
Italy CNR ·  The Netherlands CWI ·  Germany Fraunhofer ·  Luxembourg FNR ·  Greece FORTH ·  Portugal INESC ·  France INRIA ·  Greece ISI ·  Spain ITIS-UMA ·  Norway NTNU ·  Sweden RISE ·  Austria SBA ·  Hungary SZTAKI ·  Cyprus UCY
© ERCIM · Legal information · Contact · 
  ERCIM is the European Partner of   W3C