ISSAC'93
- To: mathgroup at yoda.physics.unc.edu
- Subject: ISSAC'93
- From: kolyada%d105.icyb.kiev.ua at relay.ussr.eu.net (Kolyada Sergei Vladimirovich)
- Date: Wed, 17 Mar 93 11:08:19 +0300 (UKR)
Dear Sir and Madam, Hereby I send to you the regular portion of information concerning ISSAC'93, i.e. the Second Announcement, the Invitation to participate in Computer Software and Hardware Exhibition and Book Fair associated with the Symposium, Announcement on Workshop "Computer Algebra Applications" associated with ISSAC'93 as well as ISSAC'93 Participant Preliminary Registration Form. I kindly ask you to share it among all interested persons available to you. Besides that Organizing Committee needs information on your intention to attend ISSAC'93. Please fill in the Preliminary Registration Form and return it to me preferably by e-mail as quickly as possible. Thank you very much in advance. I truly hope to see you in Kiev in July. Sincerely, Sergei Kolyada ISSAC'93 Conference Secretary ============================================================== ACM Glushkov Institute of Cybernetics ISSAC SECOND ANNOUNCEMENT INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION ISSAC'93 July 6-8, 1993 Kiev, Ukraine The annual International Symposium on Symbolic and Algebraic Computation organized by Glushkov Institute of Cybernetics under sponsorship of the ACM SIGSAM and in cooperation with Local Chapter Soviet ACM SIGSAM/Kiev, International Software Technology Research Center, Association "Ukraine and World" and International Institute for Problems of the Asteroid Hazard will be held at Kiev, July 6-8, 1993. CONFERENCE TOPICS: Algorithms, Languages and Systems for Symbolic and Algebraic Computation, Algebraic and Rewriting Rule-based Programming, Algebraic Methods in Automated Theorem Proving and Logic Programming, Computational Geometry, Group Theory and Number Theory, Interface/integration of Symbolic, Numeric, Graphics Computing, Parallel Computations in Computer Algebra, Application of Symbolic and Algebraic Computation in Science, Engineering and Education. PROGRAM COMMITTEE: Marc Gaetano, Gaston Gonnet (Chair), Dima Yu.Grigoryev, Susan Landau, Wolfgang Lassner, John McKay, Francois Morain, Tateaki Sasaki, Sabine Sifter, Anatol Slissenko, Robert Sutor, Felix Ulmer, John Abbott. CONFERENCE OFFICERS: Manuel Bronstein (Proceedings Editor), Vladimir P.Gerdt (Conference Co-Chair), Gaston Gonnet (Program Committee Chair), Julia V.Kapitonova (Local Arrangement Chair), Sergei V.Kolyada (Conference Secretary), Alexander A.Letichevsky (Conference Chair), Vladimir S.Mikhalevich (Organizing Committee Chair), Igor V.Velbeetsky (Exhibition Chair). July 9, 1993, the Workshop on Application of Symbolic Computation Systems will be organized. In parallel to ISSAC'93 Computer Software and Technology Exhibition and Book Fair will be organized. ISSAC'93 and Computer Software and Technology Exhibition and Book Fair will be arranged in Rus' International Conference Hall equipped with visual, audio, video, copying and communication facilities. ISSAC'93 participants and accompanying persons can be accomodated either in Rus' International Hotel or in Sport Hotel. July 9, 1993, ISSAC'93 participants will be welcomed to Glushkov Institute of Cybernetics where International one-day Workshop on the Computer Algebra Applications will be held as well as meeting with researchers belonging to this institute will be organized. The Workshop is organized by the International Institute for the Problems of Asteroid Hazard (St.Petersburg) in contact with the LOC of ISSAC'93. Participants of the Workshop will have an opportunity to discuss their presentations with specialists on Computer Algebra taking part in ISSAC'93. For further information on the Workshop please contact Dr. Nickolay Vasiliev Institute of Theoretical Astronomy of the Russian Academy of Sciences 10 Nab.Kutuzova 191187 St.Petersburg, Russia email: vasiliev at iipah.spb.su Post-conference tours to Moscow (organizer Victor M.Rudenko, e-mail: rudenko at ipm.msk.su) and St.Petersburg (organizer Andrei Gh.Sokolsky, email: sokolsky at iipah.spb.su) will be arranged for interested persons with visiting leading research institutes. Social program for the symposium participants and accompanying persons will be suggested including sightseeing, classic and folk music concerts, folk festival etc. Several conferences at Moscow and Novosibirsk will be held in closed to ISSAC'93 time periods. 1. "NUMBER THEORETIC AND ALGEBRAIC METHODS IN COMPUTER SCIENCE" (Moscow, Russia, June 29-July 2, 1993). For detailed information please contact Horst G. Zimmer, Chairman (Germany, zimmer\ at math.uni-sb.de). 2. "FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS" (Novosibirsk, Russia, June 28 - July 3, 1993). For detailed information please contact Igor Pottosin, PC Co-Chairman, ivp at isi.itfs.nsk.su). Entry Visa Information. Ukrainian Entry Visa can be available from Ukrainian Embassy/Consulary located in the country of ISSAC'93 participant residence if one have the invitation to ISSAC'93. Ukraine is new independent state so in several countries Ukrainian embassies/consularies are located temporarily in the same buildings as Russian ones. Russian Entry Visa is invalid in Ukraine. If entry visa was NOT arranged in due time then it can be taken at Borispol International Airport for 1 week (the price equals USD50). If ISSAC'93 participant arrives in Kiev from the country which belonged to the ex-USSR then he need NOT Ukrainian visa in practice in the case when one will depart Ukraine the same way. Advanced ISSAC'93 Program and appropriate information will be sent out early in May. For further information please contact: Julia Kapitonova Glushkov Institute of Cybernetics 40 Glushkov ave. Kiev 252207, Ukraine Phone: (+7)(044) 266 00 58 E-mail: kap%d100.icyb.kiev.ua at relay.ussr.eu.net Alexander Letichevsky Glushkov Institute of Cybernetics 40 Glushkov ave. Kiev 252207, Ukraine Phone: (+7)(044) 266 00 58 E-mail: let%d105.icyb.kiev.ua at relay.ussr.eu.net Vladimir Gerdt Joint Institute for Nuclear Research Laboratory of Computing Techniques and Automation P.O.Box 79, Dubna, Russia Phone: (+7)(221) 6 34 37 E-mail: gerdt at lcta3.jinr.dubna.su ============================================================== Igor V.Velbeetsky ISSAC'93 Exhibition Chair TECHNOSOFT 44 Academician Glushkov Ave. Kiev 252207 Ukraine February 15, 1993 Re: Invitation to participate in Computer Software and Hardware Exhibition and Book Fair associated with International Symposium on Symbolic and Algebraic Computation Dear Sir, International Symposium on Symbolic and Algebraic Computation (ISSAC) will be held at Kiev, Ukraine, July 6-8, 1993. Previous ISSACs were held at Rome, Portlend, Tokyo, Bonn and Berkeley respectively. This is important traditional annual event where high professionals in Mathematics and Informatics get together to present achievements and to discuss problems in Symbolic and Algebraic Computation. It is area where symbolic methods to solve mathematical problems are investigated, appropriate computer software designed and used to tackle applied problems in Science, Technology and Education. Usually 200-300 attendees from leading European, North American, Asian and Australian universities and firms come to ISSAC but it attracts much more interest worldwide. So, it is good opportunity to present advanced computer software and technology as well as new books to professional community in this field. In parallel to ISSAC'93 Computer Software and Technology Exhibition and Book Fair will be organized. It is real chance for your firm to advertise its products and to make good business. ISSAC'93 and Computer Software and Technology Exhibition and Book Fair will be arranged in Rus' International Conference Hall equipped with visual, audio, video, copying and communication facilities. Rus' International is 4-star hotel located in the centre of Kiev City. The hotel complex which includes Rus' International is member of International Congress and Conference Association (ICCA) with Headquaters in Amsterdam. The total square of the Exhibition & Fair area equals 260 sq.m (20 m x 13 m). To locate computers tables will be provided (their size is sufficient to set computer and printed materials, the rent - USD4/day).There are following facilities to show books and other printed products in the Congress Hall: - glazed shelves (10 units, size: total height - 1,85 m, useful height - 1,35 m, width - 0,9 m, depth - 0,6 m, modifiable plate layout, the rent - USD12/day); - glass-free shelves (12 units, size: total height - 2,7 m, useful heigth - 2,4 m, width - 1,2 m, depth - 0,5 m, modifiable plate layout, the rent - USD12/day). One can lease individual furnished room with phone for office (8 rooms, square - 12 sq.m, the rent - USD176/day). Representatives of the firms-participants can be accommodated at Rus' International Hotel and Sport Hotel. Rus' International Hotel is 4-star comfortable one. Today prices are as follows: - 3-room number for 2 persons - $460; - 2-room number for 2 persons - $320; - 1-room number for 1 person - $177; - 1-room number for 2 persons - $177. All prices include breakfast. This hotel is similar to Maritim Hotel in Bonn where ISSAC'91 have been held. Sport Hotel is located at 10-minutes-walking distance from Rus' International Hotel. It is usually used to accommodate participants of international sport competitions. There are one-bed and two-bed rooms and restaurant in this hotel. Prices in Sport Hotel (including breakfast): single occupacy - $120 (apartments); - $ 65 (ordinary); double occupacy - $ 80 ($40 per person). Meals (3 time a day) - + $20. ISSAC'93 Organizing Committee kindly invite you and your firm to participate in ISSAC'93 and associated Computer Software and Technology Exhibition and Book Fair. Please contact me to get more information. Sincerely yours, Igor V.Velbeetsky ============================================================== I N T E R N A T I O N A L W O R K S H O P COMPUTER ALGEBRA APPLICATIONS CAA-93 JULY 9, 1993, KIEV, UKRAINE Organized by the International Institute for the Problems of Asteroid Hazard, Institute of Theoretical Astronomy (ITA), Glushkov Institute of Cybernetics and Local Chapter Soviet ACM SIGSAM/Kiev. CONFERENCE TOPICS Applications of systems and algorithms for symbolic and analytical computations in mechanics, theoretical physics and engineering, analytical data bases, design of specialized CAS, expert and teaching systems. Presentations of the reports is mainly at the poster session, but a few oral talks by the invited speakers will be presented. The demonstration of software for the IBM PC/AT/PS2 computers and compa- tible ones will be looked forward. The proceedings will be available for the participants before beginning of the Conference at the registration. The short abstracts of contributed papers (up to 2 double spaced pages) should be sent to the Programm Committee Chair. Electronic Tex-format contributions are welcome. The deadline for submissions is APRIL 15, 1993. ORGANIZING COMMITTEE Conference Chair Andrej G.Sokolsky (St.Petersburg) Program Committee Chair Nickolay N.Vasiliev (St.Petersburg) Secretary Marina V.Grosheva (Moscow) Members Sergei N.Baranov (St.Petersburg) Victor F.Edneral (Moscow) Gheorgy B.Efimov (Moscow) Victor P.Klimenko (Kiev) Victor M.Rudenko (Moscow) For further information please contact: Nickolay Vasiliev CAA-93 Program Committee Chair Institute of Theoretical Astronomy of Russian Academy of Sciences 10 Nab. Kutuzova 191187 St.Petersburg, Russia. E-mail: INTERNET vasiliev at iipah.spb.su Telex: 121578 ITA SU Telefax: 7(812) 272-7968 Marina Grosheva CAA-93 Organizing Committee Secretary Institute of Mechanics at Moscow University 1 Pl. I.Gandy 117192 Moscow, Russia E-mail: Grosheva at inmech.msu.su Telefax: 7(095) 939-0165 Phone: 7(095) 939-5478 ============================================================== ISSAC'93 Participant Preliminary Registration Form 1. Name______________________________________________________ 2. Accompanying person(s)____________________________________ 3. Affiliation_______________________________________________ 4. Street Address____________________________________________ 5. City/State/Country/Zip code_______________________________ 6. Telephone_________________Fax_____________________________ Email_____________________Telex___________________________ 7. Please fill in your ACM or SIGSAM membership number _____________________________________________________________ 8. Accommodation information. Rus' International Hotel is 4-star comfortable one. Today prices are as follows: - 3-room number for 2 persons - $460; - 2-room number for 2 persons - $320; - 1-room number for 1 person - $177; - 1-room number for 2 persons - $177. All prices include breakfast. This hotel is similar to Maritim Hotel in Bonn where ISSAC'91 have been held. One can pay for accommodation in Rus' in cash or using credit cards. Sport Hotel is located at 10-minutes-walking distance from Rus' International Hotel. It is usually used to accommodate participants of international sport competitions. There are one-bed and two-bed rooms and restaurant in this hotel. Prices in Sport Hotel (including breakfast): single occupacy - $120 (apartments); - $ 65 (ordinary); double occupacy - $ 80 ($40 per person). Meals (3 time a day) - + $20. One can include the payment for accommodation in Sport into the check for registration fee. 9. Date of arrival in Kiev___________________________________ date of departure from Kiev_______________________________ 10. The registration fees for ISSAC'93 are as follows. To be early, your registration application must be received by Friday, June 4. early late ACM, SIGSAM member USD270/DM432 USD300/DM480 Non member USD300/DM480 USD350/DM560 Please send the check to the address Banque Saradar France, sa. 49, Avenue George v75008 Paris, France Tel: (1)47230047 Fax: (1)47239920 Telex: JOSAR 649091 F - JOSAR 649093 F Account #578 160 1800 (for US dollars) Account #578 160 1829 (for Deutsche marks) One would indicate a purpose of a payment in the check: The registration fee of FIRST-NAME LAST-NAME for participation in ISSAC'93 Please send the copy of the check at the fax in Kiev (044)266 6394 pointing attn: ISSAC'93 Organizing Committee. ==============================================================