- 26 января 2017, четверг
- Санкт-Петербург, Университетская набережная 7-9-11, к. 5А (Jet Brains)
FProg (Январь 2017)
Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Постновогодняя встреча сообщества функциональных программистов посвященная логическому программированию
Дата: 26 янваня 2017 года
Время: 19:00-23:00
Место: JetBrains (Университетская набережная 7-9-11, к. 5А)
"Что нам стоит терм построить: конструктивистская логика и функциональное программирование"
Антон Трунов
Привет! Немного о себе для анонса. Область интересов: формальные методы, функциональное программирование, зависимые типы, автоматизированное доказательство теорем, теория языков программирования. Участвую в проекте по формальной верификации языка программирования смарт-контрактов криптовалюты Tezos.
Тезисы:
- Конструктивистская логика — это гуманно!
- Натуральная дедукция, изоморфизм Говарда-Кёрри: неужели успеем разобраться?
- Мифы о конструктивистской логике и их разоблачение
- Закон исключённого третьего и Проблема останова
- Двойное отрицание как монада
- Где используется конструктивистская логика?
Если будет получаться, то постараюсь сделать доклад более интерактивным. Возможно, попробую объяснять не при помощи слайдов, а открыть сессию Coq и доказывать некоторые вещи в "прямом эфире".
Программа встречи еще открыта — если вам есть что сказать про логическое или функциональное программирование присылайте краткое описание на почту или в канале frpog-general slack piter-united (piter-united-slack.herokuapp.com/.....)