Independent

TLA+ Community Event 2020

Oct 11 to 17, 2020. Online.

Official site

More conferences in Online and in 2020.