Logics in Information Technology

2025/2026 Q2

This page usually hosts a snapshot of the slides I used for the labs of Logics in Information Technology (Lògica en la Informàtica, LI).

My next iteration in this course will be in 2026-2027 Q2. See you in February!