С 29 июня по 3 июля 2022 года в г. Санкт-Петербурге (дистанционно) пройдет семнадцатый международный симпозиум по информатике в России CSR 2022.
С 28 июня по 2 июля 2021 года в г. Сочи пройдет шестнадцатый международный симпозиум по информатике в России CSR 2021.
В марте 2021 года в г. Люксембурге (Люксембург) пройдет девятый международный семинар Verification and Program Transformation VPT 2021.
С 29 июня по 3 июля 2020 года в г. Екатеринбурге пройдет пятнадцатый международный симпозиум по информатике в России CSR 2020. Программный комитет симпозиума опубликовал список статей, принятых для представления на симпозиуме.
В апреле 2020 года в г. Дублине (Ирландия) пройдет восьмой международный семинар Verification and Program Transformation VPT 2020.
В июле 2019 года в г. Новосибирске пройдет четырнадцатый международный симпозиум по информатике в России CSR 2019.
В июне 2019 года в г. Москве пройдет международный семинар "Случайность, информация, сложность", посвященный 60-тилетию Николая Константиновича Верещагина и Александра Ханьевича Шеня.
В июне 2019 года в МФТИ (г. Долгопрудный) пройдет международный семинар Russian Workshop on Complexity and Model Theory.
В апреле 2019 года в г. Генуе (Италия) пройдет седьмой международный семинар Verification and Program Transformation VPT 2019.
В весеннем семестре 2018 года, по понедельникам с 18:30 до 20:05 в ауд. 1604, мех-мат, ГЗ МГУ, г. Москва, Н.К.Верещагин будет читать полугодовой спецкурс "Построение генераторов псевдослучайных чисел". Первая лекция - 19 февраля. С примерной программой курса можно ознакомиться на сайте курса.
В апреле 2018 года в г. Салоники (Греция) пройдет шестой международный семинар Verification and Program Transformation VPT 2018.
В июне 2018 года в г. Москве пройдет тринадцатый международный симпозиум по информатике в России CSR 2018.
В осеннем семестре 2017 г. на механико-математическом факультете МГУ Н.К. Верещагин прочтет полугодовой спецкурс "Коммуникационная сложность". Программа и другая информация о курсе выложена на страничке курса. Лекции будут по понедельникам на мехмате МГУ в ауд. 1604 в 18:30-20:05. Первая лекция 11 сентября.
В июне 2017 года в г. Казани пройдет двенадцатый международный симпозиум по информатике в России CSR 2017.
В апреле 2017 года в г. Уппсала (Швеция) пройдет пятый международный семинар Verification and Program Transformation VPT 2017.
В апреле 2016 года в г. Москве пройдет международный семинар Algorithms in Communication Complexity, Property Testing and Combinatorics.
В июне 2016 года в г. Санкт-Петербурге пройдет одиннадцатый международный симпозиум по информатике в России CSR 2016.
В апреле 2016 года в г. Эйндховене пройдет четвертый международный семинар Verification and Program Transformation VPT 2016.
Математическая лаборатория имени П.Л. Чебышева (мат-мех, СПбГУ) совместно со Сколковским институтом науки и технологий проводят семестр, посвященный теории сложности. Конференции и семинары будут проходить в г. Санкт-Петербурге (апрель-июнь 2016 года).
Вышел из печати второй том Сборника трудов по функциональному языку программирования Рефал. Предполагается, что Сборник будет выходить с периодичностью один раз в год. К сотрудничеству приглашаются потенциальные авторы. pdf-тексты статей, собранные с использованием стилевого файла, выложенного на странице, как и LaTex исходники этих текстов можно переслать по адресу nemytykh@math.botik.ru до марта 2016 года. Конкретные решения по присланным статьям будут сообщены авторам во второй половине марта 2016 года.
Осенью 2015 года предполагается издание специального выпуска журнала Journal of Logical and Algebraic Methods in Programming (JLAMP, издательства Elsevier), который будет посвящен тематике международных семинаров Verification and Program Transformation (VPT) и Verification of Web Systems (WWV). Открыта страница для представления статей на рассмотрение редколлегии этого номера журнала JLAMP.
В июле 2015 года на озере Байкал пройдет десятый международный симпозиум по информатике в России CSR 2015. Программный комитет симпозиума опубликовал список статей, принятых для представления на симпозиуме.
В апреле 2015 года в г. Лондоне прошел третий международный семинар Verification and Program Transformation VPT 2015.
В июле 2014 года в г. Вене прошел второй международный семинар Verification and Program Transformation VPT 2014.
Расписание Колмогоровского семинара по сложности вычислений и сложности определений механико-математического факультета МГУ
В июле 2013 года в г. Санкт-Петербурге прошел первый международный семинар Verification and Program Transformation VPT 2013. Электронная версия сборника трудов семинара доступна здесь. Здесь можно найти тезисы некоторых докладов, представленных на семинаре VPT-2013.
Лаборатория автоматизации программирования Института программных систем РАН приглашает на конкурсной основе студентов и аспирантов для решения задач развития реализации системы программирования РЕФАЛ-5.
Институт РЕФАЛа начинает публиковать заметки о некоторых понятиях суперкомпиляции.
Расписание семинара по теоретической информатике кафедры математических и информационных технологий Санкт-Петербургского академического университета РАН
В начале июля 2010 года в г. Переславле-Залесском прошел второй международный семинар по метавычислениям в России μετα-2010. Электронная версия сборника трудов семинара доступна здесь. Здесь можно найти тезисы некоторых докладов, представленных на семинаре μετα-2010.