μετα 2010

Second International Workshop on Metacomputation in Russia
 

July 1-5, 2010, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia

Home
Call For Papers
News
Submissions
Invited Speakers
Accepted Papers
Program
Photos
Important Dates
Registration
Visa Support
Place
Contacts
History
Posters
Sponsors

 

 

 

The Second International Workshop on Metacomputation in Russia will be held 1-5 July 2010 at an ancient Russian city Pereslavl-Zalessky, on the bank of Pleschcheevo lake, in Program Systems Institute of the Russian Academy of Sciences.

The city Pereslavl-Zalessky belongs to the Golden Ring of the historical sites of Russia.

The Metacomputation Workshop aims to bring together researchers working in the areas of program analysis and program manipulation based on metacomputation; in particular, supercompilation, distillation, mixed computation, generalized partial computation and partial evaluation.

The 2010 Metacomputation workshop will be based on a broad interpretation of semantics-based program manipulation.

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

The previous workshop in this series was Meta 2008, Pereslavl-Zalessky, Russia.

Possible topics include (but are not limited to):

  • Supercompilation
  • Distillation
  • Mixed computation
  • Generalized partial computation
  • Partial evaluation
  • Program inversion
  • Program verification techniques including theorem proving and testing
  • Techniques that treat programs/models as data objects
  • Tool descriptions and experience reports on the above techniques
  • Case studies

Honorary Chairman

V.F. Turchin, Professor Emeritus of The City University of New York, USA.

Program Committee

  • S.M. Abramov, Chair, Program Systems Institute of the Russian Academy of Sciences, Russia
  • M.A. Bulyonkov, A.P. Ershov Institute of Informatics Systems of the Russian Academy of Sciences, Russia
  • R. Glück, University of Copenhagen, Denmark
  • G.W. Hamilton, Dublin City University, Republic of Ireland
  • V.N. Kasyanov, A.P. Ershov Institute of Informatics Systems of the Russian Academy of Sciences, Russia
  • A.V. Klimov, M.V. Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
  • A.P. Lisitsa, Liverpool University, Great Britain
  • A.P. Nemytykh, Program Systems Institute of the Russian Academy of Sciences, Russia
  • J. Nordlander, Lulea University of Technology, Sweden
  • S.A. Romanenko, M.V. Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
  • C. Russo, Microsoft Research Cambridge, United Kingdom
  • P. Sestoft, IT University of Copenhagen, Denmark
  • M.H. Sørensen, Formalit, Denmark