Conferences, Visits, Summerschool

This list does not include conference visits in connection with presentation of publications as listed above.

• DARPA Active Networks Workshop, Tucson, Arizona, 9.3.-10.3.1998.
• Department of Computer Science, Stanford University, Dr. C. Talcott, regular meetings, cooperation on ``Specification of security aspects in networks'' and ``Specification and semantics of distributed systems'', since Oktober 1997.
• Department of Computer Science, Stanford University, Dr. R. van Glabbeek, 30.09.1997.
• Formal Methods in Industry - 8.th German ENCRESS (European Network of Clubs for Reliability and Quality of Software-Intensive Systems), Garching, Germany, 17.1.1997.
• Strategies for women representatives: a case study (in german), Hannover, Germany, 26.2-27.2.1997
• Department of Computer Science, Leiden Universität, Prof. Dr. Gregor Engels, 11.11.-12.11.1996.
• Instituto Superior Tecnico, Technische Universität Lissabon, Lisbon, Portugal, cooperation with the group of Prof. Dr. A. Sernadas, ``Refinement-Calculus'', 15.9.-22.9.1996.
• Softwaretechnik'96, Koblenz, Germany, 11.9-12.9.1996.
• Meeting on ``Temporal Logics'', R. Ramanujam (on leave from Institute of Mathematical Sciences, Madras, India), Dortmund, Germany, 27.8.-28.8.1996.
• Federated Logic Conference 1996 (FLOC96: LICS, RTA, CADE, CAVE), New Brunswick, New Jersey, 27.7.-3.8.1996.
• Workshop Foundations of Object-Oriented Languages (FOOL96), New Brunswick, New Jersey, 24.7.-25.7.1996.
• Faculty of Math and Computer Science, University of Passau, cooperation with Prof. Dr. B. Freitag, ``Integration of object-orientation and deduction'', 18.6.-19.6.1996.
• Meeting on object oriented specification and refinement with U. Lechner, Faculty of Mathematics and Computer Science, University Passau, Germany, 17.6.1996.
• Regular cooperation with the group of Prof. U. Goltz, Hildesheim, on the topic of refinement in process algebra and object-orientation, 1994-1997.
• Int. Conference on Temporal Logics (ICTL94), Bonn, Germany, 11.7.-14.7.1994.
• International summerschool on Proof and Computation, Marktoberdorf, Germany, 20.7.-1.8.1993.
• IS-CORE Subgroup1 Meeting, Computing Laboratories, Oxford, 29.3.-31.03.1993.
• Instituto Superior Tecnico, Lisbon, Portugal, 30.9.-9.10.1992.