Ответственная: Карина Тиничева. Ей и карту в руки.

Открытие и закрытие.
Начало и конец.
Старт и финиш.
Пусть и что и требовалось доказать.

Обзор проблемы одновременной локализации и построения карты (SLAM), некоторые алгоритмы ее решения и направления исследований.

Новый формат: быстрые свидания между новичками и старичками.
В этом году без анекдотов!

Расскажу на реальном примере, что в работе программиста может пригодиться умение читать научные статьи по Computer science. Ключевые слова: фильтрация, префиксные деревья, байтовые массивы.

В докладе пойдет речь о том, как глубокое обучение нейронных сетей меняет медицинскую диагностику. Я расскажу о том, какую информацию могут обрабатывать нейронные сети; про основные проблемы внедрения нейронных сетей при разработке нового медицинского оборудования. Коснусь основных архитектур для классификации сигналов и изображений, сегментации данных на 2D и 3D картинках, расскажем о задачах типа super resolution и artifact removal. Затрону тему персонализированного предсказания результатов лечения и выделения из данных новых знаний с помощью методов обучения без учителя.

Настоящий математик должен иметь определенные познания в географии. Например, он должен уметь не путать Лас-Вегас с Монте-Карло, несмотря на наличие дефиса и казино в обоих. Чтобы помочь обрести эти познания, мы поговорим о вероятностных алгоритмах, принципе Яо и других интересных вещах.

Введение для начинающих

Кнессет — парламент Израиля. В Израиле есть левые и правые; Арабы, евреи и "русские"; Ультрарелигиозные, традиционные и светские; очень богатые и совсем бедные; военные и пацифисты; А ещё сионисты, лгбт-сообщество, жители коммун. Всем им нужно договориться, чтобы сформировать правительство. А это интересная комбинаторная задачка!

Расскажу, что такое проект и кто такой менеджер.

Хороший вкус и как его развивать.

Нереальная альтернатива бане. Факультатив.

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

В рамках доклада будут рассмотрены несколько математических идей и их применений в биоинформатике. Например, как можно функционально аннотировать последовательность генома, открывать новые популяции клеток и даже предсказывать возраст.

Что получится, если смешать иммунологию и статистику?

Для начинающих — по шаблону.

На примере шахмат и го будет рассказано о том, как люди пытались научить компьютер играть лучше людей: от идей Шеннона 1950-х годов до AlphaZero. По пути встретится дерево поиска Монте-Карло и совсем немного машинного обучения. В конце расскажу как обучал на кластере бота для игры в «Проект 5-100», которая была на прошлой ЗМШ.

Физическая активность против вялости, -30 против 36,6.

Математика и программирование, которые когда-то были очень близки, уже давно разошлись в разные стороны. Есть, однако, область, которая их объединяет и даже превращает в нечто единое — это соответствие Карри—Ховарда. В его рамках математическая логика соотносится с типами в языках программирования. Выясняется, что логическое утверждение соответствует типу функции, а его доказательство — коду этой функции. В этой лекции будет рассказываться о том, как устроено это соответствие и как им можно пользоваться для написания корректных программ с одной стороны и доказательства математических теорем с другой.

Рассмотрим совершенно произвольный внеземной разум. Например, разумную плазму, рой наноботов или хотя бы разумную планету Солярис. Представили? Теперь попробуйте с ним о чём-нибудь поговорить. Нет, без волшебных переводчиков с любого языка на любой. И без телепатии. Не получается? И тем не менее, человечество с десяток раз отправляло содержательные послания к звездам, адресованные внеземному разуму. Причём составленные так, чтобы этот самый внеземной разум смог их понять.
На лекции и разберёмся, как с этой задачкой справляются настоящие учёные астрофизики, а как — учёные-лингвисты из фильмов Голивуда :)

Вместе с аудиторией построим худший грабле-язык! Писать больно, читать невозможно! Будем рассказывать пополам. Соберем грабли отовсюду и явим публике. Лекция носит познавательно-развлекательный характер, тяжелых доказательств и серьезной математики не предвидится.

Как модель, которая должна была привести к богатству, привела к краху экономики.

Наверное, нет такого раздела математики, который не пытались использовать в криптографии. Покажу на примере угадайте-чего.

Посмотрим, к чему может привести неаккуратное бросание кубика в треугольнике.

Фундаментальное психологическое явление должно разъясняться прямо на школьной или университетской скамье. Очень полезная информация кому-то пригодится сразу, кто-то вспомнит позже в сложной ситуации.

По традиции начнётся с двухчасовым опозданием.

Кубик Рубика. Что непонятного?

Если хочешь помогать — просто скажи!

...во время которой мы будем писать программу на Хаскеле, а потом вместе решим, стоит ли ее запускать.

В этом году

Поздравления, выступления и дискотека

Разберёмся, как греческая культура проникла в мир. Узнаем, какое отношение к этому имеет Alexander the Great и Древняя Персия. Оценим вклад Македонии и её конкретных личностей в такое развитие событий.

Будут приведены принципы проектирования тротуаров за границей, описано их применение в условиях российских норм и законов и дана инструкция общения с чиновниками на примере того, как добиться ремонта тротуара.

Расскажу, как появился VR шлем, то что он из себя представляет сейчас и как все это работает в играх.

Как на самом деле происходит процесс оптимизации современной игры для ПК. В чем сложность портирования игр на консоли. Что полезнее для игры: отложенное освещение и затенение или оптимизация кода? И другие грязные приемы, которые ты не замечаешь.

К первоначальному состоянию

Как лучше разложить яйца, или нужно ли ковыряться в ковариациях.

Как формируется цена, почему она разная в разные дни, как, находясь в условном Кургане, можно легко купить билет на перелет Саньтяго де Чили — Рио де Жанейро. И как всё это, черт побери, устарело. Какие изменения происходят прямо сейчас и при чем здесь математика.

«У Уробороса»

Автобусы будут ровно в 10:30