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

Теги: go golang coq

Лето — не только пора отпусков. Солнце и тёплая погода гонят нас из дома. Туда, где не только можно послушать интересные доклады, но и прогуляться после митапа.

Одно из знаковых мест — это Музеон, где MTS Digital и Московский клуб программистов проведут митап, посвящённый интересным и сложным темам.

Кросс-компиляция в Go

Go — язык высокого уровня. Казалось бы. Однако, и в этом языке возникает необходимость сделать что-то на уровне операционной системы и даже ниже.

Насколько это трудно, всегда ли получается, и что делать, если не получается — расскажет Алексей Колосов из компании Рубетек, на примере чтения событий клавиатуры и вызова функций Go из C.

Доказательство корректности программ

Проверка программ на соответствие требованиям появилась вместе с первыми программами. Сегодня в индустрии применяют ручное и автоматизированное тестирование, в том числе и такие необычные методы, как рандомзированное и мутационное тестирование, различные системы типов и различные виды формальной верификации.

Тема необъятная, осваивать будем постепенно. Антон Стеканов расскажет о формальной верификации с использованием языка Coq и покажет, как это работает на простом, но практическом примере.

При регистрации укажите дату 1 августа.

Комьюнити

Московский клуб программистов