12 July 2012 from 7pm to 10pm
Russia St. Petersburg in Russia
Save to iCal / iPhone / Outlook / GCal
Введение в Agda by Jan Malakhovski
Зависимые типы в Haskell
see all coverage
presented by Evgeny Kotelnikov
presented by Jan Malakhovski
presented by Andrey Vlasovskikh and Vadim TSES'KO
Russia Russia / St. Petersburg
Piskarevskiy prospekt, 2, 195027
View on Google Maps
54 people attended
2 people tracking
Tweet about this event
Browse and track topics on Lanyrd
Most recent added 11 months ago
6 items in total
Organiser
Report an issue with this event