MskHUG'2013-01

[Serguey Zefirov]

Хочу пригласить всех на новую встречу, 10-го января.

Встреча начнётся в 19:00, а проходить будет в традиционном
конференц-центре на Филипповском: http://nf-conference.ru/

В докладах будет про обучение логике с помощью Agda/Coq, про что
расскажет Володя Комендантский. И либо я расскажу про equality
saturation, либо Кирилл Брянцев расскажет про использование http.sys
для получения быстродействующего веб-сервера под Windows.

Опять же, основная затея - собраться и пообщаться.

[Maxim Taldykin]

А симпатяшка Екатерина Комендантская кем ему приходится?
Я её видел лет пять назад в Венгрии на конференции по алгебраическим
методам в CS.

26 декабря 2012 г., 18:16 пользователь Serguey Zefirov
<serg...@gmail.com> написал:

> --
> Данное сообщение отправлено Вам, так как Вы являетесь подписчиком группы "MskHUG" на группах Google.
> Для того, чтобы отправить сообщение в эту группу, пошлите его по адресу
> msk...@googlegroups.com
> Чтобы отменить подписку на эту группу, отправьте сообщение по адресу: mskhug-un...@googlegroups.com

[Игорь Кучерявенков]

Игорь Кучерявенков

26 декабря 2012 г., 20:35 пользователь Maxim Taldykin
<jor...@gmail.com> написал: