Due to the strong number of contributions received, AIPV is now planned as a two-day event, taking place from May 18 to May 19. Please take this into account when making your travel and accommodation arrangements.
⚠️ Regarding Participation:
AIPV is planned as an in-person workshop. Remote presentations are not a standard option and will only be considered in exceptional cases upon prior agreement with the organisers. Thank you for your understanding.
Keynote Talks
Conrad Watt at Nanyang Technological University Singapore
Biography
Conrad Watt is an Assistant Professor at Nanyang Technological University, Singapore, working in formal methods and programming languages. He has made substantial contributions to theorem proving and mechanised verification, including formalising the WebAssembly specification, identifying specification issues, and developing verified interpreters and tooling adopted by the community. As Chair of the W3C WebAssembly Community Group, he has played a central role in the evolution and standardisation of WebAssembly and in the design of SpecTec, a domain-specific language and toolchain for WebAssembly specification. His work connects interactive proof, language design, and practical verification for real-world systems.
Nobuko Yoshida at The University of Oxford
Biography
Nobuko Yoshida is Christopher Strachey Chair of Computing at the University of Oxford. Her research focuses on programming languages, concurrency theory, and formal verification. She is known for her work on session types, behavioural types, and type systems for communication-based software, contributing to the foundations of safe and structured interaction in distributed systems.
Her work combines semantic theory with system design, supporting the development of formally specified communication protocols for distributed and cyber-physical systems. She has led international research projects and collaborated with industry and interdisciplinary partners.
She is a recipient of Horizon TaRDIS project which develops programming language tools for distributed intelligent swarms, decentralised AI agents and the next generation of IoT systems, and ARIA funding for a project on safe-guarded AI, which investigates mathematically grounded methods for reliability and accountability in advanced AI systems. Her research connects type theory, concurrency, verification, and the design of trustworthy software systems.
Christian Szegedy
Biography
Christian Szegedy is a computer scientist known for his contributions to deep learning and neural network design. He contributed to the development of GoogLeNet (Inception v1), which helped shape modern convolutional neural network architectures, and co-authored one of the first papers on adversarial examples, drawing attention to robustness issues in neural networks.
After his work at Google Research, he co-founded xAI, served as Chief Scientist at Morph Labs, and co-founded Math Inc. His career spans foundational research in machine learning, large-scale applied systems, and early-stage AI ventures.