Zeit: wöchentlich jeweils montags 16:15-18:00 Uhr und donnerstags 12:15-14:00 Uhr
Technologien und Methoden zur prozessorientierten Spezifikation
Veranstalter: Prof. Dr. Bernhard Steffen
Blockseminar (2 SWS)
Ort: OH 14, Raum 114
Zeit: Die erste Vorbesprechung findet am Dienstag, dem 19.05.2009 um 13.30 Uhr statt. Da der Termin sehr kurzfristig gelegt wurde, können Sie sich noch bis zum 29.05.2009 nachmelden.
Wintersemester 2008/2009
Virtualisierung und Compilation
Veranstalter: Prof. Dr. Bernhard Steffen,
Spezialvorlesung (4 SWS)
Starttermin: 22.10.2008
Ort: OH 14, Raum 114
Zeit: wöchentlich jeweils mittwochs 10:15-12:00 und freitags 12:00-13:30
Multicore Programming in Enterprise Systems
Veranstalter: Dr. Asuman Sünbül,
Vorlesung (2 SWS)
Starttermin: 20.10.2008
Ort: OH 14, Raum 104
Zeit: wöchentlich jeweils montags 17:00-19:00
Formale Methoden des Systementwurfs II
Veranstalter: Dr. Oliver Rüthing,
Spezialvorlesung (2 SWS)
Starttermin: 16.10.2008
Ort: OH 14, Raum 105
Zeit: wöchentlich jeweils Donnerstag 12:00-14:00
Technologien und Methoden zur prozessorientierten Spezifikation
Veranstalter: Prof. Dr. Bernhard Steffen
Blockseminar (2 SWS)
Ort: OH 14, Raum 114
Zeit: 1. Vorbesprechung am 10.11. um 10 Uhr.
Inkrementelles Lernen
Veranstalter: Prof. Dr. Bernhard Steffen,
Blockseminar (2 SWS)
Ort: OH 14, Raum 114
Zeit: 1. Vorbesprechung am 10.11. um 11 Uhr.
Sommersemester 2008
Formale Methoden des Systementwurfs
Veranstalter: Dr. Oliver Rüthing,
Vorlesung (4 SWS)
Starttermin: 08.04.2008
Ort: OH 14, Raum E23
Zeit: wöchentlich jeweils dienstags 12:00-14:00 und freitags 14:00-16:00
Aktuelle Algorithmen zur Lösung von Spielen
Veranstalter: PD Dr. Stefan Edelkamp
Spezialvorlesung (2 SWS)
Starttermin: 09.04.2008
Ort: OH 14/ Raum 105
Zeit: Mi 10-12
Concurrency in Enterprise Systems
Veranstalter: Prof. Dr. Bernhard Steffen/ Dr. Asuman Sünbül
Spezialvorlesung (2 SWS)
Starttermin: 16.04.2008
Ort: OH 14/ Raum 105
Zeit: Mi 17.00-18.30 Uhr st
Wintersemester 2007/2008
Strukturierte operationelle Semantiken
Veranstalter: Prof. Dr. Steffen
Spezialvorlesung (2 SWS)
Formale Methoden des Systementwurfs II
Veranstalter: Prof. Dr. Steffen
Vorlesung (4 SWS)
Sommersemester 2007
Service-Orchestrierung von verteilten Systemen
Veranstalter: Prof. Dr. Bernhard Steffen, Martin Karusseit, Markus Bajohr
Blockseminar (2 SWS)
Gerichtete Modellprüfung (Directed Model Checking)
Veranstalter: PD Dr. Stefan Edelkamp
Spezialvorlesung (2 SWS)
Strukturierte operationelle Semantiken
Veranstalter: Prof. Dr. Steffen
Spezialvorlesung (2 SWS)
Formale Methoden des Systementwurfs
Veranstalter: Prof. Dr. Steffen, Dr. Oliver Rüthing
Vorlesung (4 SWS)
Koordination entfernter GUI-basierter Tools
Veranstalter: Prof. Dr. Steffen
Blockseminar (2 SWS)
Übungen zur Vorlesung Übersetzerbau
Veranstalter: Oliver Rüthing, Wilfried Rupflin
Übungen (1 SWS)
Wintersemester 2006/2007
Strukturierte operationelle Semantiken
Veranstalter: Prof. Dr. Steffen
Spezialvorlesung (2 SWS)
Approximationsalgorithmen
Veranstalter: Thomas Hofmeister
Spezialvorlesung (4 SWS)
Effiziente Algorithmen in der Praxis
Veranstalter: Prof. Dr. Bernhard Steffen, Priv.-Doz. Dr. Thomas Hofmeister
Blockseminar (2 SWS)
Übung zu Datenstrukturen, Algorithmen und Programmierung 1
Veranstalter: Dr. Oliver Rüthing
Übungen (2 SWS)
Datenstrukturen, Algorithmen und Programmierung 1
Veranstalter: Prof. Dr. Steffen
Stammvorlesung (4 SWS)
Sommersemester 2006
Formale Methoden des Systementwurfs
Veranstalter: Prof. Dr. Steffen
Vorlesung (4 SWS)
Effiziente Algorithmen in der Praxis
Veranstalter: Prof. Dr. Bernhard Steffen, Priv.-Doz. Dr. Thomas Hofmeister
Blockseminar
Web Services und Process Management
Veranstalter: Dr. Andreas Wombacher
Vorlesung
Autonome Workflows
Veranstalter: Dr. Andreas Wombacher
Seminar
Wintersemester 2005/2006
Datenstrukturen, Algorithmen und Programmierung 1
Veranstalter: Prof. Dr. Steffen
Vorlesung (4 SWS)
Effiziente Algorithmen in der Praxis
Veranstalter: Prof. Dr. Bernhard Steffen, Priv.-Doz. Dr. Thomas Hofmeister