• 16 февраля 2017, четверг
  • Санкт-Петербург, Казанская улица, 7, коворкинг «ВКонтакте»

Papers We Love. SPB. Февраль 2017

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

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

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

2598 дней назад
16 февраля 2017, начало в 20:00
Санкт-Петербург
Казанская улица, 7, коворкинг «ВКонтакте»

"Propositions as Types" P. Wadler

16-го Февраля пройдет первая встреча PapersWeLove Spb в этом году.

На встрече выступит Виталий Брагилевский, преподаватель ЮФУ (Ростов-на-Дону), член комитета Haskell 2020, контрибьютор в GHC и Idris.

Виталий сделает доклад по мотивами известной публикации "Propositions as Types" P. Wadler — это введение в теорию вычислений, логику, соответствие Карри-Ховарда и проблематику формальной верификации ПО.

Регистрация

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

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

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

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