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.
Grit Denker