[pept] 5th Valentin Turchin Workshop on Metacomputation META 2016 call for papers

Andrei Klimov klimov at keldysh.ru
Fri Mar 18 19:08:04 CET 2016


                       CALL FOR PAPERS

                           META 2016
Fifth International Valentin Turchin Workshop on Metacomputation

                   Pereslavl-Zalessky, Russia
                     June 27 - July 1, 2016
                  http://meta2016.pereslavl.ru

              Submission deadline: April 11, 2016

The Fifth International Valentin Turchin Workshop on Metacomputation
(META 2016) aims to bring together researchers working in the areas of
program analysis and program manipulation, collectively referred to as
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.

This series of workshops is devoted to the memory of Valentin Turchin
(1931-2010).

The workshop will be held in June 27 - July 1, 2016, 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),
META 2014 (http://meta2014.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, comparison of
methods, and problem statements on these topics

IMPORTANT DATES

  * April 11 (Monday) - submission due
  * April 29 (Friday) - notification of acceptance
  * May 20 (Monday) - camera ready paper due for pre-proceedings
  * June 26 (Sunday) - arrival
  * June 27 - July 1 (Monday - Friday) - workshop
  * July 2 (Saturday) - 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 surveys,
tutorials, tools, applications, demonstrations, practical experience,
ideas, concepts, position statements, open problems and discussion
topics.

After several decades of research, metacomputation topics are very
diverse, and we especially welcome surveys and tutorials for
cross-fertilization and discussions of current state of art and future
perspectives.

All submissions will be accepted as PDF file using the LNCS style via
EasyChair (http://www.easychair.org/conferences/?conf=meta2016). 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://meta2016.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 of Russian
Academy of Sciences, Russia
  * Mikhail Bulyonkov, A.P. Ershov Institute of Informatics Systems of
Siberian Branch of Russian Academy of Sciences, Russia
  * Robert Glueck, University of Copenhagen, Denmark
  * Geoff Hamilton, Dublin City University, Republic of Ireland
  * Arkady Klimov, Institute for Design Problems in Microelectronics
of Russian Academy of Sciences, Russia
  * Yuri Klimov, Keldysh Institute of Applied Mathematics of Russian
Academy of Sciences, Russia
  * Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics of
Russian Academy of Sciences, Russia
  * Dimitur Krustev, IGE+XAO Balkan, Bulgaria
  * Alexei Lisitsa, Liverpool University, Great Britain
  * Neil Mitchell, Standard Charted, United Kingdom
  * Antonina Nepeivoda, Ailamazyan Program Systems Institute of
Russian Academy of Sciences, Russia
  * Peter Sestoft, IT University of Copenhagen, Denmark
  * Alexander Slesarenko, Huawei Labs, Moscow, Russia

ORGANIZING COMMITTEE

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

CONTACT

  * Email: meta2016 at u.pereslavl.ru
  * Web: http://meta2016.pereslavl.ru


More information about the pept mailing list