- Department:
- Programming and Software Engineering
- Institute of Computer Science
- Ludwig-Maximilians-University Munich
- Office:
- Oettingenstr. 67
- Room 058
-
Research fields:
- Software Development using Formal Methods
- Algebraic Specification Techniques
- Systematic Program Development
- Functional and Object-Oriented Programming
- Semantics of Specification and Programming Languages
- Software Engineering of Hypermedia Applications
- Courses (in German):
-
Further Courses
-->
-
Current Projects
- Activities:
-
Director of the Institute for Computer Science
-
Speaker of GI-Fachgruppe 0.1.7 "Specification and Semantics"
-
Member of Program Committees:
-
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:
-
Member of Advisory Boards:
-
Member of Editorial Boards:
- Publications:
in the above mentioned research fields (since 1992).
- Address:
- Institut für Informatik
- Universität München
- Oettingenstr. 67
- D-80538 München
- Germany
- NEW TELEPHONE and FAX NUMBERS:
- Tel: ++49 89 2180 - 9154
- Fax: ++49 89 2180 - 9175
- Email: w i r s i n g at i n f o r m a t i k dot u n i - m u e n c h e n dot d e
- URL: https://www.pst.ifi.lmu.de/personen/wirsing/
- Secretary:
-
Marianne Diem
-
LFE Programming & Software Engineering
Institute for Computer Science
Department of Mathematics and Computer Science
University
Top