ИСТИНА

• Охват: Международная
• Даты проведения: 27 июня - 1 июля 2016
• Место проведения: Pereslavl-Zalessky, Россия
• Организатор:
  Ailamazyan Program Systems Institute of Russian Academy of Sciences
• Число участников: 50
• Число иностранных участников: 40
• Число участников из МГУ: 1
• Число докладчиков: 20
• Веб-сайт: http://meta2016.pereslavl.ru/
• Описание конференции:

  The Fifth International Valentin Turchin Workshop on Metacomputation (META 2016) held in June 27 - July 1, 2016, in an ancient Russian town Pereslavl-Zalessky, on the bank of Pleshcheevo lake, in Ailamazyan Program Systems Institute of Russian Academy of Sciences. This workshop belongs to a series of biennial workshops devoted to the memory of Valentin Turchin (1931-2010) and aims to bring together researchers working in the areas of program analysis and program manipulation, collectively referred to as metacomputation: supercompilation, partial evaluation, distillation, mixed computation, generalized partial computation, slicing, verification, as well as cross-fertilization with other modern research and development directions that treat programs as data objects, and their applications.

• Добавил в систему: Миронов Андрей Михайлович

Доклады:

• 2016 On a Method of Verification of Functional Programs (Устный)
• Автор: MIronov A.M.