Events

Date: 12 June 2026   Time: 16:00 - 17:00

Location: Room 4.24. Peter Landin Building, Mile End. E1 4NS Map 

Konstantinos (Kostas) E. Zachariadis, Professor and Director of Research, School of Economics and Finance will discuss the issues around designing safe markets when AIs are involved, including ideas of how formal verification could play a part.