NetNews Usenet Archive 1992 #26/NN_1992_26.iso/spool/sci/logic/1916

Internet Message Format | 1992-11-04 | 39.8 KB

Xref: sparky sci.logic:1916 comp.ai:4161 comp.theory:2338
Path: sparky!uunet!cs.utexas.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!ra!mimsy!dawn
From: [e-mail] (Dawn Vance)
Newsgroups: sci.logic,comp.ai,comp.theory
Subject: FINAL REMINDER/JICSLP '92
Message-ID: <[e-mail]>
Date: 5 Nov 92 15:45:50 GMT
Sender: [e-mail]
Followup-To: sci.logic
Organization: UMIACS, University of Maryland, College Park, MD 20742
Lines: 1098


                          ADVANCE PROGRAM

1992 Joint International Conference & Symposium on Logic Programming

November 9 - 14, 1992
Ramada Renaissance Techworld
Washington, D.C.

Sponsored by the Association for Logic Programming in cooperation with the
University of Maryland Institute for Advanced Computer Studies, ACM SIGMOD,
ACM SIGART and IEEE Computer Society.

__________________

Welcome to the Joint International Conference & Symposium on Logic Programming

Jack Minker
Conference Chair

The year 1992 represents the twentieth anniversary of the start of the field
of logic programming. It was started simultaneously in the summer of 1972 by
Colmerauer and by Kowalski - one providing the practice and the other providing
the theory. The work was an outgrowth of the pioneering efforts of Alan Robin-
son in automated theorem proving.

The field has made significant progress since its inception. The semantics of
logic programs and extensions are well understood. The practice of logic
programs now includes many efficient compilers and interpreters for Prolog on
many computers. The theory of logic programming has influenced the theory and
direction of research in deductive databases. Expert systems are being imple-
mented in logic programming using the meta-language capabilities of logic
programming. The number of applications of logic programming has grown so that
there was sufficient interest to devote a conference to this subject alone in
1992.

The 1992 Joint International Conference and Symposium on Logic Programming is
being held in Washington, D.C. The conference will celebrate the 20th anniver-
sary meeting scientifically and culturally. A feature of the conference will be
an historical session with many of the early researchers describing how the
field came into being and providing insights into the early years and difficul-
ties of having the field recognized. We will have two major cultural events. In
conjunction with the reception there will be a major art exhibit on the early
American artist Rembrandt Peale, followed by the reception. This will take
place at the Portrait Gallery of the Smithsonian Institution where Abraham
Lincoln had his second inaugural ball. At the banquet we will have a concert
by the "Logic Programming Trio". It will feature Jacques "Jascha" Cohen on the
violin, Koichi "Yo Yo" Furukawa on the cello and Alan "Arturo" Robinson on the
piano. This will be the premiere performance for this distinguished group of
logic programming experts, early workers in the field of logic programming and
talented musicians.

The scientific conference will have Dr. Grigory Mints, an early researcher in
the former Soviet Union on automated reasoning as the keynote speaker. There
will be 3 invited lectures by K.M. Chandy, W.J. Mitchell and J. Pearl, 6
tutorial sessions by S. Abiteboul, M. Fitting, M. Hermenegildo, R. Overbeek,
E. Tick and A. Troelstra, a panel session on the applications in logic program-
ming, and a historical session. A total of 50 research contributions selected
from 173 papers will be presented at the conference. Following the conference
there will be workshops on a variety of topics.

You are invited to attend the conference and to visit Washington, D.C. Bring
along your husbands, wives or significant others to attend this exciting
scientific conference and to see one of the major capitals and cultural centers
in the world.

_______________________

Conference Chair - Jack Minker, Univ. of Maryland, USA, [e-mail]
Program Chair - Krzysztof Apt, CWI, The Netherlands, [e-mail]
Workshop Chair - Arvind Bansal, Kent State Univ., USA, [e-mail]
Local Arrangements Chair - Johanna Weinstein, UMIACS, USA,
[e-mail]
Registration Chair - Dawn Vance, UMIACS, USA, [e-mail]
Exhibits Chair, Tim Hickey, Brandeis Univ., USA, [e-mail]

Program Committee
_________________

Hassan Ait-Kaci - DEC PRL, France
Maurice Bruynooghe - Univ. of Leuven, Belgium
Keith L. Clark - Imperial College, UK
John S. Conery - Univ. of Oregon, USA
Seif Haridi - SICS, Sweden
Manuel V. Hermenegildo - Univ. of Madrid, Spain
Alexander Herold - ECRC, Germany
Joxan Jaffar - IBM, USA
Paris Kanellakis - Brown Univ., USA
Feliks Kluzniak - Univ. of Warsaw, Poland
John Lloyd - Univ. of Bristol, UK
Jan Maluszynski - Univ. of Linkoping, Sweden
Alberto Martelli - Univ. of Torino, Italy
Dale Miller - Univ. of Pennsylvania, USA
Catuscia Palamidessi - Univ. of Pisa, Italy
Frank Pfenning - Carnegie Mellon Univ., USA
Antonio Porto - Univ. of Lisbon, Portugal
Teodor Przymusinski - Univ. of California - Riverside, USA
Taisuke Sato - Electrotechnical Lab, Japan
Ehud Shapiro - Weizmann Institute of Science, Israel
Rodney Topor - Griffith Univ., Australia
David H.D. Warren - Univ. of Bristol, UK
David S. Warren - SUNY at Stony Brook, USA
Kazunori Ueda - ICOT, Japan
Carlo Zaniolo - Univ. of California - Los Angeles, USA

