ICLP'93 WORKSHOP: Concurrent, Distributed and Parallel Implementations of Logic Programming Systems 
Author Message
 ICLP'93 WORKSHOP: Concurrent, Distributed and Parallel Implementations of Logic Programming Systems

                           Call For Papers
                  ICLP'93 Postconference Workshop on

         Concurrent, Distributed and Parallel Implementations
                      Logic Programming Systems

                            June 25, 1993
                          Budapest, Hungary

The main aim of the workshop  is to bring together researchers working
on different approaches to  the  implementation of logic languages  on
concurrent/distributed/parallel  architectures, since  the integration
of  the   expressive   power of  declarative   systems  such  as logic
programming  languages  with   the computational  power   of massively
parallel computers  it today one of  the major challenges of  computer
science research.  Recently, many  models  and architectures   for the
parallel  execution  of    logic programs   have  been  proposed   and
implemented.   In  particular, in  these last   two  years some actual
implementations have  been presented. This  workshop can be a fruitful
place    where   people   working   on concurrent/distributed/parallel
implementation of  logic   programming  systems can  meet and  discuss
technical issues in an informal atmosphere.

Topics of particular interest are:
- AND and OR Parallelism
- Concurrent  logic languages implementations
- Data parallelism in logic programming
- Shared and distributed memory management
- Compile-time techniques
- Parallelism  granularity
- Experiences on actual parallel implementation
- Scheduling and load balancing techniques
- Performance analysis

Authors interested in presenting their work are invited to send, a 3-5
page abstract or, preferably, a full paper, possibly  according to the
below specified format, before April 1st. Acceptance/rejection will be
notified by May 1st.  People interested in  attending the workshop are
welcome too. They are  kindly requested to send  their postal and  (if
available)   electronic   address    as      soon as    possible    to

Format  of  submission: Workshop organizers  thinks   that it would be
great to have workshop proceedings electronically available before the
starting  of  the  conference.   Therefore electronic  submission   is
strongly encouraged. Furthermore    if author used a    standard{*filter*}
format  with postscript figures imported with  psfig,  we could easily
organize  a single  (well   shaped) document.  Anyway,   any format of
electronic  submission  is accepted   (postscript, plain  ascii,  TeX,
LaTeX,  nroff, troff).    Electronic submissions should   be  sent to:

submit their work through regular hard mail sending to Giancarlo Succi
at the address given below three copies of their manuscript.

Workshop Organizers:
Giancarlo Succi & Giancarlo Colla
DIST - Universita` di Genova
via Opera Pia 11a, I-16145 Genova, Italia
tel: +39 (0)10 353 2747 -  fax: +39 (0)10 353 2948

Important dates:}
Deadline for submission of papers: April 1st
Notification for acceptance/rejection: May 1st



Sat, 12 Aug 1995 23:02:29 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. ICLP'93 Workshop: Concurrent Implementations

2. Proceedings Concurrent Constraint Workshop (ICLP'93)

3. ICLP'93 Workshop on CONCURRENT CONSTRAINT PROGRAMMING

4. ICLP'93 Workshop: Concurrent Constraints

5. ICLP'93 Workshop: CONCURRENT CONSTRAINT PROGRAMMING

6. ICLP'93 Workshop: Practical Implementations

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

8. ICLP'93 Workshop: Deductive Databases

9. ICLP'93 Workshop: Logic Programming With Sets

10. ICLP'93 Workshop: LOGIC PROGRAMMING WITH SETS

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

12. Workshop on Deductive Databases at ICLP'93

 

 
Powered by phpBB® Forum Software