Conference in formal verification (methods perfectly secure software) https://fmie2021.github.io/, sounds really awesome, people from the FHI and Deepmind. I was invited but I'm probably not worthy of it (I work mainly in games, my software doesn't need to be secure at all right now), so, passing it along.
Didn't we know some people who worked in digital democracy? They might want to get in on this. If you can't really trust your systems, there are many civic processes you wont be able to implement
@faun It does say it's for the "informal engineer". If you ever had to implement some complex algorithm and you wanna make sure you did so without introducing bugs, formal tools could help with that. Invariant checking is not just about security.
Merveilles is a community project aimed at the establishment of new ways of speaking, seeing and organizing information — A culture that seeks augmentation through the arts of engineering and design. A warm welcome to any like-minded people who feel these ideals resonate with them.