Home   
N E W S  Н О В О С Т И N E W S

   Site News 

     

16.05.2012
     
 

4th Workshop on Reversible Computation (RC 2012)

  
 

==============================**==============================**==

Call for Participation

4th Workshop on Reversible Computation (RC 2012)

Copenhagen, Denmark, July 2nd-3rd, 2012
http://www.reversible-computation.org

==============================**==============================**==

Reversible computation has a growing number of promising application areas
such as low power design, coding/decoding, program debugging, testing,
database recovery, discrete event simulation, reversible algorithms,
reversible specification formalisms, reversible programming languages,
process
algebras, and the modeling of biochemical systems. Furthermore, reversible
logic provides a basis for quantum computation with its applications, for
example, in cryptography and in the development of highly efficient
algorithms. First reversible circuits and quantum circuits have been
implemented recently and are seen as promising alternatives to conventional
CMOS technology.

The workshop will bring together researchers from computer science,
mathematics, and electrical engineering to discuss new developments and
directions for future research in Reversible Computation. This also includes
applications of reversibility in quantum computation. The 4th Workshop on
Reversible Computation will take place on July 2nd and 3rd, 2012 in
Copenhagen, Denmark and is organized by the University of Copenhagen.
Previous
editions of the Workshop on Reversible Computation took place in York (UK),
Bremen (Germany), and Gent (Belgium).

===== Technical Program =====
This year, we received a record number of 46 submissions out of which 15
full
papers, 7 work-in-progress papers, and 1 tutorial paper have been accepted:
http://www.reversible-computation.org/2012/cms/index.php?program

The program features an invited talk by Eric Lutz, Freie Universität Berlin,
on "The Physics of Information: from Maxwell's Demon to Landauer".

===== Registration =====
Interested researchers are invited to participate at the workshop. DKK
1500,-
(approx. 200 EUR). This includes food and refreshments (i.e. lunch for
Monday
and Tuesday, dinner for Monday, coffee breaks, etc.), one ticket for the
social event, as well as (informal) proceedings.

Registration website:
http://www.reversible-computation.org/2012/cms/index.php?registration

===== Program Chairs =====
Robert Glück, University of Copenhagen, Denmark
Tetsuo Yokoyama, Nanzan University, Japan

===== Program Committee =====
* Stéphane Burignat (Gent University, Belgium)
* Vincent Danos (Université Paris Diderot, France)
* Gerhard W. Dueck (University of New Brunswick, Canada)
* Nate Foster (Cornell University, USA)
* Luca Gammaitoni (University of Perugia, Italy)
* Simon Gay (University of Glasgow, United Kingdom)
* Markus Grassl (Centre Quantum Tech, Singapore)
* Jarkko J. Kari (University of Turku, Finland)
* Martin Kutrib (University of Giessen, Germany)
* Per Larsson-Edefors (Chalmers University of Technology, Sweden)
* Kazutaka Matsuda (University of Tokyo, Japan)
* D. Michael Miller (University of Victoria, Canada)
* Shin-ichi Minato (Hokkaido University, Japan)
* Kenichi Morita (Hiroshima University, Japan)
* Ilia Polian (University of Passau, Germany)
* Michel Schellekens (University College Cork, Ireland)
* Irek Ulidowski (University of Leicester, United Kingdom)
* Janis Voigtländer (University of Bonn, Germany)
* Robert Wille (University of Bremen, Germany)
* Paolo Zuliani (Carnegie Mellon University, USA)

===== Workshop Organizer =====
Holger Bock Axelsen
University of Copenhagen
Department of Computer Science
Universitetsparken 1
2100 Copenhagen, Denmark

info@reversible-computation.org
http://www.reversible-computation.org		  
     
     
     
17.03.2012
 

META-2012

  
     
     
From: "Andrei Klimov" <andrei@klimov.net>
To: "refal" <refal@botik.ru>
Send:  Sat, 17 March, 2012, 17:36
Subject: Extended deadline CfP to META 2012 - 3rd Int'l Valentin Turchin
Workshop on Metacomputation
 
 

  

 
 

META 2012
*Third International Valentin Turchin Workshop on Metacomputation*

*EXTENDED submission deadline: March 26, 2012*

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<http://pcp.lanl.gov/TURCHIN.html>(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 <http://skif.pereslavl.ru/psi-info/index.en.html> of the
Russian Academy of Sciences.
Pereslavl-Zalessky<http://www.botik.ru:8101/PZ/PZ.html>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 (extended)*
   - 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
[.....]

Email: meta2012@u.pereslavl.ru
Web: http://meta2012.pereslavl.ru

 

  
11.06.2003
     
 

