Institute for Computer Languages
Compilers and Languages Group
| Please evaluate the lecture
using the course evaluation form |
form.txt |
| Regular ARV lectures | Thursdays, 12:45-14:15, EI 11 Geodaesie HS Note: course starts at 12:45! |
| Regular ARV exercise sessions: | Wednesdays, 12:15-13:00, EI 4 Reithoffer HS. |
| Final exam: |
Tuesday, July 3, 2012 10:00-12:00 Library of E185.1 Argentinierstr. 8, 4th floor |
Please register to the course via the
CompLang registration system (this link).
The staff is always glad to help you. Whenever you get lost, desire help, or just want to talk, please contact us - don't let yourself fall behind! If you can't come to our office hours, send us email to set up an individual appointment.
| Number | Problem set | Handed out on | Due on | Solution |
| 1 | Homework 1 | March 22 | March 28 | Solution 1 |
| 2 | Homework 2 | March 30 | April 18 | Solution 2 |
| 3 | Homework 3 | April 19 | April 25 | Solution 3 |
| 4 | Homework 4 | April 26 | May 2 | Solution 4 |
| Practice set | May 3 | - | - | |
| 5 | Homework 5 | May 10 | May 23 | Solution 5 |
| 6 | Homework 6 | May 25 | May 31 | Solution 6 |
| 7 | Homework 7 | June 1 | June 13 | Solution 7 |
We will maintain the following mailing list:
arv11 at complang dot tuwien dot ac dot at
starting from March 9th, 2012.
The course is recommended for master students in Computer Science.
Students are expected to have attended or be familiar with the topics covered by the Formal Methods lectures.
The reasoning power that computational logic offers brings new perspectives in the field of program verification. This course is about computational logic, with focus on its applications to program verification.
This course will be divided in three parts:
Participation in exercise sessions is optional but advisable.
During exercise sessions, previous and new homework problems will be discussed, and examples will be presented which aid in the understanding of the lecture material. Exercise sessions are also an excellent time to ask questions about the course material and about homework problems.
A problem set is handed out at the end of each lecture, and is due at the beginning of the exercise session on the following week. If you cannot attend a exercise session, you may turn in your homework to our office or via email, before noon on the due date.
Model solutions are handed out and discussed during the exercise sessions on the due date. The checked problem sets will be returned a week later also during the exercise sessions. Problem sets that are not picked up in the exercise sessions will be kept in our office.
There will be a total of 7 problem sets. Your best 3 performances on the 7 homeworks will count towards your course grade.
If you have questions about course material or homework problems, please talk to us as soon as possible. We are more than happy to help you, during office hours and at any other time.
Your course grade will be based on your homework and final exam scores.
Homeworks will count for 40% of the course grade. The final exam will count for 60% of the course grade.
The final exam will take place during the regularly scheduled exam period. You will be allowed to bring one A4-size sheet of hand-written notes to the exam. No other material is allowed.