Activities
Prof. Dr. Martin Wirsing
- Member of the Comité Scientifique of Institut Mines-Télécom (2013-)
- Member of the Comité Stratégique of the Université de Bordeaux (2013-)
- Vice President for Studies of Ludwig-Maximilians-Universität München (10/2010-)
- Member of the University Council (Hochschulrat) of Ludwig-Maximilians-Universität München (10/2007-09/2010)
- Coordinator of the Scientific Advisory Board of IMT - Lucca Institute for Advanced Studies for the research area "Computer Science and Applications" (2008-2012)
- Vice-Chair of the Board of the Elite Graduate Program Software Engineering (10/2006-)
- Former administrative activities
- President of the Scientific Board of INRIA ("Institut National de Recherche en Informatique et en Automatique") (04/2007-12/2010)
- Deputy Chairman of the Senate of Ludwig-Maximilians-Universität München (10/2007-09/2010)
- Director of the Institute for Computer Science of the Fakultät für Mathematik, Informatik und Statistik of Ludwig-Maximilians-Universität München (03/2006-1003/2006-10/2007)
- Speaker of GI-Fachgruppe 0.1.7 "Specification and Semantics"
- Senator of Ludwig-Maximilians-Universität München (2002-2004)
- Dean of the Faculty of Mathematics, Computer Science and Statistics of Ludwig-Maximilians-Universität München (1999-2001)
-
Vice-dean of the Faculty of Mathematics and Computer Science of Universität Passau (1988-1990)
- Dean of the Faculty of Mathematics and Computer Science of Universität Passau (1986-1988)
- Chair and Organisation of Workshops und Conferences:
- ASCENS Kickoff, München, October 11-13, 2010
- TGC 2010, 5th Intl. Symposium on Trustworthy Global Computing
- FASE 2009, Fundamental Approaches to Software Engineering, York, March 2009. FASE is one of the five main conferences of the "European Joint Conferences on Theory and Practice of Software (ETAPS)"
- EDOC 2008, 12th International IEEE Conference on Enterprise Computing, München, September 15-19, 2008
- 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, 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
- Member of Program Committees:
- 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. The Workshop takes place in connection with SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
- 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.
- 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.
- IFIP Working Groups:
- WG 1.3 - Foundations of System Specification
- WG 2.2 - Formal Description of Programming Concepts (Member Emeritus)
- WG 1.3 - Foundations of System Specification
- Member of Advisory Boards:
- IMDEA Software Foundation, Madrid, Spain (2007-)
- John von Neumann Minerva Center for the Development of Reactive Systems Rehovot, Israel (2006-)
- IMT - Lucca Institute for Advanced Studies, Lucca, Italy (2005-)
- FIRST - Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik, Berlin (2006-)
- LRZ - Leibniz-Rechenzentrum München (Kommission für Informatik der Bayer. Akademie der Wissenschaften), München.
- Former Memberships
- Member of Editorial Boards: