META 2012 - Third International Valentin Turchin Workshop on Metacomputation

Website | Edit Freely

Category META 2012

Deadline: March 30, 2012 | Date: July 05, 2012-July 09, 2012

Venue/Country: Pereslavl-Zalessky, Russia

Updated: 2012-03-20 17:30:07 (GMT+9)

Call For Papers - CFP

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=meta20120 - 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: meta2012u.pereslavl.ru

Web: http://meta2012.pereslavl.ru