Organizational Material
| Date | Title | Description |
|---|---|---|
| Aug 1, 2023 | Course announcement | Announcement in the university’s course management system |
| Sep 16, 2023 | Call for theory submissions | This is the email I sent to the colleagues in my department, asking for the submission of theories for the formalization exercise. |
| Oct 1, 2023 | Instructions before course | Some instructions for students before the course starts |
No matching items