Deutsch
max planck institut
informatik
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
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
Search MPII (type
?
for help)