Inhalt des Dokuments
Forschung
-
ABZ 2020 - Programmkomitee
Uwe Nestmann wurde ins Programmkomitee zur ABZ 2020 eingeladen.
-
Artikel akzeptiert (EXPRESS/SOS 2019)
Artikel "Immediate Observation in Mediated Population Protocols” akzeptiert bei EXPRESS/SOS 2019 (Co-Autoren Tobias Prehn und Myron Rotter)
-
Artikel akzeptiert (TACAS 2019)
Artikel "Computing Coupled Similarity” akzeptiert bei TACAS 2019 (Co-Autoren Benjamin Bisping und Uwe Nestmann)(Rate 29/119, 24%)
-
Artikel Akzeptiert (ICTAC 2019)
Artikel "Taming Concurrency for Verification Using Multiparty Session Types” akzeptiert bei ICTAC 2019 (Co-Autoren Kirstin Peters, Christoph Wagner und Uwe Nestmann)(Rate 20/138, 14%)
-
EXPRESS/SOS 2019 - Eingeladener Vortrag
Eingeladener Vortrag von Dr. Kirstin Peters mit dem Titel "Comparing Process Calculi Using Encodings" beim EXPRESS/SOS 2019 in Amsterdam.
-
CONCUR 2019 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von CONCUR 2019 in Amsterdam eingeladen.
-
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.