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 |