Lehrveranstaltungen

Wintersemester 2009/10

• Vorlesung Spezifikation und Verifikation, 3-std., Mo 10-12, Do 10-12, Hofmann; Übungen 2-std., Schöpp
• Seminar Pioniere der Informatik, 2-std., Lange

• Vorlesung Temporallogik, 4-std., Lange
• Hauptseminar Multiagentensysteme, 2-std., Brandt, Brill, Fischer, Harrenstein
• Praktikum Compilerbau, Hofmann, Schöpp

• Staatsexamensvorbereitung, 2-std., Hofmann, Brichzin, Hölzel

• Oberseminar Theoretische Informatik I, 2-std., Hofmann, Fr 14-16
• Oberseminar Theoretische Informatik II, 2-std., Lange, Di 10-12
• Arbeitsgemeinschaft Komplexität und Programmiersprachen, 2-std., Hofmann

Sommersemester 2009

• Algorithmen und Datenstrukturen, 3-std., Hofmann; Übungen 2-std., Abel, Axelsson
• Logik für Informatiker, 3-std., Lange; Übungen 2-std., Lange
• Seminar zu ausgewähten Themen der Informatik, 2-std., Hofmann, Abel, Beringer, Loidl
• Theoretische Informatik für Medieninformatiker, 2-std., Johannsen

• Vorlesung Kodierungstheorie, 3-std., Hofmann, Aehlig; Übungen 2-std., Aehlig
• Vorlesung Funktionale Programmierung, 2-std., Abel, Loidl; Übungen 2-std., Abel, Loidl
• Vorlesung Verlässliche Systeme, 2-std., Ruess
• Hauptseminar Beschreibungslogik, 2-std., Hofmann, Leiß

• Informatiksysteme aus fachdidaktischer Sicht / Projektmanagement im Informatikunterricht, 2-std., Hofmann, Brichzin, Hölzel; Übungen, 2-std., Brichzin, Hölzel

• Oberseminar Theoretische Informatik, 2-std., Hofmann
• Arbeitsgemeinschaft Komplexität und Programmiersprachen, 2-std., Hofmann

Lehrveranstaltungen früherer Semester

• Softwareentwicklungspraktikum, 4-std., Lange, Schöpp
• Vorlesung Lambda-Kalkül, 3-std., Abel; Übungen 1-std., Abel
• Vorlesung Komplexitätstheorie, 4-std., Hofmann; Übungen 2-std., Hofmann
• Vorlesung Algorithmische Graphentheorie, 2-std., Brandt, Johannsen; Übungen 2-std., Brandt, Johannsen
• Vorlesung Verlässliche Systeme, 2-std., Ruess
• Hauptseminar Theoretische Informatik, 2-std., Hofmann
• Staatsexamensvorbereitung, 2-std., Hofmann
• Python-Kompaktkurs, 6.-10. Oktober, 10-15 Uhr, Abel

• Vorlesung Logik für Informatiker, 3-std., Hofmann
• Übungen zu Logik für Informatiker, 2-std., Gruber
• Übungen zu Programmierung und Modellierung, 2-std., Abel, van Riemsdijk
• Vorlesung Automatentheorie, 4-std., Hofmann, Lange
• Übungen zu Automatentheorie, 2-std., Gruber
• Hauptseminar Modallogik, 2-std., Lange, Harrenstein
• Hauptseminar Logik des geteilten Wissens, 2-std., Hofmann, Leiss

• Vorlesung im Grundstudium Einführung in die Programmierung, 4-std., Hofmann
• Übungen zu Einführung in die Programmierung, 2-std., Lange, Gruber
• Vorlesung im Hauptstudium Rechnergestütztes Beweisen, 4-std., Hofmann, Abel
• Übungen zu Rechnergestütztes Beweisen, 2-std., Abel
• Vorlesung im Hauptstudium Termersetzungssysteme, 3-std., Lange
• Übungen zu Termersetzungssysteme, 2-std., Gruber
• Praktikum im Hauptstudium Compilerbau, 4-std., Hofmann, Loidl, Abel
• Vorlesung im Hauptstudium Computational Social Choice 2-std., Brandt

