Coordinator: André Conseibo (UNIVERSITE NORBERT ZONGO, Koudougou, Burkina Faso)
El objetivo de la escuela es brindar a los estudiantes un panorama amplio de los tópicos centrales del análisis numér
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