I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Logic
held by: Univ.-Prof. Dr. Dr. h.c. Javier Esparza
Dr. Marijana Lazic
M.Sc. Christoph Welzel
held in: SS 2020
news: Check out the moodle page for more information.
more information: https://www.moodle.tum.de/