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 12:30 Raum L109, Oettingenstr. 67,
Oberseminar, Dienstag, 29. Mai 2018, 11 Uhr s.t.
Hans Leiss: C-dioids and $\mu$-continuous Chomsky-algebras 22.06.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Hans Leiss über C-dioids and $\mu$-continuous Chomsky-algebras
Steffen Jost: Static Prediction of Heap Space Usage for First-Order Functional Programs -- A reprise of my first paper written with Martin Hofmann 29.06.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Steffen Jost über Static Prediction of Heap Space Usage for First-Order Functional Programs -- A reprise of my first paper written with Martin Hofmann
Sabine Bauer: A Decision Procedure for Linear Constraints over Infinite Trees 05.07.2018 von 11:00 bis 12:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Sabine Bauer über A Decision Procedure for Linear Constraints over Infinite Trees
Sigurd Schneider: Inside V8: The choreography of Ignition and TurboFan 27.07.2018 von 10:00 bis 12:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Sigurd Schneider über Inside V8: The choreography of Ignition and TurboFan

Artikelaktionen


Funktionsleiste