Courses

• Problemes Filosofiques III (UB 2023-2024)
• Introducció a la lògica (UB 2023-2024)
• Lògica (UB 2023-2024)
• Proof Theory (UB 2023-2024)
• Qüestions de Lògica II (Logical Matters II) (UB 2022-2023)
• Modal Logic Master (UB 2022-2023)
• Mathematical Logic (UB 2022-2023)
• Qüestions de Lògica II (Logical Matters II) (UB 2021-2022)
• Proof theory and automated theorem proving (UB 2022)
• Qüestions de Lògica II (Logical Matters II) (UB 2020-2021)
• Introduction to Model Checking (UB 2020-2021)
• Modal Logic Master (UB 2020-2021)
• Introducció a la lògica (UB 2020-2021)
• 2020 Lambda-Calculus and Type Theory Revisited (UB 2019-2020)
• Introducció a la lògica (UB 2019-2020)
• Proof theory and automated theorem proving (UB 2020)
• Qüestions de Lògica II (Logical Matters II) (UB 2019-2020)
• Modal Logic Master (UB 2018-2019)
• Proof assistants: behind the scenes (UB 2019)
• Introducció a la lògica (UB 2018-2019)
• Verified programming and type theory (UB 2018)
• Proof theory and automated theorem proving (UB 2017)
• Qüestions de Lògica II (Logical Matters II) (UB 2017-2018)
• Introducció a la lògica (UB 2017-2018)
• Modal Logic (UB 2016-2017)
• Type Theory: foundations and applications
• Introducció a la lògica (UB 2016-2017)
• Lògica (UB 2016-2017)
• Introducció a la lògica (UB 2015-2016)
• Lògica (UB 2015-2016)
• Proof Theory (UB 2015)
• Modal Logic (UB 2015)
• Mentor system for the Barcelona master in Pure and Applied Logic (2014-2016)
• Modal Logic (UB 2013)
• Proof theory and automated theorem proving (UB 2012/2013)
• Provability logics and applications (ESSLLI course 2012)
• Old courses