Fachgebiet
Theoretische Informatik / Theorie Verteilter Systeme
im Institut für Softwaretechnik und Theoretische Informatik (WE 0434)
an der Fakultät IV - Elektrotechnik und Informatik
der Technischen Universität Berlin (TUB)

News

2006-11-24

Unsere Web-Präsenz zieht schrittweise um ins neue Typo3-Gewand der TU Berlin. Diese (nunmehr) alten Seiten bleiben aber weiterhin zugreifbar ...

2006-10-13/16

Webseiten zur MTV-Lehre im WS 06/07 gehen online.

2006-10-15

Uwe Nestmann wurde zum Programmkommittee von FMOODS 2007 eingeladen.

2006-10-11

Artikel "Open Bisimulation, Revisited" akzeptiert für Journal of Theoretical Computer Science (Co-Autoren Sébastien Briais, Uwe Nestmann).

2006-09-14

Artikel "Distributed Consensus, Revisited" jetzt online verfügbar (Co-Autoren Rachele Fuzzati, Massimo Merro, Uwe Nestmann).

2006-08-03

Artikel "Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi" jetzt online verfügbar (Autor Uwe Nestmann).

2006-08-02

Artikel "Timed Calculus of Cryptographic Communication" akzeptiert für Workshop FAST (Co-Autoren Johannes Borgström, Simon Kramer, Olga Grinchtein).

2006-08-01

Uwe Nestmann wurde zum Programmkommittee von CONCUR 2007 eingeladen.

2006-07-19

offene Stelle als WM (zur Promotion)

2006-06-19

Artikel "Calculus of Cryptographic Communication" akzeptiert für FLoC-Workshop FCS-ARSPA (Co-Autoren Johannes Borgström, Simon Kramer, Uwe Nestmann).

2006-04

Johannes Borgström hat ein dreimonatiges Stipendium für ein "Summer Research Internship" bei Microsoft Research (Cambridge, UK) erhalten.

2006-04-26

Uwe Nestmann eingeladener Sprecher bei Podiumsdiskussion des CHE zum Thema "Akademisches Personalmanagement".

2006-04-13

Webseiten für das Lehrangebot im SS 2006 jetzt provisorisch eingerichtet.

2006-01-17

Uwe Nestmann wurde zum Programmkommittee von EXPRESS 2006 eingeladen.

2005-12-14

Uwe Nestmann wurde zu einem Tutorialvortrag zur CONCUR 2006 eingeladen.

2005-10-05

Uwe Nestmann wurde zum Programmkommittee von FMOODS 2006 eingeladen.