ICLP'93 Workshop: LOGIC PROGRAMMING WITH SETS 
Author Message
 ICLP'93 Workshop: LOGIC PROGRAMMING WITH SETS

                   First Call for Participation    

                            Workshop on
                    LOGIC PROGRAMMING WITH SETS

                      Thursday, 24 June, 1993
                        in conjunction with
    ICLP'93 - Tenth International Conference on Logic Programming,
              June 21 - 24, 1993, Budapest, Hungary

The problem of enriching logic programming with set constructs has
deserved an increasing attention in recent years. Indeed the availability of
set abstractions is widely recognized as a valuable feature of high-level
programming languages. And logic programming languages seem to be
right candidates for hosting such a feature due to their potentially high
declarative nature.
Most of the attention to enriching logic programming with sets has come
from the field of deductive databases; however, many other fields, including
rapid software prototyping and knowledge based system development, may
benefit from the availability of set constructs. Also, interesting theoretical
issues as well as implementation ones are involved in the definition of such
an extension.

This workshop is intended to provide a first opportunity to exchange ideas
on the many possible ways the problem can be coped with and to discuss
the potentiality of logic programming with sets. Topics may include (but
need not be limited to) theoretical, language, implementation and application
issues. Also set-oriented programming in other programming paradigms
(e.g. functional, rule-based, ...) can be considered as a good theme for
discussions in the workshop.

On the basis of recent publications on this subject, about 20-25 persons are
estimated to be interested in attending the workshop. The participants who
wish to give a talk should submit an abstract of their proposed contribution
by April 1, 1993 to

     Gianfranco ROSSI
     Dipartimento di Matematica
     Universita' di Bologna
     Porta di P.zza S.Donato, 5
     40127 BOLOGNA - ITALY

     Telephone:  + 39 - 51 - 354496
     Fax: +39 - 51 - 354490

Abstracts should not exceed two pages in length. Submissions by e-mail
using{*filter*}format are also welcome. Notification of acceptance will be
mailed (possibly via e-mail) by May 1. The extended version of accepted
abstracts to appear in the workshop notes will be due by May 15.

Organizing Committee:

     Eugenio Omodeo, University of Rome
     Gianfranco Rossi, University of Bologna

--
------------------------------------------------------------------------
Mauro Gaspari, Dipartimento di  Informatica,  Universita' di Pisa, Corso
Italia 40, 56125, Pisa, Italy, phone: 39(0)50510263, fax: 39(0)50510226.
  "To steal from one is plagiarism, to steal from many is research".
                        Wilson Mizner.
------------------------------------------------------------------------



Sat, 12 Aug 1995 01:34:06 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. ICLP'93 Workshop: Logic Programming With Sets

2. ICLP'93 WORKSHOP: Concurrent, Distributed and Parallel Implementations of Logic Programming Systems

3. ICLP'93 Workshop: Blackboard-based Logic Programming

4. ICLP'93 Workshop on CONCURRENT CONSTRAINT PROGRAMMING

5. ICLP'93 Workshop: CONCURRENT CONSTRAINT PROGRAMMING

6. Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

7. Proceedings Concurrent Constraint Workshop (ICLP'93)

8. ICLP'93 - Postconference Workshop on CCP (Reposting)

9. ICLP'93 Workshop: Deductive Databases

10. ICLP'93 Workshop: Concurrent Constraints

11. ICLP'93 Workshop: Concurrent Implementations

12. ICLP'93 Workshop: Practical Implementations

 

 
Powered by phpBB® Forum Software