An anthology of cutting‑edge essays on formal systems, automata theory, and algorithmic complexity that honors Yuri Gurevich’s legacy, featuring fresh perspectives from leading researchers in logic and computation.