Subject: CFP LPSC'98 Workshop- Logic Programming and Soft Computing
From: Francesca Arcelli <arcelli@ponza.dia.unisa.it>
To: elsnet-list@cogsci.ed.ac.uk
Date: Mon, 09 Mar 1998 15:01:31 +0100


_____________________________________________________________________

          My apologies if you receive this more than once!
______________________________________________________________________

                             CALL FOR PAPERS

                      Second International Workshop on 

----------------------------------------------------------------------
                     LOGIC PROGRAMMING and SOFT COMPUTING

                           Theory and Applications
----------------------------------------------------------------------

                                  LPSC'98

                        In conjunction with JICSLP'98

        (Joint International Conference and Symposium on Logic Programming)



                              June 19/20, 1998
                               Manchester (UK)
          


The aim of the workshop is to bring together active researchers interested 
in the two joining areas of logic programming and soft computing to discuss
current research, results, and problems of both theoretical and practical
nature. 

Both the two fields have become established disciplines with successful
applications, representing  two mature and promising subjects of
investigation.  The introduction of fuzzy concepts in logic programming
allows the achievement of results that could never be attained in the
classical computational models. Soft Computing is the natural evolution of
fuzzyness in a computational context. Many concepts of computer science have
been tackled within the framework of a fuzzy interpretation of classic
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. 
A wide community of researchers is paying attention to the analysis of the
strenght and weakenss of logic programming and soft computing, what do they
have in common, and what can they offer each other. The combination of soft
computing tolerance for imprecision and logic programming's power and
semantics can provide a way towards the implementation of intelligent
knowledge-based systems.

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		· Implementations and Applications
· Theorem Proving in Approximated Reasoning	· Hybrid Systems
· Fuzzy Logic and Knowledge-based Systems	· Semantics
· Query Answering Process			· Fuzzy Unification and Resolution
· Fuzzy Deductive Databases 		        · Theoretical Foundations
. Soft Computing and Inductive Logic Programming 

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



PAPER SUBMISSION:

- Postscript (preferably) or rtf versions of the extended abstract have to
be sent
via ANONYMOUS FTP to the following address:

     ftp://ftp.diiie.unisa.it/pub/LPSC98

Use the first author name as file-name.

- Send an e-mail message with the title of the paper, and the names of the
authors to:
       
        Trevor Martin at  Trevor.Martin@bristol.ac.uk

        Francesca Arcelli at arcelli@ponza.dia.unisa.it
        
- Questions regarding the workshop can be directed to one of the above
addresses.

- The extended abstracts should be no more than 10 pages long (including
figures and references) and should include the authors’complete contact
information (name, affiliation, postal address, electronic address and
telephone/fax numbers) and should be sent before may 4, 1998.

- Authors will be advised as to the acceptance status of their paper around
may 22, 1998 and authors of accepted papers should electronically send their
final workshop version by june 5, 1998.


WORKSHOP COORDINATOR:	   	 
	             	    
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)		
J.C.Cubero (Spain)
D.Dubois  (France)		
F.Formato  (Italy)	
G.Gerla (Italy)
T.P.Martin  (England)
H.Prade (France)


PUBLICATIONS:		
The Program Committee will review the extended abstract.			
Accepted and presented papers will be included in a proceedings volume.
After the workshop, a second round of more extensive reviews is planned which
is to lead to the publication of extended versions of selected
contributions in in a regular proceedings volume.


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’98 in
a separate call. The workshop will take place at the conference site in
Manchester on june 19 or 20 (exact date to be announced). 


IMPORTANT DATES:
        May. 4, 98: Deadline for submissions
        May.22, 98: Notification of acceptance
        Jun. 5, 98: Deadline for final copy
     
------------------
CO-LOCATED EVENTS
------------------
The JICSLP'98 conference is the fourth 
joint event for the International Conference on Logic Programming
and the International Logic Programming Symposium, and is
the fifteenth conference in each of the two series of
premier international conferences on Logic Programming, both 
sponsored by the Association for Logic Programming.

JICSLP'98 will coincide with the 50th Anniversary of the world's 
First Stored-program Computer, built in the Department of Computer
Science at the University of Manchester in 1948.

JICSLP98 will be co-located with several other conferences,
including LOPSTR'98, the Eighth International Workshop on
Logic-based Program Synthesis and Transformation, and 
an Industrial Day organised by PAP/PACT and Compulog Net.

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






____________________________________________________________________
Francesca Arcelli Fontana
Dipartimento di Ingegneria dell'Informazione e Ingegneria Elettrica 
Facolta' di Ingegneria - Universita' di Salerno
84084 Fisciano (SA), ITALY
tel. ++39 89 964254
fax ++39 89 964218
_____________________________________________________________________
e-mail arcelli@ponza.dia.unisa.it