ICLP'93 Workshop: Logic Programming With Sets 
Author Message
 ICLP'93 Workshop: Logic Programming With Sets

                       Call For Participation
                 ICLP'93  Postconference Workshop on
                    Logic Programming With Sets

                         Budapest, Hungary
                           June 25, 1993

       Sponsored by the Association of Logic Programming

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 at
the address below.   Abstracts should  not exceed two pages in length.
Submissions by e-mail using{*filter*}format are also welcome.

Submit papers to:
        Gianfranco Rossi
        Dipartimento di Matematica
        Universita' di Bologna
        Porta di P.zza S.Donato, 5
        40127 BOLOGNA - ITALY


        Phone: +39 51 354496
        Fax:   +39 51 354490

Submissions Due:        April 1, 1993
Notification:           May 1, 1993
Final Version Due:      May 15, 1993



Sun, 13 Aug 1995 09:54:21 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