_______________________________

Conference Overview

Sunday, November 8th
7:00 - 9:00 p.m.     Pre-registration/Wine & Cheese Reception

Monday, November 9th
8:00 a.m.        Registration
9:30 - 10:30        Keynote Address
11:00 - 12:30        Sessions 1 and 2 (Parallel)
12:30 - 2:00        Lunch
2:00 - 3:30        Sessions 3 and 4 (Parallel)
4:00 - 5:30        Sessions 5 and 6 (Parallel)
6:30 - 9:00        Reception - Portrait Gallery

Tuesday, November 10th
8:00 a.m.        Registration
9:00 - 10:00        Invited Talk
10:30 - 12:00        Sessions 7 and 8 (Parallel)
12:00 - 1:30        Lunch
1:30 - 3:00        Advanced Tutorials (Parallel)
3:30 - 5:00        Sessions 9 and 10 (Parallel)

Wednesday, November 11th
8:00 a.m.        Registration
9:00 - 10:00        Invited Talk
10:30 - 12:00        Sessions 11 and 12 (Parallel)
12:00 - 1:30        Lunch
1:30 - 3:00        Advanced Tutorials (Parallel)
3:15 - 4:15        Sessions 13 and 14 (Parallel)
4:30 - 5:30        Sessions 15 and 16 (Parallel)
5:30 - 7:00        ALP Membership Meeting
7:00            Banquet

Thursday, November 12th
8:00 a.m.        Registration
9:00 - 10:00        Invited Talk
10:30 - 12:00        Sessions 17 and 18 (Parallel)
12:00 - 1:30        Lunch
1:30 - 3:00        Advanced Tutorials (Parallel)
3:30 - 4:30        Panel on Prolog
4:30 - 6:00        Historical Session

Friday, November 13th
Post Conference Workshops

Saturday, November 14th
Post Conference Workshops

_______________________________

Keynote Address
"Resolution Systems for Non-Classical Logics"
Grigory Mints, Stanford University

We survey developments based on a general schema introduced by Maslov for the
classical predicate logic. A resolution method for a formal system C is
determined by specifying (i) a class of formulas called clauses, (ii) a method
of reduction of any formula F of the system C to a finite set XF of clauses,
(iii) an inference rule (or group of rules) R called resolution rule for
deriving clauses.

Clauses should be simpler than the formulas in general. Reduction of an
arbitrary formula F to clause form should be an order of complexity easier than
the decision problem for the system C in question. Such a universal reduction
procedure is the depth-reduction transformation. It is natural to require that
the resolution rule R for a given system C be as close as possible to the
standard resolution rule for the classical resolution calculus. For
propositional modal systems based on classical logic we were able to preserve
this rule completely. Differences between various modal systems are expressed
by special rules for handling modal operations. These special rules are used
only together with the resolution rule and so can be considered to be analogues
to the factorization rule for classical resolution.

For non-classical predicate logics Skolemization is not available, so a new
way of dealing with alternation of quantifiers is proposed. Finding rules of
the resolution calculus and proving its completeness is based on a general
method which works for the systems possessing cut-free Gentzen-type form-
ulations with the subformula property. Its main component is a transformation
of a Gentzen-type derivation into a resolution derivation preserving its
structure.

Using these ideas we have developed resolution type calculi for propositional
and predicate intuitionistic logic, for several popular modal logics including
S5, S4, T, K, as well as linear logic. The general schema works with analytic
cut, which allows the treatment of a logic of knowledge.

Main difficulties have to be overcome in the case of systems with relevance
restrictions like linear logic. One such difficulty is memory exposition
caused by the restriction on the use of the subsumption rule.

_________________________________

INVITED LECTURES BY:

K.M. Chandy, California Institute of Technology
"The Derivation of Compositional Programs"

W.J. Mitchell, Harvard University
"The Logic of Architecture"

J. Pearl, University of California
"Empirical Semantics for Defeasible Databases"

ADVANCED TUTORIALS BY:

S. Abiteboul, INRIA
Deductive and Object Oriented Databases

M. Fitting, H.H. Lehman College, CUNY
Many-valued Logics and Their Use in Logic Programming

M. Hermenegildo, Universidad Politecnica de Madrid
Practical Aspects of Abstract Interpretations

R. Overbeek, Argonne National Laboratory
Logic Programming and Genetic Sequence Analysis

E. Tick, University of Oregon
Concurrent Logic Programming

A. Troelstra, University of Amsterdam
Linear Logic


________________________________________

                PROGRAM

Sunday, November 8th

7:00 - 9:00 p.m.    Pre-registration/Wine and Cheese Reception

Monday, November 9th

