You will be given about 7 assignments. They may be done in groups consisting of one, two, or three students. All the collaborators must be currently enrolled in the course. A single joint solution must be submitted for each group. All submissions must include the names and student numbers of all the collaborators.

Please note: It is often easier to learn new concepts by working together in a group—you may learn more if you work with smart people. This being said, the purpose of group assignments is that all people in a group should be involved in creating the solution. You can of course choose to sign an assignment you haven't done, but then you risk not learning the material, and this will come back to haunt you during the mid-term and final examinations.

A mid-term test will cover formal languages. It is thus tentatively scheduled for the eigth week of the term. A final examination will cover primarily the remainder of the course material, but it will also consider to some extent material previously covered by the mid-term test.

All the written tests are in-person and open-book.

Grading will thus be based on assignments (20%), one mid-term test (30%), and a final examination (50%). There will be no supplemental examinations.

Any form of academic dishonesty will result automatically in zero marks for the respective test and may be further pursued according to the departmental and university regulations on the matter.

Late assignment submissions: Late submissions will be accepted subject to a penalty of 10% per day late until my solutions are posted on the course's Web site. Note that solutions may be posted as soon as two days after the due date of the respective assignment. No submissions will be accepted afterward under any circumstance.

Special needs

Should you require special accommodations because of a disability, please come and discuss this with me at the begining of the term. I will not take into consideration requests made on or after the day in which the first assignment is released. You must also contact the Student Accessibility & Accommodation Services to obtain authorization for any special arrangements.