LPSC workshop

ferrante formato (formato@ponza.dia.unisa.it)
Thu, 13 Jun 1996 12:25:28 +0200


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

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

LPSC

====================================================================
		     		   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



=============
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=======================================
--=====================_824156886==_--