FOCS 2025 Cryptic Crossword

The organisers of the 66th IEEE Symposium On Foundations Of Computer Science (FOCS) 2025 asked me to construct a cryptic crossword for the event. Here it is. Enjoy.