Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Institutstermine | Konferenz "SEFM'22 - 20th Int. Conf. on Software Engineering and Formal Methods"

Konferenz "SEFM'22 - 20th Int. Conf. on Software Engineering and Formal Methods"

Sie sind / ihr seid herzlich eingeladen, teilzunehmen; Registrierung
ist nicht erforderlich, aber es gibt auch keine Konferenztasche.

Einige ausgewählte Vorträge werden auch online gestreamt,
z.B. die Keynote von Mariëlle Stoelinga, Nijmegen und Twente, NL,
mit dem Titel "Maintenance meets model checking: predictive maintenance
via fault trees and formal methods"
(siehe auch https://sefm-conference.github.io/2022/keynotespeaker.html)
am Donnerstag, 29.9., 9:00-10:00.

Eine Zoom-Einladung finden Sie hier. (nur mit Informatik-Account)