ERCIM News 91
October 2012
Special theme What is Computation - Alain Turing’s Legacy
Guest editors Gilles Dowek (Inria) and Samson Abramsky (University of Oxford)
PDF
of ERCIM News 91
40 pages
- Details
- Category: Joint ERCIM Actions
- Hits: 5031
by George Giorgobiani and Givi Kochoradze
The 2nd Networking Event of the GEO-RECAP project (Re-creation and building of capacities in Georgian ICT Research Institutes) was held at the Georgian Technical University (GTU) on 27-28 June, 2012. The event was held together with the EC funded Ideal-ist project (an international ICT partner search network) twinning event, which was organized by the EC ICT National Contact Point (NCP) in Georgia.
- Details
- Category: Joint ERCIM Actions
- Hits: 5268
by Torsten Braun
The 6th ERCIM Workshop on eMobility, together with the MobiSense workshop, was held at the Petros M. Nomikos Conference Centre at Fira, Santorini Island. The joint workshop included an invited session, a keynote talk and eight technical talks based on papers, which were selected from eleven submissions. All papers were carefully reviewed and selected in a peer review process by the joint workshop technical program committee.
- Details
- Category: Joint ERCIM Actions
- Hits: 5917
by Petra Perner and Emanuele Salerno
The seventh international conference on mass data analysis of images and signals, MDA 2012, was held in Berlin from 13 to 20 July 2012. ERCIM was one of the sponsors and the ERCIM MUSCLE Working Group (Multimedia Understanding through Semantics, Computation, and Learning), participated in the organization.
- Details
- Category: Joint ERCIM Actions
- Hits: 7004
by Diego Latella
The fourth annual meeting of the WG on Models and Logics for Quantitative Analysis (MLQA) took place on 8 September 2012 at the Laboratory for Foundations of Computer Science of the University of Edinburgh. The meeting was organized in cooperation with The Scottish Informatics & Computer Science Alliance (sicsa*).
- Details
- Category: Joint ERCIM Actions
- Hits: 8971
by Radu Mateescu
The 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'2012) was held on 27-28 August 2012 in Paris, as a satellite event of the FM'2012 conference. FMICS seeks to foster the dissemination of formal methods in industry by providing a forum where scientists and engineers can exchange their experiences in the development and industrial usage of these methods.