PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (01/13/86)
PROLOG Digest Tuesday, 14 Jan 1986 Volume 4 : Issue 2 Today's Topics: Announcements - '86 SLP & OOPSLA86 ---------------------------------------------------------------------- Date: Wed 11 Dec 85 11:42:33-MST From: "Robert M. Keller" <Keller@UTAH-20.ARPA> Subject: '86 SLP notice '86 SLP Call for Papers Third Symposium on Logic Programming Sponsored by the IEEE Computer Society September 21-25, 1986 Westin Hotel Utah Salt Lake City, UT The conference solicits papers on all areas of logic programming,including, but not confined to: Applications of logic programming Computer architectures for logic programming Relationships between logic programming and other language forms New language features Logic programming systems and implementation Parallel logic programming models Performance Theory Please submit full papers, indicating accomplishments of substance and novelty, and including appropriate citations of related work. The suggested page limit is 25 double-spaced pages. Send eight copies of your manuscript no later than 15 March 1986 to: Robert M. Keller SLP '86 Program Chairperson Department of Computer Science University of Utah Salt Lake City, UT 84112 Acceptances will be mailed by 30 April 1986. Camera-ready copy will be due by 30 June 1986. Conference Chairperson Exhibits Chairperson Gary Lindstrom, University of Utah Ross Overbeek, Argonne NL Tutorials Chairperson Local Arrangements Chair George Luger, University of New Mexico Thomas C. Henderson, UTAH Program Committee Francois Bancilhon, MCC Peter Kogge, IBM John Conery, University of Oregon William Kornfeld, Quintus Al Despain, U.C. Berkeley Gary Lindstrom, UTAH Seif Haridi, Royal Institute, Stockholm George Luger, Univ. N.Mexico Herve Gallaire, ECRC, Munich Ross Overbeek, Argonne NL Lynette Hirschman, SDC Mark Stickel, SRI Robert Keller, University of Utah Sten Ake Tarnlund, Uppsala ------------------------------ Date: Fri, 13 Dec 85 15:48:07 PST From: Bay.pa@Xerox.ARPA Subject: Call for Papers OOPSLA86 Call For Papers and Participation ACM Conference on Object Oriented Programming Systems, Languages, and Applications September 29 - October 2, 1986, Portland, Oregon OOPSLA-86 is a new ACM-sponsored conference that brings together users and implementors of object oriented systems. Through tutorials, papers, panel discussions and workshops, as well as demonstrations, exhibits and videotapes, OOPSLA-86 will provide a forum for sharing experience and knowledge among experts and novices alike. We invite technical papers, case studies, and surveys in the following areas: Theory: Including core definition of object oriented programming, semantic models and methodology. Languages: Existing object oriented languages, extensions to conventional languages, and new languages. Implementation: Including architectural support, compilation and interpretation, and special techniques. Tools and Including user interfaces, utilities and operating Environments system support. Applications: Commercial, educational, and scientific applications that exploit object oriented programming. Related Work: The object oriented paradigm in other fields such as databases and operating systems. Papers on other relevant topics are welcome, as are proposals for workshops and panel discussions. All papers will be refereed prior to selection and inclusion in the conference proceedings. Technical papers will be selected on the basis of originality and contribution to the state of the art of design, implementation, methodology, or practice. Survey papers will be selected on the basis of how well they crystallize and integrate, in a way not previously presented, knowledge about one or more aspects of the field. Papers must be submitted in English, and should be no longer than 25 double-spaced pages. The cover page should include a title, an abstract of not more than 100 words, and author's name, affiliation, address and phone number. Five copies must be received by the Program Chairman at the address below, no later than April 1, 1986. Authors will be notified of acceptance by May 1, 1986, and final versions of accepted papers will be due by June 15, 1986. As the proceedings of this conference will be widely disseminated, publication of more than an abstract of a submitted paper is likely to inhibit republication in ACM's refereed publications. A room at the conference will be reserved for video presentations that illustrate or supplement the concepts conveyed in other presentations. Submissions must run no longer than 15 minutes, and should be on 3/4-inch U-Matic format tape. Tapes must be received by the Video Chairman at the address below, no later than July 1, 1986. ______________________________ Conference Chairmen Daniel Bobrow (Xerox PARC) Alan Purdy (Servio Logic Development) Program Chairman Daniel Ingalls, MS 22-Y Apple Computer 20525 Mariani Ave. Cupertino, CA 95014 Video Chairman David Robson Xerox PARC 3333 Coyote Hill Road Palo Alto, CA 94304 ------------------------------ End of PROLOG Digest ********************