Четверг 15 февраля 12:00 UTC+3
🗓 Добавить в календарь

Спикер: Andrey Lyashin
Co-Founder & CTO Pruvendo

📌 Поговорим o:
• О компании Pruvendo
• Что такое формальная верификация
• Практическое применение формальной верификации
• О возможностях языка Ursus и планах развития

Перейдите по ссылке и нажмите на 🔔 чтобы не пропустить

Обсудить можно в нашем чате 💬
#Pruvendo #Ursus #AMA