Introduction to Computational Logic: Registration (Lecture)

Saarland University Computer Science

Registration for the course is now closed. If you still want to register for the course, send an email to one of the instructors.


If you decide not to take the course, you must deregister with HISPOS. You may also send an informal email containing your matriculation number to Chad E Brown, but deregistration with HISPOS is more important.


After registration, you can review your data.

Last Change: Mon Oct 16 13:11:03 2017