Zum Hauptinhalt springen
FAU.de
Lehrstuhl für Informatik 8 Friedrich-Alexander-Universität Lehrstuhl für Informatik 8
  • PEOPLE
  • TEACHING
  • RESEARCH
  • PUBLICATIONS
  • CONTACT
Friedrich-Alexander-Universität
Erlangen-Nürnberg
FAU Logo
  1. Start
  2. Start
  3. ulrich
19. Mai 2020

ulrich

ulrich

Lehrstuhl für Informatik 8

(Theoretische Informatik)

Kontakt und Anfahrt

Friedrich-Alexander-Universität Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstrasse 3
91058 Erlangen
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Internal
FAU Logo
Friedrich-Alexander-Universität
Erlangen-Nürnberg

Wissen bewegen

Die Friedrich-Alexander-Universität Erlangen-Nürnberg ist die innovationsstärkste Universität Deutschlands. Gegründet 1743 ist sie mit rund 40.000 Studierenden, über 600 Professorinnen und Professoren und etwa 16.000 Mitarbeiterinnen und Mitarbeitern eine der größten Universitäten in Deutschland.

Services

Verwenden Sie Tab zur Navigation durch Menüeinträge, Enter zur Auswahl, Escape zum Schließen oder den Schließen-Button.

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.
[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.
    • Chase Ford
    • Christoph Rauch
    • Dr. Florian Frank
    • Dr. Henning Urbat
    • Dr. Paul Wild
    • Dr. Stelios Tsampas
      • ESSLLI 2021 lectures
    • Dr. Thorsten Wißmann
    • Fabian Lenke
    • 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
      • Lutz Schröder's Publications
    • Sergey Goncharov
    • Simon Prucker
    • Stefan Gebhart
    • Üsame Cengiz
    • VerSyKo
    • 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
      • Homotopy Type Theory SS21
      • Kommunikation und Parallele Prozesse (SoSe 2021)
      • Oberseminar (SoSe 2021)
      • SemProg 2021
      • Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2021)
        • Übungen zu Theorie der Programmierung (SoSe 2021)
      • 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)
      • 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)
      • 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)
      • GLoIn-Zusatzübung
      • Modal Logic (Summer 2025)
      • Oberseminar (SoSe 2025)
      • Theoretische Informatik für Wirtschaftsinformatik und Lehramt (SoSe 2025)
      • Theorie der Programmierung (SoSe 2025)
      • 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
      • 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)
      • 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
      • 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)
      • Grundlagen der Logik in der Informatik Wintersemester 2024/25
      • Kommunikation und Parallele Prozesse (WiSe 2024/25)
      • Oberseminar (WiSe 2024/25)
      • Themen der Kategorientheorie
      • 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
    • 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.

Alle Seiten und Dokumente durchsuchen: