Weekly Schedule

The schedule might change as the course progresses, in part based on student interests and feedbacks and also due to the uncertainties caused by the pandemic. If you are particularly interested in some topic not covered here, send an email to any course staff and we will try our best to accommodate.

WeekMondayTuesdayWednesdayThursdayFriday
1 May 06
Start of class
May 07
May 08
May 09
Introduction
LEC: course-logistics
START: project
May 10
2 May 13
May 14
May 15
May 16
Introduction
LEC: memory-corruption
START: presentation-1
START: presentation-2
START: CTF
May 17
3 May 20
Victoria Day
May 21
May 22
May 23
No class
May 24
4 May 27
May 28
May 29
May 30
Analysis
LEC: declarative-rules
May 31
5 Jun 03
Jun 04
Jun 05
Jun 06
Analysis
LEC: abstract-interpretation
Jun 07
6 Jun 10
Jun 11
Jun 12
Jun 13
Analysis
LEC: symbolic-execution
DUE: presentation-1
DUE: CTF
Jun 14
7 Jun 17
Jun 18
Jun 19
Jun 20
Implementation check
Jun 21
8 Jun 24
Jun 25
Jun 26
Jun 27
Implementation check
Jun 28
9 Jul 01
Canada Day
Jul 02
Jul 03
Jul 04
Formal
LEC: types
Jul 05
10 Jul 08
Jul 09
Jul 10
Jul 11
Formal
LEC: logic
Jul 12
11 Jul 15
Jul 16
Jul 17
Jul 18
Formal
LEC: concurrency
Jul 19
12 Jul 22
Jul 23
Jul 24
Jul 25
Conclusion
INT: final-presentation
DUE: presentation-2
DUE: project
Jul 26
13 Jul 29
Jul 30
End of class
Jul 31
Exam Prep
Aug 01
Exam Prep
Aug 02
Start of exams
14 Aug 05
Civic Day
Aug 06
Aug 07
Aug 08
Aug 09
15 Aug 12
Aug 13
Aug 14
Aug 15
Aug 16
End of exams