Talks & Events

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

• Homepage
• About the Institute
• Departments:
  • Algorithms & Complexity
  • Programming Logics
  • Computational Biology & Applied Algorithmics
  • Computer Graphics
  • Databases and Information Systems
  • Computational Genomics and Epidemiology
  • Automation of Logic
    • People
    • Research Areas
    • Offers
    • Teaching
    • Talks & Events
    • Publications
    • Software
    • Useful Links
  • Machine Learning
• News & Activities
• Location
• People
• Services
• Library
• Graduate School (IMPRS-CS)
• Max Planck Center
• Sitemap