#TitleLocationLast Modified
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
4Homehttps://www.tcs.ifi.lmu.de/2025-10-22
5Newshttps://www.tcs.ifi.lmu.de/news2025-07-31
6ERC Consolidator Grant für Forschungsprojekt über höherstufiges Theorembeweisenhttps://www.tcs.ifi.lmu.de/news/erc-consolidator-grant-fuer-forschungsprojekt-ueber-hoeherstufiges-theorembeweisen2025-07-31
7Job Advertisement: Looking for an Exam Graderhttps://www.tcs.ifi.lmu.de/news/stellenausschreibung-wise-2025-20262025-10-16
8Forschunghttps://www.tcs.ifi.lmu.de/research2025-08-01
9abgeschlossene Projektehttps://www.tcs.ifi.lmu.de/research/abgeschlossene-projekte2025-08-01
10Aktuelle Projektehttps://www.tcs.ifi.lmu.de/research/aktuelle-projekte2025-08-01
11Mitarbeitendehttps://www.tcs.ifi.lmu.de/staff2025-08-01
12Alexandra Graßhttps://www.tcs.ifi.lmu.de/staff/alexandra-grass2025-08-01
13Balazs Tothhttps://www.tcs.ifi.lmu.de/staff/balazs-toth2025-08-01
14Daniel Schmidthttps://www.tcs.ifi.lmu.de/staff/daniel-schmidt2025-08-01
15Elisabeth Lempahttps://www.tcs.ifi.lmu.de/staff/elisabeth-lempa2025-08-01
16Jasmin Blanchettehttps://www.tcs.ifi.lmu.de/staff/jasmin-blanchette2025-08-01
17Luca Maiohttps://www.tcs.ifi.lmu.de/staff/luca-maio2025-08-01
18Lydia Kondylidouhttps://www.tcs.ifi.lmu.de/staff/lydia-kondylidou2025-08-01
19Martin Desharnais-Schäferhttps://www.tcs.ifi.lmu.de/staff/martin-desharnais-schaefer2025-08-01
20Martin Hoffmannhttps://www.tcs.ifi.lmu.de/staff/martin-hoffmann2025-08-01
21Massin Guerdihttps://www.tcs.ifi.lmu.de/staff/massin-guerdi2025-08-01
22Michael Kirstenhttps://www.tcs.ifi.lmu.de/staff/michael-kirsten2025-08-01
23Patricia Dewhirsthttps://www.tcs.ifi.lmu.de/staff/patricia-dewhirst2025-08-01
24Xavier Genereuxhttps://www.tcs.ifi.lmu.de/staff/xavier-genereux2025-08-01
25Yiming Xuhttps://www.tcs.ifi.lmu.de/staff/yiming-xu2025-08-01
26Lehrehttps://www.tcs.ifi.lmu.de/teaching2025-08-01
27Sommersemester 2023https://www.tcs.ifi.lmu.de/teaching/courses-ss-20232025-08-20
28Fromale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/formale-sprachen-und-komplexitaet2025-08-20
29Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/logik-und-diskrete-strukturen2025-08-20
30Theoretische Informatik für Medieninformatikerhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/theoretische-informatik-fuer-medieninformatiker2025-08-20
31Sommersemester 2024https://www.tcs.ifi.lmu.de/teaching/courses-ss-20242025-08-20
32Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/algebra-and-computer-science2025-08-12
33Cryptographyhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/cryprography2025-08-20
34Dependent Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/dependend-type-theory2025-08-20
35Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/formale-sprachen-und-komplexitaet2025-08-20
36Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/functional-pearls2025-08-12
37Interactive Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/interactive-theorem-proving2025-08-20
38Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/logik-und-diskrete-strukturen2025-10-16
39Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/theoretische-informatik-fuer-studierende-der-medieninformatik2025-08-12
40Sommersemester 2025https://www.tcs.ifi.lmu.de/teaching/courses-ss-20252025-08-04
41Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/algebra_and_computer_science2025-08-04
42Automated Theorem Provershttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/automated_theorem_provers2025-08-04
43Cryptographyhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/cryptography2025-08-04
44Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/formale-sprachen-und-komplexitaet2025-09-30
45Interactive Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/interactive_theorem_proving2025-08-04
46Logik und Diskrete Strukturenhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/logik-und-diskrete-strukturen2025-08-04
47Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/theoretische_informatik_fuer_studierende_der_medieninformatik2025-08-04
48Sommersemester 2026https://www.tcs.ifi.lmu.de/teaching/courses-ss-20262025-10-22
49Algebra and Computer Sciencehttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/algebra_and_computer_science2025-08-04
50Automated Theorem Provershttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/automated_theorem_provers2025-08-04
51Cryptographyhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/cryptography2025-08-04
52Formale Sprachen und Komplexitäthttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/formale-sprachen-und-komplexitaet2025-09-30
53Theoretische Informatik für Studierende der Medieninformatikhttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/theoretische_informatik_fuer_studierende_der_medieninformatik2025-08-04
54Theory and Security of Voting Systemshttps://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/theory_and_security_of_voting_systems2025-08-04
55Wintersemester 2023/24https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-242025-08-19
56Basics of Theorem Proving Using Coqhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/basics-of-theorem-proving-using-coq2025-10-16
57Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-pearls2025-10-16
58Functional Programming and Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-programming-and-type-theory2025-10-16
59SAT Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/sat-solving2025-10-16
60Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-10-16
61Wintersemester 2024/25https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-252025-08-13
62Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/automated-theorem-proving2025-10-16
63Complexity Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/complexity-theory2025-10-16
64Einführung in die Programmierunghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/einfuehrung-in-die-programmierung2025-10-16
65Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/formalisation-in-lean2025-10-16
66Functional Programming and Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/functional-programming-and-type-theory2025-10-16
67Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/python-fuer-anfaenger2025-10-16
68Software Foundationshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/software-foundations2025-10-16
69Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-10-16
70Wintersemester 2025/26https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-262025-08-04
71Automated Theorem Provinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/automated-theorem-proving2025-08-20
72Formalization in Leanhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/formalization-in-lean2025-08-20
73Functional Pearlshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/functional-pearls2025-08-04
74Mobile Application Developmenthttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/mobile-application-development2025-10-16
75Python für Anfängerhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/python-fuer-anfaenger2025-08-04
76Sat Solvinghttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/sat-solving2025-08-20
77Satisfiability Modulo Theorieshttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/satisfiability-modulo-theories2025-10-20
78Scientific 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
79Softwareentwicklungspraktikum für Informatik im Nebenfachhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach2025-08-20
80Type Theoryhttps://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/type-theory2025-08-20
81Ältere Vorlesungenhttps://www.tcs.ifi.lmu.de/teaching/earlier-courses2025-08-19
82Sommersemester 2016https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20162025-10-16
83Sommersemester 2017https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20172025-10-16
84Sommersemester 2018https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20182025-10-16
85Sommersemester 2019https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20192025-10-16
86Sommersemester 2020https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20202025-10-16
87Sommersemester 2021https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20212025-10-16
88Sommersemester 2022https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-20222025-08-19
89Wintersemester 2016/17https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2016-172025-10-16
90Wintersemester 2017/18https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2017-182025-10-16
91Wintersemester 2018/19https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2018-192025-10-16
92Wintersemester 2019/20https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2019-202025-10-16
93Wintersemester 2020/21https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2020-212025-10-16
94Wintersemester 2021/22https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2021-222025-10-16
95Wintersemester 2022/23https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2022-232025-08-19
96Abschlussarbeitenhttps://www.tcs.ifi.lmu.de/teaching/theses2025-08-05
97TCS Leitfaden für Abschlussarbeitenhttps://www.tcs.ifi.lmu.de/teaching/theses/leitfaden-fuer-abschlussarbeiten2025-10-17

News

To top