EATCS Award for Best ETAPS Paper 2008

Auszeichnung: Preis › Publikations-/Konferenzpreis

Empfänger:innen

Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
Nathalie Bertrand - (Preisträger:in)
Marcus Größer - (Preisträger:in)

Beschreibung

The EATCS Award for the best paper in theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2008, ETAPS'08, was awarded to the paper "On Decision Problems for Probabilistic Büchi Automata" by Christel Baier, Nathalie Bertrand and Marcus Größer.

Datum der Verleihung	17 Juli 2008
Bekanntheitsgrad	International

Konferenz

Titel	European Joint Conferences on Theory and Practice of Software 2008
Kurztitel	ETAPS 2008
Veranstaltungsnummer
Dauer	29 März - 6 April 2008
Webseite	http://etaps08.mit.bme.hu/
Bekanntheitsgrad	Internationale Veranstaltung
Ort
Stadt	Budapest
Land	Ungarn

Schlagworte

DFG-Fachsystematik nach Fachkollegium

Theoretische Informatik

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Theoretische Informatik