The 2020 postponed Lovelace lecture will now take place virtually and is free to attend. It is brought to you by BCS and is sponsored by The Ada Lovelace Institute.
Speaker, Marta Kwiatkowska, University of Oxford, leads this year’s lecture. She was awarded the 2019 BCS Lovelace Medal for her research in probabilistic and quantitative verification. Since 2001 she has led the development of the highly influential probabilistic model checker PRISM.
Book your free ticket here: https://www.bcs.org/events/2021/may/bcs-lovelace-lecture-202021-prof-marta-kwiatkowska/