Zum Hauptinhalt springen
FAU.de
Suchen
Friedrich-Alexander-Universität
Lehrstuhl für Informatik 8
PEOPLE
TEACHING
RESEARCH
PUBLICATIONS
CONTACT
Menü
Friedrich-Alexander-Universität
Erlangen-Nürnberg
Teaching
Start
Teaching
Sommersemester 2026
Sommersemester 2026
Grundlagenveranstaltungen:
Theoretische Informatik für Wirtschaftsinformatik und Lehramt
Theorie der Programmierung
Vertiefende Veranstaltungen:
Interactive Theorem Proving
Automatentheorie (Seminar)
Oberseminar
Services
Verwenden Sie Tab zur Navigation durch Menüeinträge, Enter zur Auswahl, Escape zum Schließen oder den Schließen-Button.
Zurück
Schließen
Keine Menüeinträge gefunden.
Struktur
Verwenden Sie Tab zur Navigation durch Menüeinträge, Enter zur Auswahl, Escape zum Schließen oder den Schließen-Button.
Zurück
Schließen
[fauorga show="menu"]
Website-Menü
Verwenden Sie Tab zur Navigation durch Menüeinträge, Enter zur Auswahl, Escape zum Schließen oder den Schließen-Button.
Zurück
Schließen
PEOPLE
Chase Ford
Christoph Rauch
Dr. Henning Urbat
Dr. Paul Wild
Dr. Stelios Tsampas
Dr. Tadeusz Litak
ESSLLI 2021 lectures
Dr. Thorsten Wißmann
Fabian Lenke
Florian Frank
Florian Guthmann
Gabriele Schönberger
Halimeh Moghbeli
Hans-Peter Deifel
Jan Jurka
Johanna Vittinghoff
Jonas Forster
Marie-Helen Kamaris
Max Ole Elliger
Merlin Humml
Pedro Nora
Pouya Partow
Prof. Dr. Lutz Schröder
Lutz Schröder's Publications
Sergey Goncharov
Simon Prucker
Stefan Gebhart
Üsame Cengiz
VerSyKo
TEACHING
Advanced Competitive Programming
Algebra des Programmierens
Algebraische und logische Aspekte der Automatentheorie
Beschreibungslogik und formale Ontologien (DL)
FMSoft Tutorials
Formale Verifikation
Homotopy Type Theory
Introduction to Finite Model Theory
Kommunikation und parallele Prozesse
Logische Grundlagen der Datenbanktheorie
LOOP/WHILE tool
Modallogik
Monad-based Programming
Nominal Sets
Nonclassical Logics in Computer Science
Oberseminar (Übersicht)
Praktische Semantik von Programmiersprachen
Sommersemester 2021
Homotopy Type Theory SS21
Kommunikation und Parallele Prozesse (SoSe 2021)
Oberseminar (SoSe 2021)
SemProg 2021
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2021)
Theorie der Programmierung (SoSe 2021)
Übungen zu Theorie der Programmierung (SoSe 2021)
Sommersemester 2022
Introduction to Dependently Typed Programming (SoSe 2022)
Modal Logic (Summer 2022)
Seminar Theoretische Informatik (SoSe 2022)
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2022)
Theorie der Programmierung (SoSe 2022)
Sommersemester 2023
Monad-Based Programming
Oberseminar (SoSe 2023)
Seminar Koalgebraische Logik (SoSe 2023)
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2023)
Theorie der Programmierung (SoSe 2023)
Sommersemester 2024
Nominal Sets (SoSe 2024)
Oberseminar (SoSe 2024)
Seminar Automaten über unendlichen Wörtern (SoSe 2024)
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2024)
Theorie der Programmierung (SoSe 2024)
Sommersemester 2025
GLoIn-Zusatzübung
Modal Logic (Summer 2025)
Oberseminar (SoSe 2025)
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2025)
Theorie der Programmierung (SoSe 2025)
Sommersemester 2026
Automatentheorie (Seminar)
Interactive Theorem Proving (SoSe 2026)
Oberseminar SoSe 2026
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2026)
Theorie der Programmierung (SoSe 2026)
Term Rewriting Systems
Themen der Kategorientheorie
Themen für Studentische Arbeiten
Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2023)
Theorie der Programmierung (SoSe 2020)
Übungen zu Theorie der Programmierung (SoSe 2020)
Wahlpflichtveranstaltungen Theoretische Informatik
Wintersemester 2021/22
Algebra des Programmierens (WiSe 2021)
Grundlagen der Logik in der Informatik (WiSe 2021/22)
Monad-Based Programming -- WiSe 2021
Oberseminar
Ontologien im Semantic Web (OntoSWeb) (Wintersemester 2021/22)
Wintersemester 2022/23
Grundlagen der Logik in der Informatik (WiSe 2022/23)
Homotopy Type Theory
Kommunikation und Parallele Prozesse (WiSe 2022/23)
Oberseminar (WiSe 2022/23)
Themen der Kategorientheorie
Wintersemester 2023/24
Algebra des Programmierens (WiSe 2023/24)
Algebraische und logische Aspekte der Automatentheorie (WiSe 2023/24)
Beschreibungslogik und formale Ontologien (DL) (WiSe 2023/24)
Grundlagen der Logik in der Informatik Wintersemester 2023/24
Oberseminar (WiSe 2023/24)
Wintersemester 2024/25
Grundlagen der Logik in der Informatik Wintersemester 2024/25
Kommunikation und Parallele Prozesse (WiSe 2024/25)
Oberseminar (WiSe 2024/25)
Themen der Kategorientheorie
Wintersemester 2025/26
Algebra des Programmierens (WiSe 2025/26)
Automaten und Logik (WS 2025/26)
Automatenlernen (WS 2025/26)
Beschreibungslogik und formale Ontologien (DL) (WiSe 2025/26)
Grundlagen der Logik in der Informatik Wintersemester 2025/26
Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt (WiSe 2025/26)
Oberseminar WS2025/26
RESEARCH
CGM -- The Clinical Guideline Module
COOL
PUBLICATIONS
CONTACT
Suchen
Verwenden Sie Tab zur Navigation durch Menüeinträge, Enter zur Auswahl, Escape zum Schließen oder den Schließen-Button.
Schließen
Alle Seiten und Dokumente durchsuchen:
Suchen
