isaac@goanna.oz.au (Isaac Balbin) (05/16/88)
----------------------------------------------------------------------------- Call for Papers _____________________________________________________________________________ International Computer Science Conference '88 Hong Kong, December 19-21, 1988 Artificial Intelligence: Theory and Applications _____________________________________________________________________________ Sponsored by THE COMPUTER SOCIETY OF THE IEEE, HONG KONG CHAPTER _____________________________________________________________________________ International Computer Science Conference '88 is to be the first international conference in Hong Kong devoted to computer science. The purpose of the conference is to bring together people from academia and industry of the East and of the West, who are interested in problems related to computer science. The main focus of this conference will be on the Theory and Applications of Artificial Intelligence. Our expectation is that this conference will provide a forum for the sharing of research advances and practical experiences among those working in computer science. Topics of interest include, but are not limited to: AI Architectures Expert Systems Knowledge Engineering Logic Programming Machine Learning Natural Languages Neural Networks Pattern Recognition Robotics CAD/CAM Chinese Computing Distributed Systems Information Systems Office Automation Software Engineering Paper Submissions Submit four copies of the paper by June 15, 1988 to either of the Program Co-Chairmen: Dr. Jean-Louis Lassez Dr. Francis Y.L. Chin Room H1-A12 Centre of Computer Studies and IBM Thomas J. Watson Applications Research Center University of Hong Kong P.O. Box 218 Pokfulam Road Yorktown Heights NY Hong Kong 10598 (For papers from Pan-Pacific region U.S.A. only) e-mail: JLL@ibm.com e-mail: hkucs!chin@uunet.uu.net The first page of the paper should contain the author's name, affiliation, address, electronic address if available, phone number, 100 word abstract, and key words or phrases. Papers should be no longer than 5000 words (about 20 double-spaced pages). A submission letter that contains a commitment to present the paper at the conference if accepted should accompany the paper. Tutorials The day after the conference will be devoted to tutorials. Proposals for tutorials on Artificial Intelligence topics, especially advanced topics, are welcome. Send proposals by June 15, 1988 to the Program Co-Chairmen. Conference Timetable and Information Papers due: June 15, 1988 Tutorial proposals due: June 15, 1988 Acceptance letters sent: September 1, 1988 Camera-ready copy due: October 1, 1988 International Program Committee: J-P Adam (Paris T.Y. Chen (Melbourne & W.F. Clocksin Scientific Center) HKU) (Cambridge) A. Despain (Berkeley) J. Gallier Qingshi Gao (Academia M. Georgeff (SRI) (Pennsylvania) Sinica) R.C.T. Lee (National D. Hanson (Princeton) R. Hasegawa (ICOT) Tsin Hua) M. Maher (IBM) Z. Manna (Stanford & F. Mizoguchi (Science U. Montanari (Pisa) Weizmann) U. of Tokyo) P.C. Poole (Melbourne) K. Mukai (ICOT) H.N. Phien (AIT) C.K. Yuen (Singapore) D.S.L. Tung (CUHK) Organizing Committee Local Arrangements Publicity Chairman: Chairman: Chairman: Mr. Wanbil Lee Dr. K.W. Ng Dr. K.P. Chow Department of Computer Department of Computer Centre of Computer Studies Science Studies and Applications City Polytechnic of The Chinese University University of Hong Kong Hong Kong of Hong Kong Pokfulam Road Argyle Center, Kowloon Shatin, N.T. Hong Kong Hong Kong Hong Kong e-mail: hkucs!icsc@uunet.uu.net In Cooperation With: Center for Computing Studies and Services, Hong Kong Baptist College Centre of Computer Studies and Applications, University of Hong Kong Department of Computer Science, The Chinese University of Hong Kong Department of Computer Studies, City Polytechnic of Hong Kong Department of Computing Studies, Hong Kong Polytechnic --------------------------------------------------------------------------------
lugiez@loria.crin.fr (Denis Lugiez) (11/08/89)
CALL FOR PAPERS Second International Conference on ALGEBRAIC AND LOGIC PROGRAMMING October 1-3, 1990, Nancy (France) Following the intention of our first symposium held in Gaussig (GDR) in November 1988, this Second International Conference aims at strengthening the connections between Algebraic Programming and Logic Programming. A non-exclusive list of topics includes: - Semantics of Algebraic and Logic Programming - Term Rewriting, Narrowing, Resolution - Constrained Logic Programming - Concurrent features in Algebraic and Logic Programming languages - Implementation issues (with possible system demonstrations). Invited talks by Joseph Goguen, Jean-Louis Lassez and Pierre Lescanne are expected in the scientific program. Five copies of each submitted paper should be sent to arrive by April 27, 1990 to Wolfgang Wechler. Papers must not exceed 15 proceedings pages (6x9 inches, 12 point type, up to 5,000 words) and must not be simultaneously submitted for publication elsewhere. Authors will be notified of acceptance or rejection by June 15, 1990. Camera-ready copies will be due by July 13, 1990. We anticipate the proceedings to be published as a LNCS volume by Springer Verlag. Program Committee Jan Bergstra (Amsterdam) Hubert Comon (Orsay) Hans-Dieter Ehrig (Braunschweig) Heinrich Hussmann (Munich) Helene Kirchner (Nancy), Co-chair Grigori Kucherov (Novosibirsk) Gert Smolka (Stuttgart) Magnus Steinby (Turku) Andrzej Tarlecki (Warsaw) Wolfgang Wechler (Braunschweig), Co-chair Jia-Huai You (Edmonton) Correspondence should be addressed to Helene Kirchner or Wolfgang Wechler CRIN TU Braunschweig BP239 Theoretische Informatik 54506 Vandoeuvre-les-Nancy Cedex Postfach 3329 FRANCE D-3300 Braunschweig e-mail:hkirchne@loria.crin.fr e-mail:wechler@infbs.uucp -- Good health is merely the slowest rate at which one can die.