• 26 января
  • Санкт-Петербург, Университетская набережная 7-9-11, к. 5А (Jet Brains)

FProg (Январь 2017)

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

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

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

95 дней назад
26 января c 19:00 до 23:30
Санкт-Петербург
Университетская набережная 7-9-11, к. 5А (Jet Brains)

Постновогодняя встреча сообщества функциональных программистов посвященная логическому программированию

Дата: 26 янваня 2017 года

Время: 19:00-23:00

Место: JetBrains (Университетская набережная 7-9-11, к. 5А)

 

"Что нам стоит терм построить: конструктивистская логика и функциональное программирование"

Антон Трунов

Привет! Немного о себе для анонса. Область интересов: формальные методы, функциональное программирование, зависимые типы, автоматизированное доказательство теорем, теория языков программирования. Участвую в проекте по формальной верификации языка программирования смарт-контрактов криптовалюты Tezos.

Тезисы:
- Конструктивистская логика — это гуманно!
- Натуральная дедукция, изоморфизм Говарда-Кёрри: неужели успеем разобраться?
- Мифы о конструктивистской логике и их разоблачение
- Закон исключённого третьего и Проблема останова
- Двойное отрицание как монада
- Где используется конструктивистская логика?

Если будет получаться, то постараюсь сделать доклад более интерактивным. Возможно, попробую объяснять не при помощи слайдов, а открыть сессию Coq и доказывать некоторые вещи в "прямом эфире".

 

Программа встречи еще открыта — если вам есть что сказать про логическое или функциональное программирование присылайте краткое описание на почту или в канале frpog-general  slack piter-united (piter-united-slack.herokuapp.com/.....)

 

Регистрация

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

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

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

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