Dear participants of the course,

I promised to inform you when the call for summer trainees opens and here it is:

http://www.tcs.hut.fi/~ttj/SummerTrainees2009/

The deadline for applications is on 30th of January, 2009, 15:45 hours and only traditional paper applications are accepted.

I'm myself looking for 4-5 people on the topic Computer Aided Verification and Testing:

http://www.tcs.hut.fi/~ttj/SummerTrainees2009/topicB.html

Course Lecturer,

Keijo Heljanko

The Exam results for the 17.12-2008 exam are now available at the course Noppa page under Results (signing in to Noppa needed). You can come and inspect the grading on Thursday, 22nd of January 2009 in room B-334 in the CS building.


Course Lecturer,

Keijo Heljanko


P.S. The course T-79.5301 Reactive Systems continues where this course ended. It starts next Wednesday 21.1 at 9:00 also in B353.

Results for the third homework have been published on the results page. If you want to have feedback for your result, send a request to the course email address.