PROGRAM SYSTEM INSTITUT OF RUSSIAN ACADEMY OF SCIENCE |
APPLIED MATHEMATICS INSTITUT named M.V.KELDYSH OF RUSSIAN ACADEMY OF SCIENCE |
MECHANICS AND MATHEMATICS DEPARTMENT OF MOSCOW STATE UNIVERSITY OF PERESLAVL |
hold 15 - 25 August 2000 in Pereslavl-Zalessky (Russia)
SCIENTIFIC SCHOOL-SEMINAR
METACOMPUTANIONS
&
FUNCTIONAL PROGRAMMING
Scientific Head of the School Professor of Computer Science |
Sergey M.ABRAMOV |
- the director of the Research Center for Multiprocessor Systems |
and the head of the Laboratory of program systems for parallel architectures |
in the RCMS |
Contents:
- Functional programming. Languages Haskell and Refal.
- Metacomputations.
- Supercompilation for Refal and Java.
- Seminars:
Cybernetics and a metasystem lifting theory; Modern technologies of the Internet programming; Algorithms of the computer algebra; ACM's programming problems.
Lectures and practices will help school participants to learn modern functional languages and metacomputations - the technology of programs' analysis and optimization. |
Programmers and students of the mathematical and computer science departments, who wish to know advanced technology of the programming are invited.
The acceptance of the reports on metacomputations and functional programming |
is going on . |
The staff of the school includes:
S.M.Abramov (PSI RAS), A.V.Klimov (AMI RAS), A.P.Nemytykh (PSI RAS), E.V.Pankratjev (MSU), V.A.Roganov (MSU), E.P.Lilitko (Strategy, LLC)
Information and registration in the school: http://www.refal.net
Questions about conditions of participarion and travel, visa support:
Head of the organizers committee
Valeria N. Yumaguzhina, e-mail: lera@diffiety.botik.ru
Applications for reports, questions and suggestions about the program:
Andrey Chepovskiy, e-mail: bfchep@usa.net