2025-26

First semester

* ALGA C (Graduate course)
* Computation Theory (Master course)

Second semester

* Elements of Logic (Graduate course)