Computability in Mathematics

and Computer Science

May 12-14, 2026   (virtual)