February 2026, Paris, France
Co-located with Computer Science Logic (CSL) 2026
MathSTIC building, Université Sorbonne Paris Nord 99 Avenue Jean-Baptiste Clément, 93430 Villetaneuse