META 2012 - Third International Valentin Turchin Workshop on Metacomputation

META 2012: Third International Valentin Turchin Workshop on Metacomputation
July 5-9, 2012, Pereslavl-Zalessky, Russia
http://meta2012.pereslavl.ru
EXTENDED submission deadline: March 26, 2012
CALL FOR PAPERS
META 2012: Third International Valentin Turchin Workshop on Metacomputation
July 5-9, 2012, Pereslavl-Zalessky, Russia
http://meta2012.pereslavl.ru
The Third International Valentin Turchin Workshop on Metacomputation (META 2012) aims to bring together researchers working in the areas of program analysis and program manipulation based on metacomputation, in particular, supercompilation, partial evaluation, distillation, mixed computation, generalized partial computation, slicing, verification, and cross-fertilization with other modern research and development directions.
The workshop is devoted to the memory of Valentin Turchin (1931-2010).
The workshop will be held in July 5-9, 2012, in an ancient Russian city Pereslavl-Zalessky, on the bank of Pleschcheevo lake, in Ailamazyan Program Systems Institute of the Russian Academy of Sciences. Pereslavl-Zalessky belongs to the Golden Ring of the historical sites of Russia.
The previous workshops in this series were META 2008 (http://meta2008.pereslavl.ru) and META 2010 (http://meta2010.pereslavl.ru).
TOPICS OF INTEREST 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 and problem statements on these topics
IMPORTANT DATES
March 26, 2012: submission deadline (EXTENDED)
April 20, 2012: notification of acceptance
May 14, 2012: camera-ready version for pre-proceedings
July 4, 2012: arrival
July 5-9, 2012: workshop
July 10, 2012: departure
SUBMISSION
Interested researchers are invited to submit research papers, case studies, tutorials, surveys, as well as work-in-progress reports and demonstration papers. All submissions will be accepted as PDF file using the LNCS style via EasyChair (http://www.easychair.org/conferences/?conf=meta201... - notice the trailing zero). Final papers are to be prepared in LaTeX in the LNCS format following the Springer LNCS guidelines (http://www.springer.de/comp/lncs/authors.html).
See additional information on the site http://meta2012.pereslavl.ru.
The proceedings will be published at a local publishing house before the workshop. They will be made accessible in electronic form via Internet.
INVITED SPEAKER
Neil D. Jones, Professor Emeritus of the University of Copenhagen, DIKU, Denmark
WORKSHOP CHAIR
Sergei Abramov, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Russia
PROGRAM COMMITTEE CHAIRS
Andrei Klimov, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
Sergei Romanenko, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
PROGRAM COMMITTEE MEMBERS
Mikhail Bulyonkov, A.P. 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
Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia
Dimitur Krustev, IGE+XAO Balkan, Bulgaria
Alexei Lisitsa, Liverpool University, Great Britain
Neil Mitchell, Standard Charted, United Kingdom
Andrei Nemytykh, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Russia
Johan Nordlander, Lulea University of Technology, Sweden
Peter Sestoft, IT University of Copenhagen, Denmark
Morten Heine Sørensen, Formalit, Denmark
Walid Taha, Computer and Electrical Engineering Halmstad University, Sweden
ORGANIZING COMMITTEE
Andrei Klimov, Keldysh Institute of Applied Mathematics
Medeja Khimshiashvili, Ailamazyan Program Systems Institute
Valeria Jumaguzhina, Pereslavl City University
CONTACT
Email: meta2012-AT-u.pereslavl.ru
Web: http://meta2012.pereslavl.ru