• 31 мая, четверг
  • Санкт-Петербург, Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe».

FProg SPb (Май 2018)

Через 9 дней
31 мая c 19:00 до 22:00
Санкт-Петербург
Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe».

Вы просили — мы сделали: в этом месяце никакого Haskell!

31 мая мы встретимся, чтобы послушать про Coq, который разбавим небольшим количеством Clojure. В программе вечера:

- Неконструктивные расширения Coq, Сергей Божко, работает над доказательством теорем о планировщиках для систем реального времени, студент СПбГУ, в докладе рассмотрит расширения ядра Coq’a. Ядро языка Coq построено на конструктивной логике, которая обеспечивает относительно слабую концепцию равенства. Это контрастирует с большинством других известных систем доказательств теорем (например, Isabelle/HOL), которые основаны на классической логике. Для того, чтобы восстановить данные особенности, можно использовать несколько аксиом.

- Возможности использования формальных верификаций на Coq для простейших моделей смарт-контрактов, Андрей Ляшин, участник стартапа FinProof и популяризатор теории категорий в программировании, рассмотрит реализацию основных функций стандартного токена ERC20 с демонстрацией доказуемости и недоказуемости свойств для корректной и, соответвенно, некорректной реализаций рекурсивных функций переводов, лежащих, в частности, в основе атаки на the DAO.

Make frontend backend again, Николай Рыжиков, технический лидер команды «Health Samurai», успешно создающей систему автоматизации деятельности медицинского персонала, расскажет о том, как писать фронтэнд, как бэкэнд, ловко жонглируюя Clojure, ClojureScript и Re-Frame.

 

Встречаемся в офисе JetBrains по адресу: Университетская наб., 7-9-11, корп. 5 (вход с Кадетской линии), БЦ «Universe».

Время проведения встречи: с 19:00 до 22:00.

 
По всем вопросам Вы всегда можете написать в наш Telegram канал или группу ВК.

Регистрация

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

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

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

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