- Info
Tätigkeiten
- Frühere Tätigkeiten
- Senator der Ludwig-Maximilians-Universität München (2002-2004)
- Dekan der Fakultät für Mathematik, Informatik und Statistik der der Ludwig-Maximilians-Universität München (1999-2001)
- Prodekan der Fakultät für Mathematik und
Informatik der Universität Passau (1988-1990)
-
Dekan der Fakultät für Mathematik und Informatik der
Universität Passau (1986-1988)
- Leitung von Workshops und Konferenzen:
- ASCENS Kickoff, München, Oxctober 11-13, 2010
- TGC
2010, 5th Intl. Symposium on Trustworthy Global Computing
- FASE
2009, Fundamental Approaches to Software Engineering, York, March 2009. FASE ist eine der fünf Hauptkonferenzen der "European Joint Conferences on Theory and Practice of Software
(ETAPS)"
- EDOC 2008, 12th International IEEE Conference on Enterprise Computing, München, September 15-19
- Software-Intensive Systems and New Computing Paradigms, EU
Coordinated Action InterLink, University of Illinois, Urbana-Champaign, 28-29 July 2008
- SENSORIA Workshop München, March 11-14, 2008
- Software-Intensive Systems and New Computing Paradigms, EU
Coordinated Action InterLink, München, December 02-04, 2007
- Software-Intensive Systems and New Computing Paradigms, EU
Coordinated Action InterLink, Eze (Cote d’Azur ), May 10-12, 2007
-
Autonomous
and Adaptive Web Services, Internationales Begegnungs- und Forschungszentrum für Informatik
(IBFI), Schloss Dagstuhl, Germany, Dagstuhl-Seminar
07061, February 04 – 09,
2007
-
Foundations of Global
Computing, Internationales Begegnungs- und Forschungszentrum für Informatik
(IBFI), Schloss Dagstuhl, Germany, February 20-25, 2006
-
Mitglied der Programmkomitees folgender Konferenzen
- CALCO 2011, 4th Conference on Algebra and Coalgebra in Computer
Science, August 29 - September 2, 2011, Winchester, UK
- SEEFM 2009, Formal Methods for Web Services, Formal Methods for Agent-Based Systems, Thessaloniki, December 2009.
- FMOODS & FORTE 2010,12th IFIP International Conference on Formal
Methods for Open Object-based Distributed Systems and 30th IFIP
International Conference on FORmal TEchniques for Networked and
Distributed Systems
- 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven (NL), November 2-3, 2009 (co-located with FM 2009)
- IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009), Lisbon, Portugal, June 9-11, 2009. It is part of the federated conference event DisCoTec 2009 (Distributed Computing Techniques)
- IASTED International Conference on Software Engineering (SE 2009), Innsbruck, Austria, February 17 – 19, 2009
- GlobalComp 2008, Workshop on Global Computing Models and Technologies, Timisoara, Romania, September 27-28, 2008. Der Workshop findet im Rahmen von SYNASC 2008, dem 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing statt.
- AMAST 2008, 12th International Conference on Algebraic Methodology and Software Technology, Urbana, Illinois, USA, 28-31 July, 2008
- GT-VMT 2008, Budapest, March 29 - 30, 2008, satellite event of ETAPS 2008.
- SE 2008, Software-Engineering-Konferenz 2008, TU München, February 18 - 22, 2008
- SEFM 2007, 5th IEEE International Conference on Software Engineering and Formal Methods, London, September 10-14, 2007.
- CALCO 2007, 2nd Conference on Algebra and Coalgebra in Computer
Science, August 20-24, 2007, Bergen, Norway
- 6th International Workshop on Graph
Transformation and Visual Modeling Techniques, March 31 - April 1 2007, Braga, Portugal
- European Symposium on Programming (ESOP 2007),
Braga, Portugal, March 24 - April 1, 2007.
- Dagstuhl Seminar
on Autonomic Web Services,
Schloss Dagstuhl, Germany, Februar 04-09, 2007.
- 3rd
International Colloquium on Theoretical Aspects of Computing (ICTAC 2006),
Vienna, Austria, 8-9 September 2006.
- 3rd International Workshop on
Web Services and Formal Methods (WS-FM 2006),
Vienna, Austria, 8-9 September 2006.
- Formal Methods 2006,
McMaster University, Hamilton, Ontario, Canada, August 21 - 27, 2006.
- 11th
International Conference on Algebraic Methodology and Software
Technology (AMAST'06), Kuressaare, Estonia, 5-8 July 2006.
- 6th International
Workshop on Rewriting Logic and its Applications (WRLA 2006),
Vienna, Austria, April 1-2, 2006.
- M O D E L L I E R U N G
2006, Innsbruck, 21.-24. März 2006.
-
Mitglied des wissenschaftlichen Beirats folgender weiterer Forschungsinstitutionen:
-
Mitglied der Herausgeberkomitees folgender wissenschaftlicher Zeitschriften und Buchserien:
-
Mai
| Mo | Di | Mi | Do | Fr | Sa | So |
|---|
| 1 | 2 | 3 | 4 | 5 | 6 |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | 31 | | | |
