Page Content
This site is currently under construction. A number of access paths to the various sources of information are still unstable. Until completion, there might also be occasional pointers back to the old (German only) web site. We apologize for any inconveniences during this transition phase.
| News |
CONCUR 2009 - Program Committee
Tuesday, 16. December 2008
Uwe Nestmann was invited to the program committee of CONCUR 2009.
CRC Press - Article published
Monday, 01. December 2008
Article "Business Process Specification and Analysis" was published today as part of the book "Process Algebra for Parallel and Distributed Processing" (Co-Authors Uwe Nestmann, Frank Puhlmann). More information available in Frank Puhlmann's blog.
COORDINATION 2009 - Program Committee
Wednesday, 22. October 2008
Uwe Nestmann was invited to the program committee of COORDINATION 2009.
FMOODS/FORTE 2009 - Program Committee
Wednesday, 22. October 2008
Uwe Nestmann was invited to the program committee of FMOODS/FORTE 2009.
Springer - Article published
Monday, 15. September 2008
Article "Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms" was published today as part of the book "Autonomous Systems – Self-Organization, Management, and Control" (Co-Autoren Sven Schneider, Johannes Borgström, Uwe Nestmann).
PhD defenses Johannes Borgström and Rachele Fuzzati (EPFL)
Monday, 10. March 2008
Public defense of Johannes Borgström on his PhD thesis Equivalences and Calculi for Formal Verification of Cryptographic Protocols; co-directors Tom Henzinger and Uwe Nestmann.
Public defense of Rachele Fuzzati on her PhD thesis A Formal Approach to Fault-Tolerant Distributed Consensus; co-directors André Schiper and Uwe Nestmann.
PhD defense Sébastien Briais (EPFL)
Friday, 25. January 2008
Public defense of Sébastien Briais on his PhD thesis Theory and tool support for the formal verification of cryptographic protocols; co-directors Martin Odersky and Uwe Nestmann.