| Lehre | GastdozentInnen |
| |
| Name des Gastes | Aufenthaltsdauer | Lehrveranstaltungen und Forschungsthemen/Vorträge |
|---|---|---|
| Dr. A. F. Grundy, Universität Keele England | WS 03/04 | Genderforschung in Informatik und Naturwissenschaft und Gender Studies im Rahmen des Kompetenzforums [gin] |
| Bärbel Mauss, HU Berlin | WS 02/03 | Genderforschung in Informatik und Naturwissenschaft und Gender Studies im Rahmen des Kompetenzforums [gin] |
| Veronika Oechtering, Universität Bremen | SS 02 | Genderforschung in Informatik und Naturwissenschaft und Gender Studies im Rahmen des Kompetenzforums [gin] |
| Dr. Suriya M. Thevar, Annamalai University, Indien | WS 00/01 | Women in Computer Science |
| A. F. Grundy, Universität Keele England | WS 97/98 | Women and Informatics |
| Dr. Volker Wulf, Universität Bonn | SS1997 | I + G, Software-Ergonomie, CSCW, Software-Engineering, Datenschutz Seminare: Tele-Übung: "Informatik und Gesellschaft" Software für lernende Organisationen - zur lernförderlichen Gestaltung interativer Systeme Anpaßbare Systemgestaltung - Nutzorientierte Methoden der Flexibilisierung von Software CSCW - Computer Supported Co-operative Work |
| Dr. Kaethe Trettin, Frankfurt | 14.10.-14.12.1996 | Forschungs-Kooperation über
Logiken für Situiertheit Vorlesung: Zur Geschichte der Formalisierung: Aristoteles, Leibniz, Frege Seminar: Logik und feministische Kritik |
| Dipl. Math. Paola Glavan, Universität Rijeka, Kroatien | 01.05.-30.06.1996 | Forschungskooperation im
Rahmen der Projekte PARLEX und KORTEX Seminar: Dynamische Algebren Vorträge: Korrektheitsbeweise mittels Dynamischer Algebren Spezifikationssprache |
| Prof. Dr. Antonio Mesa, Universität La Habana, Cuba | 07.04.-07.07.1995 |
Forschungskooperation über Algorithmentheorie Vorlesung: Geometric Algorithms |
| Prof. Dr. Luciano Garcia, Universität La Habana, Cuba | 07.04.-07.07.1995 | Forschungskooperation auf dem Gebiet von KI-Logiken Automated reasoning: Foundations and Specifications, Details of Implementation, Programs, Critical Evaluation, Comparisons Diskussion und Übungen Common Sense Reasoning: Kooperation mit unserem MEDWIS-Projekt und dem natürlichsprachlichen Projekt |
| Prof. Dr. Domenico Cantone, Universität Catania/Sizilien, Italien | 01.10.-31.10.1994 | Forschungskooperation im Rahmen Natuerlichsprachlicher
Systeme Vorlesung: Decision Problems Seminar: Hypersets and their use in Natural language Modelling |
| 15.08.-30.08.1995 | Kurzbesuch | |
| Prof. Dr. rer nat. Egon Boerger, Universität Pisa, Italien | 01.09-25.09.1994 | Gastvortragszyklus: Die Methode der Dynamischen Algebren zur Sicherung der Qualität von Software |
| Prof. Dr. Yuri Gurevich, Universität Ann Arbor/Mi., USA | 27.05.-21.06.1993 | Endliche Modelle und Komplexitaetstheorie |
| Prof. Dr. Joseph Weizenbaum, MIT Cambridge/Mass., USA | 05.10-07.11.1992 | Forschungskooperation im Bereich Informatik und Gesellschaft Vorträge: Eliza / Militaerische Nutzung von Informationstechnik KI / Menschen im Spannungsfeld Natur-Technik-Gesellschaft |
| 01.09.`94-31.08.1995 | Preistraeger der Humboldt-Stiftung, Bonn |