Inhalt des Dokuments
| 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.
EXPRESS 2010 - Programmkommittee
Donnerstag, 03. Dezember 2009
Uwe Nestmann wurde zum Programmkommittee von EXPRESS 2010 eingeladen.
DFG bewilligt Graduiertenkolleg "SOAMED"
Montag, 09. November 2009
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.
Gast: Maxime Gamboni
Freitag, 22. Mai 2009
Maxime Gamboni (TU Lissabon) besucht MTV am 25.-29. Mai 2009 im Rahmen des DAAD Austauschprojektes MONACO-GP. Er hält auch einen Vortrag.
Artikel akzeptiert
Samstag, 21. März 2009
Artikel "On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems" akzeptiert (Rate 12/42) für FMOODS/FORTE 2009 (Co-Autoren Morten Kühnrich, Uwe Nestmann).
D-CON / GeCCo
Montag, 09. März 2009
MTV veranstaltet das 2. jährliche Treffen German Chapter Concurrency Theory am 9.-10. März 2009 an der TU Berlin in den Räumen der Fakultät IV.
Gast: António Ravara
Samstag, 21. Februar 2009
António Ravara (TU Lissabon) besucht MTV am 23.+24. Februar 2009 im Rahmen des DAAD Austauschprojektes MONACO-GP. Er hält auch einen Vortrag.
CONCUR 2009 - Programmkommittee
Dienstag, 16. Dezember 2008
Uwe Nestmann wurde zum Programmkommittee von CONCUR 2009 eingeladen.
CRC Press - Artikel veröffentlicht
Montag, 01. Dezember 2008
Artikel "Business Process Specification and Analysis" wurde heute im Buch "Process Algebra for Parallel and Distributed Processing" veröffentlicht (Co-Autoren Uwe Nestmann, Frank Puhlmann). Mehr dazu im Blog von Frank Puhlmann.
COORDINATION 2009 - Programmkommittee
Mittwoch, 22. Oktober 2008
Uwe Nestmann wurde zum Programmkommittee von COORDINATION 2009 eingeladen.
FMOODS/FORTE 2009 - Programmkommittee
Mittwoch, 22. Oktober 2008
Uwe Nestmann wurde zum Programmkommittee von FMOODS/FORTE 2009 eingeladen.
Springer - Artikel veröffentlicht
Montag, 15. September 2008
Artikel "Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms" wurde heute im Buch "Autonomous Systems – Self-Organization, Management, and Control" veröffentlicht (Co-Autoren Sven Schneider, Johannes Borgström, Uwe Nestmann).