|
|
 |
The Fourth International Valentin Turchin Workshop
on Metacomputation (META 2014) 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 Russian Academy of Sciences.
This
workshop belongs to a series of biannual workshops devoted to the memory of
Valentin Turchin
(1931-2010) and 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.
The proceedings will be published at a local publishing
house before the workshop. They will be made accessible in electronic
form via Internet.
The previous workshops in this series were
META 2008,
META 2010,
and META 2012.
Notice that in June 24-27, 2014,
Ershov Informatics Conference
"Perspectives of system informatics" (PSI 2014) will be held, which
is the only high-ranked international conference on our subject in Russia.
(Notice that the dates of META 2014 are chosen so as to allow the participants
of META to attend PSI as well, departing from PSI and arriving to META
in the same day.)
Possible topics 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, 2014 (Thursday) - submission: please
submit at least authors, title and abstract to
EasyChair
- April 5, 2014 (Saturday) - please submit a draft
to allow the PC members to select papers for review (you can change
the file several times)
- April 10, 2014 (Thursday) - proper submission
due for reviewing
- April 25, 2014 (Friday) - notification of acceptance
- May 12, 2014 (Monday) - camera
ready paper due for pre-proceedings
- June 28 (Saturday) - arrival
- June 29 - July 3 (Sunday - Thursday) - workshop
- July 4 (Friday) - departure
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
- Ilya Klyuchnikov, JetBrains; 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; Keldysh Institute of Applied
Mathematics of Russian Academy of Sciences, Russia
- Morten Heine Sørensen, Formalit, Denmark
|
