Best paper award ATVA 2021
Auszeichnung: Preis › Publikationspreis
Empfänger:innen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
- Tobias John - (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 | The 19th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Kurztitel | ATVA 2021 |
| Veranstaltungsnummer | |
| Dauer | 18 - 22 Oktober 2021 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | online |
| Stadt | Gold Coast |
| Land | Australien |