 |
|
N E W
S  Н О В О С Т И N E W S |
|
Новости на сайте |
|
| 11.04.2016 | ||
|
5th Valentin Turchin Workshop on Metacomputation META 2016 |
||
==============================**==============================**== CALL FOR PAPERS | ||
| 05.04.2014 | ||
|
4th Valentin Turchin Workshop on Metacomputation META 2014 |
||
==============================**==============================**== CALL FOR PAPERS | ||
| 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 |
||
| ------------------ Исходное сообщение
-------------------
|
||
| 10.06.2009 | ||
Какой язык лучше суперкомпилировать: "строгий" или "ленивый"? |
||
http://groups.google.ru/group/metacomputation-ru/msg/8f9af7dd21380057 |
||
| Уважаемые коллеги! С целью популяризации идей суперкомпиляции
среди "простого народа", а также http://metacomputation-ru.blogspot.com/
Список соавторов блога находится в конце
заглавной страницы. Желающие пописать в этом блоге в качестве
соавторов приглашаются к Также можно записаться в число "(по)читателей"
блога. Для этого надо найти и В случае длинных постов, как оказалось, их можно
готовить через Google Здесь существенно то, что в основе Гугл-документов
лежит html, поэтому Чтобы на заглавной странице блога появлялись
не полные тексты сообщений, а <p>Начало сообщения, которое появится в
кратком списке сообщений.</p><span Если кто считает, что в блоге что-то написано
неправильно - приглашаем Замечания можно писать в виде комментариев к
постам. Но ещё лучше - писать Сергей (Сообщение Сергея Романенко от 3
мая 2009 года) |
||
| 24.08.2005 | ||
Refal+ on IcfpContest2005 |
||
| Система Refal+ использовалась в
соревновании по программированию, проводившемся
при международной конференции по
функциональному программированию: IcfpContest2005
(на английском). |
||
| 29.05.2005 | ||||||||||||
Refal-2 for Windows and UNIX |
||||||||||||
|
||||||||||||
| Уважаемые коллеги! Предлагается адаптированная к современным платформам Windows-(95/98/ME/NT/2000/XP) и UNIX (FreeBSD, Linux) реализация языка Рефал-2. Работа выполнена по открытой лицензии и свободно доступна для любых применений, включая коммерческое использование. Подробности на рефал-сайте http://www.refal.net/~belous/refal2-r.htm Буду
благодарен за отзывы, советы, замечания. |
||||||||||||
| 08.04.2004 | ||||||||||||
Разработка проекта Refal+ |
||||||||||||
| Команда разработчиков проекта SKIF (http://skif.pereslavl.ru/skif ) перешла на современную технологию работы с применением TWiki. Проекту модернизации системы Refal+ уделяется самое серьезное внимание. Проект открыт для совместного сотрудничества. Сайт разработки http://revenge.botik.ru/cgi-bin/twiki/view/Refaldevel/WebHome С уважением,
|
||||||||||||
| 21.04.2003 | ||||||||||||
REFAL-JAVA |
||||||||||||
|
||||||||||||
| Привет всем! Рады сообщить, что воссоединение Рефала и Java, о котором уже давно говорили "старые рефальщики" (начиная с декабря 1999) свершилось! Реализация выполнена путем прямой компиляции Рефала в Java. Компилятор написан на Рефале на основе компилятора Рефала-6 и полностью совместим с ним по входному языку. Синтаксис расширен. Поддержка выполнения и библиотека встроенных функций написана на 100% Java. По скорости, измеренной на примере Select, Refal-J в 4 раза обгоняет Рефал-6, именно столько показал эксперимент с ручной трансляцией в Java в декабре 1999. На компиляции своего компилятора (написанного целиком на Рефале) скорость примерно совпадает со скоростью Рефала-6. По-видимому, на входной и выходной обработке строк Рефал-J относительно далек от оптимума. Формально реализация полностью независима от реализации Рефала-6, но для раскрутки Рефал-6 требуется. В поставку вложен и уже раскрученный компилятор в виде jar-файла. Вся информация (включая доступ ко всем исходникам) находится на странице http://www.refal.org/~arklimov/refal6/refal-j.htm Для установки и работы Вам необходимо (и достаточно) иметь установленный JDK 1.2 и выше (хорошо 1.4.1). Работа по данной реализации была начата в декабре 2002 и в основном была завершена еще в марте, но только сейчас система стала готова к первому бета-релизу. Теперь мы переходим к использовании новой системы на практике, к чему присоединяться Вас настойчиво приглашаем. С вопросам, замечаниями, предложениями, обращайтесь либо в данную группу либо сюда: arkady.klimov@supercompilers.com. При использовании Refal-J как правило надо будет часть приложения писать на Java, часть на Рефале, вставляя в классы на Java методы, необходимые для взаимодействия с Рефалом. Для различных прикладных областей нужны будут свои наборы "переходников". Важно вырабатывать общие модели видения из рефала разных API. Надо также вырабатывать новые подходы к формированию библиотеки встроенных функций ("машинных операций") на основе наличия тесного интерфейса с языком широкого назначения. В настоящее время нас особенно интересует взаимодействие с JDBC. Нам будет интересно и важно мнение всех, кто имеет опыт в данной области. Будем рады сотрудничеству в этой части. Успехов! Андрей и Аркадий Климовы |
||||||||||||
| 08.12.2002 | ||||||||||||
Система Refal-PHP |
||||||||||||
|
||||||||||||
| Уважаемые коллеги! Приглашаю вас на свой сайт, посвященный интеграции Рефала с популярной системой PHP. http://www.refal.net/~belous/index-r.htm (зеркало http://www.refal.org/~belous/index-r.htm ) Буду благодарен за отзывы и замечания. С уважением, --Леонид Белоус |
||||||||||||
| 11.02.2002 | ||||||||||||
Семинар по метавычислениям |
||||||||||||
|
||||||||||||
| Добрый день! Во вторник 12 февраля состоится очередное заседание семинара по метавычислениям на мехмате МГУ, 17:00, ауд. 1305 Главного здания.
Андрей Климов. |
||||||||||||
| 25.12.2001 | ||||||||||||
Семинар по метавычислениям |
||||||||||||
|
||||||||||||
| Добрый день! Следующее заседание семинара по метавычислениями на мехмате МГУ -- вторник 25 декабря, 17:00, ауд. 1305 Главного здания. 1. В первой части Юрий Климов и Антон Орлов завершат доклад о сделанных ими расширениях модельного суперкомпилятора (на Хаскеле) более сложными операциями, включающими распространение ограничений x=/=y и т.п. Осталось обсудить операцию обобщения. 2. Во второй части я начну новую тему: Спецификация суперкомпиляторов. Речь идет об описании отношения между входом и выходом суперкомпилятора без фиксации алгоритмов конфигурационного анализа. Отношение задается исчислением на языке Natural Semantics [1], популярным в современной computer science формализмом описания "операционной семантики" (по Г.Плоткину [2]). Первая лекция начнется с введения в денотационную и операционную семантики на примере модельного языка, близкого к знакомому вам *SG. Будет дана спецификация его интерпретатора. (По-видимому, на этом первая лекция закончиться.) Потом (в январе) спецификация будет пошагово "надстроена" семантикой драйвинга и полного суперкомпилятора этого языка в разных вариантах: плоских--неплоский, ленивый--неленивый, и т.п. На слайдах будет представлен материал работы [3], устно доложенной 6 лет назад на семинаре в Германии, но еще не опубликованной.
Андрей Климов. |
||||||||||||
| 21.11.2001 | ||||||||||||
Семинар по суперкомпиляции Явы |
||||||||||||
|
||||||||||||
| Добрый день! Посылаю это письмо по списку рассылки приглашений на семинары по суперкомпиляции Явы в ИПМе с информацией о текущей "семинарской активности". С августа мы не заседали в ИПМе, потому что начал работать спец-семинар по теме "Метавычисления" на мехмате МГУ в рамках дополнительного образования (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. И еще информация:
Всего наилучшего, Андрей. |
||||||||||||
| РАНЕЕ... > |