Умные контракты на GoToChain, или как провести каникулы в СПб
И снова осенью нас потянуло в Санкт-Петербург. На этот раз наша школа пройдет в Технопарке Университета ИТМО с 28 октября по 5 ноября. Ждем ребят со всей России, по традиции есть куча грантов по всем направлениям школы. В этот раз они не простые, а умные. Ниже рассказ от участников школы о том, как так вышло. Рассказ от лица создателей Был жаркий август. Шла очередная летняя школа GoTo. На направлении функционального программирования все было неспокойно: вместо пота с нас капали монады, и в небе пролетала хмурая тень Coq-а...
2 года назад
Поездка в ИТМО и прогулки по Санкт-Петербургу
Вчера 7 участников СНО приехали в Санкт-Петербург, чтобы принять участие в конференции YSC (Young Scientists Conference) от университета ИТМО. И уже в понедельник начнется интенсивная школа ИИ - лекции от ведущих специалистов и работа над собственным проектом. А пока не учеба все студенты знакомятся с городом, университетом ИТМО и просто хорошо проводят время. Сначала у ребят была пешая прогулка по всему Васильевскому острову, где они успели посмотреть дворцовую площадь, Санкт-Петербургскую биржу, Александровская колону , Казанский собой, зимний дворец и ещё много-много всего...