2025/26 Schedule - Semester 1
There are no sign-ups required, come to as many sessions as you like. Please note, these are not drop-in sessions so aim to arrive at the start time. :)
Workshop Sessions - Weeks 3-10
| Session | Leaders | Location | Time |
|---|---|---|---|
| Tuesday | Alyssa, Igi, Taiki | AT 7.14 | 16:00 - 17:00 |
| Thursday | Cynthia, Oleksandra, Sarah, Timi | AT 7.14 | 10:00 - 11:00 |
| Friday | Amelia, Ash, Mostafa, Lucien | AT 7.14 | 11:00 - 12:00 |
Session Overview
| Week | Tuesday | Thursday | Friday |
|---|---|---|---|
| Week 3 | Command Line | FP: Recursion & Higher-Order Functions | CL: Syllogisms & more Syllogisms |
| Week 4 | Introduction to Git | CL: Sequent Calculus / CNFs | FP: Algebraic Data Types |
| Week 5 | Advanced Git | CL: Implication Rule | FP: Expression Trees |
| Week 6 | Study Abroad & Teaching Roles | FP & CL: Catch-up / Q&A Session | CL: Venn Diagrams / Karnaug-Maps |
| Week 7 | Introduction to IDEs | FP: Data Types and Abstraction | CL: Language / DPLL |
| Week 8 | Internship Career Panel | FP: Type Classes | CL: Arrow Rule |
| Week 9 | Introduction to LaTeX | FP: Combinatorics | CL: Finite State Machines |
| Week 10 | Advanced LaTeX | FP & CL: TBC | FP & CL: TBC |