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, http://meta2008.pereslavl.ru/, Pereslavl-Zalessky, Russia.
TOPICS OF INTEREST include, but are not limited to:
- 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
- Case studies
- Neil D. Jones, Professor emeritus, University of Copenhagen, Denmark
- Simon Peyton-Jones, Microsoft Research Ltd, Cambridge, England
- Valentin Turchin, Professor Emeritus, The City University of New York, USA
- Sergei Abramov, Chair, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Russia
- Mikhail Bulyonkov, Ershov Institute of Informatics Systems of the Russian Academy of Sciences, Russia
- Robert Glück, University of Copenhagen, Denmark
- Geoff Hamilton, Dublin City University, Republic of Ireland
- Victor Kasyanov, Ershov Institute of Informatics Systems of the Russian Academy of Sciences, Russia
- Andrei Klimov, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
- Alexei Lisitsa, Liverpool University, Great Britain
- Andrei Nemytykh, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Russia
- Johan Nordlander, Lulea University of Technology, Sweden
- Sergei Romanenko, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
- Claudio Russo, Microsoft Research Cambridge, United Kingdom
- Peter Sestoft, IT University of Copenhagen, Denmark
- Morten Heine Sørensen, Formalit, Denmark