Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2018 / Oberseminar


Inhaltsbereich

Oberseminar

Terminplanung und Hinweise
Derek Dreyer: "RustBelt: Logical Foundations for the Future of Safe Systems" 20.04.2018 von 14:00 bis 15:00 Raum 151, Oet. 67 ,
Informatik-Kolloquium / Oberseminar, Freitag 20.4.2018, 14 Uhr c.t.
Brigitte Pientka: "POPLMark Reloaded: Mechanizing Logical Relations Proofs" 27.04.2018 von 14:15 bis 15:15 L109,
Oberseminar, Freitag, 27.04.2018, 14 Uhr c.t.
Andreas Abel: On the Syntax and Semantics of Quantitative Typing 04.05.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminar, Freitag, 4. Mai 2018, 14 Uhr c.t.
Ulrich Schöpp: The Geometry of Interaction as a Module System 18.05.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Ulrich Schöpp über The Geometry of Interaction as a Module System
Christoph Benzmüller: Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic? 25.05.2018 von 14:15 bis 15:45 Raum L109, Oettingenstr. 67,
Oberseminar, Freitag, 25. Mai 2018, 14 Uhr c.t.
David Sabel: Correctness of Program Transformations: Automating Diagram-Based Proofs 29.05.2018 von 11:00 bis 11:30 Raum L109, Oettingenstr. 67,
Oberseminar, Dienstag, 29. Mai 2018, 11 Uhr s.t.

Artikelaktionen


Funktionsleiste