Menu

IT Events
Communities
Create event

Log in

Restore ticket

in event Введение в Coq: формальные методы и зависимые типы, Часть VIII

Email

Event topics

Development Design, UX/UI Product Management Frontend QA and Testing ML/AI Data Science and Big Data System and business analysis DevOps, SRE and cloud Python Java

Cities

Moscow Saint Petersburg Kazan Nizhny Novgorod Yekaterinburg Novosibirsk

Documentation We are in Telegram Privacy Policy User agreement Yandex Metrica is used

2026 © Networkly.app