ERCIM News 129
April 2022
Special theme Fighting Cybercrime
Guest editors Florian Skopik (AIT Austrian Institute of Technology) and Kyriakos Stefanidis (ISI)
- Details
- Category: Announcements
- Hits: 2732
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.
- Details
- Category: Announcements
- Hits: 5061
Lübeck, Germany, 6-10 March 2023
FM 2023 is the 25th international symposium in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. FME has a Memorandum of Understanding with the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) to collaborate in holding an annual joint industry-focussed event. This Industry Day (I-Day) at FM targets the industrial development and use of formal methods.
- Details
- Category: Announcements
- Hits: 3169
Munich and online 6-9 September 2022
Invitation for participation
SafeComp has contributed since 1979 to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SafeComp provides ample opportunity to exchange insights and experience on emerging methods, ap-proaches and practical solutions. It is a single-track conference allowing easy networking. SAFECOMP 2022 will take place on 6-9 September 2022 at Fraunhofer AISEC and Galileo Science Technolgie Park in Munich Garching, a few subway stops from Munich city center.