Best paper award ATVA 2021
Auszeichnung: Preis › Publikations-/Konferenzpreis
Empfänger:innen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
- Tobias John - , Technische Universität Dresden (Preisträger:in)
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
- Simon Jantsch - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
Konferenz
Titel | 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Kurztitel | ATVA 2021 |
Veranstaltungsnummer | 19 |
Dauer | 18 - 22 Oktober 2021 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | online |
Stadt | Gold Coast |
Land | Australien |