ERCIM Latest News

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. 

Our members Inria and Fraunhofer (Fraunhofer AISEC, Fraunhofer HHI, Fraunhofer IIS) are participating in the Pan-European Privacy-Preserving Proximity Tracing (PEPP-PT) initiative, launched by European scientists to create mobile apps useful in tracking the spread of COVID-19. PEPP-PT will focus on the development of applications that can trace contact and potential COVID-19 spreads across populations, not just now, but also potentially in the future. PEPP-PT will provide standards, technology, and services to countries and developers. PEPP-PT says they embrace a fully privacy-preserving approach and build on well-tested, fully implemented proximity measurement and scalable backend service. Researchers and institutions are invited to join. PEPP-PT is establishing a partner management team to help partners to get going quickly.

Tim Berners-Lee, together with leaders from government, business, civic groups and citizens from across the world, has launched the world’s first-ever global action plan to halt the increasing misuse of the web and ensure it is protected as a force for good. The inventor of the web urged widespread backing of the plan, the Contract for the Web, which sets out concrete actions governments, companies and individual citizens can — and must — take to ensure a web that is safe, empowering and for everyone. The failure of global actors to defend the free and open web, he warned, risks a “digital dystopia” of entrenched inequality and abuse of rights.

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.

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.

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.

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.

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.