Groups
Sign in
Groups
Метавычисления и специализация программ
Conversations
About
Send feedback
Help
Метавычисления и специализация программ
Contact owners and managers
1–30 of 177
Mark all as read
Report group
0 selected
Andrei Klimov
, …
Boris Schapiro
6
Apr 9
День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023
Изменение: семинар пройдет в Zoom'е: Join Zoom Meeting https://us06web.zoom.us/j/82193993914?pwd=
unread,
День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023
Изменение: семинар пройдет в Zoom'е: Join Zoom Meeting https://us06web.zoom.us/j/82193993914?pwd=
Apr 9
A N
6/16/23
Совместное совещание по Рефалу 17 июня
Добрый день! Завтра, в субботу 17 июня, проводится ставшее уже традиционным совместное совещание по
unread,
Совместное совещание по Рефалу 17 июня
Добрый день! Завтра, в субботу 17 июня, проводится ставшее уже традиционным совместное совещание по
6/16/23
Andrei Klimov
4/5/23
Obituary: Neil D. Jones (1941-2023)
Ушел всеми нами уважаемый и любимый Нил Джоунс. Большой ученый с глубокими результатами и
unread,
Obituary: Neil D. Jones (1941-2023)
Ушел всеми нами уважаемый и любимый Нил Джоунс. Большой ученый с глубокими результатами и
4/5/23
Shilov Nikolay
,
Antonina Nepejvoda
2
3/25/23
Вопрос о связи суперкомпиляции и well-structured transition systems
Здравствуйте! Насколько я понимаю, анализ RRT в WSTS подразумевает только вложение, без перестроек
unread,
Вопрос о связи суперкомпиляции и well-structured transition systems
Здравствуйте! Насколько я понимаю, анализ RRT в WSTS подразумевает только вложение, без перестроек
3/25/23
nikolai.k...@gmx.de
, …
Andrei Klimov
3
2/14/23
День рождения Валентина Федоровича Турчина
Здравствуйте все! Мы помним Валентина Федоровича и сегодня 14 февраля поминаем его в день его
unread,
День рождения Валентина Федоровича Турчина
Здравствуйте все! Мы помним Валентина Федоровича и сегодня 14 февраля поминаем его в день его
2/14/23
ab...@botik.ru
12/31/22
С Новым, 2023, годом! // Happy New Year!
Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2023, годом
unread,
С Новым, 2023, годом! // Happy New Year!
Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2023, годом
12/31/22
Andrei Klimov
,
И.Р.
2
9/21/22
Доклады по метавычислениям в среду 21.09.2022 на online-конференции «Абрау'22»
Здравствуйте, Андрей! Я остаюсь подписчиком Вашей рассылки, хотя и не являюсь математиком. Молчаливый
unread,
Доклады по метавычислениям в среду 21.09.2022 на online-конференции «Абрау'22»
Здравствуйте, Андрей! Я остаюсь подписчиком Вашей рассылки, хотя и не являюсь математиком. Молчаливый
9/21/22
Александр Коновалов
6/15/22
RE: V совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное
unread,
RE: V совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное
6/15/22
Александр Коновалов
6/14/22
RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное
unread,
RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное
6/14/22
Andrei Klimov
,
Anton Kolonin @ Gmail
5
4/7/22
День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022
Повторяю письмо Антона со ссылкой на запись семинара, чтобы оно попало адресатам в скрытом списке
unread,
День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022
Повторяю письмо Антона со ссылкой на запись семинара, чтобы оно попало адресатам в скрытом списке
4/7/22
Andrei Klimov
,
Николай Nikolay Шилов Shilov
3
1/19/22
POPL & PEPM 2022
К сожалению, смотреть стрим не всегда удается, а найти прошедшие выступления тоже пока не получилось.
unread,
POPL & PEPM 2022
К сожалению, смотреть стрим не всегда удается, а найти прошедшие выступления тоже пока не получилось.
1/19/22
Andrei Klimov
1/13/22
Семинар ru-STEP в четверг 13 января 2022 в 14:00 – доклад Андрея Климова
Уважаемые коллеги! Подписчики на рассылку онлайн-семинара ru-STEP (ссылка кликабельна) уже в курсе о
unread,
Семинар ru-STEP в четверг 13 января 2022 в 14:00 – доклад Андрея Климова
Уважаемые коллеги! Подписчики на рассылку онлайн-семинара ru-STEP (ссылка кликабельна) уже в курсе о
1/13/22
ab...@botik.ru
12/31/21
С Новым, 2022, годом! // Happy New Year!
Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2022, годом
unread,
С Новым, 2022, годом! // Happy New Year!
Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2022, годом
12/31/21
Andrei Klimov
11/5/21
05.11.2021 20:00 MSK: Talk by Geoff Hamilton on Tight Polynomial Worst-Case Bounds for Loop Programs
Привет всем! Сегодня 5 ноября с 20:00 мск будет онлайн-лекция Джеффа Гамильтона, известного многим в
unread,
05.11.2021 20:00 MSK: Talk by Geoff Hamilton on Tight Polynomial Worst-Case Bounds for Loop Programs
Привет всем! Сегодня 5 ноября с 20:00 мск будет онлайн-лекция Джеффа Гамильтона, известного многим в
11/5/21
Александр Коновалов
7/7/21
FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).
(Перенаправляю письмо в рассылки) From: Shilov Nikolay <shil...@mail.ru> Sent: Thursday, July
unread,
FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).
(Перенаправляю письмо в рассылки) From: Shilov Nikolay <shil...@mail.ru> Sent: Thursday, July
7/7/21
Александр Коновалов
2
6/27/21
IV совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день всем! Вывешены слайды с IV совместного совещания: http://refal.botik.ru/events/events.htm
unread,
IV совместное совещание ИПС РАН — МГТУ по Рефалу
Добрый день всем! Вывешены слайды с IV совместного совещания: http://refal.botik.ru/events/events.htm
6/27/21
Andrei Klimov
, …
Василий Стеллецкий
10
6/16/21
Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).
Господа! Извините, что решился ввязаться в вашу дискуссию... 1) специфическое мышление при
unread,
Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).
Господа! Извините, что решился ввязаться в вашу дискуссию... 1) специфическое мышление при
6/16/21
Александр Коновалов
,
Николай Nikolay Шилов Shilov
2
6/5/21
8 июня рефал-семинар ИПС РАН и МГТУ
Буду обязательно, прошу заказать пропуск. Николай Вячеславович Шилов On Fri, Jun 4, 2021 at 10:25 PM
unread,
8 июня рефал-семинар ИПС РАН и МГТУ
Буду обязательно, прошу заказать пропуск. Николай Вячеславович Шилов On Fri, Jun 4, 2021 at 10:25 PM
6/5/21
Arkady Klimov
, …
Andrei Klimov
5
5/27/21
Харитоновские Научные Чтения - 2021
Николай, если организаторы выставят, сообщу сюда. Андрей On Thu, 27 May 2021 at 17:07, Николай
unread,
Харитоновские Научные Чтения - 2021
Николай, если организаторы выставят, сообщу сюда. Андрей On Thu, 27 May 2021 at 17:07, Николай
5/27/21
Andrei Klimov
5/24/21
SYRCoSE'21: приглашение на 27-28 мая 2021 г.
Приглашенные доклады на конференции SYRCoSE'21 обещают быть интересными! Да и в основной
unread,
SYRCoSE'21: приглашение на 27-28 мая 2021 г.
Приглашенные доклады на конференции SYRCoSE'21 обещают быть интересными! Да и в основной
5/24/21
Николай Шилов
,
Arkady Klimov
2
4/12/21
Huawei topics in symbolic execution
Спасибо, Николай. Тема меня немного заинтересовала, чтобы посмотреть, что это за зверь такой - KLEE.
unread,
Huawei topics in symbolic execution
Спасибо, Николай. Тема меня немного заинтересовала, чтобы посмотреть, что это за зверь такой - KLEE.
4/12/21
Andrei Klimov
, …
nikolai.k...@gmx.de
6
4/9/21
День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021
Светлая память! Von: Andrei Klimov <and...@klimov.net> Gesendet: Mittwoch, 7. April 2021 21:42
unread,
День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021
Светлая память! Von: Andrei Klimov <and...@klimov.net> Gesendet: Mittwoch, 7. April 2021 21:42
4/9/21
Александр Коновалов
,
Andrei Klimov
9
3/24/21
Верификатор языка Урбана Мюллера
Добрый день, Андрей! «ещё бы я посоветовал отслеживать линию статической типизации» С этой темой я
unread,
Верификатор языка Урбана Мюллера
Добрый день, Андрей! «ещё бы я посоветовал отслеживать линию статической типизации» С этой темой я
3/24/21
Andrei Klimov
, …
Александр Коновалов
7
2/17/21
90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010)
Доброе утро всем! «Такую сессию можно организовать совместно с ежегодным Рефал-семинаром (если
unread,
90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010)
Доброе утро всем! «Такую сессию можно организовать совместно с ежегодным Рефал-семинаром (если
2/17/21
Andrei Klimov
, …
Александр Коновалов
8
2/6/21
Fwd: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск)
Аркадий! Я Вас опять в предыдущем письме назвал Андреем, извините. Перед тем, как писал прошлое
unread,
Fwd: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск)
Аркадий! Я Вас опять в предыдущем письме назвал Андреем, извините. Перед тем, как писал прошлое
2/6/21
Andrei Klimov
, …
Andrei Klimov
10
2/4/21
«Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ...
Александр, Как заправка для дискуссии на рабочем семинаре в узком кругу - так можно. Тогда ожидается,
unread,
«Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ...
Александр, Как заправка для дискуссии на рабочем семинаре в узком кругу - так можно. Тогда ожидается,
2/4/21
Andrei Klimov
1/21/21
SYRCoSE 2021: Call for Papers - Spring/Summer Young Researchers' Colloquium on Software Engineering
CALL FOR PAPERS SYRCoSE 2021 Spring/Summer Young Researchers' Colloquium on Software Engineering
unread,
SYRCoSE 2021: Call for Papers - Spring/Summer Young Researchers' Colloquium on Software Engineering
CALL FOR PAPERS SYRCoSE 2021 Spring/Summer Young Researchers' Colloquium on Software Engineering
1/21/21
Andrei Klimov
2
1/17/21
17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
Еще раз добрый вечер! Сегодняшние сессии CPP (International Conference Certified Programs and Proofs)
unread,
17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
Еще раз добрый вечер! Сегодняшние сессии CPP (International Conference Certified Programs and Proofs)
1/17/21
Andrei Klimov
1/14/21
Приглашение на онлайн семинар ru-STEP 15 января (и далее...)
Форвардирую письмо Николая Шилова, расширяя пункт (1) и выполняя пункт (10).🤓 Присоединяйтесь! Андрей
unread,
Приглашение на онлайн семинар ru-STEP 15 января (и далее...)
Форвардирую письмо Николая Шилова, расширяя пункт (1) и выполняя пункт (10).🤓 Присоединяйтесь! Андрей
1/14/21
ab...@botik.ru
12/31/20
С Новым, 2021, годом!
Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2021, годом
unread,
С Новым, 2021, годом!
Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2021, годом
12/31/20