direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert

    Artikel "Deriving Trust from Experience" akzeptiert für FAST2009 (Co-Autoren Florian Eilers, Uwe Nestmann)

  • tubs.city Symposium - Eingeladener Vortrag

    Eingeladener Vortrag von Uwe Nestmann zum Thema "Asynchronous Communication in Process Calculi" beim Workshop Synchrony and Asynchrony in Distribiuted Systems des tubs.city Symposiums.

  • Artikel akzeptiert

    Artikel "On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems" akzeptiert (Rate 12/42) für FMOODS/FORTE 2009 (Co-Autoren Morten Kühnrich, Uwe Nestmann).

  • D-CON / GeCCo

    MTV veranstaltet das 2. jährliche Treffen German Chapter Concurrency Theory am 9.-10. März 2009 an der TU Berlin in den Räumen der Fakultät IV.

  • Gast: António Ravara

    António Ravara (TU Lissabon) besucht MTV am 23.+24. Februar 2009  im Rahmen des DAAD Austauschprojektes MONACO-GP.  Er hält auch einen Vortrag.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe