Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Oberseminar Theoretische Informatik
Ab Sommersemester (also ab nächster Woche) findet Dienstag Nachmittags (voraussichtlich 16:00, Ort wird noch bekanntgegeben) das Oberseminar Theoretische Informatik statt. Das Seminar steht interessierten Bachelor- und Master-Studierenden offen und kann insbesondere auch zur Vorbereitung einer Bachelor- oder Masterarbeit genutzt werden. Schwerpunkte des Lehrstuhls 8 Theoretische Informatik sind Logik, Wissensrepräsentation und Formale Methoden der Softwaretechnik. Direkte Fragen beantworte ich gerne hier oder unter lutz.schroeder@cs.fau.de .
Gruß,
Lutz Schröder