Degroot.YKTVMV.IBM%Rand-Relay@sri-unix.UUCP (11/22/83)
From: Doug DeGroot <Degroot.YKTVMV.IBM@Rand-Relay> 1984 International Symposium on Logic Programming February 6-9, 1984 Atlantic City, New Jersey BALLY'S PARK PLACE CASINO Sponsored by the IEEE Computer Society Material Enclosed: Conference Calendar Conference Registration Form Hotel Registration Form Tutorial Description Conference Program Travel Notes __________________________________________________________ Registration Form Send your check and completed registration form to: Registration - 1984 ISLP Doug DeGroot, Program Chairman IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598 Name: _____________________________________________ Company/School: ___________________________________ Address:___________________________________________ ___________________________________________________ ___________________________________________________ Telephone: ________________________________________ STATUS Conference Tutorial Member, IEEE __ $155 __ $110 Non-member __ $180 __ $125 IEEE COMPUTER SOCIETY MEMBERSHIP NO.: ________ Late registration - add $15 (if after 1/30/84) Make check payable to: 1984 Int'l Symposium on Logic Programming Warning: Don't forget to send in your Hotel Registration Form as well. _____________________________________________________________ Hotel Registration Information The Symposium will take place in Bally's Park Place Casino. A large number of rooms have been reserved there. However, if they run out, additional rooms have been reserved at the Claridge and Sands hotels. Both are close to Bally's. I suggest you ask for a room at Bally's and indicate a second choice on your registration form. An official room registration form follows. Please fill it in and send it with the required deposit to Bally's immediately. Rooms are limited, so return your registration soon. Bally's Park Place Casino Hotel Park Place and the Boardwalk Atlantic City, New Jersey 08401 phone: (800) 772-7777 Make check payable to: Bally's Park Place Casino Hotel ____________________________________________________________ Hotel Registration Form 1984 Int'l Symposium on Logic Programming Bally's is the site of the conference itself. The Claridge and Sands also have a number of rooms reserved for us. All three offer the basic rate of $52.00 for a single or double. If Bally's becomes full, your registration form will be forwarded to your hotel of second choice. You may stay in one of these other hotels by simply not checking any of the Bally's slots. Name: ______________________________________________ Address:____________________________________________ ____________________________________________________ ____________________________________________________ Date of arrival: ___________________________________ Date of departure: _________________________________ Telephone: _________________________________________ CODE: LOGIC,ACLP Primary Choice __ Bally's single (one person, one bed) $52.00 __ Bally's double (two persons, one bed) $52.00 __ Bally's double/double (two persons, two beds) $52.00 __ Bally's one-bedroom suite $104.00 __ Bally's two-bedroom suite $156.00 __ Bally's triple $67.00 __ Bally's quadruple $82.00 Secondary Choice - Claridge or Sands __ Claridge single (one person, one bed) $52.00 __ Claridge double (two persons, one bed) $52.00 __ Claridge double/double (two persons, two beds) $52.00 __ Claridge one-bedroom suite $104.00 __ Claridge two-bedroom suite $156.00 __ Claridge triple $62.00 __ Claridge quadruple $72.00 __ Sands single (one person, one bed) $52.00 __ Sands double (two persons, one bed) $52.00 __ Sands double/double (two persons, two beds) $52.00 __ Sands triple $62.00 __ Sands quadruple $72.00 Reservations must be received by Jan 17, 1984. Send in both pages of the hotel registration form. Cancellations must be made 48 hours in advance to receive deposit. Send completed hotel registration forms to: Bally's Park Place Casino Hotel Park Place and the Boardwalk Atlantic City, New Jersey 08401 (800) 772-7777 ____________________________________________________________ Travel Notes Atlantic City, New Jersey is about a 3-4 hour drive from either the LaGuardia or JFK airports (but closer to JFK). It is a 1-1/2 hour drive from the Newark, New Jersey airport. It is about a 1 hour drive from the Philadelphia airport. You may want to rent a car. If so, check with Hertz for discount rates for the conference. If you want to fly straight into the Atlantic City airport, ask the person booking your flight to make Atlantic City your final destination. Tell them to use the code AL-AIY as the code for your final destination. This will book your final leg of the journey on an Alleghany Airline shuttle. If they cannot, ask for the code AIY. In this way, your overall flight costs should be greatly reduced. (The Alleghany shuttle is available from Washington, Newark, JFK, LaGuardia, and Philadelphia.) From the Atlantic City airport, you can take a 5-minute taxi to the hotel. _____________________________________________________________ Conference Overview Opening Address: Prof. J.A. (Alan) Robinson Syracuse University Guest Speaker: Prof. Alain Colmerauer Univeristy of Aix-Marseille II Marseille, France Keynote Speaker: Dr. Ralph E. Gomory, IBM Vice President & Director of Research, IBM Thomas J. Watson Research Center Tutorial: An Introduction to Prolog Ken Bowen, Syracuse University Entertainment - Three Cocktail Parties - Banquet - Casino Entertainment Show Presentations 35 Papers, 11 Sessions (11 Countries, 4 Continents) ___________________________________________________________ Conference Calendar February 6-9, 1984 Monday, February 6 - Late Registration for Conference - all day - Tutorial - An Introduction to Logic Programming 9:00 a.m. - 4:30 p.m. (registration required) - Cocktail Party - 7:00 - 8:00 p.m. Tuesday, February 7 - Conference Sessions - 9:00 a.m. - 6:00 p.m. - Cocktail Party - 7:00 p.m. - 8:00 p.m. - Banquet - 8:00 p.m. - 10:00 p.m. Wednesday, February 8 - Conference Sessions - 9:00 a.m. - 6:00 p.m. - Cocktail Party - 7:00 p.m. - 8:00 p.m. - Casino Entertainment Show - 10:00 p.m. - 12:00 p.m. Thursday, February 9 - Conference Sessions - 9:00 a.m. - 6:00 p.m. - Cash in your chips - 7:00 p.m. - ? ____________________________________________________________ Conference Program (Preliminary) Session 1: Architectures I __________________________ 1. Parallel Prolog Using Stack Segments on Shared-memory Multiprocessors Peter Borgwardt (Univ. Minn) 2. Executing Distributed Prolog Programs on a Broadcast Network David Scott Warren (SUNY Stony Brook, NY) 3. AND Parallel Prolog in Divided Assertion Set Hiroshi Nakagawa (Yokohama Nat'l Univ, Japan) 4. Towards a Pipelined Prolog Processor Evan Tick (Stanford Univ,CA) and David Warren Session 2: Architectures II ___________________________ 1. Implementing Parallel Prolog on a Multiprocessor Machine Naoyuki Tamura and Yukio Kaneda (Kobe Univ, Japan) 2. Control of Activities in the OR-Parallel Token Machine Andrzej Ciepielewski and Seif Haridi (Royal Inst. of Tech, Sweden) 3. Logic Programming Using Parallel Associative Operations Steve Taylor, Andy Lowry, Gerald Maguire, Jr., and Sal Stolfo (Columbia Univ,NY) Session 3: Parallel Language Issues ___________________________________ 1. Negation as Failure and Parallelism Tom Khabaza (Univ. of Sussex, England) 2. A Note on Systems Programming in Concurrent Prolog David Gelertner (Yale Univ,CT) 3. Fair, Biased, and Self-Balancing Merge Operators in Concurrent Prolog Ehud Shaipro (Weizmann Inst. of Tech, Israel) Session 4: Applications in Prolog _________________________________ 1. Editing First-Order Proofs: Programmed Rules vs. Derived Rules Maria Aponte, Jose Fernandez, and Phillipe Roussel (Simon Bolivar Univ, Venezuela) 2. Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience Lisa Hellerstein (MIT,MA) and Ehud Shapiro (Weizmann Inst. of Tech, Israel) Session 5: Knowledge Representation and Data Bases __________________________________________________ 1. A Knowledge Assimilation Method for Logic Databases T. Miyachi, S. Kunifuji, H. Kitakami, K. Furukawa, A. Takeuchi, and H. Yokota (ICOT, Japan) 2. Knowledge Representation in Prolog/KR Hideyuki Nakashima (Electrotechnical Laboratory, Japan) 3. A Methodology for Implementation of a Knowledge Acquisition System H. Kitakami, S. Kunifuji, T. Miyachi, and K. Furukawa (ICOT, Japan) Session 6: Logic Programming plus Functional Programming - I ____________________________________________________________ 1. FUNLOG = Functions + Logic: A Computational Model Integrating Functional and Logical Programming P.A. Subrahmanyam and J.-H. You (Univ of Utah) 2. On Implementing Prolog in Functional Programming Mats Carlsson (Uppsala Univ, Sweden) 3. On the Integration of Logic Programming and Functional Programming R. Barbuti, M. Bellia, G. Levi, and M. Martelli (Univ. of Pisa and CNUCE-CNR, Italy) Session 7: Logic Programming plus Functional Programming- II ____________________________________________________________ 1. Stream-Based Execution of Logic Programs Gary Lindstrom and Prakash Panangaden (Univ of Utah) 2. Logic Programming on an FFP Machine Bruce Smith (Univ. of North Carolina at Chapel Hill) 3. Transformation of Logic Programs into Functional Programs Uday S. Reddy (Univ of Utah) Session 8: Logic Programming Implementation Issues __________________________________________________ 1. Efficient Prolog Memory Management for Flexible Control Strategies David Scott Warren (SUNY at Stony Brook, NY) 2. Indexing Prolog Clauses via Superimposed Code Words and Field Encoded Words Michael J. Wise and David M.W. Powers, (Univ of New South Wales, Australia) 3. A Prolog Technology Theorem Prover Mark E. Stickel, (SRI, CA) Session 9: Grammars and Parsing _______________________________ 1. A Bottom-up Parser Based on Predicate Logic: A Survey of the Formalism and Its Implementation Technique K. Uehara, R. Ochitani, O. Kakusho, and J. Toyoda (Osaka Univ, Japan) 2. Natural Language Semantics: A Logic Programming Approach Antonio Porto and Miguel Filgueiras (Univ Nova de Lisboa, Portugal) 3. Definite Clause Translation Grammars Harvey Abramson, (Univ. of British Columbia, Canada) Session 10: Aspects of Logic Programming Languages __________________________________________________ 1. A Primitive for the Control of Logic Programs Kenneth M. Kahn (Uppsala Univ, Sweden) 2. LUCID-style Programming in Logic Derek Brough (Imperial College, England) and Maarten H. van Emden (Univ. of Waterloo, Canada) 3. Semantics of a Logic Programming Language with a Reducibility Predicate Hisao Tamaki (Ibaraki Univ, Japan) 4. Object-Oriented Programming in Prolog Carlo Zaniolo (Bell Labs, New Jersey) Session 11: Theory of Logic Programming _______________________________________ 1. The Occur-check Problem in Prolog David Plaisted (Univ of Illinois) 2. Stepwise Development of Operational and Denotational Semantics for Prolog Neil D. Jones (Datalogisk Inst, Denmark) and Alan Mycroft (Edinburgh Univ, Scotland) ___________________________________________________________ An Introduction to Prolog A Tutorial by Dr. Ken Bowen Outline of the Tutorial - AN OVERVIEW OF PROLOG - Facts, Databases, Queries, and Rules in Prolog - Variables, Matching, and Unification - Search Spaces and Program Execution - Non-determinism and Control of Program Execution - Natural Language Processing with Prolog - Compiler Writing with Prolog - An Overview of Available Prologs Who Should Take the Tutorial The tutorial is intended for both managers and programmers interested in understanding the basics of logic programming and especially the language Prolog. The course will focus on direct applications of Prolog, such as natural language processing and compiler writing, in order to show the power of logic programming. Several different commercially available Prologs will be discussed and compared. About the Instructor Dr. Ken Bowen is a member of the Logic Programming Research Group at Syracuse University in New York, where he is also a Professor in the School of Computer and Information Sciences. He has authored many papers in the field of logic and logic programming. He is considered to be an expert on the Prolog programming language.