Les cadres synthétiques se sont révélés être des outils essentiels à l’interface des mathématiques et de l’informatique, permettant notamment des formalisations concises et des systèmes de preuve sur mesure. Les réalisations remarquables incluent la théorie homotopique des types, la théorie synthétique de la calculabilité et la géométrie algébrique synthétique. Des paradigmes très similaires caractérisent les domaines connexes de l’algèbre et de la géométrie computationnelles, guidées par la logique, les modèles de faisceaux et la théorie moderne de la réalisabilité, ainsi que la négation forte pour raisonner de manière constructive avec des informations négatives. Des approches opposées mais complémentaires sont sur le point de converger, soulignant l’impératif d’unifier les bases théoriques avec une implémentation pratique. Avec le séminaire proposé, nous visons à étendre et approfondir la convergence à travers les frontières disciplinaires en favorisant l’échange d’idées et la  collaboration entre experts et praticiens.