Home

PROGRAM SYSTEM INSTITUT OF RUSSIAN ACADEMY OF SCIENCE

(http://www.botik/ru/PSI/)

APPLIED MATHEMATICS INSTITUT named M.V.KELDYSH OF RUSSIAN ACADEMY OF SCIENCE

(http://www.keldysh.ru/)

 

MECHANICS AND MATHEMATICS DEPARTMENT OF MOSCOW STATE UNIVERSITY OF PERESLAVL

(http://up.botik.ru)

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

(http://www.botik.ru/~abram/)

- the director of the Research Center for Multiprocessor Systems

(http://www.botik.ru/PSI/RCMS)

and the head of the Laboratory of program systems for parallel architectures

in the RCMS

 

Contents:

    1. Functional programming. Languages Haskell and Refal.
    2. Metacomputations.
    3. Supercompilation for Refal and Java.
    4. 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

 

     

News

Author

History

Documentation

Applications 

Forums

REFAL-sites