Budapest, 14-15 October 2024
ERCIM, SZTAKI, and the French CCNE-numérique are organising the third edition of the Forum Beyond Compiance on 14-15 October 2024 in Budapest. The program will consist of invited presentations, invited contributions to round tables, a tutorial session, and selected contributions.
18 September 2024, Dubrovnik, Croatia
As part of the SmartEdge & AIoTwin Summer School, the “Edge AI meets Swarm Intelligence” technical workshop is held on 18 September 2024.
Edge AI represents a novel computing paradigm designed to facilitate local data storage and processing, with AI algorithms enabling data treatment directly at the edge of the network. This approach aims to bring intelligence to the end-devices, facilitating real-time decision-making and empowering devices to operate autonomously, reducing reliance on external cloud services.
16-20 September 2024, Dubrovnik, Croatia
The SmartEdge project is happy to announce a Summer School in collaboration with the EU funded AIoTwin project, scheduled from 16-20 September 2024.
Co-located with Formal Methods (FM) 2024 in Milan, 9-11 September 2024
The Formal Methods for Industrial Critical Systems (FMICS) conference series offers a platform for researchers and practitioners focused on the development and application of formal methods in industry. FMICS brngs together scientists and engineers to share their experiences in industrial applications of formal methods. Additionally, the conference promotes research and development to enhance formal methods and tools for industrial use.
Call for Proposals
Schloss Dagstuhl – Leibniz-Zentrum für Informatik is accepting proposals for scientific seminars/workshops in all areas of computer science, in particular also in connection with other fields.