Workshop

EFM: 1st International Workshop on Empirical Formal Methods

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.

Kontakt

INESC TEC & University of Minho

Nachricht senden

Website

zurück

Name	omCookieConsent
Anbieter	gi.de
Laufzeit	1 Jahr
Zweck	Enthält die gewählten Tracking-Optin-Einstellungen.

Name	fe_typo_user / PHPSESSID
Anbieter	gi.de
Laufzeit	aktuelle Session
Zweck	Dieses Cookie ist ein Standard-Session-Cookie von TYPO3. Es speichert im Falle eines Benutzer-Logins die Session-ID. So kann der eingeloggte Benutzer wiedererkannt werden und es wird ihm Zugang zu geschützten Bereichen gewährt.

Name	_pk_id.1.9dca
Anbieter	Matomo
Laufzeit	13 Monate
Zweck	Dieses Cookie wird von der Open-Source-Software Matomo für die statistische Auswertung der Besucherzugriffe verwendet.

Name	_pk_ses.1.9dca
Anbieter	Matomo
Laufzeit	30 Minuten
Zweck	Dieses Cookie wird von der Open-Source-Software Matomo für die statistische Auswertung der Besucherzugriffe verwendet.

EFM: 1st International Workshop on Empirical Formal Methods

Datum und Uhrzeit

Veranstaltungsort

Beschreibung

Kontakt

Cookie Einstellungen