AI Proof and Verification
@aipv-series.bsky.social
We are delighted to welcome Dr. Minchao Wu as a member of our local organising team.
aipv2026.github.io
aipv2026.github.io
AIPV2026
Colocated with FM2026 in Tokyo
aipv2026.github.io
February 9, 2026 at 11:35 AM
We are delighted to welcome Dr. Minchao Wu as a member of our local organising team.
aipv2026.github.io
aipv2026.github.io
📣 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...
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...
January 26, 2026 at 4:30 PM
📣 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...
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...