每單位課程包含兩小時的授課及一小時的實習 (Lab/Tutor)，以上課程共 17 單位。另含考試三小時以及研究討論三小時，共 57 小時。
特別演講及「使用 Frama-C」以英文授課，其餘課程中文授課。
| 6/28 | 6/29 | 6/30 | 7/1 | 7/2 | 7/5 | 7/6 | 7/7 | 7/8 | 7/9 | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Mon | Tue | Wed | Thu | Fri | Mon | Tue | Wed | Thu | Fri | |||
| 09:30 - 10:30 | FP | Logic | Op | Logic | Prog | Deno | Deno | Deno | Exam | |||
| 10:30 - 11:30 | FP | Logic | Op | Logic | Prog | Deno | Deno | Deno | Exam | |||
| 11:30 - 12:30 | L/T | L/T | L/T | L/T | L/T | L/T | L/T | L/T | Exam | |||
| 12:30 - 2:00 | Lunch | Lunch | ||||||||||
| 2:00 - 3:00 | Logic | Op | Op | Prog | Prog | FramaC | FramaC | FramaC | FramaC | Seminar | ||
| 3:00 - 4:00 | Logic | Op | Op | Prog | Prog | FramaC | FramaC | FramaC | FramaC | Seminar | ||
| 4:00 - 5:00 | L/T | L/T | L/T | L/T | L/T | L/T | L/T | L/T | L/T | Seminar | ||
L/T = Lab/Tutor 練習
Exam = Examination 考試
Seminar = Research Seminar 研究討論