Saarland University Computer Science

Semantics Derek Dreyer and Gert Smolka

Exams and Grade

  1. There will be two exams. The Midterm will take place on December 6, 12:15 - 13:45 in E1 3, Lecture Hall 2.  The Endterm will take place on February 14, 12:15- 13:45, in E1 3, Lecture Hall 2. Make sure you are there 5 minutes early so you can be seated in time.
  2. To take part in the Midterm, you must score at least 33% in the tests preceding the Midterm.
  3. To take part in the Endterm, you must score at least 33% in the Midterm and at least 33% in the tests after the Midterm preceding the Endterm.
  4. To get credit for the course, you need to score at least 50% of the sum of the points of the Midterm and of the Endterm.
  5. Your grade will be determined from the Midterm and Endterm such that both exams contribute 50%.
  6. In case of illness, you can be exempted from an exam. For this to happen, you must not participate in the exam and present us with a medical certificate within one week after the exam.

Exam Rules

  • Please bring your ID card and student ID card for identification.

  • Please don't open the exam booklet until you are asked to do so. After you have opened the exam booklet, it is your obligation to check whether it is complete.

  • You may only use the exam booklet that carries your name and matriculation. You have to write the exam on the seat with the number that is printed on your exam booklet.

  • No auxiliary means are allowed. At your desk, you may only have writing utensils, beverages, food, and ID cards. Bags and jackets have to be left at the walls of the lecture room.

  • If you leave the room without turning in your exam booklet, we have to judge it as an attempt of deception.

  • If you need to go to the bathroom during the exam, please turn in your exam booklet. Only one person may go to the bathroom at a time.

  • All solutions have to be put on the right hand side pages of the exam booklet. The empty left hand side pages may serve as draft paper and will not be corrected. No other paper is admitted. You may use a pencil.

  • No problem will be graded with less than 0 points.

  • Every attempt of deception will force us to exclude you from this exam and all following exams of this lecture. The University keeps a record of attempts of deception.