Dear Colleagues, There is an opportunity to organize a session on FORMAL STRUCTURES IN COMPUTER SCIENCE in the framework of SCI2001 in Orlando, Florida (July 22-25-2001) (see www/iiis/org/sci for more information) . If you are interested please send me in the next couple of days the title an a short abstract of your possible contribution. Sincerely Yours Y.Velinov