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.

Apply now for the next round. Deadline: 30 September (extended to October 2)

http://fellowship.ercim.eu

The ERCIM fellowship scheme helps young scientists to improve their knowledge of European research structures and networks and to gain more insight into the working conditions of leading European research institutions. The fellowships are of one year duration (with a possible extension), spent in one of the ERCIM member institutes. Fellows can apply for a second year in a different institute.

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.

Tuesday, 26 May 2020 13:00-16:00

In the current global digitalization of all human activities and the main role in this transformation of research institutions in informatics and mathematics, ERCIM is establishing a Working Group on Digital Ethics. Its initial workshop will be held in conjunction with the ERCIM 2020 spring meetings. 

The 16th International Workshop on Security and Trust Management, co-located with ESORICS 2020, originally planned to be held in Guildford, UK on 17-18 September 2020 has been moved to an online format due to the COVID-19 pandemic. Arrangements for the virtual format are being made and will be announced on the workshop web page. This new format will not affect the proceedings, which will be published as Springer LNCS proceedings. STM (Security and Trust Management) is a Working Group of ERCIM. STM 2020 is the sixteenth workshop in this series and will be held in conjunction with the 25th European Symposium On Research in Computer Security (ESORICS 2020). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs.
The deadline for paper submissions is 22 June.
For more information, see the workshop web page.

The 13th International Conference of the ERCIM WG on Computational and Methodological Statistics (CMStatistics 2020) will take place at King's College London, UK, 19-21 December 2020. Tutorials will be given on Friday 18 December 2020.

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.