Call For Papers

 2nd International Conference on Computational Intelligence & Neuroscience -
                             Special Session on

               Logical Methods for Computational Intelligence

           March 2-5, Research Triangle Park, North Carolina, USA

----------------------------------------------------------------------------

The Conference

The Joint Conference on Information Sciences (JCIS) is an annual event of
increasing importance. It combines several conferences on a range of
subjects, including computational intelligence, fuzzy logic, soft computing,
and computer science. Its main theme is to bring together researchers and
practitioners working in different fields, facilitating mutual awareness of
their various topics and the combination of research efforts. The 2nd
International Conference on Computational Intelligence & Neuroscience
(CI&N'97) will be part of JCIS'97.

The Special Session - Topics of Interest

The great majority of approaches to achieving computational intelligence can
be divided into two broad categories: symbolic and non-symbolic. Over the
years, both have experienced some success although each has limitations. In
fact, many researchers feel that significant advances in computational
intelligence will be realized only with the use of both research lines.

Among the symbolic approaches to computational intelligence, logic in its
various facets has attracted much interest and has found application in
various problem domains (as witnessed by the advent of Prolog). Advantages
of logical methods include transparency and clarity of information, powerful
reasoning capabilities, and the availability of explanation.

For the proposed session, we invite submissions on logical methods for
computational intelligence, including aspects of automated reasoning and the
appropriate representation of information. Of particular interest are
methods that have been implemented or that show clear promise toward better
implementations. We also seek submissions that demonstrate the importance
and utility of logical methods for practical applications.

Submission

Extended absracts of papers (up to 4 pages, single or double column) should
be sent to either of the session organizers. Please submit either
electronically (plain postscript file) or 3 hard copies of the paper to
either:

     Grigoris Antoniou
     School of Computing and Information Technology
     Griffith University
     Nathan, QLD 4111
     Australia Email: ga@cit.gu.edu.au

or to:

     Neil V. Murray
     Department of Computer Science LI-67A
     Institute for Programming & Logics
     University of Albany - SUNY
     Albany, NY 12222, USA
     Email: nvm@cs.albany.edu

Proceedings and Special Journal Issue

All submissions accepted will be published in the Conference proceedings.
Authors of accepted papers will be asked to send their final version to the
conference organizers, along with a deposit of USD 150, which will be
deducted from the registration fee later.

Additionally it is planned that the best papers of the session will be
published in a special issue of the journal Information Sciences (published
by Elsevier). Authors will be notified accordingly.

Important Dates

Submission deadline: November 1, 1996
Notification of acceptance: December 1, 1996
Submission of final versions: December 15, 1996
Notification of journal acceptance: February 28, 1997
Conference: March 2 - 5, 1997