• Skip to navigation (Press Enter)
  • Skip to main content (Press Enter)
  • English
  • Anschrift
  • Pressemitteilung
Logo Max Planck Society Max Planck Institute for Informatics
  • 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 Multimodal Computing
    • Computational Biology & Applied Algorithmics
    • Computer Graphics
    • Databases and Information Systems
    • Internet Architecture
    • Automation of Logic
  • Publikationen
    • D1 - Algorithms & Complexity
    • D2 - Computer Vision and Multimodal Computing
    • D3 - Computational Biology & Applied Algorithmics
    • D4 - Computer Graphics
    • D5 - Databases and Information Systems
    • Automation of Logic
    • Research Reports
    • 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
  • www.mpi-inf.mpg.de
    • Home
    • Institut
      • Zielsetzung
      • Anschrift
      • Geschäftsführung
      • Wissenschaftliche Mitglieder der MPG
      • Fachbeirat
      • Kuratorium
    • Aktuelles
      • Overview
      • Pressemitteilungen
        • 2018
          • Thomas Lengauer wird nächster Präsident von Intl. Bioinformatikgesellschaft
        • 2017
          • Karl Heinz Beckurts-Preis für Christian Theobalt
          • ERC Grant für Christian Theobalt
          • Saarbrücker Informatiker für rund 20 Jahre alte Forschung international ausgezeichnet
          • Neue Direktorin am Max-Planck-Institut für Informatik
          • Neuartige Software kann Blickkontakt in alltäglichen Situationen erkennen
          • Programmcode preisgekrönter Wissensdatenbank ist nun für jedermann nutzbar
          • Doktorandin am MPI für Informatik erhält Google PhD Fellowship und Frauen MINT Award
          • Informatik-Professor Hans-Peter Seidel erhält die Eurographics-Medaille in Gold
          • Christoph Bock mit Overton Preis ausgezeichnet
          • Saarbrücker Informatiker machen „Augmented Reality“ fotorealistisch
        • 2016
          • Kontinuierlich einstellbare Bildwiederholraten – höhere Bildqualität und neue Möglichkeiten für Filmschaffende
          • Epigenetisches Modell für die Entwicklung von Blutzellen
          • 41 Veröffentlichungen für die Epigenetik – Deutsche Beiträge von Saarbrücken aus geleitet
          • Neuer integrierter Studiengang: Bachelor in Mathematik und Informatik
          • Von den Panama Papers zum eigenen Nachrichtendienst für das Unternehmen
          • Thomas Lengauer wird nächster Präsident von Intl. Bioinformatikgesellschaft
          • Software verwandelt gefilmte Tiere in animierbare 3D-Figuren
          • Professor Kurt Mehlhorn in den wissenschaftlichen Rat des Europäischen Forschungsrates berufen
        • 2015
          • Puppenspiel der Gesichter
          • 25 Jahre Max-Planck-Institut für Informatik – großes Festkolloquium mit internationalen Top-Informatikern
          • Frédéric Chopin trifft Max Planck -- Philharmoniekonzert auf dem Platz der Informatik
          • Kurt Mehlhorn zum Mitglied der National Academy of Science ernannt
          • Communication with your computer – show it your fingers
          • Saarbrücker Max-Planck Direktor Thomas Lengauer erhält Hector Wissenschaftspreis
        • 2014
          • Hauchdünne Displays selbst gemacht
          • How big is the pandemic hazard through infected air travelers?
          • Wie groß ist die Gefahr einer Pandemie durch infizierte Fluggäste?
          • Humboldt-Preisträger will Grenzen der Fotografie überwinden
          • Erasmus Medal for Kurt Mehlhorn
          • Echte Schatten für digitale Welten: Tobias Ritschel erhält europäischen Forschungspreis
        • 2013
          • Printed electronics: A multi-touch sensor customizable with scissors
          • Moveable displays made of paper
          • New keyboard for touchscreens
          • Neue Tastatur für Touchscreens Informatiker entwerfen neues Tastaturlayout auf Touchscreen-Geräten
          • Designing optimal menus with no effort
          • Movie heroes are soon to be transferred to virtual worlds more easily and realistically
          • Gründungsprojekt des Max-Planck-Instituts für Informatik erhält Hauptpreis im Gründerwettbewerb "IKT Innovativ"
          • Kinohelden werden bald einfacher und noch realistischer in virtuelle Welten versetzt
        • 2012
          • Deutscher Mustererkennungspreis an Saarbrücker Forscher
          • Neuer Therapieansatz für die Bekämpfung von resistenten Tumoren
        • 2011
          • Rechnen an der Saar: Zwei Wochen lang ist Saarbrücken das Zentrum europäischer Algorithmik
          • CeBIT 2011: Computer schlägt in Sekundenschnelle das perfekte Make-up vor.
          • CeBIT 2011: Computer determines perfect makeup in a flash
        • 2010
          • New software for the visual analysis of genome-wide expression data
          • Prof. Dr. Bernt Schiele wird neuer Direktor am Max-Planck-Institut für Informatik in Saarbrücken
          • Max-Planck-Gesellschaft intensiviert die Kooperation mit Indien
        • 2009
          • Neues System ermöglicht den Austausch weltweit verteilter Daten zu Proteininteraktionen
          • Grippe-Pandemie: Saarbrücker Max-Planck-Institut für Informatik ermöglicht Zugang zu relevanten Grippe-Sequenzdaten.
          • Influenza pandemic: Max-Planck-Institute for Computer Science at Saarbrücken facilitates access to relevant viral sequence data.
          • CeBIT 2009: Hannover in 3D – Forscher visualisieren gigantische Datenmengen in Echtzeit
          • CeBIT 2009: Blitzschnell Bilder im Internet finden mit einer neuen Multimedia-Suchmaschine
        • 2008
          • Hohe Auszeichnung für Saarbrücker Max-Planck-Direktor Peter Druschel
          • 3D-Scannen von Glasobjekten
          • Ausgezeichnet: Clevere und revolutionär schnelle Suchmaschine.
      • Auszeichnungen
        • 2017
          • Marc Habermann: Günther Hotz Medaille
          • Kurt Mehlhorn: Doctor honoris causa
          • Andrew Yates: EMNLP Best Paper Award 2017
          • J. Hoffart, F. M. Suchanek, K. Berberich, G. Weikum: AI Journal Prominent Paper Award 2017
          • Christoph Weidenbach: Thoralf Skolem Award
          • Christoph Lenzen: ERC Starting Grant
          • Marvin Künnemann: Otto-Hahn-Medaille
          • Gerard Pons-Moll: Eurographics Best Paper
          • Hans-Peter Seidel: EG Gold Medal 2017
          • Franziska Müller: Google Europe PhD Fellowship
          • Franziska Müller: Women STEM Award
        • 2016
          • Franziska Müller: Günther Hotz Medaille
          • Markus Steinberger: Heinz Zemanek Preis
          • Sebastian Krinninger: Heinz Zemanek Preis
          • Gerhard Weikum: Robert-Piloty-Preis
          • Thomas Lengauer: ISCB President-elect
          • Jürgen Steimle: ERC Starting Grant
          • Ambiverse GmbH: "1, 2, 3, Go" Award
          • Michael Zollhöfer, Christian Theobalt: SIGGRAPH Emerging Technologies Award 2016
          • Hans-Peter Seidel: Solid Modeling Pioneer
          • Gerhard Weikum: SIGMOD Edgar F. Codd Innovations Award
          • Sandy Heydrich: Google Europe PhD Fellowship
          • Kurt Mehlhorn: Scientific Council of the ERC
          • Andreas Wiese: Emmy Noether Programm
        • 2015
          • Kurt Mehlhorn: Member US National Academy of Science
          • Thomas Lengauer: ISCB Fellow
          • Karl Bringmann: EATCS Distinguished Dissertation Award
          • Thomas Lengauer: Hector Wissenschaftspreis
        • 2014
          • Kurt Mehlhorn: Doctor honoris causa
          • Ndapandula Nakashole: Otto-Hahn-Medaille
          • Tobias Ritschel: Eurographics Young Researcher Award
          • Kurt Mehlhorn: Member US National Academy of Engineering
          • Michael Backes, Peter Druschel, Rupak Majumdar, Gerhard Weikum: ERC Synergy Grant
          • Kurt Mehlhorn: Erasmus Medal of the Academia Europaea
        • 2013
          • Anna Adamaszek: Humboldt Research Fellowship for Post Docs
          • Rainer Gemulla: GI Junior Fellow
          • Christian Theobalt: ERC Starting Grant
          • Artur Jeż: Humboldt Research Fellowship for Post Docs
        • 2012
          • Hans-Peter Seidel: Eurographics Distinguished Career Award 2012
          • Karl Bringmann: Google Europe PhD Fellowship
          • Carola Winzen: Otto-Hahn-Medaille
        • 2011
          • Matthias Hullin: Otto-Hahn-Medaille
          • Gerhard Weikum: 2011 SIGMOD Contributions Award
          • Adrian Neumann: Günther Hotz Medaille
          • Kurt Mehlhorn: Paris Kanellakis Theory and Practice Award
          • Karl Bringmann: Günther Hotz Medaille
        • 2010
          • Gerhard Weikum:Member of the German Academy of Science and Engineering
          • Sebastian Gerling: GDD Wissenschaftspreis
          • Gerard de Melo: CIKM Best Paper Award
          • Carola Winzen: Google Europe Doctoral Fellowship
          • Gerhard Weikum: GI Fellow
          • Mario Albrecht: HUPO Young Gun Award
          • Jörg Herrmann+IST: IT Community Award
          • Gerhard Weikum: Google Research Award
          • Fabian Müller: Günther Hotz Medaille
      • Aktueller Forschungsschwerpunkt
        • Understanding Images & Videos
          • Videos mit natürlicher Sprache beschreiben
          • Zehn Jahre Fußgängerdetektion -- was haben wir gelernt?
          • Artikulierte Posenschätzung
          • People Detection and Pose Estimation in Challenging Real-World Scenes
          • 3D Scene Analysis
          • 3D-Objektdetektion
          • Markerlose Rekonstruktion statischer und dynamischer 3D-Szenen
          • Neue Methoden für die komplexe Videobearbeitung
          • Recognition of Kitchen Activities in Videos
          • 3D Scene Understanding from Monocular Cameras
        • Bioinformatics
          • Zusammenhang zwischen Veränderungen in der Molekülkonformation und der freien Energie
          • Protein Structure and Interactions
          • Bioinformatische Unterstützung von HIV-Therapie
          • Analysis of Viral Genomes Using Next-generation Sequencing
          • Neue Angriffspunkte gegen HIV
          • Networks and Phylogenies: Understanding Disease Spread and Evolution
          • Charting Epigenomes
        • 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
          • STICS – Suche und Analyse mit Wörtern, Dingen und Kategorien
          • Skalierbare Analyse sehr großer Datenmengen
          • Search and Mining in Web Archives
          • AIDA – wer zum Kuckuck ist Müller?
          • Ontology Matching with PARIS
          • YAGO – eine digitale Wissensammlung
          • URDF – Efficient Reasoning in Uncertain RDF Knowledge Bases
          • EnBlogue – What is New and Interesting in Web 2.0 ?
        • Multimodal Information & Visualization
          • Perzeptuelle Herstellung
          • Digitale Fabrikation von deformierbaren Bildschirmen und berührungsempfi ndlichen Sensoren
          • Modelle und Techniken zur Verbesserung von Stereo- und HDR-Bildern
          • Rendering in Echtzeit
          • PICASSO – Soundtrack Recommendation for Images
          • Computational Photography
          • Calibrated Display Management
          • Recognizing Human Activity
          • Correspondences and Symmetry in 3D Scenes
          • Flow Analysis
          • Optimizing User Interfaces for Human Performance
        • Optimization
          • Bessere Flachbildschirme dank diskreter Optimierung
          • Energieeffi ziente Algorithmen
          • Von Routenplanung zu Preisfindung und Lernen: Warum sind diese Probleme schwer zu berechnen?
          • Computation of Equilibrium Prices
          • Regelbasierte Produktkonfi guration
          • Approximation Algorithms for Profi t-maximizing Pricing Problems
          • Query Complexity: From Theory of Evolutionary Algorithms to Mastermind
          • Optimality in Matching Problems
        • Software
          • EpiExplorer and RnBeads: Integrative Analysis of Epigenomic Data
          • RDF-3X – Fast Searches for Semantic Data
          • Markerless Performance Capture
        • 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
        • New Lise Meitner Awardees 2018
        • Lise Meitner Award Fellowship 2018
        • Promotionsstelle am Max-Planck-Institut für Informatik in Saarbrücken
        • Lise Meitner Awardees 2016
        • Joint Research Fellowships with the Simons Institute
    • Abteilungen
      • Algorithms & Complexity
        • People
          • Former Members
        • Research
          • Combinatorics, Computing, and Randomness
          • Combinatorial Optimization
          • Geometry and Algebra
          • Algorithmic Game Theory
          • Theory of Distributed and Embedded Systems
        • Offers
        • Teaching
          • Summer 2018
            • Keeping Time in Distributed Systems
            • Selected Topics in Fine-Grained Complexity Theory
            • A first introduction to geometric complexity theory
            • Optimization
            • Reading Group Algorithms
          • Winter 2017/2018
            • Ideen und Konzepte der Informatik
            • Computer Algebra
            • Algorithmic Game Theory, Mechanism Design and Computational Economics
            • Fine-Grained Complexity Theory
            • Theory of Distributed Systems
          • Summer 2017
            • Optimization
            • Approximation Algorithms
            • Introduction to Geometric Complexity Theory
            • Reading Group Algorithms
        • Talks & Events
        • Publications
          • Current Year
          • Last Year
          • The Year Before Last
          • Reports
        • Useful Links
        • ADFOCS
        • HDT 2017
      • Computer Vision and Multimodal Computing
        • People
          • Bernt Schiele
          • Connie Balzert
          • Zeynep Akata
          • Bjoern Andres
          • Andreas Bulling
          • Mario Fritz
          • Gerard Pons-Moll
          • Paul Swoboda
          • Thiemo Alldieck
          • Apratim Bhattacharyya
          • Alina Dima
          • Yang He
          • Andrea Hornakova
          • Michael Huang
          • Eldar Insafutdinov
          • Anna Khoreva
          • Jan-Hendrik Lange
          • Evgeny Levinkov
          • Wenbin Li
          • Max Losch
          • Philipp Müller
          • Seong Joon Oh
          • Mohamed Omran
          • Tribhuvanesh Orekondy
          • Hosnieh Sattar
          • Rakshith Shetty
          • Julian Steil
          • David Stutz
          • Qianru Sun
          • Qiuhong Ke
          • Yongqin Xian
          • Xucong Zhang
          • Alumni and Former Members
            • Mykhaylo Andriluka
            • Stavros Antifakos
            • Rodrigo Benenson
            • Ulf Blanke
            • Victoria Carlsson
            • Walon Wei-Chen Chiu
            • Gyuri Dorko
            • Sandra Ebert
            • Fabio Galasso
            • Peter Gehler
            • Sabrina Hoppe
            • Jan Hosang
            • Tam Huynh
            • Nicky Kern
            • Hannes Kruppa
            • Maksim Lapin
            • Diane Larlus
            • Bastian Leibe
            • Nikodem Majer
            • Mateusz Malinowski
            • Florian Michahelles
            • Krystian Mikolajczyk
            • Bojan Pepik
            • Leonid Pishchulin
            • Anna Rohrbach
            • Marcus Rohrbach
            • Paul Schnitzpan
            • Edgar Seemann
            • Abhishek Sharma
            • Gaurav Sharma
            • Martin Šimonovský
            • Martin Spengler
            • Michael Stark
            • Ulrich Steinhoff
            • Maja Stikic
            • Yusuke Sugano
            • Siyu Tang
            • Elena Tretyak
            • Kristof Van Laerhoven
            • Julia Vogel
            • Stefan Walk
            • Christian Wojek
            • Shanshan Zhang
            • Andreas Zinnen
        • Research
          • People Detection, Pose Estimation and Tracking
            • How Far are We from Solving Pedestrian Detection?
            • Person Recognition in Personal Photo Collections
            • Taking a Deeper Look at Pedestrians
            • Poselet Conditioned Pictorial Structures
            • Articulated People Detection and Pose Estimation
            • Leveraging 3D Body Model for Training Data Generation
            • Multi-view Pictorial Structures for 3D Human Pose Estimation
            • Learning People Detectors for Tracking in Crowded Scenes
            • People Detection and Tracking
            • Multi-Cue Onboard Pedestrian Detection
            • Pictorial Structures Revisited: People Dectection and Articulated Pose Estimation
            • Monocular 3D Pose Estimation and Tracking by Detection
            • People-Tracking-by-Detection and People-Detection-by-Tracking
            • Multiple People Tracking with Lifted Multicut and Person Re-identification
          • Visual Privacy
          • Zero-Shot Learning
            • Gaze Embeddings for Zero-Shot Image Classification
            • Feature Generating Networks for Zero-Shot Learning
            • Evaluation of Output Embeddings for Fine-Grained Image Classification
            • Learning Deep Representations of Fine-Grained Visual Descriptions
            • Multi-Cue Zero-Shot Learning with Strong Supervision
            • Latent Embeddings for Zero-shot Classification
            • Zero-Shot Learning - The Good, the Bad and the Ugly
          • Generative Models
            • Generating Visual Explanations
            • Generative Adversarial Text to Image Synthesis
            • Learning What and Where to Draw
          • Vision and Language
            • Grounded and Co-Referenced Characters
            • Diverse Captions with Adversarial Training
            • Xplore-M-Ego: Contextual Media Retrieval Using Natural Language Queries
            • Visual Turing Challenge
            • Learning Spatial Relations
            • TACoS Multi-Level Corpus
            • MPII Movie Description dataset
              • Request access to MPII Movie Description dataset
          • Human Activity Recognition
            • Social Relation Recognition
            • Discovery of Everyday Human Activities From Long-term Visual Behaviour Using Topic Models
            • MPII Cooking 2 Dataset
            • MPII Cooking Activities Dataset
            • MPII Cooking Composite Activities
            • MPIIEmo Dataset
            • Activity Spotting & Composite Activities
            • Recognition of Ongoing Complex Activities by Sequence Prediction over a Hierarchical Label Space
          • Knowledge Transfer and Semi-supervised Learning
            • Large-Scale Knowledge Transfer
            • Semantic Relatedness for Knowledge Transfer
            • Semi-supervised Learning in Image Collections
          • Weakly Supervised Learning
            • Weakly Supervised Object Boundaries
            • Simple does it: Weakly Supervised Instance and Semantic Segmentation
            • Learning Video Object Segmentation from Static Images
            • Lucid Data Dreaming for Object Tracking
          • Image Segmentation
            • Moral Lineage Tracing
            • Efficient Decomposition of Image and Mesh Graphs by Lifted Multicuts
            • Joint object and scene segmentation with dynamic CRFs
            • Sequential Bayesian Model Update under Structured Scene Prior
          • Video Segmentation
            • VSB100: A Unified Video Segmentation Benchmark
            • Video Segmentation with Superpixels
            • Learning Must-Link Constraints for Video Segmentation
            • Spectral graph reduction
            • Classifier Based Graph Construction for Video Segmentation
            • Improved Image Boundaries for Better Video Segmentation
            • Multi-Class Video Co-Segmentation
            • RGBD Semantic Segmentation Using Spatio-Temporal Data-Driven Pooling
            • Learning Video Object Segmentation from Static Images
            • Lucid Data Dreaming for Object Tracking
            • Video Object Segmentation with Language Referring Expressions
          • Object Recognition and Scene Understanding
            • Learning Non-Maximum Suppression
            • Loss Functions for Top-k Error
            • Top-k Multiclass SVM
            • Output Kernel Learning
            • Cityscapes Dataset
            • What makes for effective detection proposals?
            • Object Disambiguation for Augmented Reality Applications
            • Differentiating HOG
            • Cross-Modal Stereo by Using Kinect
            • Scalable Multitask Representation Learning for Scene Classification
            • Learning Using Privileged Information: SVM+ and Weighted SVM
            • Learning Smooth Pooling Regions for Visual Recognition
            • Recognizing Materials from Virtual Examples
            • MPII Multi-Kinect Dataset
            • Teaching 3D Geometry to Deformable Part Models
            • Image Warping For Face Recognition
            • Addressing scalability in object recognition
            • Monocular Scene Understanding from Moving Platforms
          • Gaze-Based Human-Computer Interaction
            • Fixation Detection for Head-Mounted Eye Tracking Based on Visual Similarity of Gaze Targets
            • 3D Gaze Estimation from 2D Pupil Positions on Monocular Head-Mounted Eye Trackers
            • Prediction of Search Targets From Fixations in Open-World Settings
            • Appearance-Based Gaze Estimation in the Wild
            • It’s Written All Over Your Face: Full-Face Appearance-Based Gaze Estimation
            • Labelled Pupils in the Wild (LPW)
        • Offers
        • Teaching
          • Courses
          • Theses
        • Publications
          • Current Year
          • Last Year
          • The Year Before Last
        • Software and Datasets
        • D2 Wiki
      • Computational Biology & Applied Algorithmics
        • People
        • Research Topics
        • Research Groups
          • Computational Biology and Applied Algorithmics
          • Molecular Networks in Medical Bioinformatics (former group)
          • Computational Epigenetics
          • Structural Bioinformatics of Protein Interactions
          • Statistical Learning in Computational Biology
          • High-Throughput Genomics and Systems Biology
          • Algorithms for Computational Genomics
        • Software
        • Teaching
        • Talks & Events
        • Publications
          • Current Year
          • Last Year
          • The Year Before Last
          • Research Reports
        • Useful Links
        • D3 Intranet
      • Computer Graphics
        • People
        • Research
          • Images and Geometry
          • Perception, Display, and Fabrication
          • High Dynamic Range Imaging
          • Human-Computer Interaction and Interactive Technologies
          • Graphics, Vision & Video
        • Offers
        • Teaching
        • Publications
          • Current Year
          • Last Year
          • The Year Before Last
          • Research Reports
        • Software
        • Useful Links
        • D4 Intranet
        • CG-Lunch Talks
      • Databases and Information Systems
        • People
          • Former Members and Guests
        • Research
          • Question Answering
          • YAGO-NAGA
            • AIDA
              • Downloads
              • Webservice
            • AMIE
            • ANGIE
            • DEANNA
            • Equity
            • Espresso
            • EVIN
            • HIGGINS
            • HYENA
            • IBEX
            • Javatools
            • K2
            • Know2Look
            • Le Monde
            • LEILA
            • NAGA
              • patty
            • PATTY
            • PRAVDA
            • PROSPERA
            • RDF-3X
            • SOFIE
            • STICS
            • TimeSEA
            • UWN
            • Watermarking
            • WebChild
              • HowToKB
            • YAGO
              • Overview
              • Demo
              • Downloads
              • Statistics
              • Publications
              • Linking
              • Archive
              • Acknowledgements
              • FAQ
          • Google Award
          • imPACT
            • Web Credibility Analysis
            • Probabilistic Graphical Models for Credibility Analysis
            • Credibility Analysis in News Communities
            • Credibility Analysis in Health Communities
        • Offers
        • Teaching
          • Winter Semester 2017/18
            • Information Retrieval and Data Mining
            • Tensors in Data Analysis
            • Knowledge Bases
            • Knowledge Representation for the Semantic Web
          • Summer Semester 2017
            • Data Mining and Matrices
          • Winter Semester 2016/17
            • Master Seminar
            • Information Extraction
            • Binary Factorizations in Data Mining
        • News & Events
        • Publications
          • Current Year
          • Last Year
          • The Year Before Last
          • Research Reports
        • Software
          • AIDA
          • BINGO!
          • ClausIE
          • INEX
          • MENTOR-lite
          • MG-FSM
          • MINERVA
          • RDF-3X
          • TopX
          • TPDBlearn
          • TriAD
          • YAGO
      • Internet Architecture
        • People
          • Anja Feldmann
          • Rainer May
          • Florian Streibelt
        • Research
        • Offers
      • Automation of Logic
        • People
          • Gabor Alagi
          • Jasmin Christian Blanchette
          • Martin Bromberger
          • Mathias Fleury
          • Thomas Sturm
          • Andreas Teucke
          • Sophie Tourret
          • Marco Voigt
          • Uwe Waldmann
          • Christoph Weidenbach
          • Alumni
          • Guests
        • Research Areas
          • Arithmetic Reasoning
            • Project SMArT
          • Automated Verification
          • Combinations of Deductive Systems
          • Decidable Fragments
          • First-Order Model Checking
          • First-Order Theorem Proving
          • Local Reasoning
        • Offers
        • Teaching
          • Summer 2018
          • Winter 2017/2018
          • Summer 2017
            • Automated Reasoning II
          • Winter 2016/2017
            • Automated Reasoning
              • Literature
              • Exercises and Tutorials
          • Summer 2016
            • SAT: Propositionale Erfüllbarkeit und Mehr
          • Winter 2015/2016
          • Summer 2015
            • Decision Procedures
          • Earlier Terms
          • Former Lectures of D2
        • Talks & Events
          • Past Events
        • Projects
        • Publications
          • Current Year
          • Last Year
          • The Year Before Last
          • Research Reports
        • Software
          • SPASS Workbench
            • SPASS-IQ
            • Classic SPASS Theorem Prover
              • Tutorial
              • Download
              • Prototypes and Experiments
              • Publications
            • Useful Links
            • (Hi)Story
            • Contact
            • Automation of Logic
          • Waldmeister
            • People
            • Implementation
            • Recipes
            • References
            • Download
            • Primer
            • Try now!
        • Useful Links
          • Organizations
          • Conferences
          • Projects
          • Bibliography Servers
        • RG1 Intranet
    • Publikationen
      • D1 - Algorithms & Complexity
      • D2 - Computer Vision and Multimodal Computing
      • D3 - Computational Biology & Applied Algorithmics
      • D4 - Computer Graphics
      • D5 - Databases and Information Systems
      • Automation of Logic
      • Research Reports
      • IMPRS-CS
        • IMPRS-CS Publications
          • Master Thesis
          • PhD Thesis
        • Current Year
        • Last Year
        • The Year Before Last
    • Personen
    • Software
    • Dienste
      • Gemeinsame Verwaltung
      • - Information Services and Technology
      • - Haus und Technik
      • - Bibliothek
      • - Öffentlichkeitsarbeit
      • Forschungskoordination
      • Chancengerechtigkeit
        • Allgemeine Informationen
        • Veranstaltungen
        • Fortbildungsveranstaltungen der MPG
        • Förderung und Karriereentwicklung
        • Vereinbarkeit Familie und Beruf
      • Beauftragte
      • Ombudsmann für gute wissenschaftliche Praxis und Promotionsangelegenheiten
      • International Office
        • Directions
        • Transportation
        • Hotels
        • Services
        • Living in Saarbrücken
        • Useful links
        • International Office - Intranet
    • 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
Copyright 2014 by Max Planck Institute for Informatics | Sitemap | Location | Imprint / Impressum | Data Protection / Datenschutzhinweis