Уже третий день как у нас в Переславле-Залесском на базе Института Программных Систем РАН (ИПС РАН) проходит третья международная конференция, посвященная метавычислениям: META2012.
Сайт конференции: http://meta2012.pereslavl.ru/
Краткий обзор тем конференции:
- Дистилляция
- Частичные вычисления
- Смешанные вычисления
- Инверсные вычисления
- Суперкомпиляция
- Окрестностное тестирование
- Другие варианты применения вышеназванных методов в тестировании, верификации и обработке программ
Полный список докладов тут: http://meta2012.pereslavl.ru/papers/accepted-papers.html
Сборник в PDF: http://rghost.net/39087935
На странице с программой можно еще скачать презентации докладов Нила Джонса: http://meta2012.pereslavl.ru/program/program.html
// Скалофагам будет приятно знать, что в российских разработках, связанных с суперкомпиляцией, сейчас активно используется Scala.
// Докладов, в которых использовался бы Рефал на этой конференции, увы, нет.
