Организация и проведение Российской школа-семинара "Синтаксис и семантика логических систем", посвященной 60-летию со дня рождения профессора Ю.Е. Шишмарева

Номер гранта:08-01-06090
Область научного знания:математика, механика, информатика
Тип конкурса: («г»)(«г») организация российских и международных научных мероприятий
Год выполнения:2008г.
Руководитель: Гузев М.А.
Статус заявки:поддержана

Аннотация к заявке:

Российская школа-семинар посвящена 60-летию со дня рождения профессора Шишмарева Юрия Евгеньевича, положившего начало развитию математической логики в Приморском крае. Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России. Тематика школы-семинара: логические исчисления, теория моделей, аксиоматическая теория множеств, алгебра логики, теория булевых функций, теоретико-категорные вопросы топологии и оснований математики. Организаторы школы-семинара: ДВО РАН (Институт прикладной математики, Институт проблем морских технологий), Дальневосточный государственный университет, Институт математики СО РАН, механико-математический факультет Московского государственного университета. Программный комитет: председатель Ю.Л. Ершов, академик РАН (Новосибирск), С.С. Гончаров, чл.-корр. РАН (Новосибирск), И.А. Тайманов, чл.-корр. РАН (Новосибирск), А.А. Мальцев, профессор (Новосибирск), А.В. Михалев, профессор (Москва), Е.А. Палютин, профессор (Новосибирск), Н.А. Перязев, профессор (Иркутск), Е.Е. Скурихин, профессор (Владивосток), А.А. Степанова, профессор (Владивосток), Л.С. Мазелис, профессор (Владивосток), Г.К. Пак, профессор (Владивосток). Организационный комитет: председатель М.А. Гузев, сопредседатель Е.Е. Скурихин, сопредседатель А.А. Степанова, ученый секретарь М.А. Первухин, Л.А. Наумов, О.В. Сергиенко, Г.К. Пак, А.Г. Сухонос, Н.В. Трикашная, И.В. Руднева, Л.Е. Хмелева (все из Владивостока). Место проведения: турбаза на берегу Тихого океана. Школа-семинар "Синтаксис и семантика логических систем" является традиционной. Первая аналогичная школа-семинар была проведена в 2006 году в Иркутске.
Аннотации к заявке и отчету приведены в авторской редакции. по состоянию на 11.12.2018.
Помог ли вам материал?
0    0