META 2016

Fifth International Valentin Turchin Workshop on Metacomputation

 

 

June 27 - July 1, 2016, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia

Home
Call For Papers
Submissions
Important Dates
News & Forums
Invited Speakers
Papers
Program
Registration
Visa Support
Place
Contacts
History
Sponsors

 

Russian Foundation for Basic Research

 

Ailamazyan Program Systems Institute of RAS

 

Keldysh Institute of Applied Mathematics of RAS

 

Refal Community

 

The Fifth International Valentin Turchin Workshop on Metacomputation (META 2016) will be 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.

The workshop participants will live in a new hotel Troyka in the center of Pereslavl-Zalessky in 200m from the most ancient church in the European part of Russia and use free time for pleasant sightseeing.

The proceedings will be published by a local publishing house before the workshop. They will be made accessible in electronic form via Internet.

The previous workshops in this series were META 2008, META 2010, META 2012, and META 2014.

Possible topics include (but are not limited to)

  • Distillation
  • Generalized partial computation
  • Mixed computation
  • Partial evaluation
  • Program inversion
  • Program slicing
  • Program verification techniques including theorem proving and testing
  • Supercompilation
  • Techniques that treat programs/models as data objects
  • Tool descriptions, case studies, tutorials, surveys, comparison of methods, and problem statements on these topics

Important Dates

  • April 15 (Friday) - paper submission due - non-strict: submission is not closed but the review may be ready later than the notification date
  • April 29 (Friday) - notification of acceptance
  • May 20 (Monday) - camera ready paper due for pre-proceedings - strict deadline
  • June 26 (Sunday) - arrival
  • June 27 - July 1 (Monday - Friday) - workshop
  • July 2 (Saturday) - departure

Invited Speaker

  • Neil D. Jones, Professor Emeritus of the University of Copenhagen, DIKU, Denmark

Workshop Chair

  • Sergei Abramov, Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia

Program Committee Chairs

  • Andrei Klimov, Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
  • Sergei Romanenko, Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia

Program Committee Members

  • Sergei Abramov, Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia
  • Mikhail Bulyonkov, A.P. Ershov Institute of Informatics Systems of Siberian Branch of Russian Academy of Sciences, Russia
  • Robert Glück, University of Copenhagen, Denmark
  • Geoff Hamilton, Dublin City University, Republic of Ireland
  • Arkady Klimov, Institute for Design Problems in Microelectronics of Russian Academy of Sciences, Russia
  • Yuri Klimov, Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
  • Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia
  • Dimitur Krustev, IGE+XAO Balkan, Bulgaria
  • Alexei Lisitsa, Liverpool University, United Kingdom
  • Neil Mitchell, Standard Charted, United Kingdom
  • Antonina Nepeivoda, Ailamazyan Program Systems Institute of Russian Academy of Sciences, Russia
  • Peter Sestoft, IT University of Copenhagen, Denmark
  • Alexander Slesarenko, Huawei Labs, Moscow, Russia
  • Morten Heine Sørensen, Formalit, Denmark