Skip to main content
Workshop

EFM: 1st International Workshop on Empirical Formal Methods

Website der Veranstaltung

Datum und Uhrzeit

07.10.2019, 09:00 - 18:00 Uhr
Im Kalender speichern

Veranstaltungsort

Alfandega Porto Congress Centre
Porto, Portugal

Beschreibung

Dieser Workshop nimmt den ersten wichtigen Schritt auf dem Weg zur wissenschaftlichen Erörterung der praktischen Effektivität und Relevanz der gründlichsten Ingenieursmethoden die die Informatikforschung bis dato hervor gebracht hat.

INESC TEC & University of Minho

mario.gleirscher@york.ac.uk