The Secure Program Synthesis Hackathon
The Montréal node of the Secure Program Synthesis Hackathon, a weekend research sprint at Ω Labs, organized with Apart Research and Atlas Computing.
Build a prototype at the intersection of program synthesis, formal methods, security.
Tracks
Specification Elicitation: tools that pull formal specs out of ambiguous sources (docs, legacy code, requirements).
Specification Validation: methods that check a candidate spec actually captures intended behavior.
Spec-Driven Development / Vericoding: workflows where a spec generates and ranks candidate implementations.
Adversarial Robustness for ITPs and proof tools: fuzzing kernels, defeating proof autocompleters, exploiting unsound automation.
What happens after
Top teams from the global cohort are invited to apply to Apart's 4-month Secure Program Synthesis Fellowship (June to October 2026), with mentors including Erik Meijer and Mike Dodds, plus compute, API credits, and demo-day travel funding.
Who should join
Researchers, students, and engineers working on or curious about formal methods, program synthesis, proof engineering, fuzzing, SMT or model checking, secure systems, or agent and ML evals.
Schedule
Fri May 22, 18:00: kickoff, Apart track briefings (streamed in), team formation, dinner
Sat May 23, 09:00 to sunset: build, lunch provided
Sun May 24, 09:00 to 17:00: final day, lunch provided, demos at 15:00, end 17:00
Food provided: Friday dinner, Saturday and Sunday lunch. Bring your laptop.
Apply with one or two sentences on what you would like to work on.
Questions: team@horizonomega.org