8:00 a.m.    Registration/Coffee
9:00 - 9:30    Introductions
9:30 - 10:30    Keynote Address
        "Resolution Systems for Non-Classical Logics"
        Grigory Mints, Stanford University, USA
10:30 - 11:00    Break
11:00 - 12:30    Session 1 - Unification

        "Checking the Soundness of Resolution Schemes"
        B. Dumant - Digital, France

        "Higher-Order E-Unification for Arbitrary Theories"
        Z. Qian, K. Wang - Univ. of Bremen, Germany

        "A Predicate Transformer for Unification"
        L. Colussi - Univ. of Padova, Italy
        E. Marchiori - Centre for Mathematics & Computer
        Science, The Netherlands

        Session 2 - Programming Languages Issues

        "Integrating Modes and Subtypes into a Prolog Type-Checker"
        Y. Rouzaud, L.N. Phuong, Inst. of Information and
        Applied Mathematics, Grenoble, France

        "Communicationg Clauses: Towards Synchronous Communication in
        Contextual Logic Programming"
        J.-M. Jacquet - Univ. of Namur, Belgium
        L. Monteiro - Univ. Nova de Lisboa, Portugal

        "A Declarative View of Inheritance in Logic Programming"
        M. Bugliesi - Univ. of Padova, Italy

12:30 - 2:00    Lunch (Not Provided)
2:00 - 3:30    Session 3 - Verification 1

        "Observational Equivalences for Logic Programs"
        M. Gabbrielli, G. Levi & M. Chiara Meo - Univ. of Pisa, Italy

        "On Normal Forms and Equivalence for Logic Programs"
        J. Harland - Univ. of Melbourne, Australia

        "Proof Method of Partial Correctness and Partial Completeness
        for Normal Logic Programs"
        G. Ferrand - Univ. of Orleans & INRIA, France
        P. Deransart - INRIA, France

        Session 4 - Functions and Equations

        "Equational Logic Programming, Actions and Change"
        G. GroBe, S. Holldobler, J. Schneeberger, U. Sigmund &
        M. Thielscher - Technische Hochschule Darmstadt, Germany

        "On the Completeness of Residuation"
        M. Hanus - Max-Planck-Institut fur Informatik, Germany

        "Implementing a Lazy Functional Logic Language with Disequality
        Constraints"
        H. Kuchen - RWTH Aachen, Germany
        F.J. Lopez-Fraguas & M. Rodriguez-Artalejo - UCM Madrid, Spain
        J.J. Moreno-Navarro - UPM Madrid, Spain

3:30 - 4:00    Break
4:00 - 5:30    Session 5 - Constraints

        "A Constraint Solver in Finite Algebras and its Combination
        with Unification Algorithms"
        H. Kirchner & C. Ringeissen, CRIN-CNRS & INRIA, France

        "Records for Logic Programming"
        G. Smolka & R. Treinen - DFKI, Germany

        "A Constraint Logic Programming Scheme for Taxonomic Reasoning"
        M. Mamede & L. Monteiro - Univ. Nova de Lisboa, Portugal

        Session 6 - Deductive Databases

        "Controlling the Search in Bottom-Up Evaluation"
        R. Ramakrishnan, D. Srivastava, S. Sudarshan - Univ. of
        Wisconsin at Madison, USA

        "Query Restricted Bottom-up Evaluation of Normal Logic
        Programs"
        D.B. Kemp & P.J. Stuckey - Univ. of Melbourne, Australia
        D. Srivastava - Univ. of Wisconsin at Madison, USA

        "Deductive Databases with Incomplete Information"
        F. Dong & L.V.S. Lakshmanan - Concordia Univ., Canada

6:30 - 9:00    Reception - Portrait Gallery

Tuesday, November 10th

8:00 a.m.    Registration/Coffee
9:00 - 10:00    Invited Talk
        "The Derivation of Compositional Programs"
        K.M. Chandy, California Inst. of Technology, USA
10:00 - 10:30    Break
10:30 - 12:00    Session 7 - Verification 2

        "A Framework of Directionality for Proving Termination of
        Logic Programs"
        F. Bronsard & T.K. Lakshman - Univ. of Illinois at Urbana -
        Champaign, USA

        "Handling of Mutual Recursion in Automatic Termination Proofs
        for Logic Programs"
        G. Groger & L. Plumer - Univ. of Bonn, Germany

        "Synthesis and Transformation of Logic Programs in the Whelk
        Proof Development System"
        G.A. Wiggins, Univ. of Edinburgh, Scotland

        Session 8 - Implementation 1

        "Incremental Garbage Collector for WAM-Based Prolog"
        W.J. Older & J.A. Rummell - Bell Northern Research, Canada

        "Improving Backward Execution in the Andorra Family of
        Languages"
        S. Abreu & L.M. Pereira - Univ. Nova de Lisboa, Portugal
        P. Codognet - INRIA, France

        "jc: An Efficient and Portable Sequential Implementation
        of Janus"
        D. Gudeman & S.K. Debray - Univ. of Arizona, USA
        K. DeBosschere - Electronics Laboratory, Belgium

