Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english
Научная деятельность >> Конференции >> Летняя научная секция по математике

Летняя научная сессия по математике

Дирекция ИППИ  РАН  (совместно с Институтом Стеклова РАН и русско-французской лабораторией им. Понселе ) организует летнюю научную сессию по математике, в течение которой специально приглашенные лекторы выступят с общедоступными (для  профессиональных математиков) лекциями по самым различным направлениям современной математики.

Начало докладов в ИППИ (Большой Каретный 19, 6 этаж, конференц зал) в 16:00, продолжиительность около 2 часов. Оставить вещи, выпить чаю или воспользоваться интернетом можно на 3 этаже, ауд.302.

Программный комитет:   

Кулешов Александр Петрович, член-корреспондент РАН, д.т.н, директор ИППИ РАН

Минлос Роберт Адольфович, д.ф.-м.н., профессор, заведующий Добрушинской математической лабораторией ИППИ РАН

Цфасман Михаил Анатольевич, д.ф.-м.н., профессор,  заведующий Сектором алгебры и теории чисел ИППИ РАН

 

Расписание докладов

24 июля, Алексей Скоробогатов   "Поверхности дель-Пеццо и однородные пространства".

29 июля, Сергей Влэдуц   "Множества Какейи над конечными полями".

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

31 июля, Евгений Асарин (ИППИ и LIAFA, Université Paris Diderot & CNRS)   "ШУМ В ВЫЧИСЛИТЕЛЬНЫХ МОДЕЛЯХ" (большие уклонения глазами информатика) 

Известные в теоретической информатике вычислительные модели (машины Тьюринга и т.п.), как правило, предполагают полное отсутствие ошибок в процессе вычислений. Влияние ошибок и шума на вычисления, и борьба с этим влиянием изучались, в основном, в инженерной практике. В докладе будут предложены математические модели вычислений с малым шумом и исследована их вычислительная сила. Будет показано, как с помощью шума решать неразрешимые задачи.

В начале доклада будут напомнены необходимые для понимания сведения из информатики.

По материалам работ:
E. Asarin, A. Bouajjani, Perturbed Turing Machines and Hybrid Systems,
LICS'01,
http://www-verimag.imag.fr/~asarin/papers/perturb.pdf

E. Asarin, P. Collins, Noisy Turing Machines, ICALP'05, LNCS 3580,
pp.1031-1042,
http://www.liafa.jussieu.fr/~asarin/papers/noisyturing.pdf

5 августа, Юрий Голубев   "Об оценивании энтропии с помощью порядковых статистик".

7 августа, Вячеслав Никулин (МИАН им. Стеклова и Ливерпульский университет)  "Конечность и классификация арифметических групп, порожденных отражениями, в пространствах Лобачевского."

Резюме: В 1967 году Винберг доказал критерий арифметичности для дискретных групп отражений в пространствах Лобачевскго. В 1980, 1981 годах я доказал конечность числа максимальных арифметических групп отражений в каждой размерности, начиная с 10. В 1981 году Винберг доказал, что такие группы не существуют в размерностях больших 29. 

Только в 2005 - 2007 годах была доказана конечность и эффективная конечность (дающая возможность  классификации) для таких групп в малых размерностях 2 - 9 в работах Long, Maclachlan, Reid (размерность 2), Agol (размерность 3), и моих (оставшиеся размерности). 
Можно ожидать, что эти группы и их классификация окажутся важными (как группы Вейля) для подходящих алгебр типа Каца-Муди-Борчердса и в физике.
Это так для групп над Z.   
Доклад будет посвящен этим результатам.

 

 12 августа, Юрий Кондратьев  "Birth-and-death in continuum".

Abstract: We will present a review of recent results concerning  birth-and-death Markov processes on configuration spaces in continuum. Special attention will be given to applications of such processes to individual based models in spatial ecology.

14 августа, Андрей Аграчев  "Геометрия вариационных задач и гамильтоновых систем."

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

 

19 августа,   Александр Барг (ИППИ РАН и университет Мэриленда) "Оценки для кодов и дизайнов в упорядоченном пространстве Хэмминга"

Аннотация: Будет представлен ряд новых оценок максимального размера кодов в пространстве Хэмминга, снабженном метрикой НРТ (Niederreiter-а, Розенблюма, Цфасмана). Оценки, полученные методом Дельсарта, основаны на свойствах одного семейства ортогональных многочленов многих переменных. Эти свойства получаются из представления этих многочленов как собственных значений схемы отношений рассмотренного пространства (совместная работа с Punarbasu Purkayastha). Мы также обсудим особенности применения метода Дельсарта в случае многих переменных, послужившие основой для вывода оценок (совместные работы с Д. Ногиным).

