T-79.4001 Seminar on Theoretical Computer Science (3 cr)

Lectures


 Seminar talk and review assignments

A summary of the assignments is available  under Additional reading. The slides of the talks will be available below under the corresponding seminar/lecture session.  

 

Practical Arrangements

  • In order to pass the sourse each student gives a seminar talk with archivable slides (preferably in PDF) and provides feedback for three other presentations.
  • Preliminary slides for the presentation must be sent by email to the coordinator (Ilkka.Niemela@tkk.fi) by Tuesday noon of the presentation week. The slides will then be made available by the coordinator at the home page of the course.
  • The language of the presentation is Finnish or English. The slides can be in English even if the oral presentation is in Finnish.
  • The final (revised) slides must be sent to the coordinator in two days after the presentation (i.e., by next Friday noon).
  • Each student must provide feedback on three presentations according to the assignments at the home page of the course.
  • The feedback is given by filling out the feedback form in text form (using Latex for mathematics) and sending the form to the coordinator by email. The form is available under "Additional reading". 
  • The feedback is also graded and will be taken into account in the final grade of the reviewing student.
  • The feedback form must be returned in one week (i.e., by next Wednesday noon). 
Date
Week
Day
Time
Location
Topic
21 Jan 09 4 Wed 12.15-14.00 30B353 Opening and handing out seminar assignments
Opening, overview of the seminar topic, and handing out seminar assignments (I.N.)
11 Feb 09 7 Wed 12.15-14.00 30B353 Talks 1 and 2
Talk 1: Chapter 3 (Constraint Propagation), pp. 29-45
Speaker: Peltonen
Reviewers: Ellonen, Lehtonen, Moisio

Talk 2: Chapter 3 (Constraint Propagation), pp. 45-61
Speaker: Nurminen
Reviewers: Koivisto, Laitinen, Seitovirta
18 Feb 09 8 Wed 12.15-14.00 30B353 NO SEMINAR!
25 Feb 09 9 Wed 12.15-14.00 30B353 Talks 3 and 4
Talk 3: Chapter 3 (Constraint Propagation), pp. 62-77
Speaker: Yao
Reviewers: Nieminen, Nurminen, Peltonen

Talk 4: Chapter 4 (Backtracking Search Algorithms), pp. 85-104
Speaker: Ellonen
Reviewers: Lehtonen, Seitovirta, Moisio
04 Mar 09 10 Wed 12.15-14.00 30B353 Talks 5
Talk 5: Chapter 4 (Backtracking Search Algorithms), pp. 105-125
Speaker: Koivisto
Reviewers: Laitinen, Nieminen, Yao, Girardi

Talk 6: Chapter 5 (Local Search Methods), pp. 135-159
RESCHEDULED TO A LATER SESSION

Speaker: Lehtonen
Reviewers: Nurminen, Seitovirta, Moisio

18 Mar 09 12 Wed 12.15-14.00 30B353 Talks 7 and 8
Talk 7: Chapter 6 (Global Constraints), pp. 169-184
Speaker: Nieminen
Reviewers: Ellonen, Laitinen, Peltonen, Girardi

Talk 8: Chapter 6 (Global Constraints), pp. 185-200
Speaker: Moisio
Reviewers: Koivisto, Lehtonen, Yao
25 Mar 09 13 Wed 12.15-14.00 30B353 Talks 9 and 10
Talk 9: Chapter 11 (Modelling), pp. 377-390
Speaker: Seitovirta
Reviewers: Koivisto, Nieminen, Yao

Talk 10: Chapter 11 (Modelling), pp. 391-403
Speaker: Laitinen
Reviewers: Ellonen, Nurminen, Peltonen, Girardi
01 Apr 09 14 Wed 12.15-14.00 30B353 Talk 11 and 6
Talk 11: Chapter 14 (Finite Domain Constraint Programming Systems), pp. 495-526
Speaker: Girardi
Reviewers: Seitovirta, Lehtonen

Talk 6: Chapter 5 (Local Search Methods), pp. 135-159
(rescheduled here)

Speaker: Lehtonen
Reviewers: Nurminen, Seitovirta, Moisio
08 Apr 09 15 Wed 12.15-14.00 30B353 Course summary and grading
Course summary, grading, and feedback
15 Apr 09 16 Wed 12.15-14.00 30B353 L
22 Apr 09 17 Wed 12.15-14.00 30B353 L
29 Apr 09 18 Wed 12.15-14.00 30B353 L
Updated 08 Apr 09 at 12:02