• Vorlesung in Grundstudium: Effiziente Algorithmen, 4-std., Hofmann; Übungen 2-std., Gruber
• Vorlesung im Hauptstudium: Typsysteme, 4-std., Hofmann, Abel; Übungen 2-std., Abel
• Vorlesung im Hauptstudium: Approximationsalgorithmen, 2-std., Johannsen; Übungen 2-std., Schöpp
• Vorlesung im Hauptstudium: Multiagentensysteme, 2-std., Brandt; Übungen 2-std., Harrenstein, Fischer
• Hauptseminar Programmiersprachentheorie, 2-std., Abel, Beringer, Loidl
• Hauptseminar Grammatical Framework, 2-std., Hofmann, Leiss
• Vorlesung Lehramt: Didaktik der Informatik II, 2-std., Ulrich Freiberger
• Vorlesung Lehramt: Projektmanagement im (Informatik-)Unterricht, 2-std., Hofmann, Brichzin, Hölzel; Übungen 1-std., Hofmann, Brichzin, Hölzel

• Vorlesung Komplexitätstheorie, 4-std., Johannsen; Übungen 2-std., Johannsen, Gruber
• Vorlesung Lambda-Kalkül, 3-std., Abel; Übungen 1-std., Abel
• Hauptseminar Multiagentensysteme: Spieltheorie und Implementierungstheorie, 2-std., Brandt, Fischer, Harrenstein
• Arbeitsgemeinschaft SAT-basierte Verifikation, 2-std., Johannsen
• Arbeitsgemeinschaft Komplexität und Programmiersprachen, 2-std., Hofmann, Johannsen

• Vorlesung in Grundstudium: Effiziente Algorithmen, 4-std., Hofmann
• Proseminar Geschichte der Programmiersprachen, 2-std., Abel
• Vorlesung im Hauptstudium Automatentheorie, 4-std., Hofmann, Lange
• Hauptseminar Spieltheorie, 2-std., Brandt, Fischer, Harrenstein
• Hauptseminar Logik des geteilten Wissens, 2-std., Hofmann, Leiss
• Arbeitsgemeinschaft SAT-basierte Verifikation, 2-std., Johannsen, Lange
• Arbeitsgemeinschaft Komplexität und Programmiersprachen, 2-std., Hofmann, Johannsen

• Vorlesung im Hauptstudium: Rechnergestütztes Beweisen, 4-std., Hofmann, Abel
• Vorlesung im Hauptstudium: Temporallogik, 4-std., Lange
• Praktikum im Hauptstudium: Compilerbau, 4-std., Hofmann, Loidl, Abel
• Arbeitsgemeinschaft SAT-basierte Verifikation, 2-std., Johannsen, Lange
• Arbeitsgemeinschaft Komplexität und Programmiersprachen, 2-std., Hofmann, Johannsen
• Oberseminar Theoretische Informatik, 2-std., Hofmann

Sommersemester 2005

• Vorlesung im Grundstudium: Informatik IV (4-stündig + 3 Stunden Übungen), Martin Hofmann
• Vorlesung im Hauptstudium: Algorithmen für das SAT-Problem (4-stündig + 2 Stunden Übungen), Jan Johannsen
• Vorlesung im Hauptstudium: Formale Sicherheitsmodellierung (2-stündig Mi 8-10, 1.13, Oettingenstraße 67), David von Oheimb
• Zeigerbasierte Datenstrukturen: Semantik, Programmlogik, Analyse, (2-stündig Do 14-16, 0.13, Oettingenstraße 67), Martin Hofmann; siehe die Beschreibung im kommentierten Vorlesungsverzeichnis (Seiten 22,23)

Wintersemester 2004/05

• Programmierpraktikum im Grundstudium (4-stündig)
• Proseminar: "Computer Science Unplugged" (2-stündig)
• Hauptseminar: Fixpunkte (2-stündig)
• Vorlesung im Hauptstudium: Komplexitätstheorie (4 Stunden Vorlesung + 2 Stunden Übung)

Sommersemester 2004

Vorlesung im Grundstudium: Informatik II

Di,Do 9-11, Raum 122 (The)

