FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems, is holding it's annual conference as part of the QONFEST series. The actual conference dates will be announced on the webpage. Most likely, it will be 2-3 days within the QONFEST week (August 23-27, 2021). FMICS is the key conference in the intersection of industrial applications and Formal Methods.
The French government appointed Philippe Baptiste as President of the French space agency CNES. Born in 1972, Philippe Baptiste holds a PhD from the University of Technology of Compiègne (UTC) and is a graduate in civil engineering from the Ecole des Mines engineering school in Nancy. He also holds an MSc from the University of Strathclyde, Glasgow, a DEA postgraduate diploma from Sorbonne University and is an accredited research director. Philippe Baptiste won the ERCIM Cor Baayen Award in 2000.
Image source: CNES.
https://www.ercim.eu/human-capital/cor-baayen-award
https://presse.cnes.fr/en/philippe-baptiste-appointed-cnes-president
ERCIM and JST (Japan Science and Technology Agency) are organizing the first joint Symposium on Big Data and Artificial Intelligence on 18-19 February 2021. The online symposium aims to present recent results of research conducted in the context of the JST Crest programme as well as relevant research results from European institutions. The meeting will provide the opportunity to participants from Japan and Europe to familiarize themselves with recent research results and consider collaboration prospects that will arise in the context of the Horizon Europe framework programme or relevant initiatives from JST.
Participation is free but limited, registration is required. For more information and registration form is available on the Symposium web page
Stefano Cresci has been selected from among 13 excellent short-listed nominees as the winner of the 2020 ERCIM Cor Baayen Award. Stefano, from CNR, Italy, has received the award in recognition of the outstanding scientific quality of his research and the impact on science and society that he has already achieved as a young researcher.
ERCIM is pleased to invite you to the Final Conference of the BOOST 4.0 project "Boost 4.0 Big Data and Industrial Data Space Large Scale Piloting for Digital Smart Factories" to be celebrated virtually on the 10th of December. Register online https://boost40.eu/final-conference/
In this final conference, some of the most relevant digital players and factories in the area of Industry 4.0 will present the results of the largest big data trials in the sector. Key leading experts on a broad spectrum of areas related to Industry 4.0 will provide their insights, best practices and lessons learned on how bid data technologies, AI and digital manufacturing platforms have helped companies such as VW or Whirlpool to revert long periods (25% of the time) and large warehouse overstocks (up to 20%).
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS, the key conference at the intersection of industrial applications and formal methods, reached its 25th edition this year. Therefore, a panel “Genesis, Success Stories, and the Next 25 Years” was organized to celebrate this remarkable milestone. The conference took place virtually on 2-3 September, hosted by TU Wien.
The ERCIM Working Group Multimedia Understanding through Semantics, Computation and Learning (MUSCLE) is organising its annual workshop, the International Workshop on Computational Intelligence for Multimedia Understanding (IWCIM) in conjunction with ICCCI 2020, to be held in Da Nang, Vietnam, on November 30- December 3, 2020.
W3C is organizing a virtual workshop on the intersection of Machine Learning (ML) and Web browsers. By exploring the impact of machine learning technologies on Web browsers and Web applications, as well as evaluating the opportunities for standardization around ML APIs and formats, the workshop's goal is to help enrich the Open Web Platform and provide better foundations for machine learning.
