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)
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.
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.