Новости

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 года включительно.

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

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

09.10.2025

На странице олимпиады опубликован список команд, приглашенных на Очный тур XXVI Открытой Всесибирской олимпиады им. И.В. Поттосина.

Приглашены все команды, решившие на отборочном Интернет-туре 5 октября 12 задач.

Приглашены все команды, решившие не менее 7 задач, но не более двух команд от одного учебного заведения.

Приглашены команды, решившие 6 задач, но не более одной команды от одного учебного заведения.

Приглашены все команды НГУ, решившие не менее 4 задач.

Приглашены все команды Урала, Сибири и Дальнего Востока, решившие не менее 4 задач, но не более 3 команд от вуза.

В целях удовлетворения квоты для сибирских команд и для представительности вузов приглашено 5 команд, решивших меньше 4 задач.

Все команды СГУВТ дисквалифицированы из-за нарушения регламента соревнования.