| N | Data | Time | Room | Kind | Topic |
| 1t | Thu 24/09 | 14:00-16:00 | P1 | theory | An introduction to the course and a taste of syntax vs. sematics |
| 2t | Fri 25/09 | 16:00-18:00 | G | theory | Operational and denotational semantics |
| -- | Mon 28/09 | ----- | ----- | --- | Assenza docente |
| 1l | Tue 29/09 | 11:13--13:00 | N | lab | Laboratorio |
| 3t | Thu 01/10 | 14:00-16:00 | P1 | theory | What is unification? |
| 4t | Fri 02/10 | 16:00-18:00 | G | theory | What is a logical system? |