Übungen Mo 14 - 16 Uhr, Theresienstr. 41, 112, Mo 16 - 18 Uhr, Oettingenstr. 67, Oe 1.05, Di 14 - 16 Uhr, Theresienstr. 41, 111, Di 16 - 18 Uhr, Oettingenstr. 67, Oe 0.05, Mi 14 - 16 Uhr, Theresienstr. 41, 112, Mi 16 - 18 Uhr, Theresienstr. 41, 112,

Diskussionsübung Fr 16-17, E47, Theresienstr. 39

Vorlesung im Hauptstudium: Automatentheorie

Mo 12-14, Raum 1.15, Mi 12-14, Raum 0.15 (Beginn: 19.4.)

Übungen: Do 12-14, Raum 1.15

Vorlesung im Hauptstudium: Formale Sprachen

Mo 16-18, Raum 1.15

Di 16 - 17 Uhr, Raum .15

Übungen: Mi 16-18, Raum 1.15

Wintersemester 2003/04

Vorlesung im Grundstudium: Informatik I

Di,Do 11-13, Raum 122 (The)

Übungen Mo 16-18, Mi 14-16, Raum 113 (The), Di 14-16, 16-18, Raum 112 (The), Mi 14-16, Raum 221 (Hgb)

Diskussionsübung Fr 16-17, 1.27

Vorlesung im Hauptstudium: Rechnergestütztes Beweisen

Do 14-16, Raum 0.11

Übungen: Di 14-16, Raum 0.11

Vorlesung im Hauptstudium: Kodierungstheorie

Mo 16-18, Raum 1.39

Di 17-18, Raum 17

Übungen: Mi 16-18, Raum 1.27

Seminar: Approximative und probabilistische Algorithmen

Fr 12-14, Raum 1.15

Sommersemester 2003

Vorlesung im Grundstudium: Effiziente Algorithmen

Di 12-14, E51, Theresienstrasse

Do 12-14, E52, Theresienstrasse

Übungen in kleinen Gruppen

Vorlesung im Hauptstudium: Formale Sprachen und Automaten

Mo 16-18, Raum 0.13, Oettingenstraße 67

Di 16-17, Raum 15, Oettingenstraße 67

Übungen: Mi 16-18, Raum 0.15, Oettingenstraße 67

Seminar: Quantencomputer

Mi 12-14, Raum 0.11, Oettingenstraße 67

Informatik-Oberseminar

Fr 14-16, Raum Z1.09, Oettingenstraße 67

Wintersemester 2002/03

Vorlesung im Grundstudium: Einführung in die Informatik: Programmierung und Software-Entwicklung

Mi 14-16, Audimax, Hauptgebäde

Übungen in kleinen Gruppen

Vorlesung im Hauptstudium: Komplexitätstheorie

Mo 12-14, Raum 0.13, Oettingenstraße 67

Übungen: Do 12-14, Raum 1.15, Oettingenstraße 67

Vorlesung im Hauptstudium: Algorithmen für das SAT-Problem

Mi 12-14, Raum 0.13, Oettingenstraße 67

Übungen: Di 12-14, Raum 1.15, Oettingenstraße 67

Vorlesung im Hauptstudium: Fixpunkte

Di 10-12, Raum 0.41, Oettingenstraße 67

Übungen: Mi 14-16, Raum Z1.09, Oettingenstraße 67

Vorlesung im Hauptstudium: Codierungstheorie

Mo 16-18, Raum 0.11, Oettingenstraße 67

Di 17-18, Raum 23, Oettingenstraße 67

Übungen: Mi 16-18, Raum 0.15, Oettingenstraße 67

Sommersemester 2002

Vorlesung im Grundstudium: Effiziente Algorithmen

Mi 10-12, HS 122, Theresienstraße 39

Fr 10-12, HS 201, Hauptgebäude

Übungen in kleinen Gruppen

Vorlesung im Hauptstudium: Formale Sprachen und Automaten

Mo 16-18, Raum 15, Oettingenstraße 67

Di 16-17, Raum E40, Theresienstraße 39

Übungen: Mi 16-18, Raum E40, Theresienstraße 67

Vorlesung im Hauptstudium: Theorie und Implementation objektorientierter Programmiersprachen

Di 10-12, Raum 0.15, Oettingenstraße 67

