Участие в редколлегии журналов
Участие в редколлегии сборников
Участие в программных комитетах конференций
Членство в диссертационных советах
Оппонирование диссертаций
Членство в научных обществах
–
Участие в редколлегии журналов
-
- с 15 мая 2008 Archive for Mathematical Logic
- издательство Springer Verlag (Germany)
-
- с 15 мая 2008 Известия РАН. Серия математическая
Участие в редколлегии сборников
- 2016 Advances in Modal Logic
- член редколлегии: Беклемишев Л.Д.
- серия Advances in Modal Logic, том 11
- место издания College Publications London
- 2015 Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science
- член редколлегии: Беклемишев Л.Д.
- серия Lecture Notes in Computer Science, том 9300
- издательство Springer (New York)
- 2010 Advances in Modal Logic
- члены редколлегии: Goranko V., Беклемишев Л.Д., Шехтман В.Б.
- серия Advances in Modal Logic, том 8
- место издания College Publications London
Участие в программных комитетах конференций
-
- 23-26 мая 2019 Shanin 100
- Заместитель председателя программного комитета
- Санкт-Петербург, Russia
-
- 8-11 января 2018 Symposium on Logical Foundations of Computer Science, LFCS 2018
- Член программного комитета
- Deerfield Beach, Florida, United States
-
- 5 июня - 7 декабря 2017 Journées sur les Arithmétiques Faibles, JAF 36
- Член программного комитета
- ПОМИ РАН, Санкт-Петербург, Russia
-
- 17-20 октября 2017 Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles)
- Член программного комитета
- Steklov Mathematical Institute, Moscow, Russia, Russia
-
- 12-18 июля 2015 The 10th International Symposium on Computer Science in Russia (CSR 2015)
- Председатель программного комитета
- Listvyanka (lake Baikal), Russia
-
- 2014 Wormshop 2014 (The 2nd Workshop on Proof Theory, Modal Logic and Reflection Principles)
- Член программного комитета
- Mexico City, Mexico, Mexico
Членство в диссертационных советах
-
- с 5 сентября 2017 МГУ.011.4(01.17), МГУ имени М.В. Ломоносова, Механико-математический факультет
- 1.1.5 - Математическая логика, алгебра, теория чисел и дискретная математика (физ.-мат. науки)
- Действующие члены совета: Чубариков В.Н., Иванов А.О., Мануйлов В.М., Алексеев В.Б., Беклемишев Л.Д., Богатый С.А., Гасанов Э.Э., Гашков С.Б., Геворкян П.С., Зайцев М.В., Кочергин В.В., Мищенко А.С., Нестеренко Ю.В., Орлов Д.О., Панов Т.Е., Садовничий Ю.В., Селезнева С.Н., Тюрин Н.А., Фоменко А.Т., Чирский В.Г., Шафаревич А.И., Шелехов А.М.
-
- 15 мая 2010 - 31 августа 2017 Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
- 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
-
- с 15 мая 2007 Д 002.022.03, Математический институт им. В.А. Стеклова РАН
- Действующие члены совета: Шкредов И.Д., Беклемишев Л.Д., Дынников И.А., Нестеренко Ю.В., Орлов Д.О., Панов Т.Е., Фоменко А.Т.
Оппонирование диссертаций
-
- 2007 Конструктивные отрицания и их паранепротиворечивость
- Докторская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Одинцов Сергей Павлович, д.ф.-м.н.
- Защищена в совете Д 003.015.02 при ИМ СО РАН
- Организация, в которой выполнялась работа: Институт математики им. С. Л. Соболева СО РАН
- Ведущая организация: Красноярский государственный университет
- Оппоненты: Максимова Лариса Львовна, Чагров Александр Васильевич, Беклемишев Лев Дмитриевич
Членство в научных обществах
-
- с 2017 Московское Математическое Общество
- Россия