Relational Proofs for Quantum Programs

Undecidability of Dsub and Its Decidable Fragments

A Language for Probabilistically Oblivious Computation

APEC 2026 Technical Session Presenters Webinar, January 20, 2026

[POPL'26] Salle 14 - PlanQC (Jan 12th)

Может ли у ИИ появиться сознание? — Семихатов, Анохин

POPL'20

Эффект наблюдателя – полное объяснение без мистики.

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

[POPL'26] Réfectoire - POPL (Jan 15th)

Что такое квантовая теория

ИИ - ЭТО ИЛЛЮЗИЯ ИНТЕЛЛЕКТА. Но что он такое и почему совершил революцию?

Даулет Жангузин, Groq, Cohere, Lyft - Главные уроки за 15 лет в Кремниевой Долине

49 минут, которые ИЗМЕНЯТ ваше понимание Вселенной | Владимир Сурдин

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Why Light Speed Is The LIMIT? What Feynman Uncovered Will COLLAPSE Your Mind

ДНК создал Бог? Самые свежие научные данные о строении. Как работает информация для жизни организмов

Почему мы НЕ МОЖЕМ объяснить магниты Ответ Фейнмана ломает мышление

Цепи Маркова — математика предсказаний [Veritasium]

Открытие Варбурга: 4 переключателя, которые мешают раку расти | Здоровье с Доктором

КОЗЫРЕВ - астрофизик ДОКАЗАЛ, что ВРЕМЯ это ЭНЕРГИЯ: дважды СИДЕЛ, приговорён к РАССТРЕЛУ