Dans le cadre de ses activités de formation et de recherche, le Centre International de Mathématiques pures et appliquées (CIMPA) organise à Yaoundé en août 2009 une Ecole sur le thème « Méthodes effectives et logiciels de la logique et de l'algèbre pour la géométrie algébrique et la cryptographie »

L'algorithmique pour la logique et l'algèbre a fait de gros progrès qui ont permis le développement de logiciels puissants permettant d'étudier par des méthodes effectives des thématiques autrefois considérées comme abstraites et de traiter de nouvelles applications.

Cette école CIMPA se propose d'introduire des techniques algorithmiques récentes en logique et en algèbre qui ont un impact important en géométrie algébrique, en cryptographie ou pour le traitement automatique de documents numériques.

Ces résultats ouvrent des perspectives vers des sujets de recherches très appliquées et d'impact grandissant sur l'industrie, mais également vers des thématiques plus théoriques en plein développement et qui devraient prendre de plus en plus d'importance.