conery@uoregon.UUCP (conery) (05/17/85)
-- Preliminary Schedule --
-- 1985 Symposium on Logic Program --
For more information, contact:
John Conery (jc@uoregon.csnet) 503-686-4408
Jacques Cohen (jc@brandeis.csnet) 617-647-3370
MONDAY, July 15
Tutorials (Two parallel sessions, 9:00 - 4:30) (Two more tutorials on Friday)
"Expert Systems Using Prolog", Bob Kowalski, Imperial College
"Parallel Logic Programming", Gary Lindstrom, Univerity of Utah
8:00 p.m. - 10:00 p.m. Early Registration and Reception
TUESDAY, July 16, 1985
8:00 a.m. - 9:00 a.m. Registration
9:00 a.m. - 10:30 a.m. KEYNOTE SPEAKER: Robert Kowalski, Imperial College
London, England
11:00 a.m. - 12:30 p.m. PARALLELISM
Semi-intelligent Backtracking of Prolog Based on a
Static Data Dependency Analysis, Jung-Herng Chang
and Alvin M. Despain, University of California,
Berkeley
User-defined Parallel Control Strategies, J. I.
Glasgow, M. A. Jenkins, and C. D. McCrosky,
Queen's University, Canada
AND-parallelism with Intelligent Backtracking for
Annotated Logic Programs, J. Maluszynski, Linkoping
University and P. Dembinski, Chalmbers University of
Technology, Sweden
12:30 p.m. - 2:00 p.m. Lunch
2:00 p.m. - 3:30 p.m. EXTENSIONS
An experiment in Programming with Full First-Order
Logic, Zerkis D. Umrigar and Vijay Pitchumani,
Syracuse University
A Meta-Level Extension of Prolog, Kenneth A. Bowen,
Syracuse University, and Tobias Weinberg, Digital
Equipment Corporation
Logic Programming Cum Applicative Programming, Nachum
Dershowitz and David Plaisted, University of
Illinois at Urbana Champaign
3:30 p.m. - 4:00 p.m. Coffee Break
4:00 p.m. - 5:30 p.m. LANGUAGE ISSUES
On the Treatment of Cuts in Prolog Source-Level
Tools, R. A. O'Keefe, University of Edinburgh,
United Kingdom
All Solutions Predicates in Prolog, Lee Naish,
University of Melbourne, Australia
Unification-free Execution of Logic Programs,
Jan Komorowski, Aiken Computation Laboratory,
Harvard University and Jan Maluszynski,
Linkoping University, Sweden
Wednesday, July 17, 1985
9:00 a.m. - 10:30 a.m. INVITED SPEAKER
Dr. Herve Gallaire, European Computer Research
Center, Munich, West Germany
10:30 a.m. - 11:00 a.m. Coffee break
11:00 a.m. - 12:30 p.m. CONCURRENT PROLOG
Concurrent Prolog in a Multi-process Environment,
Rosanna Lee and Randy Goebel, University of
Waterloo, Canada
A sequential Implementation of Concurrent Prolog
Based on the Shallow Binding Scheme, Toshihiko
Miyazaki, Akikazu Takeuchi and Takashi Chikayama,
ICOT, Japan
12:30 p.m. - 2:00 p.m. Lunch
2:00 p.m. - 3:30 p.m. SEMANTICS
The Declarative Semantics of Logical Read-only
Variables, G. Levi and C. Palamidessi,
Universita'di Pisa, Italy
Narrowing as the Operational Semantics of Functional
Languages, Uday Reddy, University of Utah
Towards an Algebra for Constructing Logic Programs,
R.A. O'Keefe, University of Edinburgh, United
Kingdom
3:30 p.m. - 4:00 p.m. Coffee Break
4:00 p.m. - 5:30 p.m. IMPLEMENTATION ISSUES
A Microcoded Unifier for Lisp Machine Prolog, Mats
Carlssn, Uppsala University, Sweden
SLOG: A Logic Programming Language Interpreter Based
on Clausal Superposition and Rewriting, Laurent
Fribourg, Laboratoires de Marcoussis, France
A Real Time Garbage Collector for Prolog, Edwin
Pittombils and Maurice Bruynooghe, K.U. Leuven,
Belgium
Evening Banquet
Speaker Dr. Maurice Wilkes, Digital Equipment Corporation
Thursday, July 19, 1985
9:00 a.m. - 10:30 a.m. THEORY
Recursive Unsolvability of Determinacy, Solvable
Cases of Determinacy, and Their Applications to
Prolog Optimization, Jajime Sawamura and Taku
Takeshima, International Institute for Advanced
Study of Social Information Science, Japan
Graph-based Logic Programming Interpreters, Jean
Gallier and Stan Raatz, University of Pennsylvania
Surface Deduction: A Uniform Mechanism for Logic
Programming, P. T. Cox and T. Pietrzykowski,
Technical University of Nova Scotia, Canada
10:30 a.m. - 11:00 a.m. Coffee Break
11:00 a.m. - 1:00 p.m. SPECIAL TOPICS
Towards a Programming Environment for Large
Prolog Programs, Jan Chomicki and Naftaly H.
Minsky, Rutgers University
Modular Logic Programming of Compilers, Harald
Ganzinger and Michael Hanus, University Dortmund,
West Germany
An(other) Integration of Logic and Functional
Programming, Amitabh Srivastava, Don Oxley and
Aditya Srivastava, Central Research Laboratories,
Texas Instruments, Inc.
A Technique for Doing Lazy Evaluation in Logic,
Sanjai Narain, Rand Corp.
FRIDAY July 19
Tutorials: (Two concurrent sessions, 9:00 - 4:30)
"Concurrent Logic Programming Techniques", Ehud Shapiro, Weizmann Institute
"Prolog and Software Engineering", Susan Gerhart, Wang Institute.