MskHUG 13-01

23 views

Skip to first unread message

Serguey Zefirov

unread,

Jan 8, 2013, 8:12:06 AM1/8/13

to msk...@googlegroups.com, haskell...@googlegroups.com

Продолжаю делать анонсы. ;)

В 19:00, 10-го числа, в конференц-центре на Филипповском [1], в заде
4.11, планируется очередная встреча пользователей Haskell, любителей
ФП и сочувствующих всему этому. Прошу всех присоединяться.

Будет два доклада: про Agda2 и Coq моего коллеги Владимира
Комендантского и мой про насыщение равенствами (это такая интересный
подход к оптимизации и доказательству эквивалентности программ).

В принципе, вход практически свободный, но чтобы не было вопросов,
напишите мне свои фамилию и имя, на всякий случай.

[1] http://nf-conference.ru/

Alexander Alexeev

unread,

Jan 8, 2013, 11:46:14 AM1/8/13

to haskell...@googlegroups.com, msk...@googlegroups.com

А нельзя ли попросить кого-нибудь из участников снять доклады на видео
и потом залить куда-нибудь? А то велика вероятность, что не смогу
прийти, а обидно...

2013/1/8 Serguey Zefirov <serg...@gmail.com>:

> --
> Вы получили это сообщение, поскольку подписаны на группу Русский Haskell.
>
> Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу haskell...@googlegroups.com.
> Чтобы отменить подписку на эту группу, отправьте сообщение по адресу haskell-russi...@googlegroups.com.
> Подробнее о функциях можно узнать на странице https://groups.google.com/groups/opt_out.
>
>