12:00 - 1:30    Lunch (Not Provided)
1:30 - 3:00    Advanced Tutorials

        "Many-valued Logics and Their Use in Logic Programming"
        M. Fitting, H.H. Lehman College, CUNY, USA

        "Concurrent Logic Programming"
        E. Tick, Univ. of Oregon, USA

3:00 - 3:30    Break
3:30 - 5:00    Session 9 - Negation 1

        "Autoepistemic Logics as a Unifying Framework for the Semantics
        of Logic Programs"
        P.A. Bonatti - Univ. of Pisa, Italy

        "Negation as Failure in Intuitionistic Logic Programming"
        L. Giordano & N. Olivetti - Univ. of Torino, Italy

        "The Stable Models of a Predicate Logic Program"
        V.W. Marek - Univ. of Kentucky, USA
        A. Nerode - Cornell Univ., USA
        J. Remmel - Univ. of California at San Diego, USA


        Session 10 - Concurrent Logic Programming

        "A Process Algebra of Concurrent Constraint Programming"
        F.S. de Boer - Technical Univ. of Eindhoven, The Netherlands
        C. Palamidessi - Univ. of Pisa, Italy

        "Schedule Analysis of Concurrent Logic Programs"
        A. King & P. Soper - Univ. of Southampton, UK

        "Variable Threadedness Analysis for Concurrent Logic Programs"
        R. Sundararajan, A.V.S. Sastry & E. Tick - Univ. of Oregon, USA

Evening     ALP Executive Meeting

Wednesday, November 11th

8:00 a.m.    Registration/Coffee
9:00 - 10:00    Invited Talk
        "The Logic of Architecture"
        W.J. Mitchell - Harvard Univ., USA
10:00 - 10:30    Break
10:30 - 12:00    Session 11 - Meta and Higher-Order Programming

        "A Perfect Herbrand Semantics for Untyped Vanilla
        Meta-Programming"
        B. Martens & D. De Schreye - Katholieke Univ. Leuven, Belgium

        "Meta-Programming through Truth Predicate"
        T. Sato - Electrotechnical Laboratory, Japan

        "Interactive Synthesis of Definite-Clause Grammars"
        J. Haas & B. Jayaraman - SUNY at Buffalo, USA

        Session 12 - Negation 2

        "Describing Action and Change by Logic Programs"
        M. Gelfond - Univ. of Texas at El Paso, USA
        V. Lifschitz - Univ. of Texas at Austin, USA

        "On Logic Program Semantics with Two Kinds of Negation"
        J.J. Alferes & L.M. Pereira - Univ. Nova de Lisboa, Portugal

        "A Practical Approach to Computing the Well Founded Semantics"
        W. Chen - Southern Methodist Univ., USA
        D.S. Warren - SUNY at Stony Brook, USA

12:00 - 1:30    Lunch (Not Provided)
1:30 - 3:00    Advanced Tutorials

        "Deductive and Object Oriented Databases"
        S. Abiteboul - INRIA, France

        "Linear Logic"
        A. Troelstra - Univ. of Amsterdam, The Netherlands

3:00 - 3:15    Break
3:15 - 4:15    Session 13 - Linear Logic

        "Herbrand Methods in Sequent Calculi: Unification in LL"
        S. Cerrito - Univ. of Paris XI, France

        "Specifying Filler-Gap Dependency Parsers in a Linear
                   Logic Programming Language"
        J.S. Hodas - Univ. of Pennsylvania, USA

        Session 14 - Implementation 2

        "Multistage Indexing Algorithms for Speeding Prolog
        Execution"
        T. Chen & I.V. Ramakrishnan - SUNY at Stony Brook, USA
        R. Ramesh - Univ. of Texas at Dallas, USA

        "Weighted Decision Trees"
        S. Debray, S. Kannan & M. Paithane - Univ. of Arizona, USA

4:30 - 5:30    Session 15 - Abduction

        "A Query Evaluation Method for Abductive Logic Programming"
        K. Satoh & N. Iwayama - Inst. for New Generation Computer
        Technology, Japan

        "SLDNFA: An Abductive Procedure for Normal Abductive Programs"
        M. Denecker & D. De Schreye - Katholieke Univ. Leuven, Belgium

        Session 16 - Implementation of Parallelism

        "Exploiting Or-Parallelism in Optimisation Problems"
        P. Szeredi - IQSoft, Hungary

        "Prometheus: An And/Or Parallel Prolog - A High Level View"
        K. Shen, Univ. of Bristol, UK

5:30 - 7:00    ALP General Meeting
7:00        Banquet

Thursday, November 12th

8:00 a.m.    Registration/Coffee
9:00 - 10:00    Invited Talk
        "Empirical Semantics for Defeasible Databases"
        J. Pearl - Univ. of California, USA
