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, 1991bacha@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.