Submitted by: PD Dr. Christoph Benzmüller, Max Wisniewski, and Alexander Steen, Institute of Computer Science

The teaching project will take an interdisciplinary approach to introduce students to the current state of research in logic: The research-oriented course for students in master's programs in philosophy, mathematics, and computer science aims, among other things, to introduce them to computer-based proof-assistant systems.

More information:

Computational Metaphysics - Lecture + Tutorial in Summer 2016