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

FProg SPb (Май 2018)

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

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

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

2119 дней назад
31 мая 2018 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, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

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