Centre International de Mathématiques Pures et Appliquées

CIMPA-ICTP-UNESCO-CAMEROON School

Report by Marcel Tonga

Report by Marie-Françoise Roy

Objectives :

Recently, many important improvements on algorithmic design for logic and algebra ended in powerful softwares allowing more effective treatment of more abstract problems together with new applications. This school aims to introduce all this recent algorithmic improvement in logic and algebra, and to exhibit some applications in computational algebraic geometry, cryptography and numerical document engineering.

These results open many promising perspectives in very applied fields and in new theoretical ones.

Scientific directors and organizers :

L. Goettsche (ICTP, Trieste, Italy), M-F Roy (Université de Rennes I, France), O. Ruatta (Université de Limoges, France), M. Tonga (Université de Yaoundé, Cameroon)

Local organizing committee :

M. Tonga (Université de Yaoundé, Cameroon)

Working language :

French

Date and location :

August 24-September 4, 2009, Yaoundé, Cameroon

Scientific program :

 Formal tools for structured document. Eric Badouel (Rennes, France)
 Algorithms for numbers, polynomials and series. Olivier Ruatta (Limoges, France)
 Effective commutative algebra and algebraic geometry. Henri Lombardi (Besançon, France), Ihsen Yengui (Sfax, Tunisia), Francis Sergereat (Grenoble, France)
 Logic and algebra for real geometry. Marie-Françoise Roy (Rennes, France), Assia Mahboubi (Paris, France)
 Cryptography. Djiby Sow (Senegal)

Schedule - Abstracts

Prerequisites :

Deadline for registration :

June 2, 2009

Registration fee (board and lodging) :

600Euros

Application procedure and Online registration only for applicants not from Cameroon.

Applicants from Cameroon must contact the local organizer : Marcel Tonga (tongamarcel@yahoo.fr)

A forum is opened on the bottom of the following webpage : http://www.cimpa-icpam.org/spip.php?article138