Are you recruiting developers? Get in touch so we can help.

FProg SBb (Январь 2017)

January 26, 22:00

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

External Registration

Open Registration Page

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

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

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

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

 

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

Андрей Трунов

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

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

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

 

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

 

spb-fp-meetup spb-fp-meetup

Propose talk to spb-fp-meetup