Deutsch
EnglishInhaltsverzeichnis
Lehrstuhl - Theorie der Programmierung
| Adresse: | Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin |
|---|---|
| Sitz: | Johann von Neumann-Haus Haus IV, 4. Etage Rudower Chaussee 25 12489 Berlin Johann-von-Neumann-Haus Wegbeschreibung |
| Telefon: | +49-30-2093 3066 |
| Fax: | +49-30-2093 3067 |
| Leiter: | Prof. Dr. Wolfgang Reisig |
| Sekretariat: | Birgit Heene |
Promotionsprogramme
Aktuelles
- 26.02.2012 | Lehrveranstaltungen im Sommersemester 2012
Der Lehrstuhl Theorie der Programmierung bietet im Sommersemester 2012 folgende Lehrveranstaltungen an:- Grundstudium
- [Proseminar] Beauty is our Business
- Hauptstudium
- [Vorlesung] Modellierung und Spezifikation
- [Praktikum] Modellierung und Spezifikation
- [Vorlesung] Methoden und Modelle des Systementwurfs
- [Praktikum] Methoden und Modelle des Systementwurfs
- 25.08.2011 | Lehrveranstaltungen im Wintersemester 2011/ 2012
Der Lehrstuhl Theorie der Programmierung bietet im Wintersemester 2011/2012 folgende Lehrveranstaltungen an:- Grundstudium
- [Proseminar] Beauty is our Business
- Hauptstudium
- [Vorlesung] Verteilte Algorithmen
- [Seminar] Compilertechnik
- [Seminar] Model-Checking
- 16.08.2011 | Graduiertenkolleg SOAMED
Die Auswahl der Bewerber für die zweite Runde des Graduiertenkollegs SOAMED beginnt.
- 11.01.2011, 13:45 | Veranstaltung
Am 4. Februar veranstaltete das Institut das Carl Adam Petri Memorial Symposium.
- 13.10.2010, 14:45 | Buch
Neu erschienen!
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
