μετα 2008

First International Workshop on Metacomputation in Russia
 

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

Home
Call For Papers
Submissions
Accepted Papers
Program
Important Dates
Registration
Visa Support
Place
Affiliated Meetings
Contacts
Sponsors

 

 

The International Workshop on Metacomputation in Russia will be held 2-5 July 2008 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 2008 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 are also going to be made accessible in electronic form via Internet.

Honorary Chairman

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

Possible topics include (but are not limited):

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

Program Committee

  • S.M. Abramov, Chair, Program Systems Institute of the Russian Academy of Sciences, Russia
  • R. Glück, University of Copenhagen, Denmark
  • G.W. Hamilton, Dublin City University, Republic of Ireland
  • 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
  • S.A. Romanenko, M.V. Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia