Inhalt des Dokuments
Willkommen bei MTV
MTV ist eines von drei Fachgebieten, die an der TU Berlin die Theoretische Informatik [1] repräsentieren: Während Algorithmik und Komplexitätstheorie (AKT [2]) und Logik und Semantik (LaS [3]) nach den eher klassischen Bereichen benannt sind, liegt MTV eher quer zu diesen und fokussiert sich auf theoretische Fragestellungen im praktischen Bereich der Verteilten Systeme. Unsere Hauptdisziplin ist Concurrency Theory, mit Anwendungen aus den Disziplinen Distributed Computing/Algorithms und Concurrent Computing. Daneben spielen auch die Bereiche Formal Methods, Semantics, Verification und sogar Type Theory eine prominente Rolle für uns. MTV vertritt diese Themen natürlich sowohl in der Forschung [4] als auch in der Lehre [5].
Die Struktur dieses Webauftritts wird hier [6] genauer erklärt.
Aktuelles
-
CONCUR Test-of-Time Award [7]
Der Artikel "Decoding Choice Encodings" von Uwe Nestmann und Benjamin C. Pierce aus dem Jahr 1996 erhält 25 Jahre nach seiner Publikation einen CONCUR Test-of-Time Award.
-
Lehrangebot im Sommersemester 20/21 [8]
Das Angebot ist auf https://www.mtv.tu-berlin.de/menue/lehre/veranstaltungen/2021_sose/ einsehbar.
-
Sprechstunde bei Prof. Nestmann [9]
Bis auf Weiteres werden Sprechstunden nach individueller Vereinbarung (per Email oder Kontaktseite) via Videokonferenz (Jitsi oder Zoom) angeboten.
-
Artikel „A Game for Linear-time–Branching-time
Spectroscopy“ erschienen [10]
Der „A Game for Linear-time–Branching-time Spectroscopy“ von Benjamin Bisping (und Uwe Nestmann) ist bei TACAS 2021 (LNCS 12651) als Open-Access-Artikel erschienen: https://link.springer.com/chapter/10.1007/978-3-030-72016-2_1
-
Sekretariat [11]
Milena Konteva wechselt zum 1.3.2021 in das Institut für Mathematik. Vorübergehend verbleibt Jana Pilz die einzige Ansprechpartnerin im MTV-Sekretariat. Emails an <sekretariat@mtv.tu-berlin.de> werden nach wie vor...
-
Artikel erschienen im "Journal of Information and Computation"
[12]
Die ausführliche Version von "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 29.11.2020 im Journal of Information and Computation veröffentlicht...
-
Artikel erschienen in der Zeitschrift "Acta Informatica" [13]
Der Artikel "Coupled Similarity: The First 32 Years" von Benjamin Bisping, Uwe Nestmann und Kirstin Peters ist am 15.05.2020 in Acta Informatica, 57(3), 439-463 erschienen. (10.1007/s00236-019-00356-4)...
Sekretariat
Jana PilzRaum TEL 711
Tel.: +49 30 314-29089
Fax: +49 30 314-73750
E-Mail-Anfrage [17]
Öffnungszeiten:
Mo-Do 10:00-12:00 Uhr
Postanschrift
Technische Universität BerlinModelle und Theorie Verteilter Systeme
Fakultät IV
Sekr. TEL 7-2
Ernst-Reuter-Platz 7
10587 Berlin
ik
_computational_complexity/
and_semantics/
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6630&
cHash=7ce4258434832c0b10c29940e9443fd6
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6636&
cHash=6ee66fc22d31f3cc3ded18710db041b9
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6634&
cHash=32db0f4fe429ec24faa2e4bfb4e1a41f
en/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6647&
;cHash=6414cfab64bca39eff0e65ce44b5488e
en/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6637&
;cHash=bf751b068adf8d47b9c2c0742723191b
en/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6475&
;cHash=a4f5c32c98961123f9a181520668d1e1
en/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6635&
;cHash=d5f250f34161587cbe216d2e3e2c6e40
anfrage/id/7232/?no_cache=1&ask_mail=YXWangAIKI6Puc
U45g4RYviPhBlq1XsCKtXP2sDEMxA%3D&ask_name=Jana%20Pi
lz