Partenaires





Accueil > Écoles de recherche > Anciens programmes > Ecoles de recherche 2014 > Liste chronologique des écoles de recherche 2014 > Méthodes Algorithmiques et Applications en Géométrie Algébrique Réelle et Théorie des Nombres

Méthodes Algorithmiques et Applications en Géométrie Algébrique Réelle et Théorie des Nombres

English Version

Ecole de recherche CIMPA-SENEGAL

AIMS, M’bour, Sénégal, 16-29 juin 2014

POSTER

Rapport de Sylvain Duquesne

Nombre de participants : 42 dont 7 femmes

Les thèmes scientifiques qui seront abordés pendant cette école sont ceux du calcul formel, domaine dont l’objet d’étude est les manipulations symboliques effectives d’objets mathématiques. Plus précisément il s’agira d’en présenter les méthodes algorithmiques qui s’appliquent à la géométrie algébrique réelle, à la théorie des nombres et à la cryptographie.

Le calcul formel se situe naturellement à l’interface des mathématiques et de l’informatique. Ainsi, une de ses nouvelles orientations qui sera abordée pendant cette école concernera les méthodes de certifications des algorithmes développé en calcul formel à l’aide des systèmes de preuves formelles.

Responsables administratifs et scientifiques

- Marie-Françoise Roy, IRMAR Rennes, France, marie-francoise.roy@univ-rennes1.fr
- Mamadou SANGHARE, AIMS-Senegal, mamadou.sanghare@aims-senegal.org

Comité d’organisation local :

- Mamadou SANGHARE, AIMS-Senegal, mamadou.sanghare@aims-senegal.org
- Amadou TALL, AIMS-Sénégal, amadou.tall@aims-senegal.org
- Daouda Niang DIATTA, Université de Ziguinchor, dndiatta@univ-zig.sn

Programme scientifique :

  • Yann Bugeaud (Université de Strasbourg, France) : Méthodes effectives en théorie des nombres.
  • Alicia Dickenstein (Université Buenos Aires, Argentine) : Complex solutions of polynomial equations and residues
  • Sylvain Duquesne (Université de Rennes, France) :Problème du logarithme discret et ses applications en cryptographie
  • Tony Ezome (Université de Franceville, Gabon) : Théorie des nombres et cryptographie
  • Assia Mahboubi (INRIA, France) : Méthodes de certification des algorithmes en calcul formel et applications
  • Daouda Niang Diatta (Université de Ziguinchor) , Marie-Francoise Roy (Université de Rennes) : Quelques algorithmes en géométrie algébrique réelle
  • Ragni Piene (University of Oslo, Norvège) : Methods from complex projective geometry applied to the study of real algebraic curves and surfaces
  • Fabrice Rouillier (INRIA, France) : Méthodes pour calculer les solutions réelles des systèmes polynomiaux et application au calcul de la topologie des courbes

Date limite d’inscription :

6 avril 2014

Modalité d’inscription uniquement pour les non locaux.

Pour les personnes résidant au Sénégal, prière de contacter un des organisateurs locaux :

- Mamadou SANGHARE, AIMS-Senegal, mamadou.sanghare@aims-senegal.org
- Amadou TALL, AIMS-Sénégal, amadou.tall@aims-senegal.org
- Daouda Niang DIATTA, Université de Ziguinchor, dndiatta@univ-zig.sn

Voir en ligne : Site web local