The trimester program aims to bring together experts, postdocs, and students in computer science and certain areas in mathematics (analysis, probability, and ...
Located in
Programs
Formal Mathematics, the program to formalize, check, and manage mathematical knowledge, statements and proofs with computer support, is about to reach a ...
Located in
Programs
/
Past
