Поиск публикаций . Научные конференции и семинары . Новости науки . Научная сеть

    Научные конференции

 
Пример: Modern Telecommunications
RSS Канал


Объявления


The Third International Valentin Turchin Workshop on Metacomputation (META 2012)





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



Working language of the workshop is English.



IMPORTANT DATES



* March 19, 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 in English. 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 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

* Alexei Lisitsa, Liverpool University, Great Britain

* Dimitur Krustev, IGE+XAO Balkan, Bulgaria

* Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences, Russia

* Andrei Nemytykh, Ailamazyan Program Systems Institute of the Russian Academy of Sciences, Russia

* Johan Nordlander, Lulea University of Technology, Sweden

* Neil Mitchell, Standard Charted, United Kingdom

* 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

Даты проведения: с 29.02.2012 по 29.02.2012
Регистрация: c 29.02.2012 по 05.02.2012
Место проведения: Переславль-Залесский Ярославский области

Сайт конференции: http://meta2012.pereslavl.ru
Программа конференции: http://meta2012.pereslavl.ru/program/program.html

Контактная информация

Адрес: 152020, Переславль-Залесский, Институт программных систем им.А.К.Айламазяна РАН
Email: meta2012@u.pereslavl.ru
Тел: +7 48535 98064
Факс: +7 48535 98064




Добавить публикацию - О проекте - Блог - Плагин для поиска - Поиск на своем сайте - Сообщить о проблеме - Размещение рекламы - Наши партнеры Рейтинг@Mail.ru Rambler's Top100