Credits	3 cr
Period	24 + 0 (2 + 0) III-IV
Objectives
Contents	Current research topics in theoretical computer science. The topic in Spring 2009 will be computational logic.
Prerequisites
Course replacements	Replaces former courses T-79.192 Special course in theoretical computer science and T-79.194 Seminar on theoretical computer science.
Target audience
Requirements	In order to pass the course the students should give a seminar talk with archivables slides (preferably in PDF) and provide feedback for three other presentations.
Assessment	The course grade is determined by the grade of the seminar talk (85%) and the grades of the three feedback reports (5\% each).
Literature	The seminar talks are based on the book Handbook of Constraint Programming. P. Rossi, P. Van Beek, and T. Walsh (Eds.). Elsevier, 2006. Table of contents.
Language of instruction	EN. English.
Course staff	Responsible teacher: Prof. Ilkka Niemelä
Office hours
Additional information	The contents of the course vary.
CEF level