#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
63Wintersemester 2023/24https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-242025-08-19
64Basics of Theorem Proving Using Coqhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/basics-of-theorem-proving-using-coq2025-10-16
65Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-pearls2025-10-16
66Functional Programming and Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-programming-and-type-theory2025-10-16
67SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/sat-solving2025-10-16
68Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-10-16
69Wintersemester 2024/25https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-252025-08-13
70Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/automated-theorem-proving2026-05-01
71Complexity Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/complexity-theory2026-05-01
72Einführung in die Programmierunghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/einfuehrung-in-die-programmierung2026-05-01
73Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/formalisation-in-lean2026-05-01
74Functional Programming and Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/functional-programming-and-type-theory2026-05-01
75Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/python-fuer-anfaenger2026-05-01
76Basics of Theorem Proving Using Coqhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/software-foundations2026-05-01
77Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2026-05-01
78Wintersemester 2025/26https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-262025-08-04
79Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/automated-theorem-proving2025-08-20
80Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/formalization-in-lean2025-08-20
81Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/functional-pearls2025-08-04
82Mobile Application Developmenthttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/mobile-application-development2026-04-23
83Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/python-fuer-anfaenger2025-08-04
84SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/sat-solving2025-08-20
85Satisfiability Modulo Theorieshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/satisfiability-modulo-theories2026-05-01
86Scientific 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
87Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-08-20
88Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/type-theory2025-08-20
89Wintersemester 2026/27https://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-272025-08-04
90Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/automated-theorem-proving2025-08-20
91Category Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/category-theory2025-08-20
92Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/formalization-in-lean2025-08-20
93Logic for Securityhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/logic-for-security2025-08-04
94Mobile Application Developmenthttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/mobile-application-development2026-08-27
95Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/python-fuer-anfaenger2025-08-04
96SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/sat-solving2025-08-20
97Scientific and Technical Englishhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/scientific-and-technical-english2025-08-04
98Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-08-20
99Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2026-27/type-theory2025-08-20
100Ältere Vorlesungenhttps://www.tcs.ifi.lmu.de/teaching/earlier-courses2025-08-19
101Sommersemester 2016https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20162025-10-16
102Sommersemester 2017https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20172025-10-16
103Sommersemester 2018https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20182025-10-16
104Sommersemester 2019https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20192025-10-16
105Sommersemester 2020https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20202025-10-16
106Sommersemester 2021https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20212025-10-16
107Sommersemester 2022https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20222025-08-19
108Wintersemester 2016/17https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2016-172025-10-16
109Wintersemester 2017/18https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2017-182026-08-26
110Wintersemester 2018/19https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2018-192025-10-16
111Wintersemester 2019/20https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2019-202025-10-16
112Wintersemester 2020/21https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2020-212025-10-16
113Wintersemester 2021/22https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2021-222025-10-16
114Wintersemester 2022/23https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2022-232025-08-19
115Abschlussarbeitenhttps://www.tcs.ifi.lmu.de/teaching/theses2025-08-05
116Leitfaden für Abschlussarbeitenhttps://www.tcs.ifi.lmu.de/teaching/theses/leitfaden-fuer-abschlussarbeiten2025-10-17
To top