Refal-SciTE

  
      
From: "Leonid Belous" <belous@ilt.kharkov.ua>
To: "refal" <refal@botik.ru>
Send:  Wed, 11 June, 2003 19:58
Subject: SciTE as graphic user interface for Refal
   

Dear collegues!

Allow me to present you a graphical interface for Refal language, namely for its canonical
Refal-5 version for Windows platform (95/98/ME/NT/2000/XP).
There are some more details in my site
http://www.refal.net/~belous/ (mirror http://www.refal.org/~belous/ ) .

Refal implementations had appeared in the time of  DOS and command line mode. Unforutnately, up to present moment Refal systems installation and interface remained at former archaic level.

But luckily for us, today we must not make a fresh start and invent the bike for solving this nontrivial problem. I hope that my developed solution will make possible to propose and demonstrate advantages of Refal for users of any qualification.

As regards to resourse requirements, the fact is worthy of respect that Refal-SciTE distributive occupies less than a half of floppy disk. But the other fact that all this staff can be installed in clean floppy disk and works successfully (checked up on!) was a good surprise for me.

I'll be appreciate you for any comments and suggestions.

With best regards
-- Leonid Belous

 

  
08.12.2002
     
 

Refal-PHP System

  
      
From: Leonid Belous
To: refal@botik.ru
Date :  08 December 2002. 21:14
Тема: Refal-PHP is ready
     
Dear collegues!

Let me invite you to visit my site, devoted to integration of Refal System with popular PHP System.
http://www.refal.net/~belous/index.htm

I would be appreciative for your references and remarks.

Yours sencerely,
--Leonid Belous
11.02.2002
     
 

Seminar on Metacomputation

 
      
From: Andrei Klimov
To: Seminar participants
Date :  11 февраля 2002 г. 21:36
Topic: Seminar on metacompuation, mechmat MSU, 12 Feb, 17:00
     
 

Hello!

On Tuesday, February 12, 17:00, in 1305 lecture-hall of main building, Mechanics and Mathematics Department of MSU, the next meeting of Seminar on Metacomputation will take place. 

  1. Arkady Klimov, Methods of cycles construction with examples from cupercompilation of J.Clark XSLT, XT language interpreter.

    There will be represented both present rules of cycling in Java Supercompiler, JScp,  (including just recently implemented ones), and ideas, which arised in process of "hot" experiments on XSLT interpreter. We call the "fresh brains" to oppose us and to generate new ideas!

    Report scheme:

    1. Cycling methods
      UnfoldLoopEmpty -ul1,-ule
      UnfoldLoopLinear -ul2,-ull
      UnfoldLoopNoBreak -ul3,-ulnb
      UnfoldLoopNoRegularBreak -ul4,-ulnrb
      UnfoldLoopNoInclusion -ul5,-ulni
    2. The case of insufficiently aggressive -ulnrb
    3. The case of too aggressive -ulnrb
    4. Окрестностный analysis
    5. ОА using for to increase (decrease) aggression -ulni
    6. Improving of ОА: method of holding окрестности
    7. Example from XT (++position)
    8. Example of stack with array and filling up pointer
    9. Supercompilation and Intentional Programming
       
  2. Sergey Fattakhov and Andrey Klimov, The attempt of specialization of visualization program, ray tracer-а, on given scene.

    Last week we managed to specialize graphic render on scene. The program of  "independent author" have been taken from Internet: see 5th example (Raytracer) at page
    http://www.smiley-face.freeserve.co.uk/programming/
    But only twofold acceleration have been obtained for the present.

    On given example we shall discuss:

    • what means "to specialize successfully"?
    • what problems arise and how they have to be overcome while "pushing" of programs "through" JScp, for to get a reasonable specialization?
    • what result is expected and why it isn't achieved still?
    • what else have to be done in this example and in compiler improving?

Andrey Klimov.
 
 
25.12.2001
     
 

Seminar on Metacomputation

 
      
От: Andrei Klimov <Andrei.Klimov@supercompilers.com>
Кому: Seminar participants
Отправлено :  24 декабря 2001 г. 19:55
Тема: Seminar on metacompuation, mechmat MSU, 25 Dec, 17:00
     
   

Добрый день!

Следующее заседание семинара по метавычислениями на мехмате МГУ  -- вторник 25 декабря, 17:00, ауд. 1305 Главного здания.

1. В первой части Юрий Климов и Антон Орлов завершат доклад о сделанных ими расширениях модельного суперкомпилятора (на Хаскеле) более сложными операциями, включающими распространение ограничений x=/=y и т.п. Осталось обсудить операцию обобщения.

