μετα 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

 

 

 

 

Call For Papers

Second International Workshop on Metacomputation in Russia (Meta 2010)

The Second 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 previous workshop in this series was Meta 2008, Pereslavl-Zalessky, Russia.

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

Topics of interest for Meta 2010 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

Important Dates

March 8, 2010: Paper submission deadline
March 15, 2010: Paper submission deadline extended
April 5, 2010: Acceptance notification
May 9, 2010: Camera-ready version for pre-proceedings
June 30, 2010: Arrival
July 1-5, 2010: Workshop
July 6, 2010: Departure

Submission

Submissions should describe previously unpublished work (completed or in progress), including descriptions of research, tools, applications, practical experience, ideas, concepts, and discussion topics. They should be submitted both as LaTeX-source files and PDF files by 8 March. Final papers are to be prepared in LaTeX in LNCS format following the Springer LNCS guidelines.

See additional information on the site http://meta2010.pereslavl.ru/index.htm.

The proceedings will be published at a local publishing house before the workshop.

They will be made accessible in electronic form via Internet.

Visa Support

Please, take into account, that the preparation of the visa supporting letter (including its processing in the Russian Ministry of Foreign Affair) might take 2 months and even more. Thus, we need to start the preparation as soon as possible.

Workshop Honorary Chairman

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

Program Committee

S.M. Abramov, Chair (Russian Academy of Sciences, Russia)
M.A. Bulyonkov (Russian Academy of Sciences, Russia)
R. Glück (University of Copenhagen, Denmark)
G.W. Hamilton (Dublin City University, Republic of Ireland)
V.N. Kasyanov (Russian Academy of Sciences, Russia)
A.V. Klimov (Russian Academy of Sciences, Russia)
A.P. Lisitsa (Liverpool University, Great Britain)
A.P. Nemytykh (Russian Academy of Sciences, Russia)
J. Nordlander, (Lulea University of Technology, Sweden)
S.A. Romanenko (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)

Organizing Committee

A.P. Nemytykh (Russian Academy of Sciences, Russia)
V.N. Jumaguzhina (Pereslavl City University, Russia)

Contact

Email: meta2010@u.pereslavl.ru
Web: http://meta2010.pereslavl.ru/index.htm