- Overview
- Pressemitteilungen
- Auszeichnungen
- Aktueller Forschungsschwerpunkt
- 2020
- 2019
- Understanding Images & Videos
- Bioinformatics
- Guarantees
- Verteilte Algorithmen für fehlertolerante Hardware
- Exact Solving of Polynomial Systems and Applications in Geometric Computing
- Automatisches Beweisen
- How to Trust the Output of Your Program
- Model Checking for Hybrid Systems
- Dealing with Selfishness in Optimization
- Quantorenelimination – auch Aussagen kann man ausrechnen
- Information Search & Digital Knowledge
- Multimodal Information & Visualization
- Optimization
- Software
- Multiple People Detection
- Automated Deduction
- How to Trust the Output of Your Program
- EpiExplorer and RnBeads: Integrative Analysis of Epigenomic Data
- Big Data: Scalable Analysis of Very Large Datasets
- Markerless Reconstruction of Dynamic Scenes
- Protein structure and interactions
- How to Trust the Output of Your Program
- Deciphering the Second Code – Computational Epigenetics
- Campus Event Kalender
- 25th anniversary
- Stellenangebote
- Home
- Institut
- Aktuelles
- Abteilungen
- 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
- Network and Cloud Systems
- Research Reports
- Scientific Advisory Board
- Curatorship Board
- 25th anniversary
- IMPRS-CS
- Personen
- Software
- Dienste
- Gemeinsame zentrale Dienste
- Gemeinsame Verwaltung
- - Bibliothek
- - International Office
- Gemeinsame wissenschaftliche IT und Technische Dienste
- - Haus und Technik
- Forschungskoordination
- Beauftragte für Chancengerechtigkeit
- - Chancengerechtigkeit
- Beauftragter für Schwerbehinderte
- Beauftragter für Sicherheit
- Ombudsmann für gute wissenschaftliche Praxis und Promotionsangelegenheiten
- Betriebsarzt
- 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)
- VIA - Saarbrücken Center for Visual Computing, Interaction and Artificial Intelligence
- 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
- COVID-19
Aktuelles Aktueller Forschungsschwerpunkt Guarantees
Copyright 2022 by Max Planck Institute for Informatics | Sitemap | Location | Imprint / Impressum | Data Protection / Datenschutzhinweis