Location
Dates
Presentation
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.
Administrative and scientific coordinators
Scientific program
Course 1: "Méthodes effectives en théorie des nombres", Yann Bugeaud (Université de Strasbourg, France)
Course 2: "Complex solutions of polynomial equations and residues", Alicia Dickenstein ( Université Buenos Aires, Argentina)
Course 3: "Problème du logarithme discret et ses applications en cryptographie", Sylvain Duquesne (Université de Rennes 1, France)
Course 4: "Théorie des nombres et cryptographie", Tony Ezome (Université de Franceville, Gabon)
Course 5: "Quelques algorithmes en géométrie algébrique réelle", Daouda Niang Diatta (Université de Ziguinchor, Sénégal) et Marie-Françoise Roy (Université de Rennes, France)
Course 6: "Méthodes de certification des algorithmes en calcul formel et applications", Assia Mahboubi (INRIA, France)
Course 7: "Methods from complex projective geometry applied to the study of real algebraic curves and surfaces", Ragni Piene (University of Oslo, Norway)
Course 8: "Méthodes pour calculer les solutions réelles des systèmes polynomiaux et application au calcul de la topologie des courbes", Fabrice Rouillier (INRIA, France)