I'll be giving the closing talk at @recon Montreal next week (Sunday 21, 4:30pm) talking (and ranting) about all things Mixed Boolean-Arithmetic. https://cfp.recon.cx/recon-2026/talk/SZE7UX/ I want to thank @recon and @HexRaysSA for the opportunity and trust.