Math Cup — математический турнир 🚀

Приглашаем студентов и всех любителей математики на турнир! Участников ждут задачи по теоретической информатике, комбинаторике, теории вероятностей, алгебре и математическому анализу. Соревнование командное, до 3 человек в команде.

Как и в прошлый раз, отборочный тур пройдёт онлайн, 14 декабря, стартовать можно в любое время, на решение задач будет отведено 2 часа, а финал — очно в Санкт-Петербурге 21 декабря. По итогам отбора мы пригласим на финал не менее 15 лучших команд. В основном зачёте могут участвовать студенты бакалавриата, специалитета и магистратуры, а энтузиасты смогут выступить вне конкурса.

🏆 Призовой фонд — 300 000 ₽, а также фирменный мерч CS Space для всех финалистов.
⚡️ Регистрация уже открыта — собирайте команду и готовьтесь к увлекательному турниру!

⭐️ Мероприятие проходит при поддержке наших друзей из Pinely.

Northern Eurasia Finals 2025 ⤵️

С 15 по 17 декабря в Петербурге проходит Northern Eurasia Finals ICPC — событие, которое для многих из нас стало точкой входа в серьёзный Computer Science. И мы особенно рады, что наш партнер Pinely уже не первый год поддерживают этот финал. Ребята устраивают вокруг ICPC настоящий фестиваль: задачи, испытания, разговоры с участниками и угощения.

Pinely каждый год набирают стажёров из олимпиадного и исследовательского сообщества, и в 2026 году открываются позиции:

〰️ C++ Developer (intern)
〰️ Quantitative researcher (intern)
〰️ ML Researcher (intern)

Отбор стартует в марте, но резюме можно и очень приветствуется отправлять уже сейчас. А если вы в этом году участвуете в NEF или ВКОШП — обязательно загляните к ним на стенд. Там можно без формальностей поговорить о том, как устроены собеседования, что ждут от кандидатов и чем живут команды Pinely изнутри.

Команда МКН СПбГУ «I See Personal Computer» прошла в финал ICPC 🚀

Отличные новости из мира алгоритмических соревнований — команда МКН СПбГУ «I See Personal Computer» успешно выступила на Northern Eurasia Finals и теперь едет в финал ICPC 2026!

Поздравляем ребят: Таисию Коротченко, Тимофея Москаленко и Андрея Зайцева, а также их тренеров Николая Дубчука, Александра Савченко и Ивана Казменко с этим большим достижением и желаем им уверенной подготовки, интересных решений и вдохновения на финале!

Особенно приятно отметить, что в составе команды участвует Тимофей Москаленко — член команды CS Space, автор и организатор многих наших соревнований. Его вклад в задачи и тесты не раз вдохновлял других участников, и сейчас мы видим, как это отражается на самом высоком уровне.

Будем следить за успехами ребят и болеть за «I See Personal Computer» в финале!

Стартует новогоднее соревнование CS Space! 🎄

Запускаем наш новогодний челлендж — адвент-соревнование по Computer Science, в котором можно считать дни до 2026 года c интересными задачами ⤵️

С 20 по 29 декабря вас ждёт серия задач по разным тематикам:
❄️ теоретическая информатика,
❄️ математика,
❄️ программирование,
❄️ искусственный интеллект.

Задачи будут выходить постепенно — в формате новогодних историй. За каждое решение начисляются баллы, которые формируют общий рейтинг участников.

Как это работает:
〰️ решите как можно больше задач до 23:59 29 декабря,
〰️ 31 декабря подводим итоги и объявляем победителей,
〰️ все подробности, правила участия и ссылка на соревнование — на сайте соревнования.

Призы и бонусы:
❄️ участникам — мерч CS Space и Pinely,
❄️ после соревнования — голосование за самые интересные задачи,
❄️ авторам лучших задач — денежное вознаграждение.

Встречаем Новый год вместе — с задачами и хорошей CS-компанией!

Лекция «Соревнования по синтезу булевых схем»⬇️

– Страница лекции
– 24 декабря, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения

⭐️ О лекторе

Александр Куликов
В научные интересы Александра входят алгоритмы, теория сложности и образование в области компьютерных наук. В настоящее время он работает на позиции исследователя в компании JetBrains, а также руководит бакалаврской программой Computer Science and Artificial Intelligence в Neapolis University Pafos.

📢 Анонс

Я расскажу про соревнования по логическому синтезу, которые проводятся в течение нескольких последних лет в рамках конференции International Workshop on Logic and Synthesis. Цель — синтезировать (за примерно полгода) как можно более эффективные схемы для данных булевых функций, заданных таблицами истинности. В 2023 году первое место в этом соревновании занял Google DeepMind, в 2024 — наша команда (JetBrains и Neapolis University Pafos), в 2025 — UC Berkeley и National Taiwan University. Команды использовали самые разные техники — машинное обучение, комбинаторная оптимизация, анализ булевых функций, SAT-солверы и другое. Я расскажу про некоторые из этих техник, а также про предстоящее соревнование.

В новогоднем адвент-соревновании — две новые задачи! 🎄

Выложили свежие истории — самое время заглянуть.

📄 «Новогодние стишки»
Помогите младшему брату сочинить самый рифмованный новогодний стих.

🍽 «Вовочка и холодец»
Вовочка снова отличился: новогодний холодец случайно разрезан, и теперь его нужно правильно «склеить»!

Обе задачи уже доступны в соревновании — заходите читать условия, решать и подниматься в рейтинге!

Все детали соревнования и участие — на сайте соревнования.