with brief information about the visit

of the talks with Prof. Bjorner

on the visit o Prof. Bjorner to SB AS Coputing Center

with proposed two-day shedule of Bjorner's scientific visit

Thanks for the letter and materials

Materials of Prof. Borner's seminars at the Technical University of Denmark

of Prof. Bjorner's visit

on one technical and two administrative issues