• Skip to navigation (Press Enter)
  • Skip to main content (Press Enter)
  • Deutsch
  • Location
  • Press
Logo Max Planck Society Max Planck Institute for Informatics
RG1
Automation of Logic
  • Home
  • Institute
    • Mission
    • Address
    • Executive Board
    • Scientific Members of MPG
    • Scientific Advisory Board
    • Board of Trustees
  • News
    • Overview
    • Press Releases
    • Awards
    • Spotlights
    • Campus Event Calendar
    • 25th anniversary
    • Employment
  • Departments
    • 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
    • Research Group Computational Biology
    • Automation of Logic
    • Network and Cloud Systems
    • Research Reports
    • Scientific Advisory Board
    • Curatorship Board
    • IMPRS-CS
  • People
  • Software
  • Services
    • Joint Administration
    • - Library
    • Research Coordination
    • Equal Opportunities
    • Care Appointees
    • Ombudsperson for Good Scientific Practice and Doctoral Research
    • Conflicts and non scientific misconduct
    • Company Physician
    • International Office
  • 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)
    • 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
Departments  Automation of Logic  Talks & Events  Past Events
  • 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
    • People
    • Research Areas
    • Offers
    • Teaching
    • Talks & Events
      • Past Events
    • Projects
    • Publications
    • Software
    • Useful Links
    • RG1 Intranet
  • Network and Cloud Systems

Past Events

Summer School 2021: Verification Technology, Systems & Applications

Summer School 2019: Verification Technology, Systems & Applications

Summer School 2018: Verification Technology, Systems & Applications

Summer School 2017: Verification Technology, Systems & Applications

Summer School 2016: Verification Technology, Systems & Applications

Summer School 2015: Verification Technology, Systems & Applications

Summer School 2014: Verification Technology, Systems & Applications

Summer School 2013: Verification Technology, Systems & Applications

Summer School 2012: Verification Technology, Systems & Applications

Summer School 2011: Verification Technology, Systems & Applications

Deduction at Scale 2011

Summer School 2010: Verification Technology, Systems & Applications

Summer School 2009: Verification Technology, Systems & Applications

Deduction Meeting 2008

Summer School 2008: Verification Technology, Systems & Applications

Copyright 2022 by Max Planck Institute for Informatics | Sitemap | Location | Imprint / Impressum | Data Protection / Datenschutzhinweis