• 28 января 2016, четверг
  • Санкт-Петербург, Старо-Петергофский пр., 19, DINS

fprog 16.01

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

634 дня назад
28 января 2016 c 19:00 до 22:00
Санкт-Петербург
Старо-Петергофский пр., 19, DINS

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

Официальная часть — Рыжиков Николай
Результаты прошлого года. Планы на год грядущий. Напутственные слова, агитация и проч.

 

Лямбда-куб — Мария Давыдова
Рассказ о формализме, объединяющем различные системы типов: от Хинлди-Милнера до Мартин-Лёфа

 

Зачем нужен функциональный пакетный менеджер? — Велесюк Максим
Рассмотрим проблемы различных подходов к управлению пакетами, и как эти проблемы решаются в функциональном подходе

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше