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.