| 1 | Footerlinks | https://www.tcs.ifi.lmu.de/footerlinks | 2025-07-31 |
| 2 | Datenschutz | https://www.tcs.ifi.lmu.de/footerlinks/datenschutz | 2025-08-06 |
| 3 | Impressum | https://www.tcs.ifi.lmu.de/footerlinks/impressum | 2025-07-31 |
| 4 | Lehr- und Forschungseinheit für Theoretische Informatik & Theorembeweisen (Theoretical Computer Science & Theorem Proving) | LMU München | https://www.tcs.ifi.lmu.de/ | 2025-10-22 |
| 5 | Lehre | https://www.tcs.ifi.lmu.de/teaching | 2025-08-01 |
| 6 | News | https://www.tcs.ifi.lmu.de/news | 2025-07-31 |
| 7 | Congratulations to David Schmutz on Best Bachelor Thesis Prize | https://www.tcs.ifi.lmu.de/news/chomsky-tool | 2025-10-16 |
| 8 | Congratulations to Dr. Jan Johannsen on His Successful Habilitation | https://www.tcs.ifi.lmu.de/news/habilitation-johannsen | 2025-10-16 |
| 9 | Job Advertisement: Looking for an Exam Grader | https://www.tcs.ifi.lmu.de/news/stellenausschreibung-wise-2025-2026 | 2025-10-16 |
| 10 | Forschung | https://www.tcs.ifi.lmu.de/research | 2025-08-01 |
| 11 | Abgeschlossene Projekte | https://www.tcs.ifi.lmu.de/research/abgeschlossene-projekte | 2025-08-01 |
| 12 | Aktuelle Projekte | https://www.tcs.ifi.lmu.de/research/aktuelle-projekte | 2025-08-01 |
| 13 | Mitarbeitende | https://www.tcs.ifi.lmu.de/staff | 2025-08-01 |
| 14 | Alexandra Graß | https://www.tcs.ifi.lmu.de/staff/alexandra-grass | 2025-08-01 |
| 15 | Balazs Toth | https://www.tcs.ifi.lmu.de/staff/balazs-toth | 2025-08-01 |
| 16 | Daniel Schmidt | https://www.tcs.ifi.lmu.de/staff/daniel-schmidt | 2025-08-01 |
| 17 | Elisabeth Lempa | https://www.tcs.ifi.lmu.de/staff/elisabeth-lempa | 2025-08-01 |
| 18 | Jasmin Blanchette | https://www.tcs.ifi.lmu.de/staff/jasmin-blanchette | 2025-08-01 |
| 19 | Luca Maio | https://www.tcs.ifi.lmu.de/staff/luca-maio | 2025-08-01 |
| 20 | Lydia Kondylidou | https://www.tcs.ifi.lmu.de/staff/lydia-kondylidou | 2025-08-01 |
| 21 | Martin Desharnais-Schäfer | https://www.tcs.ifi.lmu.de/staff/martin-desharnais-schaefer | 2025-08-01 |
| 22 | Martin Hofmann | https://www.tcs.ifi.lmu.de/staff/martin-hofmann | 2025-08-01 |
| 23 | Massin Guerdi | https://www.tcs.ifi.lmu.de/staff/massin-guerdi | 2025-08-01 |
| 24 | Michael Kirsten | https://www.tcs.ifi.lmu.de/staff/michael-kirsten | 2026-01-08 |
| 25 | Publications | https://www.tcs.ifi.lmu.de/staff/michael-kirsten/publications | 2026-01-23 |
| 26 | Patricia Dewhirst | https://www.tcs.ifi.lmu.de/staff/patricia-dewhirst | 2025-08-01 |
| 27 | Tanguy Bozec | https://www.tcs.ifi.lmu.de/staff/tanguy-bozec | 2025-08-01 |
| 28 | Xavier Genereux | https://www.tcs.ifi.lmu.de/staff/xavier-genereux | 2025-08-01 |
| 29 | Yiming Xu | https://www.tcs.ifi.lmu.de/staff/yiming-xu | 2025-08-01 |
| 30 | Sommersemester 2023 | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2023 | 2025-08-20 |
| 31 | Formale Sprachen und Komplexität | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/formale-sprachen-und-komplexitaet | 2025-08-20 |
| 32 | Logik und Diskrete Strukturen | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/logik-und-diskrete-strukturen | 2025-08-20 |
| 33 | Theoretische Informatik für Medieninformatiker | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2023/theoretische-informatik-fuer-medieninformatiker | 2025-08-20 |
| 34 | Sommersemester 2024 | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024 | 2025-08-20 |
| 35 | Algebra and Computer Science | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/algebra-and-computer-science | 2025-08-12 |
| 36 | Cryptography | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/cryprography | 2025-08-20 |
| 37 | Dependent Type Theory | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/dependent-type-theory | 2025-08-20 |
| 38 | Formale Sprachen und Komplexität | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/formale-sprachen-und-komplexitaet | 2025-08-20 |
| 39 | Functional Pearls | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/functional-pearls | 2025-08-12 |
| 40 | Interactive Theorem Proving | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/interactive-theorem-proving | 2025-08-20 |
| 41 | Logik und Diskrete Strukturen | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/logik-und-diskrete-strukturen | 2025-10-16 |
| 42 | Theoretische Informatik für Studierende der Medieninformatik | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2024/theoretische-informatik-fuer-studierende-der-medieninformatik | 2025-08-12 |
| 43 | Sommersemester 2025 | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025 | 2025-08-04 |
| 44 | Algebra and Computer Science | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/algebra_and_computer_science | 2025-08-04 |
| 45 | Automated Theorem Provers | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/automated_theorem_provers | 2025-08-04 |
| 46 | Cryptography | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/cryptography | 2025-08-04 |
| 47 | Formale Sprachen und Komplexität | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/formale-sprachen-und-komplexitaet | 2025-09-30 |
| 48 | Interactive Theorem Proving | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/interactive_theorem_proving | 2025-08-04 |
| 49 | Logik und Diskrete Strukturen | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/logik-und-diskrete-strukturen | 2025-08-04 |
| 50 | Theoretische Informatik für Studierende der Medieninformatik | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2025/theoretische_informatik_fuer_studierende_der_medieninformatik | 2025-08-04 |
| 51 | Sommersemester 2026 | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026 | 2025-10-22 |
| 52 | Algebra and Computer Science | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/algebra-and-computer-science | 2025-08-04 |
| 53 | Automated Theorem Provers | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/automated-theorem-provers | 2025-08-04 |
| 54 | Cryptography | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/cryptography | 2025-08-04 |
| 55 | Formale Sprachen und Komplexität | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/formale-sprachen-und-komplexitaet | 2025-09-30 |
| 56 | Interactive Theorem Proving | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/interactive-theorem-proving | 2025-08-04 |
| 57 | Logik und Diskrete Strukturen | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/logik-und-diskrete-strukturen | 2025-08-04 |
| 58 | Programming in Prolog | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/programming-in-prolog | 2025-08-04 |
| 59 | Theoretische Informatik für Studierende der Medieninformatik | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/theoretische-informatik-fuer-studierende-der-medieninformatik | 2025-08-04 |
| 60 | Theory and Security of Voting Systems | https://www.tcs.ifi.lmu.de/teaching/courses-ss-2026/theory-and-security-of-voting-systems | 2025-08-04 |
| 61 | Wintersemester 2023/24 | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24 | 2025-08-19 |
| 62 | Basics of Theorem Proving Using Coq | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/basics-of-theorem-proving-using-coq | 2025-10-16 |
| 63 | Functional Pearls | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-pearls | 2025-10-16 |
| 64 | Functional Programming and Type Theory | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/functional-programming-and-type-theory | 2025-10-16 |
| 65 | SAT Solving | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/sat-solving | 2025-10-16 |
| 66 | Softwareentwicklungspraktikum für Informatik im Nebenfach | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2023-24/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach | 2025-10-16 |
| 67 | Wintersemester 2024/25 | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25 | 2025-08-13 |
| 68 | Automated Theorem Proving | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/automated-theorem-proving | 2026-01-26 |
| 69 | Complexity Theory | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/complexity-theory | 2025-10-16 |
| 70 | Einführung in die Programmierung | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/einfuehrung-in-die-programmierung | 2025-10-16 |
| 71 | Formalization in Lean | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/formalisation-in-lean | 2025-10-16 |
| 72 | Functional Programming and Type Theory | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/functional-programming-and-type-theory | 2025-10-16 |
| 73 | Python für Anfänger | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/python-fuer-anfaenger | 2025-10-16 |
| 74 | Software Foundations | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/software-foundations | 2025-10-16 |
| 75 | Softwareentwicklungspraktikum für Informatik im Nebenfach | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2024-25/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach | 2025-10-16 |
| 76 | Wintersemester 2025/26 | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26 | 2025-08-04 |
| 77 | Automated Theorem Proving | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/automated-theorem-proving | 2025-08-20 |
| 78 | Formalization in Lean | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/formalization-in-lean | 2025-08-20 |
| 79 | Functional Pearls | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/functional-pearls | 2025-08-04 |
| 80 | Mobile Application Development | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/mobile-application-development | 2025-11-03 |
| 81 | Python für Anfänger | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/python-fuer-anfaenger | 2025-08-04 |
| 82 | SAT Solving | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/sat-solving | 2025-08-20 |
| 83 | Satisfiability Modulo Theories | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/satisfiability-modulo-theories | 2025-12-10 |
| 84 | Scientific and Technical English for Computer Scientists | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/scientific-and-technical-english-for-computer-scientists | 2025-08-04 |
| 85 | Softwareentwicklungspraktikum für Informatik im Nebenfach | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/softwareentwicklungspraktikum-fuer-informatik-im-nebenfach | 2025-08-20 |
| 86 | Type Theory | https://www.tcs.ifi.lmu.de/teaching/courses-ws-2025-26/type-theory | 2025-08-20 |
| 87 | Ältere Vorlesungen | https://www.tcs.ifi.lmu.de/teaching/earlier-courses | 2025-08-19 |
| 88 | Sommersemester 2016 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2016 | 2025-10-16 |
| 89 | Sommersemester 2017 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2017 | 2025-10-16 |
| 90 | Sommersemester 2018 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2018 | 2025-10-16 |
| 91 | Sommersemester 2019 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2019 | 2025-10-16 |
| 92 | Sommersemester 2020 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2020 | 2025-10-16 |
| 93 | Sommersemester 2021 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2021 | 2025-10-16 |
| 94 | Sommersemester 2022 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/sommersemester-2022 | 2025-08-19 |
| 95 | Wintersemester 2016/17 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2016-17 | 2025-10-16 |
| 96 | Wintersemester 2017/18 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2017-18 | 2025-10-16 |
| 97 | Wintersemester 2018/19 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2018-19 | 2025-10-16 |
| 98 | Wintersemester 2019/20 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2019-20 | 2025-10-16 |
| 99 | Wintersemester 2020/21 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2020-21 | 2025-10-16 |
| 100 | Wintersemester 2021/22 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2021-22 | 2025-10-16 |
| 101 | Wintersemester 2022/23 | https://www.tcs.ifi.lmu.de/teaching/earlier-courses/wintersemester-2022-23 | 2025-08-19 |
| 102 | Abschlussarbeiten | https://www.tcs.ifi.lmu.de/teaching/theses | 2025-08-05 |
| 103 | Leitfaden für Abschlussarbeiten | https://www.tcs.ifi.lmu.de/teaching/theses/leitfaden-fuer-abschlussarbeiten | 2025-10-17 |