21 августа, Сергей Артемов (The Graduate Center of the City University of New York) "Аргументированное знание."

 Абстракт. Логика аргументаций (Justification Logic) предлагает новый подход к математическому моделированию знания, согласно которому знание подразумевает его исчерпывающее обоснование. Ещё Платон рассматривал знание как "истинное обоснованное мнение" (justified true belief), однако традиционная модальная логика знаний не ухватывала понятие обоснования (свидетельства, доказательства, аргументации). Математическим прототипом логики аргументаций являются интуиционистская доказуемостная семантика Брауэра-Гейтинга-Колмогорова, а также логика доказательств, предложенная Гёделем в 30-е годы и разработанная автором в 1995 году.

Логика аргументаций оперирует понятием "t является обоснованием утверждения X", тем самым делая обоснования (аргументации) формальными объектами логического языка. Такой подход открывает возможность сравнивать различные обоснования одного и того же факта и отслеживать их происхождение, анализировать и учитывать сложность аргументации.  Это приводит к новой, более адекватной эпистемической семантике для логики знаний и существенно увеличивает выразительные возможности последней.

В докладе будут изложены начала математической логики аргументаций и предложен анализ известных эпистемических парадоксов Рассела, Гетье, Голдмана-Крипке, и др.

26 августа, Александр Шень.  "Интерактивные доказательства"

  Развитие computer science привело к тому, что само понятие  
"доказательства" (не в математическом смысле, а в более философском)  
приобрело новые модели. Изначально это был класс NP ("проверяемые  
доказательства"), а затем появились вероятностные и интерактивные  
модели (класс IP, доказательства с нулевым разглашением, PCP теорема).  
На мой взгляд эти результаты имеют общематематический интерес (почти  
как теорема Гёделя), и я попытаюсь по возможности полностью и  
отчётливо изложить формулировки наиболее важных соответствующих  
результатов и обсудить их смысл и значение.

28 августа, Carlo Boldrighini  "Random Walks in Random Media that change in time".

2 сентября, Дмитрий Крамков  "Introduction to Arbitrage-Free Pricing and Optimal Investment".

4 сентября, Николай Надирашвили.

 

Если у Вас есть вопросы, обращайтесь к Сергею Комечу (komech@iitp.ru) или Елене Жижиной (ejj@iitp.ru).

 

 

 


 

НОВОСТИ И ОБЪЯВЛЕНИЯ
Семинар Добрушинской математической лаборатории. 24 октября, вторник, 16:00, ауд. 307. В.А. Василь...
Международная конференция "Аналитические и вычислительные методы в теории вероятностей и ее приложен...
Семинар по теоретической семантике: 20 октября, в пятницу, в 16.00, в зале заседаний Ученого совета....
Семинар лаборатории № 8: 19 октября в 14:30 в ИПЭЭ РАН. П.В. Максимов. Этапы работы над компьютерной...
Семинар лаб.9 16 октября, 11:00, к.615 Елена Владимировна Максимова Волны и ритмы тела (взг...
http://iitp.ru/ru/science/seminars/343.htm Семинар Добрушинской математической лаборатории. 10 октяб...
10 октября, 11:00, к.307 Дмитрий Жванский "2017 International Society of Posture & Gait Resarc...
Семинар Добрушинской математической лаборатории. 1 октября, вторник, 16:00, ауд. 307. Gunter Schue...
Возобновил работу семинар В.А....
ИТиС-2017: репортаж с третьего официального дня школы-конференции от журналиста Егора Антощенко. Сту...
Семинар Добрушинской математической лаборатории. 26 сентября, вторник, 16:00, ауд. 307. Mauro Mari...
ИТиС-2017: репортаж со второго официального дня школы-конференции от журналиста Егора Антощенко. Утр...
Семинар Добрушинской математической лаборатории. 19 сентября, вторник, 16:00, ауд. 307. Юрий Аве...
ИТиС-2017: репортаж с первого официального дня школы-конференции от журналиста Егора Антощенко. Дух ...
В пятницу 15 сентября 2017 года в Башкирском государственном педагогическом университете им. М. Акму...
Трагически ушёл из жизни старший научный сотрудник Лаборатории № 1 им. М.С. Пинскера нашего Институт...
Продлен прием документов в аспирантуру...
Семинар Добрушинской математической лаборатории: 12.09.17 (вторник), 16:00, ауд. 307. Л. С. Ефремова...
С 23 по 27 октября в Москве пройдёт конференция «Аналитические и вычислительные методы в теории веро...
30 августа в Институте проблем передачи информации им. А.А. Харкевича РАН прошла экскурсия для студе...
Все новости   
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2017
Об институте  |  Контакты  |  Старая версия сайта