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.

Dear Participants of the Course,

The last Lecture of the course is tomorrow , Thu 11.12. The last Lecture is not part of the exam requirements but mainly devoted to making a recap of the course contents. To make this an interactive process, please think of any questions you might have regarding the course, and we'll go through the material you want in an interactive fashion.

I'll also have some slides about the research done at the department on the topic of the course to get the Lecture started but after that we'll spend most of the time going through the other Lectures, and if necessary, tutorial topics. So please think of questions regarding the course contents.


Regards,

Keijo Heljanko
Course Lecturer

Results for the second 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.

Results for the first 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.

Home exercise 3 distributed, DL 4.12-2008 12:15.


Course Lecturer,


Keijo Heljanko

Home exercise 2 was distributed last Thursday with strict deadline on 20.11 at 12:15. Please note that the exercise is to be done individually, no group work is allowed.


Course lecturer,

Keijo Heljanko

Home exercise 1 was distributed last Thursday with strict deadline on 6.11 at 12:15. Please note that the exercise is to be done individually, no group work is allowed.

Recall also special time for Lecture this week, tomorrow Tue at 10:15. The tutorials are at their normal time on Thursday.

Course lecturer,

Keijo Heljanko

Lectures next week on Tue 21.10 at 10:15-12:00 in TB-353. Tutorials at their normal time on Thursday!

Just a reminder: There is no Lectures or Tutorials tomorrow Thu 2.10. See you all next week!

Course Lecturer,

Keijo Heljanko