• Skip to navigation (Press Enter)
  • Skip to main content (Press Enter)
  • English
  • Anschrift
  • Pressemitteilung
Logo Max Planck Society Max Planck Institute for Informatics
  • Home
  • Institut
    • Zielsetzung
    • Anschrift
    • Geschäftsführung
    • Wissenschaftliche Mitglieder der MPG
    • Fachbeirat
    • Kuratorium
  • Aktuelles
    • Overview
    • Pressemitteilungen
    • Auszeichnungen
    • Aktueller Forschungsschwerpunkt
    • Campus Event Kalender
    • 25th anniversary
    • Stellenangebote
  • Abteilungen
    • Algorithms & Complexity
    • Computer Vision and Machine Learning
    • Internet Architecture
    • Computer Graphics
    • Databases and Information Systems
    • Visual Computing and Artificial Intelligence
    • Research Group Computational Biology
    • Automation of Logic
    • Network and Cloud Systems
  • Publications
    • Algorithms & Complexity
    • Computer Vision and Machine Learning
    • Internet Architecture
    • Computer Graphics
    • Databases and Information Systems
    • Visual Computing and Artificial Intelligence
    • Automation of Logic
    • Network and Cloud Systems
    • Research Reports
    • Scientific Advisory Board
    • Curatorship Board
    • 25th anniversary
    • IMPRS-CS
  • Personen
  • Software
  • Dienste
    • Gemeinsame zentrale Dienste
    • Gemeinsame Verwaltung
    • - Bibliothek
    • - International Office
    • Gemeinsame wissenschaftliche IT und Technische Dienste
    • - Haus und Technik
    • Forschungskoordination
    • Beauftragte für Chancengerechtigkeit
    • - Chancengerechtigkeit
    • Beauftragter für Schwerbehinderte
    • Beauftragter für Sicherheit
    • Ombudsmann für gute wissenschaftliche Praxis und Promotionsangelegenheiten
    • Betriebsarzt
  • CS@MPG
  • CS@SAAR
    • Saarland Informatics Campus
    • Computer Science Department, Saarland University
    • Max Planck Institute for Software Systems (MPI-SWS)
    • German Center for Artificial Intelligence (DFKI)
    • Center for Security, Privacy and Accountability (CISPA)
    • VIA - Saarbrücken Center for Visual Computing, Interaction and Artificial Intelligence
    • Graduate School for Computer Science
    • Cluster of Excellence (MMCI)
    • Max Planck Center for Visual Computing and Communication
    • Kaiserslautern-Saarbrücken Computer Science Cluster
    • IT-Inkubator
  • COVID-19
Aktuelles  Auszeichnungen  2021  Harald Ganzinger: 2021 CAV Award
  • Overview
  • Pressemitteilungen
  • Auszeichnungen
    • 2023
    • 2022
    • 2021
      • Zeynep Akata: German Pattern Recognition Award 2021
      • Yiting Xia: N2Women – Stars in Computer Networking and Communications
      • Gerhard Weikum: Konrad Zuse Medal
      • Harald Ganzinger: 2021 CAV Award
      • Asia Biega: GI DBIS Dissertation Award
      • Bernt Schiele: Member of Leopoldina
    • 2020
    • 2019
    • 2018
    • 2017
    • 2016
    • 2015
    • 2014
    • 2013
    • 2012
    • 2011
    • 2010
  • Aktueller Forschungsschwerpunkt
  • Campus Event Kalender
  • 25th anniversary
  • Stellenangebote
Award details in brief:
Name:Harald Ganzinger
Award:http://i-cav.org/2021/cav-award/
Date:July 2021
CategoryAward
OrganisationInternational Conference on Computer-Aided Verification
Copyright 2022 by Max Planck Institute for Informatics | Sitemap | Location | Imprint / Impressum | Data Protection / Datenschutzhinweis