FATA news update - March 2023
Published: 31 March 2023
News from the Formal Analysis Theory and Algorithms research section.
39th British Colloquium for Theoretical Computer Science (BCTCS'23)
Ciaran McCreesh (as local chair) and other members of FATA are organising the 39th British Colloquium for Theoretical Computer Science (BCTCS'23) on 3-4 April 2023 in Glasgow - an annual event for UK-based researchers in theoretical computer science.
‘Science, She Says!’ award
Dr Ornela Dardha has been awarded the inaugural ‘Science, She Says!’ award by the Italian Ministry of Foreign Affairs and International Cooperation (MAECI). The award recognises an outstanding young female scientist, not of Italian descent, who has remarkably contributed to the advancement of science and technology and has strong connections with the Italian scientific community. The award is given to candidates from five regions across the world, with Dr Dardha winning the Europe award.
First published: 31 March 2023
<< News