2012年7月12日木曜日、19：00に
Yandexのサンクトペテルブルクオフィスで、
JetBrainsと雑誌
「Functional Functional Programming」の支援を得て
、次のFProgミーティングが開催されます。 この会議は、
ICFP Contest 2012プログラミングコンテストの前夜に開催されます。
オフィスにアクセスするための
必須の予定の記録は、Twitterアカウントを介し
て会議ページで実行されます。
レポートのテーマ：
- エフゲニー・コテルニコフ。 Haskell依存型（ ビデオ 、 スライド ）
- ヤン・マラハウスキ。 Agdaの概要（ ビデオ 、 スライド ）
- アンドレイ・ブラソフスキフ。 ICFPコンテスト2009のSpb-archlinuxチーム（ ビデオ 、 スライド ）
会議について 。 サンクトペテルブルクでのFProg機能プログラミング会議は、サンクトペテルブルクのユーザーグループHaskellであるSPbHUGの会議の論理的な継続です。 会議では、関数型プログラミングの理論と実践のさまざまなトピックに関するレポートが提示され、議論が行われます。