33rd Foundational Methods in Computer Science Workshop, June 15–19, 2026
$...$
\[...\]
$$...$$
amsmath
amssymb