IT Мероприятия

Создать мероприятие

Прошедшие мероприятия

Мероприятие прошло

Обложка мероприятия Введение в Coq: формальные методы и зависимые типы, Часть IV

Разработка

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

	ср, 30 апрель 2025, 16:00 (+00:00)
	Бесплатно
	Трансляция
	Московский клуб программистов

coq верификация программ

Мероприятие прошло

Обложка мероприятия Введение в Coq: формальные методы и зависимые типы, Часть III

Разработка

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

	ср, 23 апрель 2025, 16:00 (+00:00)
	Бесплатно
	Трансляция

coq верификация программ

Мероприятие прошло

Обложка мероприятия Введение в Coq: формальные методы и зависимые типы, Часть II

Разработка

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

	вт, 15 апрель 2025, 16:00 (+00:00)
	Бесплатно
	Трансляция
	Московский клуб программистов

coq верификация программ

Мероприятие прошло

Обложка мероприятия Введение в Coq: формальные методы и зависимые типы

Разработка

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

	ср, 09 апрель 2025, 16:00 (+00:00)
	Бесплатно
	Трансляция
	Московский клуб программистов

coq зависимые типы верификация программ

Мероприятие прошло

Обложка мероприятия Совместный митап MTС и Московского клуба программистов

Разработка Бэкенд

Совместный митап MTС и Московского клуба программистов

	Москва, Россия
	чт, 01 август 2024, 16:00 (+00:00)
	Бесплатно
	Московский клуб программистов