(no subject)

ИНСТИТУТ ПРОГРАММНЫХ СИСТЕМ РАН

ИНСТИТУТ ПРИКЛАДНОЙ МАТЕМАТИКИ им. М.В.КЕЛДЫША РАН

МЕХАНИКО–МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ МГУ им. М.В.ЛОМОНОСОВА

УНИВЕРСИТЕТ г. ПЕРЕСЛАВЛЯ

Переславль‑Залесский                                                           15 — 25 августа 2000 г

СТУДЕНЧЕСКАЯ НАУЧНАЯ ШКОЛА—СЕМИНАР

МЕТАВЫЧИСЛЕНИЯ

И

ФУНКЦИОНАЛЬНОЕ  ПРОГРАММИРОВАНИЕ

Научный руководитель школы д.ф.‑м.н. С.М.АБРАМОВ

В программе

1.   Функциональное программирование. Языки Haskell и Рефал.

2.   Метавычисления.

3.   Суперкомпиляция с языков Рефал и Java.

4.   Тематические семинары:

Кибернетика и теория метасистемных переходов;

Современные технологии программирования для Интернет;

Алгоритмы компьютерной алгебры;

Задачи олимпиад по программированию ACM.

5.   Студенческие научные доклады.

Лекции и практические занятия помогут освоить участникам школы современные функциональные языки и метавычисления —  технологию преобразования и оптимизации программ.

Приглашаются студенты математических и компьютерных специальностей, желающие познакомиться с передовыми технологиями системного программирования нового века.

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

В работе школы принимают участие:

С.М.Абрамов (ИПС РАН), А.В.Климов (ИПМ РАН), А.П.Немытых (ИПС РАН), Е.В.Панкратьев (МГУ), В.А.Роганов (МГУ), Е.П.Лилитко (фирма "Стратегия")

Информация и регистрация желающих участвовать в школе: www.refal.net

Вопросы  об  условиях  участия  и  проезда, визовая поддержка:

Председатель оргкомитета Юмагужина Валерия Николаевна, e-mail: lera@diffiety.botik.ru

Заявки на доклады, вопросы и пожелания по программе:

 Чеповский Андрей Михайлович, e-mail: bfchep@usa.net