Institute for Computer Languages
Compilers and Languages Group
Thursday, April 11, 11am-1pm
Library of E185.1
|ARV lectures||Wednesdays and Thursdays,
10:00-11:30 and 12:30-14:00,
Library of E185.1, Argentinierstrasse 8/4
|Introductory ARV lecture||March 6, 10:00-11:30, Library of E185.1|
| Joint presentation
of CompLang lectures
|March 6, 13:00-14:00, Lecture room EI 4|
|First (regular) ARV lecture||March 7, 10:00-11:30, Library of E185.1|
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.
|Problem set||Handed out on||Due on||Solution|
|Homework assignment||March 14, 2013||March 20, 2013||Solution|
We will maintain the following mailing list:
arv13 at complang dot tuwien dot ac dot at
starting from March 7th, 2013.
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 two parts:
There will be ONE assignment in the middle of the course period.
This assignmemt will be handed out online after the last lecture on Thursday, March 14.
The assignment will be due on Wednesday, March 20. You may turn in your homework at the beginning of the Wednesday lecture or via email.
If you have questions about course material or homework problems, please talk to us as soon as possible.
Your course grade will be based on your homework assignment and final exam scores.
The homework assignment will count for 30% of the course grade. The final exam will count for 70% 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.