Institute for Computer Languages
Compilers and Languages Group

Automated Reasoning and Program Verification (Summer 2012)

Course code: 185.A52

Course acronym: ARV

Course news and calendar:

Course type: VU, 3 ETCS


Course Schedule

Registration:

Please register to the course via the
CompLang registration system (this link).

Lectures:

Thursdays, 12:45 - 14:15, lecture room EI 11 Geodaesie HS
Laura Kovács, office E185.1/04 07A.
Office hours: Wednesdays 2-4pm.

Exercise Sessions:

Wednesdays, 12:15 - 13:00, lecture room EI 4 Reithoffer HS
Laura Kovács, office E185.1/04 07A.
Office hours: Wednesdays 2-4pm.

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.

Homework:

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

Mailing List

We will maintain the following mailing list:
arv11 at complang dot tuwien dot ac dot at
starting from March 9th, 2012.

Course Information

Course type

Prerequisites:

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.

Summary:

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:

Lecture notes:

Lecture notes (slides) will be distributed online, at the beginning of each lecture.

Exercise Sessions:

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.

Homework:

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.

Grading and Exam:

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.

Course Topics:

The tentative list of topics covered by the course is below:

Course Outline:



Complang
Laura Kovács
   ARV
   ATCS
   Student-Projects
   Vinter
   Cade-Vampire-Tutorial
   SYNASC-Tutorial
Sitemap
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2012-09-25 (Webmaster)