From: myoung@force.ssd.lmsc.lockheed.com
Subject: Another Workshop
Reply-To: myoung@force.ssd.lmsc.lockheed.com
Organization: LMSC, Sunnyvale, California
Date: Mon, 12 Oct 92 13:43:40 GMT

Look at this workshop, may be some ideas here:


           JICSLP '92  Post-Conference Joint Workshop 
                               on 
Distributed and Parallel Implementations of Logic programming Systems

Workshop A Program
------------------

Friday,  November 13, 1992

8:00-8:10 Opening Address of the Joint Workshop
          D. DeGroot (TI, USA)

8:00-8:10 Opening Address of Workshop A
          P. Kacsuk (KFKI-MSZKI, Hungary)

8:20-10:00 Session 1: Distributed Implementations
AND-Parallel Prolog on a Transputer-Based System
          I. Olthof, J. Cleary (Univ. of Calgary, Canada)
The ElipSys Project
          M. Reeve, (ECRC, Germany)
A Distributed Prolog Implementation on a Hypercube Multicomputer
          I. Aybay, S.  Buyuksoy, M. Baray (Middle East Tech. Univ., Turkey)
The DelPhi Multiprocessor Inference Engine
          B. Clocksin (Univ. of Cambridge, UK)

10:00-10:20 Break

10:20-11:35 Session 2: Graph Model Based Implementations
Dynamic Process Scheduling in a Parallel Logic Machine
          M. Cannarato, G. Spezzano, D. Talia (CRAI, Italy)
          Ya. D. Sergeyev (Univ. of Nizhni Novgorod, Russia)
3DPAM = WAM + Dataflow
          P. Kacsuk (KFKI-MSZKI, Hungary)
A Data Driven Static Model for the Execution of Logic Programs on Distributed
Memory Systems
          F. Baiardi, L. Ricci (Univ. of Pisa, Italy)
         A. Candelieri (Cons. Ricerca Applicata per lo Sviluppo Industriale -
                         Napoli, Italy)

11:35-11:50 Break

11:50-12:15 Session 3: New Paradigms
Prolog-D-Linda: An Embedding of Linda in SICStus Prolog
          G. Sutcliffe, J. Pinakis (Univ. of Western Australia, Australia)
The WAVE Paradigm
          P. S. Sapaty (Univ. of Karlsruhe, Germany)
Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation
          V. David (CERT-ONERA, France)


Workshop B  Program
-------------------

Friday,  November 13, 1992

14:25-14:30    Opening Remarks
	G. Succi (Univ. of Genoa, Italy),  D. Talia (CRAI, Italy)
14:30-15:45   Session 1:   AND/OR Parallelism
Estimating Relative Grain Size for Logic Programs on Basis of Abstract Interpretation
	Shan-Wen Yan  (ECRC, Germany)
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog
	G. Gupta, M. Hermenegildo, V.S. Costa (New Mexico State Univ., U.S.A.)
An Overview of DASWAM - An Implementation of DDAS
	K. Shen  (Univ. of Bristol, U.K.)

15:45-16:05   Break

16:05-17:20   Session 2:  Data Parallelism
Parallel Bounded Quantifiers - Preliminary Results
	H. Arro, J. Barklund, J. Bevemyr  (Univ. of Uppsala, Sweden)
A Transputer Implementation of SEL
	G. Succi, G. Marino, R. Cantuccio, M. Facciolo, T. Vernazza  (Univ. of Genoa, Italy)
Reform Prolog: the Language and its Implementation
	J. Bevemyr, T. Lindgren, H. Millroth  (Univ. of Uppsala, Sweden)

17:20-17:40   Break

17:40-18.30   Session 3:  Blackboard-based Models
Multi-Prolog: a Blackboard-based Parallel Logic Programming Language
	K. De Bosschere, J.-M. Jacquet  (Rijskuniversiteit, FUNDP, Belgium)
Goal Reflection and Meta-level Constructs for Achieving Concurrency among Loosely-Coupled, 
Large-Granularity Knowledge Sources
	D. G. Schwartz  (Case Western Reserve Univ.,  U.S.A.)

18:30-18:50   Break

18:50-20:05   Session 4:  Concurrency
Parallel Execution of CLP-R Programs
	J. Burg, C. E. Hughes, Sheau-Dong Lang  (Univ. of Central Florida, U.S.A.)
KL1 Compiler Optimization Techniques for RISC Architectures
	K. Hirano  (ICOT, Japan)
MultiLog:  The Language and its Implementation
	D. A. Smith (Brandeis Univ., U.S.A.)

Saturday,  November 14, 1992

8:30-10.10     Session 5:  Experiences
Applications of the Aurora Parallel Prolog System toComputational Molecular Biology
	E.L. Lusk, S. Mudambi, R. Overbeek, P. Szeredi  (Argonne Nat. Lab., U.S.A.)
An Event Driven Scheme for Visualizing Parallel Execution of Logic Programs
	M. Carro, L. Gomez, and M. Hermenegildo  (UPM, Spain)
Parallel Inference System of the FGCS Project -Status  Report-
	R. Kiyohara, T. Chikayama  (ICOT, Japan)
An Empirical Study on the Potential of Search Parallelism on MIMD Architecture
	 J. Khan and D. Yun  (Univ. of Hawaii at Manoa, U.S.A.)
10.15-11.45   Panel session
	Chair: D. DeGroot (TI, U.S.A.)