CFP LPSC Workshop

ferrante formato (formato@ponza.dia.unisa.it)
Thu, 9 May 1996 15:03:19 +0200


--=====================_821212295==_
Content-Type: text/plain; charset="us-ascii"

--=====================_821212295==_
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: attachment; filename="LPSC.TXT"

====================================================================
PRELIMINARY ANNOUNCEMENT and CALL for PAPERS

JICSLP'96 PostConference Workshop (LPSC)

Logic Programming and Soft Computing:

Theory and Applications

In conjunction with the
Joint International Conference and Symposium on Logic Programming
Bonn, Germany, september 2-6, 1996

===================================================================

====================
Workshop Description
====================
The workshop is aimed at presenting recent works and discussing new
ideas and trends related to the advancements in the research joining
the two fields of soft computing and logic programming.
Both the two areas of research represent two mature and promising
subjects of investigation and the introduction of fuzzy concepts in
logic programming allows the achievement of results and applications
that could never be attained in the classical computational models.

Soft Computing is the natural evolution of fuzziness in a computational
context. Many concepts of computer science have been tackled within the
framework of a fuzzy interpretation of classical computational models.
In particular, logic programming and knowledge-based systems in general,
have a computational model and a theoretical background that are well
suited for a fruitful investigation in the area of soft computing.

The workshop aims to be a good opportunity for reseachers working in
related areas to get an overview of the current state of the art in
this field.

It will be organized in sections with short talks (20-30 minutes),
followed by discussions and possible system demonstrations.

Papers are invited that describe practical and/or theoretical works on logic
programming and soft computing. The topics of interest include, but are not
limited to:

Fuzzy Extensions of Logic Programming
Fuzzy Unification
Automated Theorem Proving in Approximated Reasoning
Fuzzy Logic and Knowledge-based Systems
Implementations
Applications
Query Answering Process
Semantics
Knowledge Discovery in Data Bases
Theoretical Foundations

We would like to stress that not only papers presenting completed work, but also
papers on novel ideas and of exploratory nature are welcome.

=======================
Submission Information:
=======================
Extended Abstract

- Those who wish to present a paper should submit by e-mail one copy of
their extended abstract written in English to each one of the organizers
before 06-21-96.

- If possible, please send compressed and uuencoded *.ps or *.dvi files.
Latex llncs style (12 pt) is preferable
(see http://www.springer.de/tex/help-tex.html for guidelines in llncs).

- The extended abstracts should be no more than 8 pages long (including
figures and references) and should include the authors'complete contact
information (name, affiliation, postal address, electronic address and
telephone/fax numbers).

- Authors will be advised as to the acceptance status of their paper around
07-21-96.

- Authors of accepted papers should electronically send their final workshop
version by 08-10-96.

=============
Publications:
=============
The Program Committee will review the extended abstract.
Accepted and presented papers will be included in a proceedings volume.
Additionally, authors of accepted papers describing high-quality work will
be invited for publication in a regular proceedings volume. These papers
will undergo a separate review process.

=====================
Organizing Committee:
=====================
F.Arcelli:
University of Salerno, DIIIE
84084 Fisciano (SA), ITALY
e-mail:arcelli@ponza.dia.unisa.it

F.Formato
University of Salerno, DIIMA
84084 Fisciano (SA), ITALY
e-mail:formato@ponza.dia.unisa.it

T.P.Martin
Artificial Intelligence Group, DEM
University of Bristol, BS8 1TR, England
e-mail: Trevor.Martin@bristol.ac.uk

==================
Program Committee:
==================
F.Arcelli(Italy)
J.F.Baldwin(England)
C.Chakraborty (India)
D.Dubois(France)
F.Formato(Italy)
G.Gerla(Italy)
T.Martin (England)
H.Prade(France)
M.S.Ying(China)

===========================
Summary of Important Dates:
===========================
Papers Due on june 21, 1996
Author Notification july 21, 1996
Final Version Due on august 10, 1996
JICSLP'96 Conference september 2-6, 1996
LPSC Workshop september 5/6, 1996

====================================================
Questions regarding this workshop can be directed to:
====================================================
Francesca Arcelli
University of Salerno, DIIIE
84084 Fisciano (SA), ITALY
Fax:+39-89-964218
Ph:+39-89-964254
e-mail:arcelli,formato@ponza.dia.unisa.it

Information about this workshop is also available via WWW at URL:
http://www.diima.unisa.it~formato/~formato/lpsc.html

=============
Registration:
=============
Registration for the workshop as well as fees (which include a copy of the
informal proceedings) will be communicated by the organizers of JICSLP'96
in a separate call.
The workshop will take place at the conference site in Bonn, on september 5
or 6 (exact date to be announced).

======================END OF CFP=======================================

--=====================_821212295==_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

----------------------------------------------------------------------------
----------------------------------------------------------------------------
--------------
Diagonalization at the extremes

- Do not let your houses grow higher than trees -
Tegol, a famous Indian poet

- No problem! -
Tarzan

=09

Ferrante Formato
DIIMA-Universit=E0 di Salerno
Salerno-ITALY
Universit=E0 di Salerno

http://www.diima.unisa.it/~formato/welcome.htm

--=====================_821212295==_--