Lehrstuhlkolloquium Theoretische Informatik Universität Potsdam, Sommersemester 2010

Aktuelles:

Zielgruppe:

Doktoranden und interessierte Studenten höherer Semester (ab 7. Fachsemester)

Informatikfachzuordnung:

Theoretische Informatik

Leistungspunkte:

3

Voraussetzungen:

Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Präsentation von Studien- und Abschlussarbeiten. Für Bachelorstudenten nur bei besonderem Interesse an Forschungsarbeit geeignet. Keine Doppelanrechnung von eigenständiger Leistung.

Zeit und Ort:

dienstags 14:15-15:45, Raum 03.04.2.01,
beachten Sie aber bitte auch die individuellen Vortragsankündigungen!

Zielstellung:

In unserem Kolloquium diskutieren wir aktuelle Forschungsprojekte und -ergebnisse unserer Arbeitsgruppe und für unsere Arbeit relevante Ergebnisse aus den Bereichen Formale Methoden in der Programmierung sowie automatisches und taktikbasiertes Theorembeweisen (siehe auch: Forschung am Lehrgebiet Theoretische Informatik).
 XHTML · CSS  Letzte Änderung:  tim at-Zeichen cs Punkt uni-potsdam Punkt de,  22.05.2017