Inhalt des Dokuments
15/16 WiSe Stundenplan
| | Mo | Di | Mi | Do | Fr |
|---|---|---|---|---|---|
| 8-10 | | | | | |
| 10-12 | | | | Modelle und Theorie Verteilter Algorithmen (aka: DistAlgo) 4IV TEL 512 0434 L 357 [ VV | ISIS ] | |
| 12-14 | | Formale Sprachen und Automaten (aka: FoSA) 2VL+2UE HE 101 0401 L 155 [ VV | ISIS ] | | Modelle und Theorie Verteilter Algorithmen (aka: DistAlgo) 4IV TEL 512 0434 L 357 [ VV | ISIS ] | |
| 14-16 | | | | ||
| 16-18 | | | | | |
Hinweise:
| |||||
15/16 SoSe Stundenplan
| | Mo | Di | Mi | Do | Fr |
|---|---|---|---|---|---|
| 8-10 | | | | ||
| 10-12 | | | Reaktive Systeme Tutorium 2TU FH 301 0434 L 358/T [ VV | ISIS ] | Reaktive Systeme Tutorium 2TU MA 548 0434 L 358/T [ VV | ISIS ] | Reaktive Systeme Tutorium 2TU MA 551 0434 L 358/T [ VV | ISIS ] |
| 12-14 | | Reaktive Systeme 2VL MA 004 0434 L 358 [ VV | ISIS ] | Reaktive Systeme Tutorium 2TU MA 548 0434 L 358/T [ VV | ISIS ] | Reaktive Systeme Tutorium 2TU MA 548 0434 L 358/T [ VV | ISIS ] | Reaktive Systeme Tutorium 2TU MAR 0.009/FH 314 0434 L 358/T [ VV | ISIS ] |
| 14-16 | | The Software Horror Picture Show 2SE TEL 512 0434 L 367 [ VV | ISIS ] Reaktive Systeme Tutorium 2TU MA 548/551 0434 L 358/T [ VV | ISIS ] | | ||
| 16-18 | | | | ||
Hinweise:
| |||||
15/16 WiSe - Bachelor
Formale Sprachen und Automaten (aka: FoSA)
- "Formale Sprachen und Automaten" (2VL+2UE)
0401 L 155 [ VV + VV | ISIS ]
15/16 WiSe - Master
Modelle und Theorie Verteilter Algorithmen (aka: DistAlgo)
- "Modelle und Theorie Verteilter Algorithmen" (4IV)
0434 L 357 [ VV | ISIS ]
Beginn erst in Semesterwoche 3 (am 29.10.).
Writing and Publishing a Scientific Paper (aka: WraP)
- "Writing and Publishing a Scientific Paper" (6PJ)
0434 L 360 [ VV | ISIS ]
findet mangels Teilnehmerinnen nicht statt ...
14/15 SoSe - Bachelor
- "Reaktive Systeme" (2VL+2UE)
0434 L 285 [ VV | ISIS ]
- "The Software Horror Picture Show" (2SE)
0434 L 367 [ VV | ISIS ]
14/15 SoSe - Master
- "Algebraische Prozesskalküle" (4IV)
0434 L 352 [ VV | ISIS ]
- "Writing and Publishing a Scientific Paper" (6PJ)
[ VV | ISIS ]
- "Einführung in das interaktive Theorembeweisen" (2IV)
[ VV | ISIS ] >>Blockveranstaltung im September 2015<<
14/15 WiSe - Bachelor
14/15 WiSe - Master
Modelle und Theorie Verteilter Algorithmen (aka: DistAlgo)
- "Modelle und Theorie Verteilter Algorithmen" (4IV)
0434 L 357 [ VV | ISIS ]
Writing and Publishing a Scientific Paper (aka: WraP)
- "Writing and Publishing a Scientific Paper" (6PJ)
0434 L 360 [ VV | ISIS ]
13/14 SoSe - Bachelor
TheGI4: "Theoretische Grundlagen der Informatik 4"
- "Spezifikation und Semantik" (2VL+2UE)
0434 L 285 [ VV | ISIS ]
- "The Software Horror Picture Show" (2SE)
0434 L 367 [ VV | ISIS ]
12/13 SoSe - Bachelor
TheGI4: "Theoretische Grundlagen der Informatik 4"
BINF-SWT-Show (Angebot unsicher aufgrund noch ungeklärter Lehr-Kapazität)
- "The Software Horror Picture Show" (2SE)
0434 L 367 [ VV | ISIS ]
TheGI: "Theoretische Grundlagen der Informatik (für Wirtschaftsinformatiker)"
12/13 SoSe - Master
- "Modelle und Analyse Nebenläufiger Systeme" (2SE)
0434 L 355 [ VV | ISIS ] - "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" (4PJ)
0434 L 356 [ VV | ISIS ]
- "Writing and Publishing a Scientific Paper" (6PJ)
[ VV | ISIS ]
- "Einführung in das interaktive Theorembeweisen (Isabelle Lab)" (2IV)
[ VV | ISIS ] >>Blockveranstaltung im September 2013<<
12/13 WiSe - Bachelor
11/12 SoSe - Bachelor
BINF-GL-TheGI4: "Theoretische Grundlagen der Informatik 4"
- "Spezifikation und Semantik" (2VL+2KS)
0434 L 285 [ VV | ISIS ]
- "The Software Horror Picture Show" (2SE)
0434 L 367 [ VV | ISIS ]
11/12 SoSe - Master
- "Algebraische Prozesskalküle" (4IV)
0434 L 352 [ VV | ISIS ]
MINF-VS-FDC: "Foundations of Distributed Systems"
(Gemeinsames Modul mit Fachgebiet INET)
- "Foundations of Distributed Systems" (4IV)
0432 L 819 / 0434 L 350 [ VV | ISIS | WWW ]
MINF-VS-VeriSynth (ausgefallen wegen mangelnder Teilnehmerzahl)
- "Modelle und Analyse Nebenläufiger Systeme" (2SE)
0434 L 355 [ VV | ISIS ] - "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" (4PJ)
0434 L 356 [ VV | ISIS ]
MINF-VS-WraP (ausgefallen wegen mangelnder Teilnehmerzahl)
- "Writing and Publishing a Scientific Paper" (6PJ)
[ VV | ISIS ]
- "Einführung in das interaktive Theorembeweisen (Isabelle Lab)" (2IV)
[ VV | ISIS ] >>Blockveranstaltung im September 2012<<
11/12 WiSe - Bachelor
BINF-GL-TheGI1: "Theoretische Grundlagen der Theoretischen Informatik 1"
BINF-SWT-CONCUR: "Concurrency"
- "Nebenläufige Modellierung und Programmierung" (2IV)
0434 L 368 [ VV | ISIS ] - "Temporallogik für Software-Ingenieure" (2IV)
0434 L 369 [ VV | ISIS ]
11/12 WiSe - Master
MINF-VS-TDC: "Theory of Distributed Computing"
(Gemeinsames Modul mit Fachgebiet INET)
- INET: TDC1: "Algorithms and Lower Bounds" (2IV)
0432 L 817 [ im SoSe 10/11 abgeschlossen | ISIS | WWW ] - MTV: TDC2: "Formal Models and Semantics" (2IV)
0434 L 355 [ VV | ISIS ]
- "Modelle und Ziele Verteilter Algorithmen" (2SE)
0434 L 365 [ VV | ISIS ] - "Verifikation Verteilter Algorithmen" (4PJ)
0434 L 366 [ VV | ISIS ]
- "Writing and Publishing a Scientific Paper" (6PJ)
[ neu in 11/12 WiSe ]
10/11 SoSe - Bachelor
10/11 SoSe - Master
MINF-VS-TDC: "Theory of Distributed Computing"
(Gemeinsames Modul mit Fachgebiet INET)
- INET: "Algorithms and Lower Bounds" (2IV)
0432 L 817 [ VV | ISIS | WWW ] - MTV: "Formal Models and Semantics" (2IV)
[ angeboten in 11/12 WiSe ]
- "Modelle und Analyse Nebenläufiger Systeme" (2SE)
0434 L 355 [ VV | ISIS ] - "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" (4PJ)
0434 L 356 [ VV | ISIS ]
Überblick WiSe 10
Bachelor:
- "TheGI1: Grundlagen und Algebraische Strukturen" (2VL+2UE)
[ ISIS | VV | Modul BINF-GL-TheGI1 ] - "Nebenläufige Modellierung und Programmierung" (2IV)
[ ISIS | VV | Modul BINF-SWT-CONCUR ] - "Temporallogik für Software-Ingenieure" (2IV)
[ ISIS | VV | Modul BINF-SWT-CONCUR ]
Master:
- "Modelle und Ziele Verteilter Algorithmen" (2SE)
[ ISIS | VV | Modul MINF-VS-VerDistAlgo ] - "Verifikation Verteilter Algorithmen" (4PJ)
[ ISIS | VV | Modul MINF-VS-VerDistAlgo ]
Die Anrechenbarkeiten im Diplom-Hauptstudium sind unter MTV-Lehrangebot erklärt.
Überblick SoSe 10
Aus dem MTV-Lehrangebot finden folgende Veranstaltungen statt.
Für das Bachelor-Studium:
- "Berechenbarkeit und Komplexität" (2VL+2UE)
[ ISIS | VV | Modul BINF-GL-TheGI2 ] - "The Software Horror Picture Show" (2SE)
[ ISIS | VV | Modul BINF-SWT-Horror ]
Für das Master-Studium:
- "Algebraische Prozesskalküle" (4IV)
[ ISIS | VV | Modul MINF-VS-AlgProCalc ] - "Synchrone und Asynchrone Interaktion in Verteilten Systemen" (2SE)
[ ISIS | VV | Modul MINF-VS-SYNC ]
Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.
Überblick WiSe 09/10
Aus dem MTV-Lehrangebot finden im WiSe 09/10 die folgenden Veranstaltungen statt:
Für das Bachelor-Studium:
- "TheGI1: Grundlagen und Algebraische Strukturen" (2VL+2UE)
[ ISIS | VV | Modul BINF-GL-TheGI1 ] - "Nebenläufige Modellierung und Programmierung" (2IV)
[ ISIS | VV | Modul BINF-SWT-Horror ]
Für das Master-Studium:
- keine (Forschungsfreisemster)
Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.
Überblick SoSe 09
Aus dem MTV-Lehrangebot finden im SoSe 09 alle prinzipiell für ein Sommersemester vorgesehenen Veranstaltungen statt. Im einzelnen sind dies:
Für das Bachelor-Studium:
- "Berechenbarkeit und Komplexität" (2VL+2UE)
[ ISIS | VV | Modul BINF-GL-TheGI2 ] - "The Software Horror Picture Show" (2SE)
[ ISIS | VV | Modul BINF-SWT-Horror, ehemals MTV5 ]
Für das Master-Studium:
- "Algebraische Prozesskalküle" (4IV)
[ ISIS | VV | Modul MINF-VS-AlgProCalc, ehemals MTV1 ]
Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.
Überblick WiSe 08/09
Aus dem MTV-Lehrangebot finden im WiSe 08/09 die folgenden Veranstaltungen statt:
Für das Bachelor-Studium:
- "TheGI1: Grundlagen und Algebraische Strukturen" (2VL+2UE)
[ ISIS | VV | Modul BINF-GL-TheGI1 ] - "Nebenläufige Modellierung und Programmierung" (2IV)
[ ISIS | VV | Modul BINF-SWT-Horror ]
Für das Master-Studium:
- "Theorie Verteilter Algorithmen" (4IV)
[ ISIS | VV | Modul MINF-VS-DistAlgo, ehemals MTV2 ]
Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.
Überblick SoSe 08
Aus dem MTV-Lehrangebot finden im SoSe 08 alle prinzipiell für ein Sommersemester vorgesehenen Veranstaltungen statt. Im einzelnen sind dies: Für das Bachelor-Studium:
- "Berechenbarkeit und Komplexität" (2VL+2UE)
[ ISIS | VV | Modul BINF-GL-TheGI2 ] - "The Software Horror Picture Show" (2SE)
[ ISIS | VV | Modul BINF-SWT-Horror, ehemals MTV5 ]
Für das Master-Studium:
- "Algebraische Prozesskalküle" (4IV)
[ ISIS | VV | Modul MINF-VS-AlgProCalc, ehemals MTV1 ]
Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.
Überblick WiSe 07/08
Aus dem MTV-Lehrangebot finden im WiSe 07/08 alle prinzipiell für ein Wintersemester vorgesehenen Veranstaltungen statt. Im einzelnen sind dies: Für das Bachelor-Studium:
- "Nebenläufige Modellierung und Programmierung" (2IV)
[ ISIS | VV | Modul BINF-SWT-Horror ]
Für das Master-Studium:
- "Verteilte Algorithmen" (4IV)
[ ISIS | VV | Modul MINF-VS-DistAlgo, ehemals MTV2 ] - ausgefallen mangels genügender Teilnehmerzahl:
"Temporale Logik für Softwareingenieure" (4IV)
[ ISIS | VV | Modul MINF-VS-TempLogSoft, ehemals MTV3 ]
- "Modelle und Ziele von Sicherheitsprotokollen" (2SE)
"Verifikation von Sicherheitsprotokollen" (4PJ)
[ ISIS | VV-SE , VV-PJ | Modul MINF-VS-VerSecProt, ehemals MTV4]
Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.
Überblick SoSe 07
Im Sommersemester 2007 bieten wir laut Vorlesungsverzeichnis (VV) folgende Lehrveranstaltungen an (Termine auch als Google Calendar):
- VV: TheGI2 (Berechenbarkeit und Komplexität, VL+UE) im Bachelor bzw Diplom-Grundstudium
- VV: MTV1 (Algebraische Prozesskalküle, IV) im Master bzw Diplom-Hauptstudium
- VV: MTV5 (The Software Horror Picture Show, SE) im Diplom-Hauptstudium, Anrechenbarkeit im Master derzeit unklar
Überblick WiSe 06/07
im Hauptstudium, Studiengebiet THI: Für die Module MTV2 und MTV3 gibt es zwei gemeinsame Einführungsveranstaltungen:
Di, 17.10.2006, 10-12 @ A 060 : Zusammenhang, Organisatorisches & Einzelüberblick
Do, 19.10.2006, 14-16 @ FR 1002 : Auffrischung von relevanten TheGI-Basiskonzepten.
- Modul MTV 2: Verteilte Algorithmen - Nestmann
0434 L 353 - Integrierte Veranstaltung (IV) - 4 SWS
Di, 10-12 @ A 060
Di, 14-16 @ FR 3006
(Vertiefungs-Veranstaltung)
- Modul MTV 3: Temporale Logik - Nestmann
0434 L 354 - Integrierte Veranstaltung (IV) - 4 SWS
Do, 10-12 @ FR 4061
Do, 14-16 @ FR 1002
(Vertiefungs-Veranstaltung)
- Modul MTV 4: [Verifikation von] Sicherheitsprotokolle[n] - Borgström
0434 L 355 - Seminar (SE) - 2 SWS
0434 L 360 - Projekt (PJ) - 4 SWS
Mi, 10-12 @ EN 195
- Forschungskolloquium MTV (0434 L 363) - Nestmann
Vorträge zu Forschungsthemen der Gruppe, insbesondere zu Diplom- und Doktorarbeiten, Gastvorträge
Colloquium (CO) - 2 SWS
Fr, 10-12 @ FR 3001
Überblick SoSe 06
im Hauptstudium, Studiengebiet THI:
- Theorie Verteilter Systeme: Fehlertolerante Algorithmen (0434 L 362)
Integrierte Veranstaltung (IV) - 4 SWS
Di, 14-16 @ MA 143 Raumänderung
Do, 10-12 @ FR 6535
Basis-/Vertiefungs-Veranstaltung
- The Software Horror Picture Show (0434 L 367)
Seminar (SE) - 2 SWS
Do, 14-16 @ FR 6007
weitere Veranstaltungen:
- Forschungskolloquium MTV (0434 L 363)
Vorträge zu Forschungsthemen der Gruppe, insbesondere zu Diplom- und Doktorarbeiten, Gastvorträge
Colloquium (CO) - 2 SWS
Fr, 10-12 @ FR 3001
Überblick WiSe 05/06
im Grundstudium:
- Theoretische Grundlagen der Informatik 1 (TheGI 1)
(1. Semester, VL + UE, 4 SWS)
im Hauptstudium, Studiengebiet THI:
- Theorie Verteilter Systeme 1: Algebraische Prozesskalküle
(Integrierte Veranstaltung, VL/UE, 4 SWS)