#TitelOrtZuletzt geändert
1Footerlinkshttps://www.tcs.ifi.lmu.de/footerlinks2025-07-31
2Datenschutzhttps://www.tcs.ifi.lmu.de/footerlinks/datenschutz2025-08-06
3Impressumhttps://www.tcs.ifi.lmu.de/footerlinks/impressum2025-07-31
4Lehr- und Forschungseinheit für Theoretische Informatik & Theorembeweisen (Theoretical Computer Science & Theorem Proving) | LMU Münchenhttps://www.tcs.ifi.lmu.de/2025-10-22
5Lehrehttps://www.tcs.ifi.lmu.de/teaching2025-08-01
6Newshttps://www.tcs.ifi.lmu.de/news2025-07-31
7Congratulations to David Schmutz on Best Bachelor Thesis Prizehttps://www.tcs.ifi.lmu.de/news/chomsky-tool2025-10-16
8Congratulations to Dr. Jan Johannsen on His Successful Habilitationhttps://www.tcs.ifi.lmu.de/news/habilitation-johannsen2025-10-16
9Job Advertisement: Looking for an Exam Graderhttps://www.tcs.ifi.lmu.de/news/stellenausschreibung-wise-2025-20262025-10-16
10Forschunghttps://www.tcs.ifi.lmu.de/research2025-08-01
11Abgeschlossene Projektehttps://www.tcs.ifi.lmu.de/research/abgeschlossene-projekte2025-08-01
12Aktuelle Projektehttps://www.tcs.ifi.lmu.de/research/aktuelle-projekte2025-08-01
13Mitarbeitendehttps://www.tcs.ifi.lmu.de/staff2025-08-01
14Alexandra Graßhttps://www.tcs.ifi.lmu.de/staff/alexandra-grass2025-08-01
15Alumnae und Alumnihttps://www.tcs.ifi.lmu.de/staff/alumnae_und_alumni2026-09-11
16Elisabeth Lempahttps://www.tcs.ifi.lmu.de/staff/alumnae_und_alumni/elisabeth-lempa2025-08-01
17Martin Hofmannhttps://www.tcs.ifi.lmu.de/staff/alumnae_und_alumni/martin-hofmann2025-08-01
18Balazs Tothhttps://www.tcs.ifi.lmu.de/staff/balazs-toth2025-08-01
19Daniel Schmidthttps://www.tcs.ifi.lmu.de/staff/daniel-schmidt2025-08-01
20Jasmin Blanchettehttps://www.tcs.ifi.lmu.de/staff/jasmin-blanchette2025-08-01
21Luca Maiohttps://www.tcs.ifi.lmu.de/staff/luca-maio2025-08-01
22Lydia Kondylidouhttps://www.tcs.ifi.lmu.de/staff/lydia-kondylidou2025-08-01
23Martin Desharnais-Schäferhttps://www.tcs.ifi.lmu.de/staff/martin-desharnais-schaefer2025-08-01
24Massin Guerdihttps://www.tcs.ifi.lmu.de/staff/massin-guerdi2025-08-01
25Michael Kirstenhttps://www.tcs.ifi.lmu.de/staff/michael-kirsten2026-01-08
26Publicationshttps://www.tcs.ifi.lmu.de/staff/michael-kirsten/publications2026-08-12
27Moritz Rooshttps://www.tcs.ifi.lmu.de/staff/moritz-roos2025-08-01
28Patricia Dewhirsthttps://www.tcs.ifi.lmu.de/staff/patricia-dewhirst2025-08-01
29Tanguy Bozechttps://www.tcs.ifi.lmu.de/staff/tanguy-bozec2025-08-01
30Xavier Genereuxhttps://www.tcs.ifi.lmu.de/staff/xavier-genereux2025-08-01
31Yiming Xuhttps://www.tcs.ifi.lmu.de/staff/yiming-xu2025-08-01
32Sommersemester 2023https://www.tcs.ifi.lmu.de/teaching/courses-ss-20232025-08-20
33Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/formale-sprachen-und-komplexitaet2025-08-20
34Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/logik-und-diskrete-strukturen2025-08-20
35Theoretische Informatik für Medieninformatikerhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/theoretische-informatik-fuer-medieninformatiker2025-08-20
36Sommersemester 2024https://www.tcs.ifi.lmu.de/teaching/courses-ss-20242025-08-20
37Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/algebra-and-computer-science2025-08-12
38Cryptographyhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/cryprography2025-08-20
39Dependent Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/dependent-type-theory2025-08-20
40Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/formale-sprachen-und-komplexitaet2025-08-20
41Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/functional-pearls2025-08-12
42Interactive Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/interactive-theorem-proving2025-08-20
43Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/logik-und-diskrete-strukturen2025-10-16
44Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/theoretische-informatik-fuer-studierende-der-medieninformatik2025-08-12
45Sommersemester 2025https://www.tcs.ifi.lmu.de/teaching/courses-ss-20252025-08-04
46Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/algebra_and_computer_science2025-08-04
47Automated Theorem Provershttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/automated_theorem_provers2025-08-04
48Cryptographyhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/cryptography2025-08-04
49Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/formale-sprachen-und-komplexitaet2025-09-30
50Interactive Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/interactive_theorem_proving2025-08-04
51Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/logik-und-diskrete-strukturen2025-08-04
52Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/theoretische_informatik_fuer_studierende_der_medieninformatik2025-08-04
53Sommersemester 2026https://www.tcs.ifi.lmu.de/teaching/courses-ss-20262025-10-22
54Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/algebra-and-computer-science2025-08-04
55Automated Theorem Provershttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/automated-theorem-provers2025-08-04
56Cryptographyhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/cryptography2025-08-04
57Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/formale-sprachen-und-komplexitaet2025-09-30
58Interactive Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/interactive-theorem-proving2025-08-04
59Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/logik-und-diskrete-strukturen2026-08-04
60Programming in Prologhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/programming-in-prolog2025-08-04
61Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/theoretische-informatik-fuer-studierende-der-medieninformatik2025-08-04
62Theory and Security of Voting Systemshttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/theory-and-security-of-voting-systems2025-08-04
63Sommersemester 2027https://www.tcs.ifi.lmu.de/teaching/courses-ss-20272026-10-19
64Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/algebra-and-computer-science2026-10-19
65Automated Theorem Provershttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/automated-theorem-provers2026-10-19
66Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/formale-sprachen-und-komplexitaet2026-10-19
67Interactive Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/interactive-theorem-proving2026-10-19
68Programmierung und Modellierunghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/programmierung-und-modellierung2026-10-19
69Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/theoretische-informatik-fuer-studierende-der-medieninformatik2026-10-19
70Theory and Security of Voting Systemshttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/theory-and-security-of-voting-systems2026-10-19
71Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2027/type-theory2026-10-19
72Wintersemester 2023/24https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-242025-08-19
73Basics of Theorem Proving Using Coqhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/basics-of-theorem-proving-using-coq2025-10-16
74Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-pearls2025-10-16
75Functional Programming and Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-programming-and-type-theory2025-10-16
76SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/sat-solving2025-10-16
77Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-10-16
78Wintersemester 2024/25https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-252025-08-13
79Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/automated-theorem-proving2026-05-01
80Complexity Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/complexity-theory2026-05-01
81Einführung in die Programmierunghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/einfuehrung-in-die-programmierung2026-05-01
82Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/formalisation-in-lean2026-05-01
83Functional Programming and Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/functional-programming-and-type-theory2026-05-01
84Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/python-fuer-anfaenger2026-05-01
85Basics of Theorem Proving Using Coqhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/software-foundations2026-05-01
86Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2026-05-01
87Wintersemester 2025/26https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-262025-08-04
88Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/automated-theorem-proving2025-08-20
89Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/formalization-in-lean2025-08-20
90Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/functional-pearls2025-08-04
91Mobile Application Developmenthttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/mobile-application-development2026-04-23
92Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/python-fuer-anfaenger2025-08-04
93SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/sat-solving2025-08-20
94Satisfiability Modulo Theorieshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/satisfiability-modulo-theories2026-05-01
95Scientific and Technical English for Computer Scientistshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/scientific-and-technical-english-for-computer-scientists2025-08-04
96Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-08-20
97Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/type-theory2025-08-20
98Wintersemester 2026/27https://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-272025-08-04
99Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/automated-theorem-proving2025-08-20
100Category Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/category-theory2025-08-20
101Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/formalization-in-lean2025-08-20
102Logic for Securityhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/logic-for-security2025-08-04
103Mobile Application Developmenthttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/mobile-application-development2026-10-19
104Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/python-fuer-anfaenger2025-08-04
105SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/sat-solving2025-08-20
106Scientific and Technical Englishhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/scientific-and-technical-english2025-08-04
107Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-08-20
108Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/type-theory2025-08-20
109Ältere Vorlesungenhttps://www.tcs.ifi.lmu.de/teaching/earlier-courses2025-08-19
110Sommersemester 2016https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20162025-10-16
111Sommersemester 2017https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20172025-10-16
112Sommersemester 2018https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20182025-10-16
113Sommersemester 2019https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20192025-10-16
114Sommersemester 2020https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20202025-10-16
115Sommersemester 2021https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20212025-10-16
116Sommersemester 2022https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20222025-08-19
117Wintersemester 2016/17https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2016-172025-10-16
118Wintersemester 2017/18https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2017-182026-08-26
119Wintersemester 2018/19https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2018-192025-10-16
120Wintersemester 2019/20https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2019-202025-10-16
121Wintersemester 2020/21https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2020-212025-10-16
122Wintersemester 2021/22https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2021-222025-10-16
123Wintersemester 2022/23https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2022-232025-08-19
124Abschlussarbeitenhttps://www.tcs.ifi.lmu.de/teaching/theses2025-08-05
125Leitfaden für Abschlussarbeitenhttps://www.tcs.ifi.lmu.de/teaching/theses/leitfaden-fuer-abschlussarbeiten2025-10-17
To top