形式化方法黑客松 11 月开跑：新手特别欢迎，目标 1 专家配 5 新手

hargup13 · x · 2026-09-27

组织方 maxvonhippel 透露，11 月 1 日周末举行的「Vibecheck」形式化方法（formal methods）黑客松目前约 50% 的报名者已是 FM 专家，但他们理想的比例是 1 名专家带 5 名新手，因此特别呼吁零基础的报名者参与——哪怕从未听说过形式化方法也可以申请。

报名表通过 Google Forms 提交，活动定位是「可上手的」形式化方法黑客松，意在让更多人体验 FM 实践。