Индекс пенетрантности
-
Совместное совещание по Рефалу 17 июня
'A N' via Метавычисления и специализация программ
-
День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023
Andrei Klimov
-
Obituary: Neil D. Jones (1941-2023)
Andrei Klimov
-
Вопрос о связи суперкомпиляции и well-structured transition systems
'Shilov Nikolay' via Метавычисления и специализация программ
-
День рождения Валентина Федоровича Турчина
nikolai.kondratiev
-
Доклады по метавычислениям в среду 21.09.2022 на online-конференции «Абрау'22»
Andrei Klimov
-
RE: V совместное совещание ИПС РАН — МГТУ по Рефалу
'Александр Коновалов' via Метавычисления и специализация программ
-
День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022
Andrei Klimov
-
POPL & PEPM 2022
Andrei Klimov
-
Семинар ru-STEP в четверг 13 января 2022 в 14:00 – доклад Андрея Климова
Andrei Klimov
-
05.11.2021 20:00 MSK: Talk by Geoff Hamilton on Tight Polynomial Worst-Case Bounds for Loop Programs
Andrei Klimov
-
FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).
'Александр Коновалов' via Метавычисления и специализация программ
-
Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).
Andrei Klimov
-
IV совместное совещание ИПС РАН — МГТУ по Рефалу
'Александр Коновалов' via Метавычисления и специализация программ
-
8 июня рефал-семинар ИПС РАН и МГТУ
'Александр Коновалов' via Метавычисления и специализация программ
-
Харитоновские Научные Чтения - 2021
Arkady Klimov
-
SYRCoSE'21: приглашение на 27-28 мая 2021 г.
Andrei Klimov
-
Huawei topics in symbolic execution
Николай Шилов
-
День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021
Andrei Klimov
-
Верификатор языка Урбана Мюллера
'Александр Коновалов' via Метавычисления и специализация программ
-
90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010)
Andrei Klimov
-
Fwd: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск)
Andrei Klimov
-
17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
Andrei Klimov
-
Приглашение на онлайн семинар ru-STEP 15 января (и далее...)
Andrei Klimov
-
Dearest in Mind,
Grace Obia
-
«Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ...
Andrei Klimov
-
Second call for papers. VPT 20-21 - International Workshops on Verification and Program Transformation
Andrei Klimov
-
Семинар по метавычислениям во вторник 13 октября 2020 в 13:00 в Zoom'е
Andrei Klimov
-
Про параметры суперкомпиляции
'Александр Коновалов' via Метавычисления и специализация программ
-
PSSV-2020: сервер открыт (до 19 октября) для тезисов (4 стр.) коротких и стендовых сообщений!
Николай Шилов
-
Конференция МЭС - 2020
Arkady Klimov
-
Третье рабочее совещание ИПС РАН и МГТУ по Рефалу (онлайн!)
'Александр Коновалов' via Метавычисления и специализация программ
-
Что такое «базисная конфигурация»?
'Александр Коновалов' via Метавычисления и специализация программ
-
Конференция SYRCoSE'20 по Zoom'у 28–29 мая 2020
Andrei Klimov
-
День памяти Валентина Федоровича Турчина 7.4.2020
Andrei Klimov
-
Эпистемиология по Турчину
Andrei Klimov
-
Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ
Andrei Klimov
-
Про неподвижные точки суперкомпилятора
'Александр Коновалов' via Метавычисления и специализация программ
-
Очередная Functional Programming Conference в Казане (29-30 мая 2020).
Николай Шилов
-
День Валентина Турчина
Andrei Klimov
-
VPT 2020 - regular paper submission deadline has been extended. Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi
Andrei Klimov
-
PSSV-2020: XI Workshop Program Semantics, Specification and Verification: Theory and Applications
Andrei Klimov
-
Third call for papers. VPT 2020 - Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi
Andrei Klimov
-
13 декабря 2019 – Коллоквиум по Теоретическому и Экспериментальному Программированию (КолТЭП-2019)
Andrei Klimov
-
Семинар памяти В.Ф.Турчина в среду 10 апреля 2019 в ИПМ им. М.В. Келдыша РАН
Andrei Klimov
-
Абрау-2019 – зарегистрируйте название доклада (сегодня 16.2.19!)
Andrei Klimov
-
День Валентина
Andrei Klimov
-
А это что за семантика? (Было — Что такое «справедливая семантика»?)
'Александр Коновалов' via Метавычисления и специализация программ
-
TOOLS 50+1: Call for Papers
Andrei Klimov
-
RE: Плохой суперкомпилятор Рефала как неплохой оптимизатор
'Александр Коновалов' via Метавычисления и специализация программ
-
Что такое «справедливая семантика»?
'Александр Коновалов' via Метавычисления и специализация программ
-
Third call for papers. VPT 2019 - Seventh International Workshop on Verification and Program Transformation
Andrei Klimov
-
Об остановке суперкомпилятора Рефала
'Александр Коновалов' via Метавычисления и специализация программ
-
Суперкомпилятор, который знает математику
'Александр Коновалов' via Метавычисления и специализация программ
-
FW: Глупая суперкомпиляция
'Александр Коновалов' via Метавычисления и специализация программ
-
Введение в суперкомпиляцию (препринты и презентация)
Sergei Romanenko
-
PSI'19 Preliminary Call for Papers
Andrei Klimov
-
Семинар памяти В.Ф.Турчина в четверг 19 апреля 2018 в ИПМ
Andrei Klimov
-
Регистрация докладов на конференцию Абрау 2018
Andrei Klimov
-
7 апреля - день памяти В.Ф. Турчина
Andrei Klimov
-
Fwd: [SYRCoSE Colloquium] We would like to inform you that the paper...
Andrei Klimov
-
Fwd: A short CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)
Andrei Klimov
-
Fwd: GPCE 2018 Call for Papers: Boston, MA, USA, Nov 5,6 ...
Andrei Klimov
-
Защита диссертации С.А. Гречаника 20 февраля 2018
Andrei Klimov
-
14 февраля – день рождения В.Ф. Турчина
Andrei Klimov
-
Fwd: SYRCoSE 2018: Reminder
Andrei Klimov
-
FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)
Andrei Klimov
-
Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
Andrei Klimov
-
FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
Andrei Klimov
-
SoRuCom 2017: Конференция по истории программирования и выч.техн. в СССР и потом
Andrei Klimov
-
[PEPM 2018] First CFP
Andrei Klimov