Best paper award ATVA 2021
Prize: Publication prize
Recipients
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
- Tobias John - (Laureat)
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
- Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Conference
Title | The 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Abbreviated title | ATVA 2021 |
Conference number | |
Duration | 18 - 22 October 2021 |
Website | |
Degree of recognition | International event |
Location | online |
City | Gold Coast |
Country | Australia |