direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Navigation

Welcome at the Chair Models and Theory of Distributed Systems. The structure of these pages is quite simple.

  • The current block About MTV states the general longterm goals of our chair and how we try to elate people about it.
  • In the block Organization you find out about how MTV was founded, where on the campus of TU Berlin we're based, who is working with us and how one could possibly join the staff of our chair.
  • The block Research gives information about research projects we worked on and publications during the projects. It is still under construction.
  • In the block Teaching you can find information about our courses as well as information how to find a topic if you want to write your thesis at MTV.

News

  • Article accepted for publication

    Article by Dr. Kirstin Peters "Coupled Similarity: The First 32 Years" has been accepted for publication in Acta Informatica Release date tba.

  • Article accepted (ICTAC 2019)

    Article "Taming Concurrency for Verification Using Multiparty Session Types" accepted at ICTAC 2019 (co-authors Kirstin Peters, Christoph Wagner and Uwe Nestmann) (rate 20/138, 14%)

  • Article accepted (TACAS 2019)

    Article "Computing Coupled Similarity" accepted at TACAS 2019 (Co-authors Benjamin Bisping and Uwe Nestmann) (Rate 29/119, 24%)

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Administrative Office

Jana Pilz
Room TEL 711
Tel.: +49 30 314-29089
Fax: +49 30 314-73750

Office hours:
Mo-Do 10:00 - 12:00

Milena Konteva
Room TEL 710
Tel.: +49 30 314-73500
Fax: +49 30 314-73750

Office hours:
Mo-Fr 10:00 - 12:00

Postal Address

Technische Universit├Ąt Berlin
Models and Theory of Distributed Systems
Faculty IV
sec. TEL 7-2
Ernst-Reuter-Platz 7
10587 Berlin