10:00 - 10:30    Break
10:30 - 12:00    Session 17 - Program Analysis

        "Understanding Finiteness Analysis Using Abstract
        Interpretation"
        P. Bigot & S. Debray - Univ. of Arizona, USA
        K. Marriott - IBM T.J. Watson Research Center, USA

        "Reexecution in Abstract Interpretation of Prolog"
        B. Le Charlier, Univ. of Namur, Belgium
        P. Van Hentenryck - Brown Univ., USA

        "Practical Aspects of Set Based Analysis"
        N. Heintze - Carnegie Mellon Univ., USA

        Session 18 - Semantics

        "Normal Logic Programs as Open Positive Programs"
        A. Brogi & P. Mancarella - Univ. of Pisa, Italy
        E. Lamma & P. Mello - Univ. of Bologna, Italy

        "Classifying Semantics of Disjunctive Logic Programs"
        J. Dix - Univ. of Karlsruhe, Germany

        "Propositional Semantics for Disjunctive Logic Programs"
        R. Ben-Eliyahu - Univ. of California at Los Angeles, USA
        R. Dechter - Univ. of California at Irvine, USA

12:00 - 1:30    Lunch (Not Provided)
1:30 - 3:00    Advanced Tutorials

        "Logic Programming and Genetic Sequence Analysis"
        R. Overbeek - Argonne National Laboratory, USA

        "Practical Aspects of Abstract Interpretations"
        M. Hermenegildo - Univ. Politecnica de Madrid, Spain
3:00 - 3:30    Break

3:30 - 4:30    Panel on Prolog
        Chair: K. Bowen, USA

4:30 - 6:00    Historical Session: The Past is Prologue
        Chair: J. Minker, USA

        Participants:
        Keith Clark
        Ted Elcock
        Cordell Green
        Carl Hewitt
        Robert Kowalski
        Philippe Roussel
        Alan Robinson
        David H.D. Warren

Friday, November 13th

9:00 a.m. - 8:00 p.m.    Post Conference Workshops

Saturday, November 14th

9:00 a.m. - 5:00 p.m.    Post Conference Workshops

______________________________________

SOCIAL EVENTS

A reception will be held on Monday, November 9th at the Smithsonian's Portrait
Gallery for the opening of the Rembrandt Peale exhibition. R. Peale lived at
the end of the 18th century and was an outstanding U.S. portraitist. Following
the viewing of the exhibit, a reception will be held in the hall of the
gallery where Abraham Lincoln had his second inaugural ball.

A banquet will also be held which will feature the premier performance of the
internationally famous "Logic Programming Trio" consisting of Jacques "Jascha"
Cohen on the violin, Koichi "Yo Yo" Furukawa on the cello and Alan "Arturo"
Robinson on the piano. Not only are the members of the trio outstanding
researchers in logic programming, but they are accomplished musicians. This
will be an exciting event that everyone will enjoy.

The trio will perform Mendelssohn's Opus 49 in D Minor.

_____________________________________

POST CONFERENCE WORKSHOP SCHEDULE

W1 - Structural Complexity and Recursion-theoretic Methods in Logic Programming
Friday, November 13th, 8:00 a.m. - 2:00 p.m.

Organizers:    Howard Blair (Syracuse Univ., USA)
        Victor Marek (Univ. of Kentucky, USA)
        Anil Nerode (Cornell Univ., USA)
        Jeffrey Remmel (Univ. of California at San Diego, USA)
Contact:    Howard Blair - [e-mail]
FAX: [phone], Tel.: [phone]

Various semantics such as completion semantics, well-founded semantics and
minimal semantics remain to be understood from the point of view of comput-
ability or complexity theory. We do not know how the subrecursive hierarchies
reflect on the syntactic form of logic programs. It is not known what restric-
tions on the syntactic form of logic programs are imposed by requirements that
some particular classes of sets and functions be computed by programs. These,
and related issues including complexity of proof procedures, will be the
subject of this workshop. Some invited talks are planned.

W2 - Proofs and Types
Friday, November 13th, 8:00 a.m. - 8:00 p.m.

Organizers:    James Harland (Melbourne, Australia)
        Frank Pfenning (CMU, USA)
        David Pym (Edinburgh, UK)
Contact:    Frank Pfenning - [e-mail]
Tel.  [phone]

Interest in finding sound proof-theoretic and type-theoretic foundations for
existing and extended logic programming languages has increased rapidly over
the last few years. This workshop is intended to provide a forum for
researchers to exchange ideas on the influence of proof theory and type theory
on the future development of the field of logic programming. The workshop
will address language theory, implementation and compilation techniques, and
applications.

W3 - Modules in Logic Programming Languages
Friday, November 13th, 8:00 a.m. - 8:00 p.m.

Organizers:    Pierre Deransart (INRIA, France)
        Areski Nait-Abdallah (Western Ontario, Canada)
Contact:    Pierre Deransart - [e-mail]
        INRIA-Rocquencourt, BP 105, F-78153 Le Chesnay Cedex, France

Tel.:  [phone], Fax: [phone]

A realistic development of logic programming requires the possibility of using
modules. The notion of modules is an open research field in logic programming.
It is also a topic of current interest in the ISO standardization group for
Prolog SC22/WG17. The aim of the workshop is to provide an opportunity for
debating the practice, theory, and implementation of modules in logic
programming languages. This workshop invites theoreticians and practitioners
within the area to meet and to compare their views. The workshop will also
include invited talks by Maarten van Emden, Areski Nait Abdallah, Antonio
Porto, John Lloyd, Dale Miller, Bart Demoen, and Marie-Claude Gaudel.

