Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Вы просили мы сделали: в этом месяце никакого 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.