Übungen: Mo 10-12, Raum 0.15, Oettingenstraße 67

Proseminar: Proofs from THE BOOK und andere interessante Dinge

Mo 12-14, Raum 1.13, Oettingenstraße 67

Hauptseminar: Logische Systeme für Zeiger und rekursive Datenstrukturen

Di 12-14, Raum 0.15, Oettingenstraße 67

Wintersemester 2001/02

Vorlesung im Hauptstudium: Rechnergestütztes Beweisen

Mi 8-10, Fr 12-14, Raum 0.15, Oettingenstraße 67

Übungen: Do 12-14, Raum 0.15, Oettingenstraße 67

Vorlesung im Hauptstudium: Codierungstheorie

Mo 16-18, Di 16-17, Raum 0.41, Oettingenstraße 67

Übungen: Mi 16-18, Raum 0.15, Oettingenstraße 67

Vorlesung im Hauptstudium: Applikative Theorien und explizite Mathematik

Di 14-16, Raum 0.41, Oettingenstraße 67

Übungen: Mi 14-16, Raum Z1.09, Oettingenstraße 67

Vorlesung im Hauptstudium: Computergestütztes symbolisches Rechnen

Mo 12-14, Raum 1.13, Oettingenstraße 67

Übungen: Do 8-10, Raum 1.13, Oettingenstraße 67

Hauptseminar: Logische Systeme für Zeiger und rekursive Datenstrukturen

Mi 12-14, Raum 0.15, Oettingenstraße 67

Sommersemester 2001

Vorlesung im Hauptstudium: Logische Methoden der Programmverifikation

Do 14-16, Raum 1.14, Oettingenstraße 67

Übungen: Di 11-13 Uhr, Raum 0.41, Oettingenstraße 67

Vorlesung im Hauptstudium: Algorithmische Bioinformatik I

Mo 14-16, Di 14-16, Raum Z1.09, Oettingenstraße 67

Übungen: Di 8-10, Raum Z1.09, Oettingenstraße 67

Vorlesung im Hauptstudium: Termersetzungssysteme

Mo 9-11, Raum 15, Oettingenstraße 67

Fr 12:45-14:15, Raum Z1.09, Oettingenstraße 67

Übungen: Mi 9-11, Raum Z1.09, Oettingenstraße 67

Vorlesung im Hauptstudium: Formale Sprachen und Automaten

Mo 16-18, Raum E40, Theresienstraße

Di 16-17, Raum E46, Theresienstraße

Übungen: Mi 8-10, Raum 15, Oettingenstraße 67

Hauptseminar: Programmieren mit Prädikatenlogik

Do 16-18, Raum 0.13, Oettingenstraße 67

Proseminar: Bioinformatik

Mo 16-18, Raum 0.43, Oettingenstraße 67

Wintersemester 2000/01

Vorlesung im Hauptstudium: Automatisches Beweisen und Programmsynthese

Mo 10-12, Raum 0.43, Oettingenstraße 67

Übungen: Mi 9-11 Uhr, Raum 0.41, Oettingenstraße 67

Vorlesung im Hauptstudium: Approximationsverfahren für Optimierungsprobleme

Mi 13-15, Fr 11-13, Raum 0.41, Oettingenstraße 67

Übungen: Di 11-13, Raum 0.15, Oettingenstraße 67

Vorlesung im Hauptstudium: Bioinformatik I

Mi 11-13, Do 13-15, Raum 1.27, Oettingenstraße 67

Übungen: Do 9-11, Raum 0.43, Oettingenstraße 67

Vorlesung im Hauptstudium: Codierungstheorie

Mo 16-18, Raum 0.11, Oettingenstraße 67

Di 16-17, Raum 1.15, Oettingenstraße 67

Übungen: Mi 17-19, Raum 1.13, Oettingenstraße 67

Hauptseminar: Funktionales Programmieren auf der Basis des ungetypten Lambda-Kalküls

Fr 9-11, Raum 0.41, Oettingenstraße 67

Proseminar: Termersetzung

Mi 16:30-18:00, Raum 0.43, Oettingenstraße 67

Sommersemester 2000

Hauptstudium: Nichtklassische Logiken

Mi 9-11, Raum 13, Oettingenstraße 67