W4 - Constraint Logic Programming Systems: Design and Application
Friday, November 13th, 8:00 a.m. - 8:00 p.m.

Organizers:    Henri Beringer (IBM, France)
        Edward Freeman (US West, USA)
        Carol Tretkoff (Brooklyn College, USA)
Contact:    Carol Tretkoff - [e-mail]
FAX: [phone], Tel.: [phone]

Constraint logic programming systems have been developed and implemented in
universities and industry around the world and they have dramatically increased
the potential applications of logic programming. This workshop will address
the issues involved in building CLP systems and in developing applications of
these systems to various fields such as operations research, decision support
systems/expert systems, AI and theorem proving, and graphics.

W5 - Logic Programming Environments
Friday, November 13th, 2:15 - 8:00 p.m.

Organizers:    Mireille Ducasse (ECRC, Germany)
        Yow-Jian Lin(Bellcore, USA)
        Umit Yalcinalp (BP Research, USA)
Contact:    Umit Yalcinalp - [e-mail]
FAX: [phone], Tel.: [phone]

Logic programming is becoming more widely used in solving real-life problems
and building applications. This workshop is intended to discuss complete
architectures, specific techniques, and tools for environments needed for
the development and maintenance of large software systems. We focus parti-
cularly on the following areas: debugging, testing, explanation, reverse-
engineering, shells, tools for expert system development, software evolution
support, and CSCW (Computer Supported Cooperative Work) environments for
joint development.

W6 - Joint Workshop on Distributed and Parallel Implementation
Friday, November 13th, 8:00 a.m. - 8:00 p.m.
Saturday, November 14th, 8:00 a.m. - 11:00 a.m.

Workshop A:    Distributed Implementation
Organizers:    Peter Kacsuk (Budapest, Hungary)
        Michael Wise (Sydney Univ., Australia)

Workshop B:    Concurrency and Parallelism
Organizers:    G. Succi (Genova, Italy)
        D. Talia (CRAI - Italy)

Co-ordinating Organizer: Doug Degroot (TI, USA)
Contact:         Doug Degroot - [e-mail]
FAX: [phone], Tel.: [phone]

The main objectives of the workshop are to present and discuss recent results
in the field of implementing logic programming systems on distributed memory
multicomputers, shared memory multiprocessors and SIMD machines. Contributors
are invited but not limited to address topics like parallel and distributed
abstract machines, load balancing and scheduling, program analysis and compile
time parallelization, concurrent and distributed languages, and exploiting data
parallelism.

W7 - Deductive Databases
Saturday, November 14th, 8:00 a.m. - 8:00 p.m.

Organizers:    Guozhu Dong, James Harland, and Ramamohanarao Kotagiri
        (Univ. of Melbourne, Australia)
Contact:    Ramamohanarao Kotagiri - [e-mail]
FAX: [phone], Tel.: [phone]

The development of deductive database systems, which apply logic programming
techniques to the relational database model, has been of growing interest
in recent years, and has resulted in a significant amount of interaction
between researchers of varying backgrounds. This workshop is intended to
provide a forum for theoreticians, implementors, and those involved in
applications to exchange ideas on the development of deductive database
systems. Topics may include(but need not be limited to) program transfor-
mations, parallel and distributed execution, optimization and implementation
techniques, and applications.

W8 - Linear Logic
Saturday, November 14th, 8:00 a.m. - 8:00 p.m.

Organizers:    Jean-Yves Girard (CNRS, France)
        Dale Miller (Univ. of Pennsylvania, USA)
        R. Pareschi (ECRC, Germany)
Contact:    Dale Miller - [e-mail]
FAX: [phone], Tel.: [phone]

Declarative programming languages often fail to address many aspects of control
and resource management. Linear logic provides a framework for strengthening
declarative programming languages to embrace these aspects. Linear logic has
been used to give new analyses of Prolog's operational semantics as well as
to provide a basis for new logic programming languages. This workshop is
intended to bring together researchers involved in all aspects of relating
linear logic and logic programming. A tutorial is planned.

______________________________________

                 *************************************************
        *                        *
        *  Exhibits will be displayed from Monday,     *
        *  November 9th thru Thursday, November 12th.    *
        *                        *
        *************************************************

______________________________________

                TRAVEL AND LOGISTICS

ABOUT THE CITY
--------------

Washington D.C. is much more than a political hub -- it's a small southern
town, a mecca for museums, historic sites, and home for more than half a
million people. The city's marble monuments, numerous festivals and cele-
brations, scores of international restaurants and many other attractions
also make Washington a visitor's paradise.

The heart of the city is the Mall, a broad, two-mile long setting for the
nation's showpieces. This beautifully landscaped grass field stretches from
the foot of the Capitol past the Smithsonian Institution museums and behind
the White House, ending at the Lincoln Memorial. Away from the national
monuments and halls of power are Washington's architecturally and culturally
diverse neighborhoods, from the ethnically rich Adams Morgan and DuPont Circle
to Embassy Row, Georgetown and the natural beauty of Rock Creek Park.

ACCOMODATIONS
-------------

