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.