AIFormal methods hackathon planned for November 1, 2026
The organizer says contestants will build formally verified games, AI agents and other everyday software to test how usable the tools are for software engineers without a formal methods background or training.
TLDR
A formal methods hackathon is planned for November 1, 2026, according to its organizer. Contestants will compete to build formally verified software, with examples including video games, AI agents and travel booking tools. The organizer aims to identify usability gaps by testing the tools with software engineers who have no prior formal methods background or formal methods-specific education, and is seeking sponsors to donate prizes.