Skip to content Skip to footer

Research Portal of the TU Dresden

From Verification to Causality-Based Explications

Activity: Talk or presentation at external institutions/events › Keynote › Invited

Persons and affiliations

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

18 Jul 2021

Conference

Title	Verification Mentoring Workshop VMW'21 Satellite event of CAV'21
Duration	18 July 2021
Website	http://i-cav.org/2021/mentoring/
City	Los Angelos, US (online)
Country	United States of America

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