The aim of this network is to connect researchers and practioners interested in formal methods for security, in the theory, in software tools and in the mix of both, to boost the development of these via collaborations.
We started existing in December 2020, under an initiative by Ioana Boureanu, in the UK.
The network has about about 30 members, from academia, industry and government.
We aim to meet monthly.
In 2021, we held 4 talks, as CV19 hit our normal rhythms. Now, we are being reborn in a new shape.
See here.
Read more about that and about us here.