Inhalt des Dokuments
Forschung
-
TU Berlin ist Gastgeber von CONCUR 2017
Die TU Berlin ist Gastgeber von CONCUR 2017 mit Uwe Nestmann als Mitvorsitzender.
-
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.
-
IFIP WG 2.2 Meeting 2013 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts, dieses Mal an der Universidade Nove de Lisboa.
-
TRENDS 2013 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann bei TRENDS 2013, organisiert durch die IFIP WG 1.8 Concurrency Theory, im Rahmen der CONCUR 2013 in Buenos Aires.
-
Artikel akzeptiert (EXPRESS/SOS 2013)
Artikel "Adding Priority to Event Structures" akzeptiert für EXPRESS/SOS 2013 (Co-Autoren Youssef Arbach, Kirstin Peters, Uwe Nestmann)