Web News

Swe0607
November 22, 2006

On friday November 24, from 12.00 - 13.30 you can come to my office in CGN, room B126 to look into your practice work, paper reviews and exam (whatever I have right at that moment). All the grades are now known, and you should have received them in your mailbox. This friday, I shall compute the full grades and will make known the arrangements for extended work for those who need it (aanvullende toetsing).

November 16, 2006

The exam grades are available. You can find them here.

October 26, 2006

I have put a few example questions for the exam on the website, under the heading Exam.

October 24, 2006

Slides of Monday 23rd and Wedneday 25th now on website.

October 19, 2006

Due to personal circumstances I have moved the lecture of Monday Oct. 30 to Wednesday Oct. 25.

October 17, 2006

The third assignment was put on the website. The lecture of next wednesday, the 25th, has been cancelled and moved to the monday after.

October 12, 2006

The first paper reviews has been graded. More info here

October 9, 2006

New slides are available on the site. Note that the legacy lecture has moved to the back, because there was so much to tell about verification and validation.

September 27, 2006

The method of submission for paper reviews has changed. So take a look at the page on paper reviews. Take care: you are only allowed to submit .pdf or .txt files.

September 15, 2006

On the lecture schedule page, I have tried to make more clear which chapters should be studied and to what extent. Also, remember that the first paper review is due on September 25, right before the lecture.

September 11, 2006

The list of papers to review has been made and all deadlines for the course have been set (there are seven of those: three for the lab assignments, four for the paper reviews). The first lab assignment should be on the website soon. The 2nd, 3rd and 4th paper review do not yet have a leading question: keep your eye open for that.

September 1, 2006

The lecturer Jurriaan Hage will be in Hungary from 3 to 7 September. Do not expect much feedback from him during this period.

August 10, 2006

The course starts on monday 11/9 with a lecture at 11.00 in BBL 471. The practice sessions start on monday 18/9.