• 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
  • 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
    • Research Reports
    • Scientific Advisory Board
    • Curatorship Board
    • IMPRS-CS
  • People
  • Software
  • Services
    • Joint Administration
    • - Information Services & Technology
    • - Building and Technical Support
    • - Library
    • - Public Relations
    • Research Coordination
    • Equal Opportunities
    • Care Appointees
    • Ombudsperson for Good Scientific Practice and Doctoral Research
    • 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
Departments  Automation of Logic  Useful Links  Organizations
  • 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
    • Projects
    • Publications
    • Software
    • Useful Links
      • Organizations
      • Conferences
      • Projects
      • Bibliography Servers
    • RG1 Intranet

Organizations

ACM (Association for Computing Machinery)
IEEE Computer Society
SIAM (Society for Industrial and Applied Mathematics)
AAAI (American Association for Artificial Intelligence)
EATCS (European Association for Theoretical Computer Science)
AMS (American Mathematical Society)
MAA (Mathematical Association of America)
ECCC (Electronic Colloquium in Computational Complexity)

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