FProg 2012-07 meeting in St. Petersburg

On Thursday, July 12, 2012, at 19:00, the next FProg meeting will take place at the St. Petersburg office of Yandex, with the support of JetBrains and the Practice of Functional Programming magazine. The meeting will take place on the eve of the ICFP Contest 2012 Programming Contest .

A mandatory appointment to the meeting for access to the office is carried out on the meeting page via Twitter account.

Topics for presentations:
')

• Evgeny Kotelnikov. Haskell dependent types ( video , slides )
• Jan Malachowski. Introduction to Agda ( video , slides )
• Andrei Vlasovskiy. The spb-archlinux team at the ICFP Contest 2009 ( video , slides )

About meetings . Meetings on functional programming of FProg in St. Petersburg are a logical continuation of the meetings of SPbHUG, the St. Petersburg group of users of Haskell. At meetings, reports are presented and discussions are held on various topics of the theory and practice of functional programming.