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*

Artikelaktionen


Funktionsleiste