[pept] 4th Valentin Turchin Workshop on Metacomputation META 2014 call for papers

[Andrei Klimov]

                        CALL FOR PAPERS

                            META 2014
Fourth International Valentin Turchin Workshop on Metacomputation

                    Pereslavl-Zalessky, Russia
                       June 29 - July 3, 2014
                   http://meta2014.pereslavl.ru

               Submission deadline: April 3, 2014

The Fourth International Valentin Turchin Workshop on Metacomputation (META
2014) aims to bring together researchers working in the areas of program
analysis and program manipulation, collectively referred to as on
metacomputation: supercompilation, partial evaluation, distillation, mixed
computation, generalized partial computation, slicing, verification, as
well as cross-fertilization with other modern research and development
directions, and their applications.

The workshop is devoted to the memory of Valentin Turchin (1931-2010).

The workshop will be held in June 29 - July 3, 2014, in an ancient Russian
town Pereslavl-Zalessky, on the bank of Pleshcheevo 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),
META 2010 (http://meta2010.pereslavl.ru),
META 2012 (http://meta2012.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

  * April 3: submission deadline
  * April 25: notification of acceptance
  * May 12: camera ready paper due for pre-proceedings
  * June 28: arrival
  * June 29 - July 3: workshop
  * July 4: departure

SUBMISSION

Interested researchers are invited to submit full papers or extended
abstracts (sufficient to evaluate the quality of contribution), describing
completed research or work-in-progress, as well as tutorials, surveys,
tools, applications, demonstrations, practical experience, ideas, concepts,
position statements, open problems and discussion topics.

All submissions will be accepted as PDF file using the LNCS style via
EasyChair (http://www.easychair.org/conferences/?conf=meta2014). 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://meta2014.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, Russian Academy
of Sciences

PROGRAM COMMITTEE CHAIRS

  * Andrei Klimov, Keldysh Institute of Applied Mathematics, Russian
Academy of Sciences
  * Sergei Romanenko, Keldysh Institute of Applied Mathematics, Russian
Academy of Sciences

PROGRAM COMMITTEE MEMBERS

  * Sergei Abramov, Ailamazyan Program Systems Institute, Russian Academy
of Sciences
  * Robert Gluck, University of Copenhagen, Denmark
  * Geoff Hamilton, Dublin City University, Republic of Ireland
  * Arkady Klimov, Institute for Design Problems in Microelectronics,
Russian Academy of Sciences
  * Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics, Russian
Academy of Sciences
  * Dimitur Krustev, IGE+XAO Balkan, Bulgaria
  * Alexei Lisitsa, Liverpool University, Great Britain
  * Neil Mitchell, Standard Charted, United Kingdom
  * Antonina Nepejvoda, Ailamazyan Program Systems Institute, Russian
Academy of Sciences
  * Peter Sestoft, IT University of Copenhagen, Denmark
  * Alexander Slesarenko, Huawei Labs; Keldysh Institute of Applied
Mathematics, Russian Academy of Sciences
  * Morten Heine Sorensen, Formalit, Denmark

ORGANIZING COMMITTEE

  * Andrei Klimov, Keldysh Institute of Applied Mathematics
  * Medeja Khimshiashvili, Ailamazyan Program Systems Institute
  * Valeria Jumaguzhina, Pereslavl City University
  * Natalia Fedotova, Pereslavl City University

CONTACT

Email: meta2014 at u.pereslavl.ru
Web: http://meta2014.pereslavl.ru
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://miradin.hh.se/pipermail/pept/attachments/20140313/6e832fd7/attachment.html