Ornela Dardha, from University of Glasgow, is participating at the BCSWomen Lovelace Colloquium as a role model. BCSWomen Lovelace Colloquium, the UK’s main conference for women computing students. Aimed at

Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about Mechanising Proofs for Behavioural Types