The Ramada Renaissance Techworld Hotel is located directly across the street
from the Washingto, D.C. Convention Center; just six blocks from the White
House, and within walking distance of the Capitol and the Mall area. Hotel
guests have access to the Techworld Swim & Fitness Club which houses various
weight machines, a 60 foot indoor swimming pool, steam rooms, whirlpools and
offers aerobics classes throughout the day and evening. Dining facilities
within the hotel include Floreale Restaurant, Cafe Florentine and the Marco
Polo Lounge.

AIRLINE DISCOUNTS
-----------------

Special discounts on air fares are available through Travel-On Travel
Management Agency. For airline reservations and special car rental rates, call
Travel-On at 1-800-333-1225 and please refer to account #C-65.

Reservations can be made Monday thru Friday 8:30 a.m. to 5:00 p.m. EST. Travel-
On's FAX number is 1-301-530-2409 until August 31st; after the 31st the new
FAX number will be 1-301-565-0606.

Tickets will be mailed directly to you and every ticketed passenger will
receive $200,000 automatic flight insurance at no extra charge. Travel-On will
assist you with your seating assignments and boarding passes along with
credit for frequent flyer programs.

DIRECTIONS TO THE RAMADA RENAISSANCE TECHWORLD HOTEL

BY METRO FROM NATIONAL AIRPORT
------------------------------

Take the Blue Line. Disembark at the Metro Center station. Use the 9th & G Sts.
exit. Walk North (against the traffic) on 9th St. for 2 1/2 blocks.

BY AUTOMOBILE
-------------

From the North (NY, NJ PA):
Take 95 South to the Baltimore/Washington Parkway toward Washington. Take the
New  York Avenue exit. At 5th St., stay to the right; 5th St. will become
L ST. Take L St. to 9th, make a left on 9th to New York Ave.

From Virginia:
Take 395 North into Washington. Take the 12th St. exit. Follow 12th St. to New
York Ave. Turn right onto New York Ave. Follow New York Ave. to 9th St.

From the West (Dulles):
Take 66 East to Constitution Ave. Follow Constitution Ave. to 12th St. Turn
right onto 12th St. Turn right onto New York Ave. Follow New York Ave. to 9th
St.

From the East (Annapolis)
Take 50 West to New York Ave. At 5th St., stay to the right; 5th St. will
become L St. Follow L St. to 9th St. Turn left on 9th to New York Ave.

From I-270 (Frederick, MD)
Take I-270 to the Capital Beltway (495 West). Follow the Beltway to the George
Washington Parkway. Exit the GW Parkway at 395 North (14th St. Bridge). Follow
395 North to 12th St. Follow 12th St. to New York Ave. Turn right onto New
York Ave. Follow New York Ave. to 9th St.

_______________________________________________________________________________

                HOTEL RESERVATION REQUEST

Ramada Renaissance Techworld
999 9th Street, N.W.
Washington, D.C. 20001
202-898-9000

      1992 Joint International Conference & Symposium on Logic Programming
                November 8 - 14, 1992

ADVANCE DEPOSIT
All reservations require a one night's deposit (including 11% tax plus $1.50
per room per night occupancy tax) to guarantee the reservation. Payment can be
made by: A) An enclosed check or money order covering the first night's stay
or B) Major credit card number with expiration date and signature. The Ramada
Renaissance Techworld will not hold your reservation after 6:00 p.m. on the
day of arrival without guaranteeing the reservation with one of the above.
Deposits will be refunded only if cancellation is received at least 24 hours
prior to arrival.

*Reservations received after 10/18/92 or after the room block has been filled
are subject to availability and prevailing rates. The rates provided are
discounted for this conference and will not be available after the room block
has been filled.*

                -------------------------------------------------

                     PLEASE PRINT OR TYPE

Date of Arrival _______    Time of Arrival ________ Date of Departure ________

        Check-in time: 3:00 p.m. Check-out time: 12 noon

Name    ______________________________________________________________________

Affiliation __________________________________________________________________

Address    ______________________________________________________________________

    ______________________________________________________________________

    ______________________________________________________________________

Tel. #    ______________________________________________________________________

Sharing room with ____________________________________________________________

Guaranteed by one of the following:

___ Check or money order enclosed    ___ American Express    ___ VISA

___ Discover    ___ Master Card       ___ Carte Blanche    ___ Diner's Club

Amount _____________________  Card # _________________________________________

Expiration Date ___________ Signature ________________________________________

                  * Indicate room requirements below*
_____________________________________________________________________________
                      Conference Rates
                      _________________

