Projects

DADL workshop.

Undecidability of Med.

This project is aimed at students with an interest in algebraic logic and duality theory, seeking to further their knowledge in the field and gain some research experience. This year the focus will be...

Algebra, Topology and Logic Advances.

There is also some logic involved, if one really insists. Organized by Rodrigo Almeida and Lingyuan Ye.