Logic and Semantics Research Group

 

Summer term 2013
Lecture:
Logic, Games and Automata
 
Lecture:Tuesday, 12:00 bis 14:00 , room TEL 512
Thursday, 10:00 bis 12:00, room MAR 0.008
Classes: Friday, 12:00 - 14:00, room TEL 512
Start:Tuesday, 16th April 2013
Lecture:
Graph Decompositions and Applications in Algorithmics and Logic (CS)
or
Algorithmic Graph Structure Theory (Math)
 
Lecture:Tuesday, 10:00 bis 12:00, room TEL 512
Thursday, 14:00 - 16:00, room TEL 512
Classes: Monday, 10:00 - 12:00, room FH 315
Start: Monday, 15th April 2013
 
Colloquium:
Research seminar on current topics of logic and algorithmic graph theory
 
Colloquium:room TEL 716
Winter term 2012/13
Lecture:
Logik und Komplexität
  Die Veranstaltung wird sowohl für Bachelor- als auch für Masterstudierende angeboten.
Vorlesung:Dienstag, 10:00 bis 12:00 Uhr im Raum TEL 512
Dienstag, 12:00 bis 14:00 Uhr im Raum TEL 512
Donnerstag, 14:00 bis 16:00 Uhr im Raum TEL 512
Übung:
Lecture:
Theoretische Grundlagen der Informatik 3 - Logiken und Kalküle
 
Vorlesung:Donnerstag, 10:00 bis 12:00 Uhr im Raum MA 001
Übung:
Lecture:
Theoretische Grundlagen der Informatik für TI - TheGI TI
 
Vorlesung:Montag, 12:00 bis 14:00 Uhr im Raum H 1058
Donnerstag, 12:00 bis 14:00 Uhr im Raum H 2013
Kolloquium:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie
 
Kolloquium:Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum
Summer term 2012
Lecture:
Logik, Spiele und Automaten
  Weitere Informationen erhalten Sie im Isis-Kurs
Vorlesung:Mittwoch, 10:00 bis 12:00 Uhr im Raum TEL 512
Donnerstags, 14:00 bis 16:00 im Raum TEL 716
Übung: Freitags, 10:00 bis 12:00 Uhr im Raum TEL 512
Lecture:
Algorithmic Graph Structure Theory (für M. Sc. Mathematik)
entspricht der Vorlesung mit dem Titel
Graph Decompositions and Applications in Algorithmics and Logic (für M. Sc. Informatik)
  Weitere Informationen erhalten Sie im Isis-Kurs
Vorlesung:Donnerstags, 10:00 bis 12:00 im Raum TEL 512
Dienstags, 14:00 bis 16:00 Uhr im Raum TEL 512
Übung: Freitags, 12:00 bis 14:00 Uhr im Raum FR 3043
AchtungDie Vorlesung wird auch unter dem Namen "Algorithmic Graph Structure Theory"
im VVZ angeboten. Für weitere Informationen folgen Sie bitte dem oben angegebenen Isis-Link.
Seminar:
Foundations of Data Integration
  Weitere Informationen erhalten Sie im Isis-Kurs
Seminar:Blockseminar
Erstes Treffen am Mittwoch, den 18. April 2012, 14:00 Uhr (Achtung: geänderter Termin) im Raum FR 6079.
Kolloquium:
Forschungskolloquium zu aktuellen Themen der Logik und Graphentheorie
 
Kolloquium:Dienstags, 10:00 Uhr bis 12:00 Uhr, im Raum
Seminar:
Angewandte Logiken
 
Seminar:Montags, 10:00 Uhr bis 12:00 Uhr, im Raum FR 3035
Winter term 2011/12
Lecture:
Theoretische Grundlagen der Informatik 3
 
Vorlesung:Donnerstags, 10 - 12 Uhr, Raum MA 001 (Mathematikgebäude)
Übung:Zu den im VVZ angebotenen acht Übungsterminen wurden zwei weitere Tutorien eröffnet: Montags, 10:00-12:00 Uhr bei Prof. Dr. Stephan Kreutzer im Raum FR 5514 sowie: Montags, 16:00-18:00 Uhr bei Sebastian Siebertz im Raum FR 3043
1.Klausur: 21. Februar 2012 von 10:00 bis 12:00 Uhr, in den Räumen H 0104, H 0110 und H 0112
2.Klausur: 4. April 2012 von 10:00 bis 12:00 Uhr, in den Räumen A 151 und A 053
Klausureinsicht 5. März 2012 ab 11:00 Uhr; Raum wird bekannt gegeben.
 
Lecture:
Logik und Komplexität
 
Aktuelles:
Achtung: Die Räume und Zeiten haben sich geändert!
Vorlesung:Montags, 10 - 12 Uhr, Raum FR 5514
Donnerstag, 16 - 18 Uhr, Raum FR 5514
Übung:Nach Absprache in der Vorlesung
Informationen: Für weitere Informationen folgen Sie bitte diesem Link.
 
Seminar:
Quantitative Verification and Timed Automata
 
Initial meeting:Wednesday, 26th October 2011, 14.00
Room FR 6079.
Date of the reading course:in one block at the end of term.
 
Seminar:
Forschungsseminar zu aktuellen Themen der Logik und algorithmischen Graphentheorie
 
Termin:Mittwochs, 11-12 Uhr, Raum FR 6079
 
 
Summer term 2011
 
 
Lectures at the University of Oxford
Hilary Term 2011
 
 
Lecture: Logic and Proof
Hilary Term 2010
 
 
Lecture: Logic and Proof
Hilary Term 2009
 
Lecture: Logic and Proof
Michaelmas Term 2008
 
Michaelmas Term 2007
 
Lecture: Computational Complexity (accessible only from Oxford)
Lectures at the Humboldt-University Berlin
Summer term 2007
 
Seminar: Weakly seminar of the logic group
Freitags, 11.00 - 13.00, Raum 4.410
Seminar: "Oberseminar 'Theoretische Informatik': seminar of the theory group"
Unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113
Winter term 2006/2007
 
Lecture: Logic, Games, and Automata (in german)
Seminar: Weekly seminar of the logic group
Freitags, 11.00 - 13.00, Raum 4.410
Seminar: "Oberseminar 'Theoretische Informatik': seminar of the theory group "
Usually Friday, 13.00 - 15.00, Room 3.113
Summer term 2006
 
Seminar: Games in Computer Science (in german)
Seminar: Weekly seminar of the logic group
usually Friday, 11.00 - 13.00, Room 4.410
Seminar: "Oberseminar 'Theoretische Informatik' ": seminar of the theory group
usually Friday, 13.00 - 15.00, Room 3.113
Winter term 2005/2006
 
Seminar: Endliche Modelltheorie (in german)
Seminar: Weekly seminar of the logic group
usually Friday, 11.00 - 13.00, Room 4.410
Seminar: "Oberseminar 'Theoretische Informatik' ": seminar of the theory group
usually Friday, 13.00 - 15.00, Room 3.113
Summer term 2005
 
Lecture: Logik und Komplexität (jointly with Prof. Dr. Nicole Schweikardt, in german)
Seminar: Weekly seminar of the logic group
Usually Fridays, 11.00 - 13.00, Room 4.410
Seminar: "Oberseminar": Weekly seminar of the theory group
Usually Fridays, 13.00 - 15.00, Room 3.113