From Verification to Causality-Based Explications
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Plenarvortrag (Keynote) › Eingeladen
Personen und Einrichtungen
Datum
16 Juli 2021
Konferenz
| Titel | 48th International Colloquium on Automata, Languages, and Programming |
|---|---|
| Kurztitel | ICALP 2021 |
| Dauer | 12 - 16 Juli 2021 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | online |
| Stadt | Glasgow |
| Land | Großbritannien/Vereinigtes Königreich |