Предлагаю тут делиться информацией, какие есть русскоязычные сообщества, чаты, семинары и пр. для тех что занимается или интересуется формальными доказательствами и формальной верификацией вообще, и coq в частности. Русскоязычные или проходящие в России курсы тоже можно сюда же.
Вообще, интересно: много ли в России людей занимающихся формальными доказательствами, как и где они их применяют, где общаются и т.д.