Новости

Отборочный этап ВКОШП 2025 для Западной Сибири

16.11.2025

Отборочный этап ВКОШП для команд Западной Сибири будет проходить в Барнауле, Омске и Новосибирске.

Начало олимпиады - в 12:00 по новосибирскому времени.

Во время тура разрешается пользоваться любой литературой и личными записями. Запрещается использовать любую информацию в электронном виде, личные компьютеры или калькуляторы, мобильные средства связи.

Вход систему NSUts по следующей ссылке: https://olympic.nsu.ru/nsuts-new/login

По логинам и паролям, выданным командам на регистрации, в системе будет доступна для входа олимпиада "Отборочный этап ВКОШП 2025 - Новосибирск".

С 11:00 до 11:55 в ней будет открыт Пробный тур.

Основной тур олимпиады под названием "Отбор на ВКОШП" будет открыт с 12:00.

Всем участникам желаем удачи!

Командам из Новосибирска, зарегистрировавшимся на Отборочный этап ВКОШП 2025, необходимо приехать в НГУ для участия в олимпиаде.

Соревнования будут проходить в новом учебном корпусе НГУ №1 по адресу: Пирогова, 1. Вход через 2 блок из внутреннего дворика.

Регистрация на месте проведения начнется с 10:00 в холле 4 этажа блока 2.

XXVI Поттосинская олимпиада завершена!

05.11.2025

Поздравляем победителей XXVI Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина:

I место:

FFTilted (НИУ ВШЭ, Москва) в составе - Кудряшов Кирилл, Ромашов Федор, Бабин Александр;

II место:

BasketBobr (НИУ ВШЭ, Москва) в составе - Васильев Алексей, Михненко Алексей, Степанов Антон;

III место:

HFTilted (ИТМО, Санкт-Петербург, Казань) в составе - Матвеев Андрей, Коновалов Кирилл, Гайнуллин Ильдар.

Поздравляем всех участников с успешным выступлением на нашей олимпиаде!

Итоговые результаты олимпиады выложены на ее странице.

Фоторепортаж олимпиады

2 номинация Очного тура

04.11.2025

Во время тура рейтинг можно посмотреть
по ссылке.

VeHa-2025

27.10.2025

VeHa-2025 — III Контест российский Verification Hackathon (5-8 ноября 2025 г.) пройдет гибридно (в Новосибирском государственном университете и Online, как мероприятие-спутник Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина).

Подробная информация о VeHa-2025, о регистрации участников и о предыдущих соревнованиях из серии VeHa на странице олимпиады.

VeHa-2025 включает 5 номинаций (участвовать можно в одной, нескольких или во всех пяти, регистрация участников носит уведомительный характер)
(1) Model Checking
(2) TLA+: Temporal Logic of Actions + data structures
(3) Пошаговое выведение свойств в Isabelle/HOL
(4) Дедуктивная верификация с использованием Rocq (Coq)
(5) "Академическая" дедуктивная верификация одного из первых в истории математики циклических алгоритмов из Древней Индии

Регистрация команд на Очный тур

16.10.2025

Просим команды, приглашенные на Очный тур XXVI Открытой Всесибирской олимпиады им. И.В. Поттосина, подтвердить свое участие в нем до 29 октября 2025 года включительно.

Для этого необходимо заполнить форму регистрации.

Для новосибирских команд подтверждение участия также обязательно!