Встреча SPbHUG/FProg 2012-07

[Andrey Vlasovskikh]

Всем привет!

Как многие из вас знают, spb-archlinux — не единственная наша инициатива. Мы также устраивали и участвовали во встречах петербургской группы хаскелистов SPbHUG.

В связи с тем, что многие перешли на другие ОС, среди наших тем всё больше программирования и всё меньше Linux, мы решили поменять формат встреч.

Похожая ситуация происходит и в SPbHUG, где тематика докладов стала охватывать разные темы функционального программирования, а не только Haskell.

Последующие встречи будут проходить под названием FProg с анонсами на сайте журнала "Практика функционального программирования" http://fprog.ru/ (раздел сайта про встречи в процессе разработки). Встречи будут иметь формат небольшой регулярной конференции, которая будет проходить в вечернее время раз в месяц. На ней будут 2-4 доклада по 15-30 мин по темам, связанным с функциональным программированием, а также свободное общение. После встреч можно будет перемещаться в кафе или бары для более неформального общения в стиле наших встреч spb-archlinux.

В четверг, 12 июля в 19:00 в офисе компании Яндекс пройдёт встреча SPbHUG/FProg. **Обязательная запись на встречу** для доступа в офис осуществляется на странице встречи на Lanyrd.com через Twitter-акканут.

Темы докладов:

* Ян Малаховски. Введение в Agda
* Евгений Котельников. Зависимые типы в Haskell
* Андрей Власовских. Команда spb-archlinux на ICFP Contest 2009

Подробная информация на странице встречи: http://lanyrd.com/2012/fprog-07/

--
С уважением,
Андрей Власовских

Web: http://pirx.ru/
IM: xmpp:andrey.vl...@gmail.com