2. Во второй части я начну новую тему:

Спецификация суперкомпиляторов.

Речь идет об описании отношения между входом и выходом суперкомпилятора без фиксации алгоритмов конфигурационного анализа. Отношение задается исчислением на языке Natural Semantics [1], популярным в современной computer science формализмом описания "операционной семантики" (по Г.Плоткину [2]).

Первая лекция начнется с введения в денотационную и операционную семантики на примере модельного языка, близкого к знакомому вам *SG. Будет дана спецификация его интерпретатора. (По-видимому, на этом первая лекция закончиться.) Потом (в январе) спецификация будет пошагово "надстроена" семантикой драйвинга и полного суперкомпилятора этого языка в разных вариантах: плоских--неплоский, ленивый--неленивый, и т.п.

На слайдах будет представлен материал работы [3], устно доложенной 6 лет назад на семинаре в Германии, но еще не опубликованной.

  1. Gilles Kahn, "Natural Semantics", Proceedings of the Symposium on Theoretical Aspects of Computer Science (STACS), Springer-Verlag, 1987, Lecture Notes in Computer Science, 247, pp. 22--39.
  2. www.dcs.ed.ac.uk/home/gdp/
  3. Andrei V. Klimov, "A specification of a class of supercompilers", in Draft Proceedings of the Dagstuhl Seminar on Partial Evaluation, WSI-96-6, p.232, Universitat Tubingen, Germany, 1996.

Андрей Климов.

  
     
21.11.2001
     
 

Seminar on Java Supercompilation

  
      
От: Andrei Klimov <Andrei.Klimov@supercompilers.com>
Кому: Seminar participants
Отправлено :  20 ноября 2001 г. 23:34
Тема: JScp: Seminar on Wednesday 21 November 18:00 in MSU, mechmath, apt. 1305
     
   

Добрый день!

Посылаю это письмо по списку рассылки приглашений на семинары по суперкомпиляции Явы в ИПМе с информацией о текущей "семинарской активности".

С августа мы не заседали в ИПМе, потому что начал работать спец-семинар по теме "Метавычисления" на мехмате МГУ в рамках дополнительного образования (http://mathinform.math.msu.su/), участниками которого оказались многие из посетителей ИПМ-а.

Целью семинара является работа студентов по темам:

  • Теория метавычислений (рук. С.Абрамов)
  • Суперкомпиляция Явы (рук. Анд.Климов)

Хотя семинар формально закрытый (привязан к платным курсам), но "для своих" и для особо желающих -- открыт. Больше будет участников -- интенсивнее и плодотворнее будут обсуждения. Будем рады Вас сидеть!

Обычно семинары начинаются в 17 часов. Первые полтора часа ведет С.Абрамов, вторые полтора часа -- я. Однако, 21 и 28 ноября из-за отсутствия С.Абрамова, все время будет отведено суперкомпиляции Явы, а семинар начнется позже обычного -- в 18:00. Место проведения -- ауд. 1305 в Главном здании.

На предыдущих семинар в моей части мы обсудили примеры, которые "проходили" летом в ИПМе. На этот и следующий разы займемся подробным разбором структур данных и алгоритмов, реализованных в JScp.

За прошедшее время JScp приобрел более законченные формы. Заработала вся "технологическая цепочка": на входе .java файлы -- на выходе .java файлы. Такая версия появилась 7 ноября. Посему, отныне мы празднуем этот красный день календаря как день рождения суперкомпилятора. :-)

Для первичного накопления опыта использования JScp мы завели рабочий русскоязычный (с английским акцентом:-) сайт www.supercompilers.ru. А уже "вторичная переработка" будет делаться на английском сайте www.supercompilers.com. Сейчас на www.supercompilers.ru еще ничего нет кроме головной страницы и бинариков текущей экспериментальной (альфа) версии JScp. Но будет!

Буду держать вас в курсе семинаров по JScp. Будем заседать и в ИПМе. А пока приглашаем заходить "на огонек" на мехмат по средам в 17-18 часов в ауд. 1305.

И еще информация:

Объявлен новый (второй) набор на дополнительное образование на мехмате по теоретической информатике (включающей метавычисления), http://mathinform.math.msu.su/. Следующий поток начнет учиться со второго семестра. Плата за образование заметно уменьшена. Передавайте эту информацию друзьям и знакомым, присылайте молодежь.

 

С вопросами обращайтесь к Андрею Чеповскому (Andrei.Chepovsky@supercompilers.com).

Всего наилучшего,

Андрей.

  
     
  FORMELY... >

 

Новости

Автор

История

Документация

Приложения 

Форумы

Рефал-сайты