Inhalt des Dokuments
Die hier zu sehende Web-Präsenz des Fachgebiets MTV befindet sich offensichtlich noch im Aufbau. Einige Zugriffsstrukturen befinden sich daher noch im Fluss. Im Prinzip soll das gesamte Angebot schließlich zweisprachig geführt werden.
| Aktuelles |
Gast: Maxime Gamboni
Montag, 15. März 2010
Maxime Gamboni (TU Lissabon) besucht MTV am 14.-17. März 2010 im Rahmen des DAAD Austauschprojektes MONACO-GP. Er hält auch einen Vortrag.
ETAPS 2010 - Eingeladenes Tutorial
Sonntag, 21. März 2010
Eingeladenes Tutorial von Uwe Nestmann zum Thema "The DisCoVeri continues ... (On the Application of Concurrency Theory to Fault-Tolerant Distributed Algorithms)" bei ETAPS 2010.
AMAST 2010 - Programmkommittee
Dienstag, 23. Februar 2010
Uwe Nestmann wurde zum Programmkommittee von AMAST 2010 eingeladen.
Studentische Hilfskraft mit Lehraufgaben (TutorIn) gesucht
Freitag, 19. Februar 2010
Eine Studentische Hilfskraft mit Lehraufgaben (40 Std./Monat) ab 1.4.2010 gesucht. Die Bewerbungsfrist läuft bis zum 5. März 2010. Weitere Informationen finden Sie auf der Fakultätsseite.
EXPRESS 2010 - Programmkommittee
Donnerstag, 03. Dezember 2009
Uwe Nestmann wurde zum Programmkommittee von EXPRESS 2010 eingeladen.
DFG bewilligt Graduiertenkolleg "SOAMED"
Montag, 09. November 2009
Gastvorlesung: Calculus of Computation von Prof. Zohar Manna
Montag, 12. Oktober 2009
Professor Zohar Manna aus Stanford hält vom 19.10.2009 bis 27.11.2009 eine Vorlesungsreihe mit dem Titel "Calculus of Computation". Weitere Informationen: https://www.isis.tu-berlin.de/course/view.php?id=2398
IFIP WG 1.8 Meeting 2009 - Co-Organisation
Donnerstag, 05. November 2009
Workshop on Formal Methods for Embedded Systems der IFIP WG 1.8 Concurrency Theory, co-organisiert durch Uwe Nestmann in Eindhoven (NL) während der Formal Methods Week.
FMOODS/FORTE 2010 - Programmkommittee
Mittwoch, 28. Oktober 2009
Uwe Nestmann wurde zum Programmkommittee von FMOODS/FORTE 2010 eingeladen.
BASICS 2009 - Eingeladener Vortrag
Mittwoch, 14. Oktober 2009
Uwe Nestmann Keynote Speaker beim BASICS 2009 International Workshop on Computation and Interaction am 11.-16. Oktober 2009.
IFIP WG 2.2 Meeting 2009 - Eingeladener Vortrag
Sonntag, 06. September 2009
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts.
Artikel akzeptiert
Donnerstag, 27. August 2009
Artikel "Deriving Trust from Experience" akzeptiert für FAST2009 (Co-Autoren Florian Eilers, Uwe Nestmann)
tubs.city Symposium - Eingeladener Vortrag
Mittwoch, 01. Juli 2009
Eingeladener Vortrag von Uwe Nestmann zum Thema "Asynchronous Communication in Process Calculi" beim Workshop Synchrony and Asynchrony in Distribiuted Systems des tubs.city Symposiums.