| Date | Time | Speaker | Talk Title |
|---|---|---|---|
| 2025-03-02 | 14:00 | Yi | CoC |
| 2025-02-23 | 12:00 | Xander | CoC |
| 2025-02-09 | 12:00 | Yan | TBA |
| 2025-01-19 | 12:00 | Christine Rizkallah | Facilitating Verified Software Development |
| Date | Time | Speaker | Talk Title |
|---|---|---|---|
| 2025-03-02 | 14:00 | Yi | CoC |
| 2025-02-23 | 12:00 | Xander | CoC |
| 2025-02-09 | 12:00 | Yan | TBA |
| 2025-01-19 | 12:00 | Christine Rizkallah | Facilitating Verified Software Development |