AI Proof and Verification
@aipv-series.bsky.social
📤 5
📥 10
📝 2
https://aipv2026.github.io
We are delighted to welcome Dr. Minchao Wu as a member of our local organising team.
aipv2026.github.io
loading . . .
AIPV2026
Colocated with FM2026 in Tokyo
https://aipv2026.github.io
16 days ago
0
0
0
📣 Call for Contributions – AIPV 2026 We invite submissions on the interaction between AI, proof, and verification. AIPV 2026 will be held in Tokyo, co-located with FM 2026. 🔗
aipv2026.github.io/call4contrib...
30 days ago
0
2
2
you reached the end!!
feeds!
log in
