English
max planck institut
informatik
Nützliche Links
Organisationen
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)
Konferenzen
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
Projekte
AVACS - Automatic Verification and Analysis of Complex Systems
Verisoft
Bibliographie Server
Collection of Computer Science Bibliographies
Startseite
Über das
Institut
Abteilungen:
Algorithmen & Komplexität
Computer Vision and Multimodal Computing
Bioinformatik und Angewandte Algorithmik
Computergraphik
Datenbanken und Informationssysteme
Computational Genomics and Epidemiology
Ontologies
Automatisierung der Logik
Personen
Forschungsgebiete
Stellenangebote
Lehre
Vorträge
Veröffentlichungen
Software
Nützliche Links
N
euigkeiten & Aktivitäten
Koordinaten
P
ersonenverzeichnis
Dienste
R
esearch School (IMPRS-CS)
Max Planck
C
enter
Site
m
ap
C
o
mputer Science Cluster
