Skip to content Skip to footer

From Verification to Causality-Based Explications

Activity: Talk or presentation at external institutions/eventsKeynoteInvited

Date

16 Jul 2021

Conference

Title48th International Colloquium on Automata, Languages, and Programming
Abbreviated titleICALP 2021
Duration12 - 16 July 2021
Website
Degree of recognitionInternational event
Locationonline
CityGlasgow
CountryUnited Kingdom

Keywords

Research priority areas of TU Dresden

    DFG Classification of Subject Areas according to Review Boards

    Subject groups, research areas, subject areas according to Destatis