Институт РЕФАЛА
 
 
«Не стоит прогибаться под изменчивый мир,
Пусть лучше он прогнется под нас ... »
                      Андрей Макаревич

 
 

В апреле 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.

 
Чайная