Coordinator: André Conseibo (UNIVERSITE NORBERT ZONGO, Koudougou, Burkina Faso)
This school aims at introducing interested mathematicians to the theory and practice of interactive theorem provers,
This CIMPA school aims to introduce graduate students and early-career researchers to the diverse fields of combinato
The main aim of this school is to introduce young researchers and graduate students to fundamental and advanced tools
This collaborative workshop will consist of 9 research groups under the supervision of an expert working on recent re
This research school offers an intensive program covering advanced topics in symplectic topology, differential geomet