From crabapple.srv.cs.cmu.edu!pt.cs.cmu.edu!trg Fri Oct 25 12:31:00 EDT 1991 Article: 26775 of comp.arch Newsgroups: comp.arch Path: crabapple.srv.cs.cmu.edu!pt.cs.cmu.edu!trg From: trg+@cs.cmu.edu (Thomas Gross) Subject: Call for Papers: ASPLOS V Message-ID: <1991Oct25.151857.123052@cs.cmu.edu> Date: Fri, 25 Oct 91 15:18:57 GMT Organization: School of Computer Science, Carnegie Mellon Nntp-Posting-Host: ius3.ius.cs.cmu.edu Originator: trg@IUS3.IUS.CS.CMU.EDU Lines: 143 Call for Papers Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V) Boston, Massachusetts October 12-15, 1992 Rapid advances in hardware We also solicit proposals for technology, compilers, presentations of innovative operating systems, and systems that will be announced computer architecture provide before the conference but not a rich environment for design by the deadline for paper alternatives. The fifth submissions. Contact the ASPLOS conference focuses on program chair for details. the interaction of these technologies. Accepted papers will be published in the Proceedings, Full papers (approximately which will be distributed at 5000 words) are solicited on, the conference and published but not limited to, these as an issue of the ACM topics: SIGARCH, SIGOPS, and SIGPLAN newsletters. o Interaction of operating systems with architecture (e.g., architecture support for O.S. features or architecture-influenced O.S. designs) o Interaction of compilers and languages with architectures (e.g., compiling for parallel processors or architecture support for languages) o Comparative (especially quantitative) analysis of architectural design choices (e.g., superscaler vs. VLIW vs. vector) o Architectures for high-speed communications or interconnection networks o Support for I/O and studies of I/O subsystems o Performance evaluation of experimental and novel systems o Impact of future technologies on programming languages, operating systems, or compilers Papers of particular merit will also be forwarded to ACM Transactions on Computer Systems. Because the identity of the authors will not be revealed to the referees, authors' names and affiliations should appear only on a cover sheet together with the paper's title. Authors should also avoid citations that make their identities obvious. Five copies of submitted papers should be sent by March 17, 1992 to the program chair at the address below. Authors will be notified by June 5, 1992. Accepted papers must be printed on special forms and received by the program chair by July 13, 1992. Submissions will be read by the program committee and designated reviewers. Program committee members are: Hank Levy, University of Washington (chair) Anant Agarwal, MIT Anita Borg, DEC Western Research Lab David Cheriton, Stanford University Doug Clark, Digital Equipment Corporation David Callahan, Tera Computer Corporation David Ditzel, Sun Microsystems Susan Eggers, University of Washington Thomas Gross, Carnegie Mellon University Randy Katz, University of California, Berkeley David May, INMOS Limited Mary Lou Soffa, University of Pittsburgh Guy Steele, Thinking Machines Corporation John Wilkes, Hewlett-Packard Laboratories Tutorials will be held as part of the conference. If you are interested in teaching a tutorial or feel the need for one in a particular field, please submit a proposal with a brief syllabus. Program Chair Hank Levy Dept. of Computer Science and Engineering University of Washington Seattle, WA 98195 (levy@cs.washington.edu) General Chair Barry Flahive Hewlett-Packard Corporation 300 Apollo Drive Chelmsford, MA 01824 (flahive@apollo.com) Return-Path: <@ri.cmu.edu,@mcc.com:will@skinner.cs.uoregon.edu> Received: from ri.cmu.edu by WB1.CS.CMU.EDU id aa18895; 18 Sep 91 18:07:25 EDT Received: from mcc.com by RI.CMU.EDU id aa15397; 18 Sep 91 18:06:40 EDT Received: from skinner.cs.uoregon.edu by MCC.COM with TCP; Wed 18 Sep 91 16:45:15-CDT Received: from owyhee.cs.uoregon.edu by skinner.cs.uoregon.edu with SMTP (5.61.14/IDA-1.2.8) id AA05229; Wed, 18 Sep 91 14:44:31 -0700 Date: Wed, 18 Sep 91 14:44:31 -0700 From: William Clinger Message-Id: <9109182144.AA05229@skinner.cs.uoregon.edu> To: common-lisp@mcc.com, comp.lang.clos@cis.ohio-state.edu, scheme@ai.mit.edu, x3j13@mcc.com Subject: call for papers CALL FOR PAPERS 1992 ACM Conference on Lisp and Functional Programming June 22--24, 1992 San Francisco, California The 1992 ACM Conference on Lisp and Functional Programming is the seventh in a series of biennial conferences devoted to the theory, design, and implementation of programming languages and systems related to Lisp, functional programming, and symbolic computation. The conference is sponsored jointly by ACM SIGPLAN, SIGACT, and SIGART, and will take place at the Fairmont Hotel in San Francisco. Papers presented at the conference must include new ideas or experimental results that have not been previously published. Previous conferences have included papers in the following areas: programming language concepts and facilities; implementation methods; machine architectures; semantic foundations; programming logics; and program development environments. Beyond these areas, authors are strongly encouraged to submit papers that introduce important new topics that are relevant to functional programming and symbolic computation. Authors should submit 12 copies of a technical summary of a prospective conference paper to the program chair at the address below. The length of the summary should not exceed 3,000 words (10 pages double-spaced or typeset 11-point on 16-point spacing). The summary should be organized so that it is easily understood. It is important for the summary to identify what has been accomplished, explain why it is significant, and compare it with previous work. Submissions must be received by December 2, 1991. They should include a return postal address and an electronic mail address if it is available. Authors will be notified of the acceptance or rejection of their papers by February 3, 1992. Full versions of the accepted papers must be received in camera-ready form by March 9, 1992. Authors of accepted papers will be required to sign ACM copyright release forms. Proceedings will be distributed at the conference and will later be available for purchase from ACM. General Chair: Jon L White Lucid, Inc 707 Laurel Street Menlo Park CA 94025 tel: 415-329-8400, x5514 email: jonl@lucid.com Program Chair: William Clinger Attn: LFP 92 Computer Science Dept University of Oregon Eugene OR 97403 tel: 503-346-4411 email: will@cs.uoregon.edu Program Committee: R Kent Dybvig, Indiana University Thomas Johnsson, Chalmers Institute of Technology Richard B Kieburtz, Oregon Graduate Institute Joachim Laubsch, HP David Moon, Apple Computer Rishiyur Nikhil, DEC Christian Queinnec, Ecole Polytechnique & INRIA-Rocquencourt Guy L Steele Jr, Thinking Machines Carolyn Talcott, Stanford University William Wadge, University of Victoria Return-Path: <@cs.cmu.edu:jonl%kuwait%lucid.com@mcc.com> Received: from cs.cmu.edu by G.GP.CS.CMU.EDU id aa19363; 1 Feb 92 19:42:42 EST Received: from mcc.com by CS.CMU.EDU id aa17498; 1 Feb 92 19:41:57 EST Received: from lucid.com by MCC.COM with TCP; Sat, 1 Feb 92 17:37:29 CST Received: from kuwait.lucid ([192.31.212.118]) by heavens-gate.lucid.com id AA25944g; Sat, 1 Feb 92 15:33:20 PST Received: by kuwait.lucid (4.1/SMI-4.1) id AA01928; Sat, 1 Feb 92 15:37:24 PST Date: Sat, 1 Feb 92 15:37:24 PST From: jonl%kuwait@lucid.com (Jon L White) Message-Id: <9202012337.AA01928@kuwait.lucid> To: common-lisp@mcc.com, x3j13@mcc.com, comp.lang.clos@cis.ohio-state.edu, scheme@ai.mit.edu, slug@ai.sri.com Subject: LUV '92 -- Call For Papers CALL FOR PAPERS 1992 Lisp Users and Vendors Conference The Second International Lisp User and Vendor Conference (LUV '92) will be held on August 10-14, 1992, at the U.S. Grant Hotel in San Diego, CA, and will be centered around the theme of "Delivering Business Success with Lisp". The conference is sponsored in part by the Association of Lisp Users. The conference schedule includes two days of tutorials; a day of panel sessions, keynote addresses, technical paper presentations, and a student paper and application competition; a day of vendor presentations and demonstrations of new products; and more. Papers submitted to the conference should focus on experience with practical applications of Lisp. The material must clearly demonstrate a practical value from the use of the Lisp language or Lisp technology; as such, papers need not be especially innovative nor original, but preference will be given to previously undisseminated reports and experiences. Topics in the area of programming languages and environments are welcome; but untested or purely theoretical ideas without a clear direction towards the theme of the conference would be less suitable. Authors should submit 7 copies of their papers to the program chair at the address below. The length of the written papers should not exceed 10 pages (with font size at least 10-point or larger.) Accepted papers will appear in the written proceedings, which will be distributed at the conference. The authors of certain selected papers will be invited to make a 20-minute verbal presentation at the technical talks sessions during the conference. Time constraints will likely prevent the presentation of all accepted papers. Submissions must be received by June 1, 1991. They should include a return postal address and a telephone number; an electronic mail address should also be included, if available. Authors will be notified of the acceptance or rejection of their papers by July 6, 1992. Corrections and alterations to the papers, if any, may be done up until July 24, 1992, which is the final date for receipt of a camera-ready copy. Authors of accepted papers will be required to sign a release for publication in the conference proceedings. Authors may retain the copyright themselves if they wish by installing their own copyright notice in the paper. Previously copyrighted material may still be acceptable depending on the permission to publish; in this case, the previous copyright and notice of permission should appear in the paper. Persons interested in the student competition should contact the student coordinator for submission requirements and further details. Both technical papers and descriptions of Lisp applications are valid entries. Submission and acceptance dates, as well as acceptable themes, are the same as for other authors. Program Chair: Jon L White Lucid, Inc. 707 Laurel Street Menlo Park, CA 94025 tel: 415-329-8400, x5514 fax: 415-329-8480 email: jonl@lucid.com Program Committee: Richard Billington, Georgia Institute of Technology Kathy Egan, McDonnell-Douglas Space Systems Company Masayuki Ida, Aoyama Gaukin University (Tokyo) Barry Margolin, Thinking Machine, Inc. Chris Richardson, Franz, Inc. Bill York, International Lisp Associates Student Coordinator: Thomas Pole Software Productivity Consortium Reuse and Measurement Division 2214 Rock Hill rd. Herndon, VA 22070 tel: 703-742-7131 fax: 703-742-7200 email pole@software.org Conference General Chair: Jim Aragones GE-CRD, K1-5c30 1 River Rd PO Box 8 Schenectady NY 12301 tel: 518-387-6967 email: jka@vega.crd.ge.com To: scheme@MC.LCS.MIT.EDU, common-lisp@ai.sri.com Reply-To: fp+@CS.CMU.EDU (Frank Pfenning) Subject: Call for Papers: POPL'93 Date: Thu, 21 May 92 09:15:26 -0400 Message-Id: <3230.706454126@ALONZO.TIP.CS.CMU.EDU> From: Frank_Pfenning@ALONZO.TIP.CS.CMU.EDU (Frank Pfenning) Call for Papers The Twentieth Annual ACM SIGPLAN--SIGACT Symposium on Principles Of Programming Languages Charleston, South Carolina, January 11--13, 1993 The twentieth symposium on Principles of Programming Languages will provide a forum for discussion of principles, innovations, and accomplishments in the design, definition, analysis, and implementation of programming languages and systems. Reports on experiences with the application or use of such principles and innovations are encouraged. Papers presented at the symposium must describe work that has not previously been published or presented at a conference. Many seminal papers have been presented at POPL conferences in the past 20 years. In an attempt to preserve and strengthen that tradition and to maintain broad coverage of the field, the program committee welcomes papers on a diversity of topics, particularly those that set out new directions, and is prepared to increase the number of accepted papers to accommodate them. The symposium is not limited to topics discussed in previous symposia nor to formal approaches. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission. Authors should submit 13 copies (printed double-sided if possible) of a technical summary of a prospective paper to the program chair. The length of the summary must not exceed 5000 words excluding bibliography and figures. Excessively long summaries will be rejected immediately by the program chair. The summary should explain the contribution of the paper, both in general and in technical terms. It is important to identify what has been accomplished, to explain why it is significant, and to compare with previous work. Papers will be judged on originality, significance, correctness, and clarity. Authors should make every effort to make the technical content of their papers understandable to a broad audience. Submissions must be received by July 27, 1992. They should include a return postal address and an electronic mail address (if available). Authors will be notified of the acceptance or rejection of their papers by September 14, 1992. Full versions of the accepted papers must be received in camera-ready form by October 20, 1992. Authors of accepted papers will be required to sign ACM copyright release forms. Proceedings will be distributed at the conference and subsequently will be available for purchase from ACM Press. Program Chair Susan L. Graham Computer Science Division -- EECS 571 Evans Hall University of California Berkeley, CA 94720 USA graham@cs.berkeley.edu (510) 642-2059 General Chairs Mary Van Deusen Bernard Lang IBM Watson Res. Lab INRIA Rocquencourt maida@watson.ibm.com lang@margaux.inria.fr Local Arrangements Chair Dee Medley Augusta College dmedley@uscn.uga.edu (404) 737-1672 Program Committee Martin Abadi - DEC SRC Hans Boehm - Xerox PARC Charles Consel - Yale Univ. Ron Cytron - IBM Watson Res. Lab Susan L. Graham - Univ. Calif. Berkeley Gilles Kahn - INRIA Sophia Antipolis Monica Lam - Stanford Univ. James Larus - Univ. Wisconsin Gary Lindstrom - Univ. Utah David McQueen - AT&T Bell Labs Frank Pfenning - Carnegie Mellon Univ. Guy Steele - Thinking Machines Corp.