Saarland University
Computer Science
Programming Systems
ICL 2004

Main page
Lecture notes
Mailing list

Introduction to Computational Logic: Exams

General information

There will be three exams: two regular exams in term time and a re-exam at the beginning of the next term. In order to get the credit points for the lecture, you will have to pass two of these three exams. You can only take part in the re-exam if you passed exactly one regular exam.

Here is how your final grade is determined:

Please acquaint yourself with our exam rules.


In order to take part in an exam, you have to register for it.

Registration starts 14 days and ends 7 days before the day of the exam. You can register via the registration page. Please understand that due to organisational reasons, we will not admit people to an exam who have not registered for it, even if they are registered for the lecture as such.


Exams are scheduled to take place as follows:

Mid-term: 2004-06-05, 09:00–11:30. Building 27, HS I and Building 45, HS 2 (Exercises)
End-term: 2004-07-24, 09:00–11:30. Building 27, HS I (Exercises)
Re-exam: 2004-10-23, individual times. Building 45, rooms 528 and 514
Last Change: Thu 01 Jan 1970 00:00:00 UTC |