Deutsch|English
DekanatServiceInternesKolloquium

Kolloquium

    Kolloquium

    Vorträge an der Fakultät für Informatik

    Kolloquium der Fakultät für Informatik

    • Mittwoch, 27.11.2024, 14:00 – 15:00 Uhr, Raum OH14/E04
      Johan van Benthem (University of Amsterdam, Stanford University, Tsinghua University Beijing))
        Interpolation in Philosophy
        Gastgeber: Prof. Dr. Jean Christoph Jung
      Kolloquiumsvortrag – Informatik I

       
    • Donnerstag, 28.11.2024, 10:00 – 11:00 Uhr, Raum OH14/E04
      Graham Leigh (University of Gothenburg)
        Fixed Point Logics and Cyclic Proofs
        Gastgeber: Prof. Dr. Jean Christoph Jung
      Kolloquiumsvortrag – Informatik I

       

    Bachelor-, Master und Doktorandenseminare