1. 5

A friend of mine working at a university has just shown me this list of remote conferences, mainly in the topic of formal methods and functional programming. I think there are quite some interesting ones in the list, thus I share it with you along with his comment:

The COVID-19 outbreak made conference organizers to shut down personal meetings and to move conferences online. This summer there are a wealth of computer science conferences you can follow using Zoom or Youtube, either for free or for a nominal fee.