Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
Этим вечером можно интерактивно посмотреть в предметную область кокологии, дедуктивной верификации, экстракции, эмбеддинга, и других серьёзных слов, и потенциально привлечься к хахатону по их приложению в системное программирование, криптографию, распределённые системы, и т.д.
В пятницу в Кочерге закончится курс по формальной верификации: с первого семинара прошло 157 дней и 22 дубль-пары. Общаться со студентами — ценно, потому что у них ещё не замылился об идиосинкразии глаз; особенно когда студенты — сеньоры-помидоры-программисты.
Этим вечером можно интерактивно посмотреть в предметную область кокологии, дедуктивной верификации, экстракции, эмбеддинга, и других серьёзных слов, и потенциально привлечься к хахатону по их приложению в системное программирование, криптографию, распределённые системы, и т.д.
Встреча пройдёт в пятницу 31 мая, в 21:45, в антикафе Кочерга.