Hallo,
wenn jemand dieses Semester Prüfungen in Formale Sprachen und/oder Advanced Logics (Logik und Komplexität) bei mir machen möchte, so melde er sich nebst der etwaigen QIS-Anmeldung auch in unserem Instituts-eigenen Websystem für einen Termin an. Das System ist wie üblich über unsere Webseite
www.thi.uni-hannover.de unter
http://www.thi.uni-hannover.de/169.html zu finden.
Beste Grüße,
Arne Meier