Do 13 - 15, Raum 0.33, Oettingenstraße 67

Übungen: Mi 11 - 13 Uhr, Raum 0.41, Oettingenstraße 67

Hauptstudium: Entwurf und Analyse von Algorithmen

Mo 14-16, Raum 13, Oettingenstraße 67

Do 9-10, Raum 15, Oettingenstraße 67

Übungen: Do 10-11, Raum 15, Oettingenstraße 67

Hauptstudium: Lambda-Kalkül und Typen

Di 11-13, Raum 0.41, Oettingenstraße 67

Übungen: Mo 9:00-10:30, Raum 0.41, Oettingenstraße 67

Hauptstudium: Formale Sprachen und Automaten

Mo 16-17, Raum 0.41, Oettingenstraße 67

Di 16-18, Raum 11, Oettingenstraße 67

Übungen: Do 15-17, Raum 1.13, Oettingenstraße 67

Einführung in die Informatik: Systeme und Anwendungen (fachübergreifend)

Mi 14-16, Hörsaal 101, Uni-Hauptgebäude

Übungen: Fr 13-16, Hörsaal 101, Uni-Hauptgebäude

Seniorenübungen: Fr 16-19, Hörsaal 101, Uni-Hauptgebäude

Hauptseminar: Quantencomputing

Fr 11:00-12:30, Raum Z1.09, Oettingenstraße 67

Wintersemester 1999/2000

Grundstudium: Programmierpraktikum

Mi 9-13, Raum 0.43, Oettingenstraße 67

Hauptstudium: Vorlesung Bioinformatik I

Mo 9-11, Di 11-13, Raum 1.14, Oettingenstraße 67

Übungen: Mi 17-19, Raum 1.27, Oettingenstraße 67

Hauptstudium: Vorlesung Komplexitätstheorie

Mo 14-16, Raum Z1.09, Oettingenstraße 67

Do 14-16, Raum E27, Theresienstraße 39

Übungen: Do 16-18, Raum 133, Theresienstraße 39

Proseminar "Gödel, Escher, Bach"

Fr 9-11, Raum 0.33, Oettingenstraße 67

Hauptseminar Ausgewählte Themen im Bereich Lambda-Kalkül und Typen

Fr 11:00-12:30, Raum Z1.09, Oettingenstraße 67

Sommersemester 1999

Grundstudium: Vorlesung Informatik II

Di 11-13, Do 9-11, 122, Theresienstraße 39

dazu Übungen in kleinen Gruppen

Hauptstudium: Vorlesung Lambdakalkül und Typen

Mo 11-13, Raum 115

Mi 16-18, Raum 115 (Übungen)

Hauptseminar Bioinformatik

Mi 11-13, Raum Z 1.09

Hauptseminar Komplexitätstheorie

Di 16-18, Theresienstr. 39

Wintersemester 1998/99

Grundstudium: Vorlesung Informatik I

Di 11-13, Do 9-11, E51, Theresienstraße 39, dazu Übungen in kleinen Gruppen

Kompaktkurs: Anwendungen der Bioinformatik oder Missing Link zwischen Sammeln und Verstehen von Gendaten in der Molekularbiologie?

Mo. 26.10.1998 - Fr. 30.10.1998 ; 10:00-12:00 und 14:00-15:00
Raum Z 1.09 Oettingenstr. 67

Vorlesung Bioinformatik I

Mo 11-14, 127
Di 13-14, 131 (Übungen)

Proseminar Konstruktive Aspekte des Fundamentalsatzes der Algebra, Extraktion von Programmen aus Beweisen

Mo 14-16, Hörsaal 251, Theresienstraße 39

Sommersemester 1998

Vorlesung Constraint-Programmierung: Theorie und Anwendung

Mi 14-16, Hörsaal 131,
und Fr 11-13, Hörsaal 135

Vorlesung Lambda-Kalkül

Mo 11-13, 043, Oettingenstr. 67
Di 9-11, 115, Oettingenstr. 67 (Übungen)

Vorlesung Komplexitätstheorie

Do 9-11, 17, Oettingenstr. 67
Mi 16-18, 037, Oettingenstr. 67 (Übungen)

