Advance Program: ILPS'91 Workshop on Parallel Execution of Logic Programs 
Author Message
 Advance Program: ILPS'91 Workshop on Parallel Execution of Logic Programs

                       Advance Program

               ILPS'91 Post Conference Workshop on
        Implementation of Parallel Logic Programming Systems

                      Oct. 31st, 1991

                San Diego Princess Resort Hotel,
                     San Diego, California

13:40--13:45 Opening Remarks:
        G. Gupta (University of Bristol, UK)
        S. Janson (SICS, Sweden)

13:45--15:00  Session I: Andorra Kernel Language

A Sequential Implementation of AKL
        S. Janson, J. Montelius (SICS, Sweden)

The DAM: A Parallel Implementation of the AKL
        Dug Palmer (University of Melbourne, Australia)

A Parallel Implementation of AKL
        H. Van Acker, R. Moolenaar, B. Demoen (KU Leuven, Belgium)

15:00-15:15  Break

15:15--16:05 Session II: Load Balancing and Scheduling

The Dharma Scheduler --- Definitive Scheduling in Aurora
        R. Sindaha (University of Bristol, UK)

Load Balancing for a Distributed Memory Implementation
        Z. Lin (University of Maryland, USA)

16:05--16:20  Break

16:20--17:35 Session III: And-Or Parallel Systems.

The Design of an Optimistic And-parallel Prolog
        I. Olthof,  J. G. Cleary (University of Calgary, Canada)

Prometheus: An And/Or Parallel Prolog System
        K. Shen (Cambridge University, UK)

And-Or Parallel Implementations of Full Prolog
        G. Gupta, V. Santos Costa (University of Bristol, UK)
        M. Hermenegildo (Politecnica de Madrid, Spain)

17:35--17:50 Break

17:50--19:05 Session IV: Distributed and Data Parallelism

The SAM Instruction Set
        G. Succi, G. A. Marino, G. Colla (Universita di Genova, Italy)

A Distributed Implementation of Or-Parallel Interpretation of Logic Programs
        M. Cannataro, G. Spezzano, and D. Talia (CRAI, Italy)

Parallel Prolog on the Hypercube
        R. Toppur and D. Stevenson (Clemson University, USA)

%%%%%%%%%%%%%%LaTeX File Follows%%%%%%%%%%%%%%%%%%%

\documentstyle[a4,11pt]{article}

\pagestyle{empty}

\begin{document}
\noindent{\Large\bf PROGRAM}

\vspace{3mm}

\begin{center}
{\large\bf ILPS'91 Post-Conference Workshop on}\\
{\large\bf Implementation of Parallel Logic Programming Systems}
\end{center}

\vspace{3mm}

\begin{tabbing}
{\large\bf Thursday, October 31, 1991}\\[2mm]
13:4\=0{-}{-}13:45mmm\=\kill
{\bf 13:40{-}{-}13:45}\>\>{\bf Opening Remarks}\\[1.5mm]
\>G.~Gupta (University of Bristol, U.K.)\\
\>S.~Janson (SICS, Sweden)\\[2mm]
{\bf 13:45{-}{-}15:00}\>\>{\bf Session I: Andorra Kernel Language}\\[1.5mm]
{\it A Sequential Implementation of AKL}\\
\>S.~Janson, J.~Montelius (SICS, Sweden)\\[1mm]
{\it The DAM: A Parallel Implementation of the AKL}\\
\>D.~Palmer (University of Melbourne, Australia)\\[1mm]
{\it A Parallel Implementation of AKL}\\
\>H.~Van Acker, R.~Moolenaar, B.~Demoen (K.U.{} Leuven, Belgium)\\[2mm]
{\bf 15:00{-}{-}15:15}\>\>{\bf Break}\\[2mm]
{\bf 15:15{-}{-}16:05}\>\>{\bf Session II: Load Balancing and Scheduling}\\[1.5mm]
{\it The Dharma Scheduler---Definitive Scheduling in Aurora}\\
\>R.~Sindaha (University of Bristol, UK)\\[1mm]
{\it Load Balancing for a Distributed Memory Implementation}\\
\>Z.~Lin (University of Maryland, USA)\\[2mm]
{\bf 16:05{-}{-}16:20}\>\>{\bf Break}\\[2mm]
{\bf 16:20{-}{-}17:35}\>\>{\bf Session III: And-Or Parallelism}\\[1.5mm]
{\it The Design of an Optimistic And-parallel Prolog}\\
\>I.~Olthof, J.~G.~Cleary (University of Calgary, Canada)\\[1mm]
{\it Prometheus: An And/Or Parallel Prolog System}\\
\>K.~Shen (University of Cambridge, UK)\\[1mm]
{\it And-Or Parallel Implementations of Full Prolog}\\
\>G.~Gupta, V.~Santos Costa (University of Bristol, UK)\\
\>M.~Hermenegildo (Universidad Polit{\accent"13 e}cnica de Madrid, Spain)\\[2mm]
{\bf 17:35{-}{-}17:50}\>\>{\bf Break}\\[2mm]
{\bf 17:50{-}{-}19:05}\>\>{\bf Session IV: Distributed and Data Parallelism}\\[1.5mm]
{\it The SAM Instruction Set}\\
\>G.~Succi, G.~A.~Marino, G.~Colla (Universit{\accent"12 a} di Genova, Italy)\\[1mm]
{\it A Distributed Implementation of Or-Parallel Interpretation of Logic Programs}\\
\>M.~Cannataro, G.~Spezzano, D.~Talia (CRAI, Italy)\\[1mm]
{\it Parallel Prolog on the Hypercube}\\
\>R.~Toppur, D.~Stevenson (Clemson University, USA)\\
\end{tabbing}

\end{document}



Sun, 03 Apr 1994 02:00:55 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. ILPS '91 Post Conference Workshop on Parallel Logic Programming

2. ILPS 91 Workshop on Language Issues in Logic Programming

3. Program of post-ILPS'91 Workshop on Defeasible Reasoning and Constraint Systems

4. ICLP'91 pre-conference workshop on merging Object-Oriented and Logic programming

5. ICLP'91 Workshop on Concurrent Logic Programming

6. ICLP'91 Workshop on Constraint Logic Programming

7. ICLP'91 workshop on Object Oriented Logic Programming: Correction

8. Call for participation, ICLP'91 workshop on Object Oriented Logic Programming

9. Workshop on Parallel Execution of Logic Programs

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

11. CFP: ILPS'95 Workshop on Constraints, Databases and Logic Programming

12. Final CFP ILPS'95 Workshop: Constraints, Databases, Logic Programming

 

 
Powered by phpBB® Forum Software