hold 15 - 25 August 2000 in
- Functional programming. Languages Haskell and Refal.
- Supercompilation for Refal and Java.
|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
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,
Head of the organizers committee
Valeria N. Yumaguzhina, e-mail: firstname.lastname@example.org
Applications for reports, questions and suggestions about the program:
Andrey Chepovskiy, e-mail: email@example.com