Conference
International Conference and Workshop on Mathematics and Artificial Intelligence (ICMAI 2026)
The inaugural ICMAI, three days at Nazarbayev University in Astana, hosted by its School of Computing and Artificial Intelligence, the Institute of Smart Systems and Artificial Intelligence and the Nazarbayev University Impact Foundation: talks and invited lectures alongside working sessions, on what mathematics and artificial intelligence have to say to each other.
Kingston's presentation was “Proof-Carrying Streamed Workflow Graphs”. Workflows are increasingly assembled a piece at a time, and an addition can be well typed, locally legal and still remove the last acceptable way to finish. The paper's condition is completion viability, carried by a certificate that travels with the unfinished workflow and is checked on each admitted addition; the viability residual beneath it updates by a left derivative, turning step-by-step checks into a guarantee at every admitted prefix. Only the checker has to be trusted, and the core results are formalized in Lean 4.