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.