VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education. - Sergey M. Staroletov; Dmitry A. Kondratyev; Vladimir I. Shelekhov; Alexander Kogtenkov; Nikolay V. Shilov 002; Natalia Olegovna Garanina; Irina V. Shoshmina; Timofey Cherganov; Vasil Dyadov (FMTea, 2026)