Computer Algebra Seminar on January 26

Subject: Computer Algebra Seminar on January 26
From: Andrei Klimov (klimov@keldysh.ru)
Date: Wed Jan 19 2005 - 14:18:01 MSK

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Leonid Belous: "Re: Re[2]: RAFAL & JAVA"
• Previous message: Leonid Belous: "Re: Tezisy`.dokladov.simpoziuma.po.obrabotke.simvol`noj.informacii.(Tbilisi,.1970)(ru).djvu"

Дoбрый день!

Форвадирую объявление о семинаре по компьютерной алгебре в МГУ,
посвященном спецификациям суперкомпиляторов.
Аннотация на русском и английском прилагается.
Сайт семинара http://theory.sinp.msu.ru/CA/

Всего наилучшего,
Андрей.

----- Original Message -----
From: Victor Edneral
To: [...]
Sent: 19 Jan 2005 13:42
Subject: Computer Algebra Seminar on January 26

Dear Colleagues,
The next meeting of Computer Algebra seminar will take place on
Wednesday, January 26, at 16:20 (room 678, building VMK, Moscow State
University).

AGENDA:

"Formal specifications of supercompilers by Natural Semantics"
Andrei Klimov(Keldysh Institute for Applied Mathematics, Russian
Academy of Sciences )

"Формальные спецификации суперкомпиляторов для простого
модельного языка методом Натуральной семантики"
Андрей В. Климов, ИПМ им. М.В.Келдыша РАН

Best wishes,
Victor

• text/html attachment: klimov-260105-en.htm

• text/html attachment: klimov-260105.htm

• Next message: Leonid Belous: "Re: Re[2]: RAFAL & JAVA"
• Previous message: Leonid Belous: "Re: Tezisy`.dokladov.simpoziuma.po.obrabotke.simvol`noj.informacii.(Tbilisi,.1970)(ru).djvu"

This archive was generated by hypermail 2b25 : Wed Jan 19 2005 - 14:20:20 MSK