Follow
6th Workshop on Formal Integrated Development Environment, 24-28 May 2020, Norfolk, VA, US https://cister-labs.pt/f-ide2021/
Server run by the main developers of the project 
It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!