iiinova — where your digital self keeps evolving

AI Proof and Verification @aipv-series.bsky.social · 06/05/2026

Posts Replies Media

We’re happy to welcome Noeon Research as a Partner of AIPV 2026. We really appreciate their support of the AI + Proof & Verification community. 🔗 aipvconf.org This year’s AIPV is shaping up to be a nice mix of academia, start-ups, non-profits, and industry.

003

AI Proof and Verification @aipv-series.bsky.social · 24/04/2026

We believe we have responded to all questions and requests received so far. If you have been waiting for a reply for more than one week, it is likely that something has gone wrong. In that case, please feel free to reach out to us again, possibly via an alternative communication channel.

000

AI Proof and Verification @aipv-series.bsky.social · 14/04/2026

🚀 AIPV 2026 Accepted Papers Announced! We are excited to announce the 22 accepted contributions showcasing cutting-edge work at the intersection of AI, proof, and verification. Explore the full list here: aipv2026.github.io/accepted/ See you in Tokyo this May!

Accepted

AI Proof and Verification @aipv-series.bsky.social · 26/03/2026

000

We’re happy to welcome Harmonic as a Partner of AIPV 2026! Thank you for supporting the AI + Proof & Verification community. 🙏 🔗 aipv2026.github.io

001

AI Proof and Verification @aipv-series.bsky.social · 24/03/2026

Due to the strong number of submissions, AIPV has been expanded into a two-day event. Thank you very much for your many submissions. We are working hard to make this a meaningful and engaging workshop. 🙇 aipv2026.github.io

AI Proof and Verification @aipv-series.bsky.social · 16/03/2026

001

We received many submissions for AIPV 2026 (AI, Proof & Verification). Thank you to everyone who submitted! We’re excited about the strong interest and are now working on shaping the program. Looking forward to seeing many of you in Tokyo in May. aipv2026.github.io

AI Proof and Verification @aipv-series.bsky.social · 12/03/2026

002

Friendly reminder: the AIPV 2026 workshop contribution deadline is March 15, 2026 (23:59 AoE) and is approaching quickly. We look forward to your submissions. aipv2026.github.io

AI Proof and Verification @aipv-series.bsky.social · 05/03/2026

001

The keynote speakers for AIPV include: - Prof. Conrad Watt (NTU), known for his work on the formalisation of WebAssembly -Prof. Nobuko Yoshida ( Oxford), well known for her contributions to programming languages theory -Dr. Christian Szegedy known for his work on neural networks. aipv2026.github.io

AI Proof and Verification @aipv-series.bsky.social · 02/03/2026

011

We are delighted to welcome Kensho Tsurusaki (The University of Tokyo and NII) as a member of our local organising team. 🤗 aipv2026.github.io

AI Proof and Verification @aipv-series.bsky.social · 09/02/2026

002

We are delighted to welcome Dr. Minchao Wu as a member of our local organising team. aipv2026.github.io