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.
by Maurice ter Beek (ISTI-CNR
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 26th edition this year. Unfortunately, also this year the conference took place virtually, in Paris, France, from 24-26 August.
9-18 November 2021; online event
How web technologies support the digitization of media production streams
Professional media assets, including audio-visual TV and motion pictures, are increasingly being stored in the cloud. In parallel, there is a growing interest in building Web applications for end-users.