Links und Funktionen
Sprachumschaltung

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


Inhaltsbereich

Oberseminar

Terminplanung und Hinweise
Oberseminar TCS Planungssitzung und Ankuendigung -- Julian Jorczik: Natural language processing and unsupervised machine learning for automated log analysis of mobile radio test systems 26.04.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Julian Jorczik: Natural language processing and unsupervised machine learning for automated log analysis of mobile radio test systems
Hans Leiß: An Algebraic Generalization of the Chomsky-Schützenberger-Theorem 10.05.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Hans Leiß über An Algebraic Generalization of the Chomsky-Schützenberger-Theorem
Gregor Kleen: Inkrementelle Parser als edit-lenses anhand von DFSTs 17.05.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Gregor Kleen über Inkrementelle Parser als edit-lenses anhand von DFSTs
Ulrich Schöpp: Semantical Analysis of Contextual Types 29.05.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Ulrich Schöpp über Semantical Analysis of Contextual Types (joint work in progress with Brigitte Pientka)
Sebastian Sturm: Formalisation of Normalisation of the Simply Typed Lambda Calculus in F* 14.06.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Sebastian Sturm über Formalisation of Normalisation of the Simply Typed Lambda Calculus in F*
Andreas Abel: Normalization-by-evaluation for call-by-push-value 28.06.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Andreas Abel über Normalization-by-evaluation for call-by-push-value
Peter Lermann -- Abschlussvortrag Masterarbeit: Automatisches Widerlegen der Beobachtungskorrektheit von Programmiersprachenübersetzungen 05.07.2019 von 14:15 bis 16:00 Raum L109, Oettingenstr. 67,
Oberseminarvortrag von Peter Lermann über seine Masterarbeit: Automatisches Widerlegen der Beobachtungskorrektheit von Programmiersprachenübersetzungen

Artikelaktionen


Funktionsleiste