Hauptseminar Ungewöhnliche Berechenbarkeitsmodelle

Di 14-16, Z1.09

Hauptseminar Bioinformatik

Mi 11-13, Z1.09, Oettingenstr. 67

Wintersemester 1997/98

JAVA-Kompaktkurs

27.10. - 30.10., täglich 10-12,14-16, Oettingenstr. 67, Raum 05, 2 stündig

Proseminar "A Theory of Objects"

Mo 14-16, 033, Oettingenstr. 67, 2 stündig

Vorlesung Bioinformatik

Mo 9-11, 114, Oettingenstr. 67
Do 9-11, 127, Oettingenstr. 67
Mo 13-15, 127, Oettingenstr. 67 (Übungen)

Sommersemester 1997

Kompaktkurs Bioinformatik

21.4., 22.4. und 23.4.97

Einführung in die Informatik IV

Di 9-11 und Fr 9-11 Raum E51 / Theresienstr. 39, 4stündig
Übungen dazu: Do 13-15 , Raum E4 Theresienstr. 39, 2stündig

Komplexitätstheorie

Do 13-15, HS 131 / Oettingenstr. 67, 2stündig

Typtheorie und Anwendungen

Mo 11-13, HS 127 und Do 11-13, HS 114 / Oettingenstr. 67, 4stündig
Übungen dazu: Di 11-13, HS 105 / Oettingenstr. 67, 2stündig

Constraints in der Linguistik und Informatik: Theoretische Grundlagen

Mo 14-16, HS 105 / Oettingenstr. 67, 2stündig

Hauptseminar Bioinformatik

Mo 9-11, HS 127, Oettingenstr. 67

Wintersemester 1996/97

• Vorlesung: Bioinformatik
  Mo 9-11 und Do 8-10, Raum 114 / Oettingenstr. 67, 4stündig
  Übungen dazu: Mo 13-15, Raum 127 oder Do 18-20, Raum 114 / Oettingenstr.67, 2stündig
• Vorlesung: Lambda-Kalkül und Typen
  Di 12-14, Raum 13 / Oettingenstr. 67, 2stündig
  Übungen dazu: Fr 12-14, Raum 23 / Oettingenstr. 67, 2stündig
• Informatik-Hauptseminar: Komplexitätstheorie
  Di 9-12, Raum 135 / Oettingenstr. 67, 3stündig
• Fachübergreifendes Hauptseminar: Proteinfaltungsproblem (theoretische, mechanistische und biologische Aspekte der Selbstorganisation)
  Mi 18-19, 1stündig
  Grosser Seminarraum, Institut für Zoologie der LMU
  Eingang Luisenstr. 16, U-Bahn Königsplatz
  Veranstalter: W. Neupert, B. Steipe, H. Grubmüller, P. Clote

Sommersemester 1996

• Vorlesung: Einführung in die Informatik IV
  Di 9-11 und Do 13-15, Raum 138 / Theresienstr. 39, 4stündig
  Übungen dazu: Fr 9-11, Raum 138 / Theresienstr. 39, 2stündig
• Vorlesung: Rechnergestützte Verifikation mit ALF (A,PG)
  Fr 12-14, Raum 23 / Oettingenstr. 67, 2stündig
  Übungen dazu: Mi, Raum 23 / Oettingenstr. 67, 2stündig
• Informatik-Hauptseminar: Bioinformatik (mit Dr. von Haessler)
  Di 14-16, Raum E40 / Theresienstr. 39, 2stündig
• Hauptseminar (Mathematik und Informatik): Funktionale höherer Stufen - Komplexität und Beweistheorie
  Do 15-17, Raum E41 / Theresienstr. 39, 2stündig

Wintersemester 1995/96

• Vorlesung: Komplexitätstheorie
  Mo 9-11, Raum E27 / Theresienstr. 39, Fr 12-14, Raum E05 / Theresienstr. 39
  Übungen dazu: Do 9-11, Raum E40
• Informatik-Hauptseminar: Komplexität von Beweissystemen
  Di 14-16, Raum E40 / Theresienstr. 39, 2stündig

---

Lehr- und Forschungseinheit          Institut          Universität

---

Last modified: Wed Oct 8 16:21:05 CEST 2008