Decidability, definability and computability in number theory
de lundi 17 août 2020 (09:00) à vendredi 18 décembre 2020 (17:00)