Syllabus: Schedule theory