Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2018/19 / Oberseminar


Inhaltsbereich

Oberseminar

Terminplanung und Hinweise
Stephan Barth: SAT-based Minimization of various Automata Models 19.10.2018 von 14:15 bis 15:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Stephan Barth über SAT-based Minimization of various Automata Models
David Tellenbach: Google Summer of Code 2018: Implementing Hermitian Matrices in Eigen 26.10.2018 von 14:45 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von David Tellenbach über Google Summer of Code 2018: Implementing Hermitian Matrices in Eigen
Sabine Bauer: Decidable inequalities over infinite trees; Jakob Zanker: Automatisches Finden von Faltungscodierern mit SAT-Solvern 09.11.2018 von 14:30 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Sabine Bauer über Decidable inequalities over infinite trees; sowie Jakob Zanker über Automatisches Finden von Faltungscodierern mit SAT-Solvern
Sebastian Sturm: Verification and Theorem Proving in F* 16.11.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Sebastian Sturm über Verification and Theorem Proving in F*
Martin Desharnais: A Type System for a Higher Order Shading Language with Polymorphic Binding Times 23.11.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Martin Desharnais über A Type System for a Higher Order Shading Language with Polymorphic Binding Times
Manfred Schmidt-Schauß: Generalizing Nominal Unification 30.11.2018 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Manfred Schmidt-Schauß über Generalizing Nominal Unification
Andreas Abel: Beweis-relevante Prädikate und Evidenz-verwaltende Programmierung 11.01.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Andreas Abel über Beweis-relevante Prädikate und Evidenz-verwaltende Programmierung
David Sabel: Eine Übersetzung des pi-Kalküls in nebenläufiges Haskell 18.01.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von David Sabel über Eine Übersetzung des pi-Kalküls in nebenläufiges Haskell
Franz Siglmüller: Implementation of an Automated Amortized Analysis on GHC Core as Compiler Plugin 25.01.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Franz Siglmüller über Implementation of an Automated Amortized Analysis on GHC Core as Compiler Plugin

Artikelaktionen


Funktionsleiste