|
|
 |
Call For Papers
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 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,
META 2010,
META 2012,
and
META 2014.
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 15 (Friday) - paper submission
due - non-strict: submission is not
closed but the review may be ready
later than the notification date
- April 29 (Friday) - notification of acceptance
- May 20 (Monday) - camera ready paper due for pre-proceedings
- strict deadline
- 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.
See additional information on the site
http://meta2016.pereslavl.ru.
The proceedings will be published by 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 Russian
Academy of Sciences, Russia
Program Committee Chairs
- Andrei Klimov, Keldysh Institute of Applied Mathematics of Russian
Academy of Sciences, Russia
- Sergei Romanenko, Keldysh Institute of Applied Mathematics of
Russian Academy of Sciences, Russia
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 Glück, 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, United Kingdom
- 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
- Morten Heine Sørensen, Formalit, Denmark
Organizing Committee
- Andrei Klimov, Keldysh Institute of Applied Mathematics
- Medeja Khimshiashvili, Ailamazyan Program Systems Institute
- Natalia Fedotova, Pereslavl City University
Contact
|
