Schedule of topics
Date	Topic	Lecturer
23 July	Mathematical Tools (big-O, etc)	Prof Brendan McKay
24 July	Backtracking and Branch-and-Bound	Prof Brendan McKay
31 July	Backtracking and Branch-and-Bound	Prof Brendan McKay
13 August	Verification Algorithms	Dr Andreas Bauer
14 August	Verification Algorithms	Dr Andreas Bauer
21 August	Verification Algorithms	Dr Andreas Bauer
27 August	Complexity Theory	Dr Beáta Faller
28 August	Complexity Theory	Dr Beáta Faller
3 September	Complexity Theory	Dr Beáta Faller
4 September	Complexity Theory	Dr Beáta Faller
24 September	Network Flow	Dr Paulette Lieby
25 September	Network Flow	Dr Paulette Lieby
1 October	Network Flow	Dr Paulette Lieby
8 October	Approximation Algorithms	Dr Weifa Liang
9 October	Approximation Algorithms	Dr Weifa Liang
15 October	Approximation Algorithms	Dr Weifa Liang
tba	Final examination