2009 Cameroon

2009 CAMEROON

(Version française de la page)

Accueil
Remonter
2009 Guadeloupe
2009 Egypt
2009 Burkina Faso
2009 Cameroon
2009 Philippines
2009 Tunisia
2009 Indonesia
2009 Oujda
2009 Marrakech
2009 Iran
2009 Pakistan

Down

CIMPA-UNESCO-CAMEROON School

Effective Methods and Software from Logic and Algebra for Algebraic Geometry and Cryptography

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:
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 languages:
French

Date and location:
August 17-29, 2009, Yaoundé, Cameroon

Scientific program:
1. Formal tools for structured document Eric Badouel (Rennes, France) and Marcel Tonga (Yaoundé, Cameroon)
2. Algorithms for numbers, polynomials and series. Olivier Ruatta (Limoges, France)
3. Effective commutative algebra and algebraic geometry. Henri Lombardi (Besançon, France), Ihsen Yengui (Sfax, Tunisia), Francis Sergereat (Grenoble, France)
4. Logic and algebra for real geometry. Assia Mahboubi (Paris, France), Marie-Françoise Roy (Rennes, France), M'hammed El Kahoui
(Marrakech, Morocco)
5. Cryptography. Tchiekoumba Gueye (Senegal), David Lubicz (Rennes, France)

Prerequisites:

Deadline for registration: May 15, 2009

Application procedure and Online registration only for applicants not from Cameroon
Applicants from Cameroon must contact the local organizer: Marcel Tonga