Type of Room          |    # of Rooms  |    Main Hotel  |    Club Tower **
___________________________________________________________________
Single (1 person)     |             |   $127        |   $185
___________________________________________________________________
Double (2 people)     |             |   $148        |   $206
___________________________________________________________________
Student (single)      |             |   $90         |\\\\\\\\\\\\\\
(1 person)++          |             |               |\\\\\\\\\\\\\\
___________________________________________________ |\\\\\\\\\\\\\\
Student (double)      |             |   $110        |\\\\\\\\\\\\\\
(2 people)++          |             |  ($55/person  |\\\\\\\\\\\\\\
_______________________________________________________________________________

** Club Tower accommodations include Continental Breakfasts and use of the Club
Tower lounge in addition to special guest room services and amenities.

++ A limited number of rooms will be available for students ($25 per night
extra for each additional person over 2 people). Students in need of a room-
mate should contact Dawn Vance ([e-mail]) no later than Oct. 18th.

        Mail this reservation form to:

        Reservations
        Ramada Renaissance Techworld
        999 9th Street, N.W.
        Washington, D.C. 20001

_______________________________________________________________________________

                      REGISTRATION FORM

      1992 Joint International Conference & Symposium on Logic Programming

            Ramada Renaissance Techworld
            Washington, D.C.
            Symposium: November 9 - November 12, 1992
            Workshops: November 13 - 14, 1992

All members of ALP, ACM, IEEE, SIGART and SIGMOD are eligible for the discount
registration fee. Members must include the membership/organization number (one
affiliation only) in order to receive the discount. All students must submit
proof of student status either by submitting a photocopy of your student
identification or a letter from your advisor.

Refund Policy: Written requests for refunds must be received by Dawn Vance no
later than October 31, 1992. Refunds are subject to a $50 processing fee. Those
who do not request a refund by the deadline will be billed in full.

                    Please Print or Type

Name:        ______________________________________________________________

Affiliation:    ______________________________________________________________

Address:    ______________________________________________________________

        ______________________________________________________________

Email:        ______________________________________________________________

FAX:        _______________________ Tel.: ________________________________

Membership organization: ___________________ Membership # ____________________

Dietary Restriction:  Kosher ______  Vegetarian ______ Other _________________

Payment of registration fees: CREDIT CARD PAYMENTS WILL NOT BE ACCEPTED.
Acceptable forms of payment are: bank check, personal check, money order,
purchase order or traveler's check. ALL PAYMENTS MUST BE MADE IN U.S. DOLLARS.
ALL PAYMENTS MUST BE MADE PAYABLE TO: JICSLP 92.

                           Return this form to:
               Ms. Dawn Vance
               JICSLP 92
               UMIACS
               A.V. Williams Building
                   University of Maryland
                   College Park, MD 20742, USA
               Email: [e-mail]
                   FAX:[phone]
               Tel.:[phone]

      ____________________________________________________________________
          Please clearly indicate the appropriate item(s) below

Symposium Fee- Includes technical sessions, tutorials, conference materials,
reception and banquet.


        Prior to Oct. 5th              After Oct. 5th

Member               $395               $425
Non-Member             $425                        $450
Student               $180                 $195

Banquet: The banquet is not included in the student fee. Additional banquet
tickets for guests and students may be purchased for $45 per ticket.

Workshop Fees:
$30 - Full day sessions      $15 - half day session      Workshop #6 - $40

             Please check the appropriate workshop(s)

     W1 ___   W2 ___   W3 ___   W4 ___  W5 ___  W6 ___  W7 ___  W8 ___


           TOTAL PAYMENT US $ __________________

Participants paying full or student registration are given a year's free
automatic membership to the Association for Logic Programming.

_______________________________________________________________________________



               Call for Participation

        Logic Programming as an Introductory
            Programming Paradigm

        Informal Birds-of-a-Feather Session

        Joint International Conference and
        Symposium on Logic Programming '92

              Tuesday, Nov 10th, 1992
               6:00PM -- 8:30PM

          Organizers: J. Reinfelds and G. Gupta

This informal session is  devoted to  discussion on  using  the  logic
programming  paradigm to teach programming to beginners. The  emphasis
is on  teaching  logic  programming (rather than Prolog), and  the aim
is to induce beginners to learn ``declarative thinking." This approach
can be  contrasted with  the functional programming  approach that has
been becoming increasingly popular recently.

The discussion  is open to  all the participants in the conference who
are  invited  to present  their  views on  (but  not  limited  to) the
following issues:

1) Why is  Logic  Programming  a  more  suitable paradigm for teaching
    programming to beginners?
2) Is there a need for  using LP for this purpose, or is FP enough, or
    is some other approach better?
3) How to evaluate the success of such an enterprise?
4) Your  experiences  related  to  using  LP  to  teach programming to
    beginners.

Dissenting views are specially welcome.

As part of the session  we will  relate our  experience  with using LP
(and a closely co-ordinated  sister course in discrete Math and Logic)
to teach programming to Freshman students  at New Mexico State. Others
are welcome to relate their experiences too.

Please note  that the primary focus of the session will be on teaching
logic programming to beginner programmers. Discussion related to teach-
ing Logic Programming to people other than beginners is not encouraged.

Please  send email (to [e-mail]  or  [e-mail]) if  you are
interested in participating. Please indicate in your email if you just
want to attend the session or  whether you  intend to  present a short
position paper too.

---------------------------------------------------------------------
Gopal Gupta
Department of Computer Science       email: [e-mail]
Box 30001, Dept. 3CU                    [e-mail]
New Mexico State University       Ph: [phone]
Las Cruces, NM 88003-0001       Fax: [phone]
USA
-------------------------------------------------------------------------------