Course on Many-Valued Logic at ILLC
Starting form the 1st of September 2014, I will teach a course on Many-Valued Logics at the University of Amsterdam. The webpage with all the details can be found here.
Category Teaching
Tutorial on Dualities
These are the slides of my tutorial on Dualities at the $16^{th}$ Latin American Symposium on Mathematical Logic. 28th July – 1st August 2014. Buenos Aires, Argentina. A shorter version can be found here.
Course on Algebra and Coalgebra
This is a back up reference of the page of the course on Algebra and Coalgebra (Autumn 2013). Capita Selecta in Modal Logic, Algebra and Coalgebra (Autumn 2013) This page concerns the course `Capita Selecta in Modal Logic, Algebra and…
Course on Capita Selecta in Modal Logic
Starting from the 29th of October I will start teaching a course with Yde Venema at the University of Amsterdam on Algebra and Coalgebra. The webpage of the course can be found here.
Matematica Discreta e Logica Matematica (Informatica)
This year I will give a series of introductory lectures on Mathematical Logic for the course “Matematica Discreta e Logica Matematica” at the B.Sc. in Computer Science. I will try to write down some lecture notes, but in the meanwhile…