• Skip to navigation (Press Enter)
  • Skip to main content (Press Enter)
  • English
  • Anschrift
  • Pressemitteilung
Logo Max Planck Society Max Planck Institute for Informatics
RG1
Automation of Logic
  • 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
    • Research Group Computational Biology
    • Automation of Logic
  • Publications
    • Algorithms & Complexity
    • Computer Vision and Machine Learning
    • Internet Architecture
    • Computer Graphics
    • Databases and Information Systems
    • Research Group Computational Biology
    • Automation of Logic
    • Research Reports
    • Scientific Advisory Board
    • Curatorship Board
    • IMPRS-CS
  • Personen
  • Software
  • Dienste
    • Gemeinsame Verwaltung
    • - Information Services and Technology
    • - Haus und Technik
    • - Bibliothek
    • - Öffentlichkeitsarbeit
    • Forschungskoordination
    • Chancengerechtigkeit
    • Beauftragte
    • Ombudsmann für gute wissenschaftliche Praxis und Promotionsangelegenheiten
    • 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
Abteilungen  Automation of Logic  Useful Links
  • Algorithms & Complexity
  • Computer Vision and Machine Learning
  • Internet Architecture
  • Computer Graphics
  • Databases and Information Systems
  • 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

Links

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)

Conferences

  • CADE - Conference on Automated Deduction
  • CAV - Computer Aided Verification
  • LICS - IEEE Symposium on Logic in Computer Science
  • FTP - International Workshop on First-Order Theorem Proving
  • LPAR - Logic for Programming Artificial Intelligence and Reasoning

Projects

  • AVACS - Automatic Verification and Analysis of Complex Systems
  • Verisoft

Bibliography Servers

  • Collection of Computer Science Bibliographies
Copyright 2018 by Max Planck Institute for Informatics | Sitemap | Location | Imprint / Impressum | Data Protection / Datenschutzhinweis