Department of Information Technology

CT Schedule

For administrative reasons, attendance at the first two-hour-lecture is mandatory: contact Pierre Flener if you cannot make it for some reason, ideally in advance. Attendance at all other lectures and at the labs is highly recommended.

PhD students can study most of the material by themselves after the first few lectures, and are relieved of the assignment and exam duties in exchange for a more sophisticated project (possibly in connection with their PhD research).

Date Time Venue Content Slides Extra Material Instructor
Mon 27 Aug 10:15 - 12:00 MIC 1311 Introduction & Overview L01.pdf Pierre Flener
Wed 29 Aug 10:15 - 12:00 MIC 1311 Gecode/J Primer L02.pdf Pierre Flener
Fri 31 Aug 10:15 - 12:00 MIC 1311 Basic Modelling L03.pdf Pierre Flener
Mon 03 Sep 10:15 - 12:00 MIC 1311 Consistency L04.pdf Pierre Flener
Wed 05 Sep 10:15 - 12:00 MIC 1311 Propagation 1 L05.pdf Ref 1 Ref 2 Pierre Flener
Fri 07 Sep 10:15 - 12:00 MIC 1211 Propagation 2 Pierre Flener
Mon 10 Sep 10:15 - 12:00 MIC 1111 Search L06.pdf Ref 1 Pierre Flener
Mon 10 Sep 13:15 - 15:00 MIC 1515D Lab on Assignment 1 Jonathan Mörndal
Wed 12 Sep 10:15 - 12:00 MIC 1311 Global Constraints L07.pdf Pierre Flener
Mon 17 Sep 10:15 - 12:00 MIC 1211 Modelling 1 L08.pdf Ref 3 Pierre Flener
Wed 19 Sep 10:15 - 12:00 MIC 1211 Modelling 2 Pierre Flener
Fri 21 Sep 10:15 - 12:00 MIC 1111 Modelling 3 Pierre Flener
Mon 08 Oct 10:15 - 12:00 MIC 2146 Set Variables L09.pdf Pierre Flener
Mon 08 Oct 13:15 - 15:00 MIC 1515D Lab on Assignment 2 Jonathan Mörndal
Thu 11 Oct 10:15 - 12:00 MIC 1211 Distinct Propagator L10.pdf Ref 4 Ref 5 Pierre Flener
Fri 12 Oct 13:15 - 15:00 MIC 1211 Local Search L11.pdf Magnus Ågren
Mon 15 Oct 10:15 - 12:00 MIC 1211 Conclusion, Q & A Pierre Flener
Thu 18 Oct 09:00 - 14:00 MIC 5 Written Exam

Many of the slides are copyright Christian Schulte, Marco Kuhlmann and Guido Tack, or Justin Pearson.

Updated  2007-10-10 09:40:28 by Magnus Ågren.