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.
-
ABZ 2020 - Program Committee
Uwe Nestmann was invited to the program committee for ABZ 2020.
-
Article accepted (EXPRESS / SOS 2019)
Article "Immediate Observation in Mediated Population Protocols" accepted at EXPRESS / SOS 2019 (co-authors Tobias Prehn and Myron Rotter)
-
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%)
-
Dr. Kirstin Peters takes up Assistant Professorship
On 1. July Dr. Kirstin Peters takes up an Assistant Professorship at the TU Darmstadt.
Zusatzinformationen / Extras
Quick Access:
Auxiliary Functions
Administrative Office
Jana PilzRoom TEL 711
Tel.: +49 30 314-29089
Fax: +49 30 314-73750
e-mail query
Office hours:
Mo-Do 10:00 - 12:00
Room TEL 710
Tel.: +49 30 314-73500
Fax: +49 30 314-73750
e-mail query
Office hours:
Mo-Fr 10:00 - 12:00