HOME | ENGLISH | IMPRESSUM | KIT

Vorträge

  1. ETH Zürich, Programmiersprachen und Programmentwicklung, 8.März 1984.
  2. Manchester University, Structured Editor Workshop, 3.September 1984.
  3. Technische Universität Berlin, International Joint Conference on Theory and Practice of Software Development, 26.März 1985.
  4. Seattle, ACM Symposium on Language Issues in Programming Environments, 25.Juni 1985.
  5. Cornell University, Ithaca, 2.Juli 1985.
  6. Universität Dortmund, 27.Juli 1985.
  7. Universität Linkoping, 15.September 1985.
  8. Universität Trondheim, 16.September 1985.
  9. St. Petersburg, 13th ACM Symposium on Principles of Programming Languages, 14.Januar 1986.
  10. University of Wisconsin-Madison, 20.Januar 1986.
  11. Technische Hochschule Darmstadt, mündliche Doktorprüfung, 10.März 1986.
  12. Universität Trondheim, International Workshop on Advanced Programming Environments, 16.Juni 1986.
  13. Universität Osnabrück, 4.Juli 1986.
  14. GMD Karlsruhe, 17.September 1986.
  15. Universität Kaiserslautern, 23.Oktober 1986.
  16. Technische Hochschule Darmstadt, International Workshop on Universal Algebra, 22.November 1986.
  17. GMD Bonn, SUPRENUM Plenarsitzung, 5.März 1987.
  18. Universität Bergen, 19.März 1987.
  19. Universität Bremen, 15. Mai 1987.
  20. Universität Tübingen, 29.Mai 1987.
  21. Siemens AG, ZTI, München, 4.August 1987.
  22. Universität Kiel, 15.April 1988.
  23. Universität des Saarlandes, 29.April 1988.
  24. EWH Koblenz, 8.Juni 1988.
  25. GMD Darmstadt, 2.November 1988.
  26. ICC Berlin, International Conference on System Development Environments and Factories, 11.Mai 1989.
  27. Technische Universität Braunschweig, 16.Oktober 1989.
  28. University of Cambridge, Theory Seminar, 11.April 1990.
  29. Technische Hochschule Aachen, 12.Juni 1990.
  30. Universitat Frankfurt, 10.Juli 1990.
  31. Toulouse, Third International Workshop on Software Engineering and its Applications, 8.Dezember 1990.
  32. INRIA, Sophia-Antipolis, 18.April 1991.
  33. Königswinter, European Symposium on Software Development Environments and CASE Technology, 18.Juni 1991.
  34. GMD Darmstadt, Treffen der IFIP Working Group 2.2. "Formal Descriptions of Programming Concepts", 26.Juli 1991.
  35. Universität Mailand, Third European Software Engineering Conference, 22.Oktober 1991.
  36. Schloß Dagstuhl, Workshop "Future Directions in Software Engineering", 18.Februar 1992.
  37. Schloß Dagstuhl, Workshop "Programming Environments", 12.Marz 1992.
  38. IBM Wissenschaftliches Zentrum Heidelberg, 20.November 1992.
  39. Öffentliche Antrittsvorlesung, Technische Universität Braunschweig, 3.November 1992.
  40. Universitat Gießen, 3.Juni 1993.
  41. Technische Hochschule Darmstadt, Deduktionskolloquium, 15.Marz 1994.
  42. Sorrento Palace Hotel, 16th Int. Conference on Software Engineering, 18.Mai 1994.
  43. Universität Marburg, 23.November 1994.
  44. Universität Passau, 13.Dezember 1994.
  45. TU München, 14.Dezember 1994.
  46. TH Darmstadt, Tagung Begriffsanalyse, 23.Februar 1995.
  47. TU Braunschweig, Workshop der GI-FG 2.1.8. "Softwareentwicklungsumgebungen", 12.Oktober 1995
  48. TU Braunschweig, Treffen des DFG-Schwerpunktprogramms Deduktion, 19. Januar 1996.
  49. Technische Universität Dresden, eingeladener Kolloquiumsvortrag, 12.Marz 1996.
  50. TU München, 23.Mai 1996.
  51. Mannheim, Supercomputing 96, Tutoriumsvortrag, 25.Juni 1996.
  52. TH Aachen, International Symposium on Static Analysis, 26. September 1996.
  53. TU Clausthal, 11.Dezember 1996.
  54. Boston Sheraton, 19.th International Conference on Software Engineering, 21.Mai 1997.
  55. Universität Augsburg, eingeladener Kolloquiumsvortrag, 18.Juli 1997.
  56. IBM Yorktown Heights Research Lab, 5.August 1997.
  57. IBM Yorktown Heights Research Lab, 7.August 1997.
  58. Universität Karlsruhe, 27.Oktober 1997.
  59. Universität Passau, 2.Dezember 1997.
  60. Universität des Saarlandes, 9.Januar 1998.
  61. Universität Koblenz, 21.Januar 1998.
  62. Schloß Dagstuhl, Seminar "Program Comprehension and Software Reengineering", 9.Marz 1998.
  63. Universität Kiel, 24.April 1998.
  64. ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Montreal, 16.Juni 1998. (Keynote Speaker)
  65. IBM Yorktown Heights Research Lab, 28.Juli 1998.
  66. Softwaretechnik 98, Universität Paderborn, 8.September 1998.
  67. ACM SIGSOFT Symposium on Foundations of Software Engineering. Orlando, 4.November 1998.
  68. Universität Dortmund, 17.November 1998.
  69. Freie Universität Berlin,11.Dezember 1998.
  70. Universität Freiburg, 13.Januar 1999.
  71. Workshop Reengineering, Bad Honnef, 27. Mai 1999.
  72. 4th European Conference on Software Maintenance and Reengineering, Zürich, 3. März 2000 (Keynote Speaker).