CALL FOR PAPERS
EXTENDED submission deadline: March 26, 2012
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
* 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: [email protected]
Web: http://meta2012.pereslavl.ru
Андрей, привет.
Ты мне пропуск в ИПМ будешь делать, или проблемы?
Ты скажи, если трудности, то мы попытаемся сделать от Кванта через Смольянова.
Еще - не мог бы ты подсказать, кто из зам.директоров ИПМ сейчас отвечает за высокопроизводительные вычисления?
Л.Эйсымонт
17.03.2012, 17:38, "[email protected]" <[email protected]>:
