- Details
The ERCIM Working Group on Formal Methods for Industrial Critical Systems is organising the 25th FMICS conference in Vienna, Austria, on 2-3 September 2020. The aim of the conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. This 25th edition will be celebrated in a special way.
- Details
Simula is an ICT research laboratory that pursues important and fundamental problems of science and engineering in order to drive progress that is of genuine value to society. Closely integrated into the research is the education of future scientists and the development of commercial ventures.
- Details
Dr. Péter Inzelt, former director of the Institute for Computer Science and Control (SZTAKI) passed away at age 75, on the 23rd of June, 2019.
- Details
The 2019 competition for the ERCIM Cor Baayen Young Researcher Award was highly competitive with 16 final nominees. A selection committee composed of members from ERCIM and Informatics Europe eventually awarded two outstanding young researchers in recognition of the outstanding scientific quality of their research and the impact on science and society they have already achieved in their short career: Ninon Burgos (CNRS) and András Gilyén (Caltech) with an honorary mention to Paris Carbone (RISE). The award will be presented at the European Computer Science Summit (ECSS) in Rome on Tuesday, 29 October 2019.
Read more: 2019 ERCIM Cor Baayen Young Researcher Award for Ninon Burgos and András Gilyén
- Details
The ERCIM Working Group Multimedia Understanding through Semantics, Computation and Learning (MUSCLE) is organising the 7th International Workshop on Computational Intelligence for Multimedia Understanding (IWCIM) as a satellite workshop of SITIS 2019, to be held in Sorrento, Italy, on November 26-29, 2019.
Read more: 7th International Workshop on Computational Intelligence for Multimedia Understanding
- Details
The ERCIM 30th Anniversary and Fall meetings 2019 will be hosted by CNR in Rome from Wednesday 30 October to Thursday 31 October 2019.
The celebration events includes a session on high impact technologies in informatics and mathematics: Cyber Security (Karthikeyan Bhargavan, Inria), Explainable Artificial Intelligence (Fosca Giannotti, CNR), Quantum Computing (Harry Buhrman, CWI) and an invited talk by Khalil Rouhana, Deputy Director-General for Communications Networks, Content and Technology: The EC point of view on the Digital Single Market 2.0.