ERCIM Latest News

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

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

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

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: Report on 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

ERCIM at ICT 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: ERCIM at ICT 2010

6th International Workshop on Security and Trust Management

The ERCIM Security and Trust Management Working Group holds the sixth workshop in this series in Athens, Greece, on 23-24 September in conjunction with EUROPKI'10 and CRITIS'10, and just after ESORICS'10.

http://www.isac.uma.es/stm10/

Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming

The ERCIM Working Group on Constraints holds the 2010 Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming on November 24 - 26, 2010 hosted by Fraunhofer FIRST in Berlin, Germany

The workshop will cover all aspects of constraint solving  and constraint (logic) programming, including various foundational issues, implementation techniques, new  (practical) applications as well as teaching issues. Particular emphasis is on assessing the current state of the art and identifying future directions.

The workshops on (constraint) logic programming are the annual meeting of the ERCIM Working Group on Constraints.

http://www.constraint-programming.de/csclp2010/