Участие в редколлегии сборников
Участие в программных комитетах конференций
Оппонирование диссертаций
–
Участие в редколлегии сборников
- 2018 Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
- член редколлегии: Артемов С.Н.
- серия Lecture Notes in Computer Science, том 10703
- место издания Springer Cham
- 2016 Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
- член редколлегии: Артемов С.Н.
- серия Lecture Notes in Computer Science, том 9537
- место издания Springer
- 2013 Logical Foundations of Computer Science - International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
- член редколлегии: Артемов С.Н.
- серия Lecture Notes in Computer Science, том 7734
- издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
- 2009 Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
- член редколлегии: Артемов С.Н.
- серия Lecture Notes in Computer Science, том 5407
- издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197)
- 2007 Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
- член редколлегии: Артемов С.Н.
- серия Lecture Notes in Computer Science, том 4514
- место издания Springer
- сборник тезисов
Участие в программных комитетах конференций
-
- 1-2 октября 2018 Formal Philosophy: The 1st International Conference
- Член программного комитета
- Национальный исследовательский университет Высшая школа экономики, Russia
Оппонирование диссертаций
-
- 2012 О пропозициональных исчислениях, представляющих понятие доказуемости
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Дашков Евгений Владимирович
- Научный руководитель: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
- Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
- Оппоненты: Артемов Сергей Николаевич, Шапировский Илья Борисович
-
- 1987 Сложность аппроксимируемости модальных и суперинтуиционистских логик
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Чагров Александр Васильевич
- Научный руководитель: Канович Макс Иосифович
- Защищена в совете К 012.03.01 при Институт математики с ВЦ АН МССР
- Организация, в которой выполнялась работа: Калининский государственный университет
- Ведущая организация: Красноярский государственный университет
- Оппоненты: Смирнов Владимир Александрович, Артемов Сергей Николаевич