VFH/TV2, Berlin: Bericht über einen verteilten seminaristischen Lehrversuch
September 1999:
A Different Sort of Programming
Instruction: Combating the Code Warrior. Interactive Video Lecture from Malmö
Högskola at the informatica feminale. (Slides)
Didaktisch-methodologische Aspekte von Web-basiertem Unterricht. Auf der
INFOS99. (Slides)
July 1999: With Christoph Knabe. Modellierung mit UML. Fachgruppe
Software, TFH Berlin
June 1999:
"Erfahrungen bei der
Ingenieursausbildung in Schweden", Fachgruppe Didaktik, TFH Berlin
"Experiments
in Teaching Programming", Malmö högskola
February 1999: Program committee chair, Diskutant and
moderator, Softwareengineering im Unterricht der Hochschulen, SEUH'99,
Wiesbaden
December 1998: "Distributed Teaching Environments". Research
colloquium, Malmö högskola, Teknik och ekonomi.
December 1998:
"Didaktisch-methodische Aspekte multimedialer Tutorien und verteilter Veranstaltungen".
Mit Gudrun Görlitz. 2. Arbeitstagung "Methoden telematischen Lehrens und
Lernens", Universität des Bundeswehrs, Hamburg.
April 1998: "Aspekte
von Anfangsunterricht mit Ada". Ada-Deutschland '98, Bremen.
Dezember
1997:
"Fachhochschul-Informatik". Das Informatikstudium: Zwischen wissenschaftlicher
Erkenntnis und Erwerb von Berufsfähigkeit? Workshop im Rahmen des Projekts
Informatca Feminale, Bremen.
Juni 1997: "Internet-basierter
Unterricht", per Video an der FH Brandenburg von Berlin aus übertragen.
July 1996: Disputation, Kiel
June 1996: "Coaxing an Obstinate
Prover into Assenting to the Obvious", Workshop on Tool Support for System Development
and Verification", Bremen
Mai 1996: Entwurf von Hypermedia, per Video
an der FH Brandenburg von Berlin aus übertragen.
March 1996:
"Software-Oriented Exercises for Learning Teamwork", International Software Engineering
Education Workshop (ISEEW'96), Berlin
November 1995: "Programmieren
lernen durch Bilder", Hochschultag, TFH Berlin
July 1995: "Problems
with Parsing Proofs in NQTHM",
1995:"Der Einsatz von Bildern beim
Lernen von Programmieren", Ingenieurpädagogik '96 (IGIP), Wolfsburg
February 1995: "Mechanical Verification with the Boyer-Moore Prover: Usage
and Problems", Dagstuhl Seminar "High Integrity Programmable Electronic System".
February 1995: "Teambildung in Programmierung- und Software-Engineering
Kursen", Software Engineering im Unterricht der Hochschulen (SEUH'95), Bremen
January 1995: "Professorin an der Fachhochschule - Perspektive für
Akademikerinnen", Deutscher Akademikerinnen e.V., Berlin
October 1994:
"Ada als Muttersprache", Ada-Deutschland, Jena
May 1994: "NFSA = DFSA!
Ein mechanischer Beweis der Äquivalenz von nichtdeterministischen und deterministischen
Automaten", Softwaretechnik Forschungskolloquium, TU Berlin
March 1994:
"Growing Programs from Proofs" Dagstuhl Seminar "Logische Theorie der Programmentwicklung"
August 1993: "Proven Correct Parsing (Revisited)", Computational Logic,
Inc., Austin, Texas, USA
July 1993: "Der Boyer-Moore Theorembeweiser",
Geladenen Vortrag, KI-Vorlesung an der FU Berlin
April 1993: "Selling
Formal Methods to Industry", Formal Methods in Europe (FME'93), Odense, Denmark
Januar 1993: "Relevante Theoreme für beweisbar korrektes Parsen",
Forschungskolloquium Langmaack, Universität Kiel