isaac@mulga.oz (Isaac Balbin) (12/11/87)
----------------------------------------------------------------------------- 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 --------------------------------------------------------------------------------
olson@uicsrd.csrd.uiuc.edu (01/20/89)
Call for Papers North American Conference on Logic Programming Cleveland, Ohio, October 16-19, 1989 The Symposium on Logic Programming has been renamed the North American Conference on Logic Programming. Beginning this year, it will be sponsored by the Association for Logic Programming. We are soliciting papers in the following gen- eral areas of research: Applications of Logic Programming Logic Programming and Databases Theory of Logic and Functional Programming Parallel Execution of Logic Programs Implementation of Logic Programming Systems Inference Machines General Chairman: Leon Sterling Program Chairmen: Ewing L. Lusk and Ross A. Overbeek Howard Blair Ken Kunen M. Bruynooghe Catherine Lassez Saumya Debray M. Martelli Doug DeGroot C. Mellish Al Despain Richard O'Keefe Ian Foster R. Ramakrishnan Susan Gerhart Vijay Saraswat Joxan Jaffar Peter Szeredi Ken Kahn Akikazu Takeuchi L. V. Kale Hidehiko Tanaka Paris Kanellakis R. Topor Robert Kowalski David S. Warren Vipin Kumar Authors should send five copies of their manuscripts to: Ewing L. Lusk Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439 U. S. A. Papers are restricted to 20 double-spaced pages, including figures. Papers must be received by March 31, 1989. Authors will be notified of acceptance by June 10, 1989. Camera-ready copy will be due at MIT Press by July 15. Authors should include electronic mail addresses if possible. This conference is sponsored by the Association for Logic Programming.
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.
narain@randvax.UUCP (Sanjai Narain) (07/25/90)
** CALL FOR PAPERS ** Second Annual Conference on AI, SIMULATION AND PLANNING in High Autonomy Systems University of Florida (in cooperation with the University of Arizona) Conference Theme: INTEGRATING QUALITATIVE AND QUANTITATIVE KNOWLEDGE FOR COMPLEX SYSTEM AND SIMULATION MODELS April 1-2, 1991, Cocoa Beach, Florida Conference Description --------------------- This annual conference is concerned with integrated methods in simulation and planning that serve to help automate basic decision making processes in computer systems. Current and future decision making tools will rely heavily on the ability to reason with sophisticated models that are designed, planned and simulated in real time. This year's conference will be held at the beginning of the Florida AI Research Conference (FLAIRS) at the same location. There is a strong need to integrate the qualitative system structures often found in expert systems, reasoning systems, logic and social science with the quantitative knowledge found in physical science and engineering. Qualitative structures help define high-level (i.e. decision making) control knowledge while quantitative structures define unambiguous operations for well known physical and engineering systems. The interplay between qualitative and quantitative modeling is critical in the area of computer simulation modeling where a variety of models are created to solve different problems and provide different levels of response. Future simulation models will require this multi-facetted approach involving model knowledge bases containing different levels of system abstraction. This conference will serve to bring together researchers interested in using simulation models that have well-integrated qualitative and quantitative components. Scope/Sample Topics ------------------- Papers can be either conceptual or application-oriented. Some sample topics are listed below: * Formalisms for Unification of Qualitative/Quantitative Simulation Models. * Simulating Engineering Designs using Multiple Levels and Models. * Integrating Qualitative and Quantitative Reasoning about Systems. * Abstraction in Combined Planning, Simulation and Diagnostic Systems. * Simulation Model Engineering: From Qualitative to Quantitative Models. * Multiple Abstraction Levels and Mappings for System Descriptions. * Software Tools for Qualitative/Quantitative Simulation. * Process Abstraction Networks and Hierarchies. * Representing Uncertainty in Simulation Models. * Decision Making Tools for Integrated Simulation Modeling. Co Chairs --------- Dr. Paul A. Fishwick Dr. Jerzy Rozenblit Dr. Bernard P. Zeigler University of Florida University of Arizona University of Arizona Dept. of CIS Dept. of ECE Dept. of ECE Bldg. CSE, Room 301 Tucson, AZ 85721 Tucson, AZ 85721 Gainesville, FL 32611 rozenblit%evax2@arizona.edu zeigler%evax2@arizona.edu fishwick@ufl.edu Program Committee ----------------- Harold Abelson, Massachusetts Institute of Technology Kenneth Anderson, Siemens Corporation Howard Beck, University of Florida David Castillo, McDonnell Douglas Francois Cellier, University of Arizona Silvano Colombano, NASA Ames Research Center Marc Courvoisier, Universite Paul Sabatier, France Li-Min Fu, University of Florida Frank Grange, Martin Marietta Werner Horn, University of Vienna, Austria Yumi Iwasaki, Stanford University Witold Jacak, Technical University of Wroclaw, Poland Benjamin Kuipers, University of Texas at Austin Theo Lutzeler, Siemens Corporation Sanjai Narain, Rand Corporation Franz Pichler, University of Linz, Austria Ethan Scarl, Boeing Computer Services Suleyman Sevinc, University of Sydney, Australia Jon Sticklen, Michigan State University Oryal Tanir, Bell Canada Daniel Weld, University of Washington Ben Wise, McDonnell Douglas Submission of Papers -------------------- Authors must submit five (5) copies of an extended abstract not to exceed five pages, including figures and citations. Abstracts will be fully refereed and must be received no later than October 15, 1990. Accepted papers will be determined by December 15, 1990, and camera-ready copy sheets will be sent to authors of accepted papers. After the conference, selected authors may be requested to submit a paper on their paper topic in special issues of archival journals relating to the conference theme. Inquiries regarding technical content should be directed to one of the co-chairs of the conference. Registration questions and all abstracts should be directed to: Dr. Joanne East AI Simulation Conference Dept. of Continuing Education University of Florida Gainesville, FL 32611 PHONE: (904)-392-1701 FAX: (904)-392-6950 Important Dates: ---------------- Extended Abstracts Due: October 15, 1990 Papers Due: February 15, 1991 Author Notification: December 15, 1990 Conference Dates: April 1-2, 1991
bacha@lynx.cat.syr.edu (Hamid Bacha) (01/25/91)
The Intelligent Systems Review (ISR) requests papers and articles in theoretical and practical aspects of intelligent systems. Submission will be considered in all aspects of AI, including, but not limited to: Knowledge-Based Systems Intelligent Databases Knowledge Representation Approximate Reasoning Logic programming Intelligent Manufacturing Systems Adaptive Systems Neural Networks The Intelligent Systems Review is the official journal of the Association for Intelligent Systems Technology (AIST). It is published quarterly. The publication's primary objective is the dissemination of information on intelligent systems technology and its application. The ISR journal accepts written submissions featuring items such as: -Original research: Peer-reviewed, high-quality research results representing new and significant contributions to AI and its applications. -Articles: Unrefereed technical articles focused on the informative review or tutorials on the author's specialty area, or invited articles as solicited by the ISR editors. -Letters to the editor: Comments on research papers or articles published in ISR and other matters of interest to AIST. -Editorials: Commentary on technical/professional issues significant to the AIST community. -Institutional Research/Project: Introduction of R&D or contract work performed by an organization. -Product Surveys: Informative exchange of information on intelligent systems products, their usage and performance evaluation. To submit an article or to request more information, please write to: AIST 6310 Fly Road East Syracuse, NY 13057 or call: (315) 463-9052 The Association for Intelligent Systems Technology (AIST) is a non-profit organization of individuals who share a common interest in the practical applications of artificial intelligence.