Skip to content Skip to footer

Research Portal of the TU Dresden

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)

Description

19th International Symposium on Automated Technology for Verification and Analysis
18 - 22 October 2021, Gold Coast (Online), Australia

Awarded date	Oct 2021
Degree of recognition	International

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	https://formal-analysis.com/atva/2021/
Degree of recognition	International event
Location	online
City	Gold Coast
Country	Australia

Keywords

DFG Classification of Subject Areas according to Review Boards

Theoretical Computer Science

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

Related content

Research output

Determinization and Limit-Determinization of Emerson-Lei Automata

John, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Oct 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Cham, p. 15–31 (Lecture Notes in Computer Science, Vol. 12971).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (1)