Vorlesung: Anwendungen von Graphzerlegungen in Algorithmik und Logik

Seminar:	Mitarbeiterseminar der Logikgruppe
	Freitags, 11.00 - 13.00, Raum 4.410

Seminar:	"Oberseminar 'Theoretische Informatik' "
	Unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113

Vorlesung: Logik, Spiele und Automaten

Seminar:	Mitarbeiterseminar der Logikgruppe
	Freitags, 11.00 - 13.00, Raum 4.410

Seminar:	"Oberseminar 'Theoretische Informatik' "
	Unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113

Seminar: Spiele in der Informatik

Seminar:	Mitarbeiterseminar der Logikgruppe
	Freitags, 11.00 - 13.00, Raum 4.410

Seminar:	"Oberseminar 'Theoretische Informatik' "
	unregelmäßig Freitags, 13.00 - 15.00, Raum 3.113

Vorlesung: SAT-Solving und Constraint-Satisfaction Probleme

Seminar:	Endliche Modelltheorie
	Blockseminar. Der Termin wird während der Vorbesprechung festgelegt.
	Vorbesprechung: Freitag, 21.10.2005, 15 Uhr, Raum IV.410, Johann von Neumann Haus

Seminar:	Mitarbeiterseminar der Logikgruppe
	unregelmäßig Freitags, 11.00 - 13.00, Zimmer 4.410

Seminar:	Oberseminar "Theoretische Informatik"
	unregelmäßig Freitags, 13.00 - 15.00, Zimmer 3.113

Vorlesung: Logik und Komplexität (zusammen mit Prof. Dr. Nicole Schweikardt)

Seminar:	Mitarbeiterseminar der Logikgruppe
	Freitags, 11.00 - 13.00, Zimmer 4.410

Seminar:	Oberseminar "Theoretische Informatik"
	Freitags, 13.00 - 15.00, Zimmer 3.113

Last modified: Fri Mar 17 14:29:12 CET 2006

Stephan Kreutzer