Automation of Logic

Research Group 1 of the Max Planck Institute for Informatics

The research of this group concentrates on automated deduction in (subsets of) first-order logic. On the theoretical side, the work is focused on the development, analysis, and combination of logical calculi. Practically, the group is concerned with the implementation of powerful automated theorem provers and other deductive systems and their application. One central application area is computer-aided verification of hardware and software.

Overview

People

Who Is Who? - Secretaries, Researchers, Students, Guests, Former Group Members, Former Students, and Former Guests

Research Areas

What We Work on - Who Works in Which Area?

Offers

Positions, Long Term Visits, Postdoc Positions, Ph.D. Applications, Internships and Other Offers

Teaching

Lectures, Seminars, Bachelor and Master Theses

Talks & Events

Seminar Program, Advanced Mini Courses

Projects
Publications

PhD Theses, Diploma Theses, Publications of Group Members

Software

Current and Past Software Projects with Participation of Group Members

Useful Links

Useful Links to External Resources

RG1 Intranet