Dies ist ein Archiv der alten Seiten.
Die aktuellen Seiten finden Sie unter www.lii.rwth-aachen.de

Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme

Standardtermin ist montags um 11:00 Uhr, bis auf bekanntgegebene Reisezeiten.

Die Sprechstunden am 27.1.14 und 3.2.14 werden auf Di 28.1.14 12:00Uhr bzw. Di 4.2.14 12:00 Uhr verlegt.

Änderungen werden gegebenenfalls kurzfristig bekanntgegeben!

3.2.14	Hrsg-Sitzung "Informatik-Spektrum"	Heidelberg
18.2.14 - 25.3.14	Auslandsaufenthalt
31.3.14 - 4.4.14	Dagstuhl Seminar ETAPS - Workshop "Strategic Reasoning"	Dagstuhl/Grenoble

Haftungsausschluss • Letzte Änderung: 20.01.2014 • HTML