14 октября (понедельник) начнётся семинар по тонким оценкам на время работы алгоритмов: https://compsciclub.ru/courses/fine-grained-complexity-seminar/2019-autumn/
Forwarded from Computer Science Center
18 октября в Санкт-Петербурге пройдёт открытая лекция Семёна Григорьева «Теория формальных языков на практике». Приглашаем в БЦ «Таймс» — ул. Кантемировская д. 2, начало в 19:00.
Пожалуйста, зарегистрируйтесь: https://comscicenter.timepad.ru/event/1085032/
Семён — кандидат физико-математических наук, руководитель группы в лаборатории языковых инструментов JetBrains Research и доцент кафедры информатики СПбГУ. Занимается теорией формальных языков и её применениями уже десять лет.
Приходите на лекцию, если вы:
— знаете теорию формальных языков и хотите применять эти знания;
— не знаете теорию формальных языков, но хотите найти мотивацию узнать;
— любите алгоритмы синтаксического анализа и думаете, что же такое написать, чтобы не получился ещё один Yacc.
Запросы к графовым базам данных, алгоритмы статического анализа и верификации кода — примеры практического применения теории формальных языков и алгоритмов синтаксического анализа. В этом контексте возникают новые инженерные и теоретические задачи, а многие старые требуют новых решений. Об этом и пойдёт речь на лекции.
Пожалуйста, зарегистрируйтесь: https://comscicenter.timepad.ru/event/1085032/
Семён — кандидат физико-математических наук, руководитель группы в лаборатории языковых инструментов JetBrains Research и доцент кафедры информатики СПбГУ. Занимается теорией формальных языков и её применениями уже десять лет.
Приходите на лекцию, если вы:
— знаете теорию формальных языков и хотите применять эти знания;
— не знаете теорию формальных языков, но хотите найти мотивацию узнать;
— любите алгоритмы синтаксического анализа и думаете, что же такое написать, чтобы не получился ещё один Yacc.
Запросы к графовым базам данных, алгоритмы статического анализа и верификации кода — примеры практического применения теории формальных языков и алгоритмов синтаксического анализа. В этом контексте возникают новые инженерные и теоретические задачи, а многие старые требуют новых решений. Об этом и пойдёт речь на лекции.
В ближайшие выходные Даниил Рогозин (МГУ, Serokell) прочтёт курс "Введение в модальную логику".
Подробное описание и расписание: https://compsciclub.ru/courses/modal-logic/2019-autumn/
Подробное описание и расписание: https://compsciclub.ru/courses/modal-logic/2019-autumn/
Forwarded from Computer Science Center
В эту пятницу пройдёт первый день открытых дверей на факультете математики и компьютерных наук СПбГУ. Расскажите братьям, сёстрам, знакомым или приходите сами, чтобы узнать, как и на какие программы можно поступить в этом году.
Приходите на очный день открытых дверей в Петербурге. Руководители направлений и организаторы факультета расскажут про учебные программы, курсы, преподавателей, практики и поступление. Готовьте вопросы :)
Место: актовый зал Института наук о земле, 10-я линия ВО, 33-35
Время: 25 октября, пятница, 19:00
Вход свободный. Пожалуйста, зарегистрируйтесь: https://docs.google.com/forms/d/e/1FAIpQLSdH-RXGiJU3BJPskVHIYdgQYK-COSetBCU4Vs8ZSk5l4RW5yw/viewform
Приходите на очный день открытых дверей в Петербурге. Руководители направлений и организаторы факультета расскажут про учебные программы, курсы, преподавателей, практики и поступление. Готовьте вопросы :)
Место: актовый зал Института наук о земле, 10-я линия ВО, 33-35
Время: 25 октября, пятница, 19:00
Вход свободный. Пожалуйста, зарегистрируйтесь: https://docs.google.com/forms/d/e/1FAIpQLSdH-RXGiJU3BJPskVHIYdgQYK-COSetBCU4Vs8ZSk5l4RW5yw/viewform
В эти выходные в Computer Science Клубе пройдет курс "Алгоритмическая теория игр".
Лектор: Михаил Николаевич Вялый
https://compsciclub.ru/teachers/1050/
Подробное описание и расписание:
https://compsciclub.ru/courses/algo-game-theory/2019-autumn/
Лектор: Михаил Николаевич Вялый
https://compsciclub.ru/teachers/1050/
Подробное описание и расписание:
https://compsciclub.ru/courses/algo-game-theory/2019-autumn/
Forwarded from Computer Science Center
Напоминаем, что 14 ноября начнётся обучение на полугодовых онлайн-программах по направлениям
— Алгоритмы и эффективные вычисления,
— Математика для разработчиков,
— Разработка на C++, Java и Haskell.
Что ждёт студентов:
— Курсы от опытных разработчиков и учёных.
— Задачи, чтобы закрепить изученный материал.
— Code review. Преподаватели оценивают код на корректность, эффективность и поддерживаемость.
— Теоретические задачи на доказательство с проверкой от преподавателей.
— Персональная поддержка. Ассистенты и преподаватели помогут разобраться с материалом, а кураторы будут следить за успеваемостью.
Набор на программу идёт по результатам вступительных испытаний: сначала мы предложим пройти первый модуль одного из курсов, чтобы вы познакомились с материалом, форматом и оценили нагрузку. Вторым этапом будет экзамен по профильному предмету. Дедлайн — 10 ноября.
Стоимость программы — 20 000 рублей. Принять участие во вступительных испытаниях, прочитать отзывы выпускников и узнать больше можно на сайте: http://code.stepik.org/
— Алгоритмы и эффективные вычисления,
— Математика для разработчиков,
— Разработка на C++, Java и Haskell.
Что ждёт студентов:
— Курсы от опытных разработчиков и учёных.
— Задачи, чтобы закрепить изученный материал.
— Code review. Преподаватели оценивают код на корректность, эффективность и поддерживаемость.
— Теоретические задачи на доказательство с проверкой от преподавателей.
— Персональная поддержка. Ассистенты и преподаватели помогут разобраться с материалом, а кураторы будут следить за успеваемостью.
Набор на программу идёт по результатам вступительных испытаний: сначала мы предложим пройти первый модуль одного из курсов, чтобы вы познакомились с материалом, форматом и оценили нагрузку. Вторым этапом будет экзамен по профильному предмету. Дедлайн — 10 ноября.
Стоимость программы — 20 000 рублей. Принять участие во вступительных испытаниях, прочитать отзывы выпускников и узнать больше можно на сайте: http://code.stepik.org/
Forwarded from Computer Science Center
Приглашаем на открытую лекцию Артёма и Антона Филатовых «Введение в алгоритмы одновременной локализации и построения карты (SLAM)». Она пройдёт 25 ноября в 19:00 в БЦ «Таймс» в Санкт-Петербурге. Адрес: Кантемировская 2А, 2 этаж, ауд. 204.
Пожалуйста, зарегистрируйтесь: https://comscicenter.timepad.ru/event/1120066/#register
Артём и Антон — программисты-исследователи научно-исследовательского и образовательного центра «ДжетБрейнс», ассистенты кафедры МОЭВМ в СПБГЭТУ (ЛЭТИ).
Среди задач, которые уже решают роботы, спикеры выделяют задачу автономного перемещения по неизвестной местности. Когда движущийся робот оказывается в неизвестном окружении, ему нужно построить карту и определить на ней своё положение, опираясь на данные сенсоров, установленных на роботе. Такая задача называется SLAM (Simultaneous Localization and Mapping).
На лекции Артём и Антон рассмотрят большую часть современных алгоритмов, которые решают задачу SLAM, расскажут про решённые и нерешённые вопросы в рамках этой задачи, а также покажут решение такой задачи на практике. Правда, в симуляторе :)
Пожалуйста, зарегистрируйтесь: https://comscicenter.timepad.ru/event/1120066/#register
Артём и Антон — программисты-исследователи научно-исследовательского и образовательного центра «ДжетБрейнс», ассистенты кафедры МОЭВМ в СПБГЭТУ (ЛЭТИ).
Среди задач, которые уже решают роботы, спикеры выделяют задачу автономного перемещения по неизвестной местности. Когда движущийся робот оказывается в неизвестном окружении, ему нужно построить карту и определить на ней своё положение, опираясь на данные сенсоров, установленных на роботе. Такая задача называется SLAM (Simultaneous Localization and Mapping).
На лекции Артём и Антон рассмотрят большую часть современных алгоритмов, которые решают задачу SLAM, расскажут про решённые и нерешённые вопросы в рамках этой задачи, а также покажут решение такой задачи на практике. Правда, в симуляторе :)
Курс посвящен теории, лежащей в основе современных промышленных распределенных систем: файловых систем, очередей сообщений, key/value хранилищ, баз данных. Эти системы хранят десятки и сотни петабайт данных, обслуживают многие тысячи запросов в секунду и масштабируются до сотен и тысяч машин, переживая при этом отказы дисков и питания, дрейф часов, задержки и нарушения связности сети, а потому устроены невероятно сложно.
Но если посмотреть сквозь все инженерные детали и сотни тысяч строк кода, то окажется, что сложность, связанную с распределенностью, можно заключить в относительно простые модели и задачи: как узлам договориться о порядке доставки сообщений в асинхронной сети, как выбрать лидера среди равноправных машин, как добавить в систему еще один сервер или обнаружить сбойную машину. Именно от решения этих задач в конечном итоге будут зависеть важнейшие характеристики всей системы: границы ее отказоустойчивости, доступность при нестабильном поведении сети, модель согласованности данных.
В курсе мы сформулируем эти задачи, исследуем ограничения, которые накладывает на них модель сети и сбоев, и подробно разберем алгоритмы их решения, которые применяются в современных промышленных распределенных системах.
Лекции будут выстроены в одну историю: мы начнем с выбора модели распределенной системы и очень простой задачи построения отказоустойчивой ячейки памяти, на примере которой изучим ключевые техники дизайна распределенных алгоритмов, затем перейдем к общему механизму репликации через Atomic Broadcast и изучим его связь с задачей консенсуса и ключевые результаты о невозможности, подробно разберем известный алгоритм Paxos и выведем из него Multi-Paxos или RAFT, а завершим курс византийской моделью и Bitcoin-ом, на который посмотрим через призму изученных ранее классических результатов и алгоритмов.
https://compsciclub.ru/courses/distributed-computing/2019-autumn/
Но если посмотреть сквозь все инженерные детали и сотни тысяч строк кода, то окажется, что сложность, связанную с распределенностью, можно заключить в относительно простые модели и задачи: как узлам договориться о порядке доставки сообщений в асинхронной сети, как выбрать лидера среди равноправных машин, как добавить в систему еще один сервер или обнаружить сбойную машину. Именно от решения этих задач в конечном итоге будут зависеть важнейшие характеристики всей системы: границы ее отказоустойчивости, доступность при нестабильном поведении сети, модель согласованности данных.
В курсе мы сформулируем эти задачи, исследуем ограничения, которые накладывает на них модель сети и сбоев, и подробно разберем алгоритмы их решения, которые применяются в современных промышленных распределенных системах.
Лекции будут выстроены в одну историю: мы начнем с выбора модели распределенной системы и очень простой задачи построения отказоустойчивой ячейки памяти, на примере которой изучим ключевые техники дизайна распределенных алгоритмов, затем перейдем к общему механизму репликации через Atomic Broadcast и изучим его связь с задачей консенсуса и ключевые результаты о невозможности, подробно разберем известный алгоритм Paxos и выведем из него Multi-Paxos или RAFT, а завершим курс византийской моделью и Bitcoin-ом, на который посмотрим через призму изученных ранее классических результатов и алгоритмов.
https://compsciclub.ru/courses/distributed-computing/2019-autumn/
В эти выходные в клубе начнется курс "Теоретико-числовые алгоритмы и криптография".
Подробное описание:
https://compsciclub.ru/courses/numbertheory-algo/2019-autumn/
Подробное описание:
https://compsciclub.ru/courses/numbertheory-algo/2019-autumn/
В эту субботу в Computer Science клубе пройдет мини-курс "State of the GAN: состязательные сети от азов до последних результатов "
Подробное описание курса: https://compsciclub.ru/courses/state-of-the-gan/2019-autumn/
Подробное описание курса: https://compsciclub.ru/courses/state-of-the-gan/2019-autumn/
С наступающим Новым годом!
Если вы ещё не придумали, чем заняться на новогодних праздниках, то самое время вспомнить о курсах клуба этого семестра. Видео почти всех лекций доступны на нашем сайте и на сайте лекториума.
Extended Formulations (К. Пашкович)
State of the GAN: состязательные сети от азов до последних результатов (С. И. Николенко)
Алгоритмическая теория игр (М. Н. Вялый)
Введение в модальную логику (Д. Д. Рогозин)
Введение в язык формальной верификации Coq (А. А. Трунов)
Структуры данных, основанные на указателях (Е. А. Арсеньева)
Теоретико-числовые алгоритмы и криптография (А. И. Храбров)
Теория распределенных вычислений (Р. Г. Липовский)
Тонкие оценки на время работы алгоритмов
PS. И подписывайтесь на наш инстаграм: https://www.instagram.com/compsciclub.ru/
Если вы ещё не придумали, чем заняться на новогодних праздниках, то самое время вспомнить о курсах клуба этого семестра. Видео почти всех лекций доступны на нашем сайте и на сайте лекториума.
Extended Formulations (К. Пашкович)
State of the GAN: состязательные сети от азов до последних результатов (С. И. Николенко)
Алгоритмическая теория игр (М. Н. Вялый)
Введение в модальную логику (Д. Д. Рогозин)
Введение в язык формальной верификации Coq (А. А. Трунов)
Структуры данных, основанные на указателях (Е. А. Арсеньева)
Теоретико-числовые алгоритмы и криптография (А. И. Храбров)
Теория распределенных вычислений (Р. Г. Липовский)
Тонкие оценки на время работы алгоритмов
PS. И подписывайтесь на наш инстаграм: https://www.instagram.com/compsciclub.ru/
Forwarded from Computer Science Center
В последнюю пятницу уходящего года мы объявляем долгожданную новость: открыт набор на основные образовательные программы Института биоинформатики (https://vk.com/club29354345) в Санкт-Петербурге и Москве 2020/21 года обучения!
Обучение идет по двум направлениям:
📗«Биоинформатика для биологов» рассчитана для студентов, аспирантов и выпускников биологических и медицинских ВУЗов.
📘«Алгоритмическая биоинформатика» — для информатиков, математиков и студентов технических специальностей.
Программы бесплатны для студентов всех курсов и аспирантов первого года. Требования к абитуриентам и этапы поступления в этом году: bioinf.me/admission.
Для участия в конкурсном отборе нужно пройти онлайн-курс. Это требует времени, поэтому не затягивайте с подачей заявки, деделайн до 22 февраля включительно. Проведите новогодние каникулы с пользой!
#bioinforussia #bioinf_education #bioinf_spb #bioinf_moscow
Обучение идет по двум направлениям:
📗«Биоинформатика для биологов» рассчитана для студентов, аспирантов и выпускников биологических и медицинских ВУЗов.
📘«Алгоритмическая биоинформатика» — для информатиков, математиков и студентов технических специальностей.
Программы бесплатны для студентов всех курсов и аспирантов первого года. Требования к абитуриентам и этапы поступления в этом году: bioinf.me/admission.
Для участия в конкурсном отборе нужно пройти онлайн-курс. Это требует времени, поэтому не затягивайте с подачей заявки, деделайн до 22 февраля включительно. Проведите новогодние каникулы с пользой!
#bioinforussia #bioinf_education #bioinf_spb #bioinf_moscow
ВКонтакте
Институт биоинформатики
Институт биоинформатики — это дополнительное образование и мероприятия по биоинформатике для талантливых студентов, аспирантов и выпускников технических, математических, биологических и медицинских специальностей. Мы сотрудничаем с компаниями, лабораториями…
В ближайшие выходные в клубе начнётся курс Ивана Михайлина "Вероятностные алгоритмы". Приходите и расскажите, пожалуйста, знакомым.
Время и место проведения лекций: Математический институт Стеклова, наб. р. Фонтанки, 27, второй этаж, Мраморный зал, 15 февраля, суббота, 17:15. Как всегда, вход свободный, регистрация не нужна.
Приблизительная программа курса: https://compsciclub.ru/courses/randomized-algorithms/2020-spring/
Время и место проведения лекций: Математический институт Стеклова, наб. р. Фонтанки, 27, второй этаж, Мраморный зал, 15 февраля, суббота, 17:15. Как всегда, вход свободный, регистрация не нужна.
Приблизительная программа курса: https://compsciclub.ru/courses/randomized-algorithms/2020-spring/
В субботу начинается курс Виталия Скачека "Классическая теория
кодирования и новые приложения". Приходите сами и расскажите знакомым.
Время и место проведения лекций: Математический институт Стеклова,
наб. р. Фонтанки, 27, второй этаж, Мраморный зал, 29 февраля, суббота,
17:15.
Как всегда, вход свободный, регистрация не нужна. Аннотация курса на сайте клуба:
https://compsciclub.ru/courses/coding-theory-and-applications/2020-spring/
кодирования и новые приложения". Приходите сами и расскажите знакомым.
Время и место проведения лекций: Математический институт Стеклова,
наб. р. Фонтанки, 27, второй этаж, Мраморный зал, 29 февраля, суббота,
17:15.
Как всегда, вход свободный, регистрация не нужна. Аннотация курса на сайте клуба:
https://compsciclub.ru/courses/coding-theory-and-applications/2020-spring/