direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • FORTE 2019 - Programmkomitee

    Uwe Nestmann wurde zum Programmkomitee von FORTE 2019, eine der drei Konferenzen der  DisCoTec 2019, the 14th International Federated Conference on Distributed Computing Techniques, eingeladen.

  • Artikel akzeptiert (FORTE 2017)

    Artikel "Session Types for Link Failures" akzeptiert für FORTE 2017 (Autoren: Manuel Adameit, Kirstin Peters und Uwe Nestmann). Assoziiert mit DisCoTec 2017.

  • Artikel akzeptiert (FORTE 2015)

    Artikel "Dynamic Causality in Event Structures" akzeptiert für FORTE 2015 (Autoren: Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann). Assoziiert mit DisCoTec 2015.

  • OPCT - Eingeladener Vortrag

    Eingeladener Vortrag von Uwe Nestmann bei Open Problems in Concurrency Theory at the University Residential Center of Bertinoro, organisiert durch die IFIP WG 1.8 Concurrency Theory.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe