Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients
Synthetic mathematics, logic-affine computation and efficient proof systems
8-12 September, 2025