WALKER@SRI-AI (06/15/82)
From: Don Walker <WALKER at SRI-AI> CALL FOR PAPERS CONFERENCE ON APPLIED NATURAL LANGUAGE PROCESSING FEBRUARY 1-3, 1983 SANTA MONICA, CALIFORNIA sponsored by ASSOCIATION FOR COMPUTATIONAL LINGUISTICS and NAVAL RESEARCH LABORATORY This special conference will focus on the use of computational linguistic techniques in solving real world problems. The conference will be limited to 300 participants. We are soliciting original papers on the use of computational linguistic techniques in the areas of: * Data, information and knowledge management * Training and education * Language translation technology * Speech recognition and synthesis technology. The papers should discuss applications, evaluations, limitations, and general tools and techniques. Papers describing end-users' experience with these technologies are especially welcome. Six copies of an extended summary from five to eight pages, double spaced, should be sent by August 15, 1982 to: Beatrice Oshika, MD 72-27 System Development Corporation 2500 Colorado Avenue Santa Monica, CA 90406 It is important that the summary identify distinctive aspects of the work and clearly indicate to what extent the work is complete and has been implemented. Abstracts will be reviewed by the Conference Committee. Notification of acceptance of papers will be sent by September 15, 1982. For inclusion in the Conference Proceedings, final versions of papers must be received by the Conference Chairman by November 15, 1982. Authors of accepted papers will be expected to sign a copyright release form. Limited travel funds for authors will be available. Facilities for product and system demonstrations will be available, including videotape equipment. Short papers describing planned demonstrations and types of equipment required should be submitted by November 15, 1982. In addition to presentation of papers, tutorials and panel sessions are planned. IMPORTANT DATES Submission deadline: August 15, 1982 Acceptance notification: September 15, 1982 Final papers: November 15, 1982 Demonstration papers: November 15, 1982 Conference: February 1-3, 1983 CONFERENCE COMMITTEE General Chair: Iris Kameny, System Development Corporation Program Chair: Beatrice Oshika, System Development Corporation Secretary-Treasurer: Donald Walker, SRI International Christine Montgomery, Operating System Division, Logicon Ray Perrault, University of Toronto Jane Robinson, SRI International Norm Sondheimer, Sperry Univac -------
Mario.Barbacci@CMU-10A (06/23/82)
From: Mario.Barbacci at CMU-10A CALL FOR PAPERS 6TH INTERNATIONAL SYMPOSIUM ON COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS MAY 23-25, 1983, CARNEGIE-MELLON UNIVERSITY, PITTSBURGH, PENNSYLVANIA Organized by IFIP Technical Committee 10 and its Working Group WG10.2 and Carnegie-Mellon University, with the Cooperation of the Association for Computing Machinery and the IEEE Computer Society. Papers are solicited on any subject in the general area of Computer Hardware Description Languages (CHDLs), including but not limited to: Specification Description Languages Simulation and CHDL Analysis Tools Languages to Describe Hardware/Software Systems Automatic Hardware Generation Hardware Verification Test Sequence Generation from a CHDL Description Structured Design Methodology Impact of VLSI to CHDLs Five (5) copies of the full length manuscript (maximum of 20 double-spaced typewritten pages) should be sent to the Program Chairman to be received no later than September 15, 1982. Authors will be notified of the acceptance of their papers by December 1, 1982. All authors will be asked to sign a copyright release form. Final camera-ready versions of accepted papers will be due on January 30, 1983. General Chairman: Program Chairman: Dr. Mario Barbacci Dr. Takao Uehara Department of Computer Science Software Laboratory Carnegie-Mellon University Fujitsu Laboratories Ltd. Pittsburgh, Pennsylvania 15213 1015 Kamikodanaka Nakahara-ku USA Kawasaki 211, Japan (412) 578-2578 (81) (44) 777 1111 ext. 6155 ArpaNet: BARBACCI@CMUA Telex: 3842 122 [This is an abridged version of the official Call for Papers. For more details retrieve the following file: DSKB:CallCMU.doc[L410MB25]@CMUA or contact the General Chairman.]
daemon@ucbvax.UUCP (06/07/84)
From GSB@MIT-MC Wed Jun 6 16:41:38 1984 CALL FOR PAPERS Symposium on Complexity of Approximately Solved Problems April 17-19, 1985 Computer Science Department Columbia University New York, NY 10027 SUPPORT: This symposium is supported by a grant from the System Development Foundation. SCOPE: This multidisciplinary symposium focuses on problems which are approximately solved and for which optimal algorithms or complexity results are available. Of particular interest are distributed systems, where limitations on information flow can cause uncertainty in the approximate solution of problems. The following is a partial list of topics: distributed computation, approximate solution of hard problems, applied mathematics, signal processing, numerical analysis, computer vision, remote sensing, fusion of information, prediction, estimation, control, decision theory, mathematical economics, optimal recovery, seismology, information theory, design of experiments, stochastic scheduling. INVITED SPEAKERS: The following is a list of invited speakers. L. Blum, Mills College J. Halpern, IBM L. Hurwicz, University of Minnesota D. Johnson, AT&T - Bell Laboratories J. Kadane, Carnegie-Mellon University R. Karp, Berkeley H.T. Kung, Carnegie-Mellon University D. Lee, Columbia University M. Milanese, Politecnico di Torino C.H. Papadimitriou, Stanford University J. Pearl, UCLA M. Rabin, Harvard University and Hebrew University S. Reiter, Northwestern University A. Schonhage, University of Tubingen K. Sikorski, Columbia University S. Smale, Berkeley J.F. Traub, Columbia University G. Wasilkowski, Columbia University and University of Warsaw A.G. Werschulz, Fordham University H. Wozniakowski, Columbia University and University of Warsaw CONTRIBUTED PAPERS: All appropriate papers for which abstracts are contributed will be scheduled. To contribute a paper send title, author, affiliation, and abstract on one side of a single 8 1/2 by 11 sheet of paper. TITLES AND ABSTRACTS MUST BE RECEIVED BY JANUARY 15, 1985 PUBLICATION: Invited papers will be published. REGISTRATION: The symposium will be held in the Kellogg Conference Center on the Fifteenth Floor of the International Affairs Building, 118th Street and Amsterdam Avenue. The conference schedule and paper abstracts will be available at the registration desk. Registration will start at 9:00 a.m. There is no registration charge. FOR FURTHER INFORMATION: The program schedule for invited and contributed papers will be mailed by about March 15 only to those responding to this Call for Papers. If you have any questions, contact TRAUB@Columbia-20.ARPA. To help us plan for the symposium please send the following information to NG@Columbia-20.ARPA. Name: ________________________ Affiliation: _______________________________ Address: __________________________________________________________________ City: ___________________ State: _____________________ Zip: _______________ ( ) I will attend the Complexity Symposium. ( ) I may contribute a paper. ( ) I may not attend, but please send program. -------
daemon@ucbvax.UUCP (06/16/84)
From GSB@MIT-MC Fri Jun 15 15:51:55 1984
CALL FOR PAPERS
MEMORY HIERARCHIES AND MANAGEMENT IN THE 1990`S
Hawaii International Conference on Systems Sciences
I am organizing a session on Memory Hierarchies and
Management in the 1990's. This sessions will focus on the
development of new memory architectures as well as new techniques
for managing current memory architectures. It will most likely be
cross listed in both the software and the hardware tracks of the
conference.
If you would like to submit a paper to this session please
notify me of your intention to submit and send an estimate of
when your paper will be available. I am able to extend the
deadline for submission until late July and possibly later if
necessary. You may reach me through CSNet, by calling (318)
231-6603, or by writing:
Dr. Cathy Jo Linn
HICSS-18
Department of Computer Science
P.O. Box 44330
University of Southwestern Louisiana
Lafayette, Louisiana 70504daemon@ucbvax.UUCP (06/16/84)
From GSB@MIT-MC Fri Jun 15 17:08:52 1984 CALL FOR PAPERS WORKSHOP ON HARDWARE DESIGN VERIFICATION November 26-27, 1984 Technical University of Darmstadt, F.R. Germany This workshop is organized by IFIP Working Groups 10.2 and 10.5. Program will cover all aspects of verification methods for hardware systems, including: Correctness of hardware design, Tools and methodologies for verification, Verification of multilevel descriptions, Timing verification, Temporal logic, Correctness by construction, Circuit extractors, Design rule checkers, Language issues, Application of AI techniques. PARTICIPATION IS BY INVITATION ONLY. If you would like to propose a contribution to the workshop send a short summary of the intended presentation to the Workshop Chairman before July 31, 1984. Notices of acceptance will be sent by September 15, 1984. Workshop Committee: Hans Eveking (Chairman) Stephen Crocker Institut fuer Datentechnik Aerospace Corporation Technical University of Darmstadt P.O. Box 92957 D-6100 Darmstadt Los Angeles Fed. Rep. Germany California 90009 (49) (6151) 162075 George J. Milne Robert Piloty Computer Science Department Institut fuer Datentechnik University of Edinburgh Technical University of Darmstadt Edinburgh, Scotland D-6100 Darmstadt United Kingdom Fed. Rep. Germany
daemon@ucbvax.UUCP (07/16/84)
From GSB@MIT-MC Sun Jul 15 15:38:52 1984 CALL FOR PAPERS -- VLSI-85 International Conference on VERY LARGE SCALE INTEGRATION August 26-28, 1985 -- Keidanren Building, Tokyo, Japan Sponsored by the International Federation for Information Processing (IFIP), organized by IFIP TC-10 and IFIP WG 10.5. The theme of the conference will be: Design, Architecture, and Technology for VLSI Systems. The main subjects of the conference are tools and architecture to design complex VLSI systems, including simulation, design verification, test preparation, and testing. Proposed Topics are: - VLSI Architecture - Impact of technology on Design and Architecture - Nover Techniques for CAD - Design methodology and Theory - New Applications - State of the Art CAD Tools - Case Studies **** THIS IS AN ABRIDGED VERSION OF THE FORMAL CALL FOR PAPERS. **** **** FOR ADDITIONAL DETAILS CONTACT THE PROGRAM CHAIRMAN. **** DEADLINE FOR PAPERS: January 10, 1985 NOTIFICATION TO AUTHORS: MARCH 20, 1985 DEADLINE FOR FINAL VERSION: MAY 15, 1985 General Chairman: Program Chairman: Professor Tohru Moto-oka Dr. Egon Hoerbst Department of Electrical Engineering Siemens AG, Zentralb. Tecnik University of Tokyo ZT ZTI SYS 2 Hongo, 7 chome Postfach 830955 Bunkyo-ku D-8000, Muenchen 83 Tokyo, Japan Federal Republic of Germany Telephone: (212) 2111 ext. 6652 Telephone: (49) (89) 656-3354 Telex: 528 384 SIE D
daemon@ucbvax.UUCP (07/25/84)
From GSB@MIT-MC Wed Jul 25 01:53:59 1984 CALL FOR PAPERS -- CHDL-85 7th International Symposium on Computer Hardware Description Languages and their Applications August 29-31, 1985 -- Keidanren Building, Tokyo, Japan Sponsored by the International Federation for Information Processing (IFIP) and the Information Processing Society of Japan (IPSJ), organized by IFIP TC-10 and IFIP WG 10.2, in cooperation with IEEE-CS, ACM, GI, and NTG. The theme of the symposium is: TOOL, METHOD, AND LANGUAGE INTEGRATION The Symposium focuses on the design process as a whole. The objective is to cover the various aspects of (computer-supported) specification, verification, modelling, evaluation, and design of computer systems based on suitable design languages. Topic areas are: - From Specification to Implementation of Digital Systems - Computer System/Hardware Description Languages - Tool Integration - Acceptance and Experience **** THIS IS AN ABRIDGED VERSION OF THE FORMAL CALL FOR PAPERS. **** **** FOR ADDITIONAL DETAILS CONTACT THE PROGRAM CHAIRMAN. **** DEADLINE FOR PAPERS: DECEMBER 15, 1984 NOTIFICATION TO AUTHORS: MARCH 15, 1985 DEADLINE FOR FINAL VERSION: MAY 15, 1985 General Chairman: Program Chairman: Professor Tohru Moto-oka Dr. Cees Jan Koomen Department of Electrical Engineering BCS/System Engineeering University of Tokyo Philips International Hongo, 7 chome P.O. Box 32 Bunkyo-ku 1200 JD Hilversum, The Netherlands Tokyo, Japan telephone (31) (35) 892292 telephone (212) 2111 ext. 6652 Telex 43712
arpa-bboard@ucbvax.ARPA (09/02/84)
From: Joseph E. Stoy <JES@MIT-XX.ARPA>
CALL FOR PAPERS
FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
A Conference Sponsored by
The International Federation for Information Processing
Technical Committees 2 and 10
Nancy, France
16 to 19 September, 1985
This conference has been planned as a successor to the highly successful
conference on the same topics held at Wentworth, New Hampshire, in October
1981. Papers are solicited on any aspect of functional or logic programming
and on computer architectures to support the efficient execution of such
programs.
Nancy, in the eastern part of France, was the city of the Dukes of Lorraine; it
is known for its "Place Stanistlas" and its "Palais Ducal". "Art Nouveau"
started there at the beginning of this century. There are beautiful buildings
and museums and, of course, good restaurants.
Authors should submit five copies of a 3000 to 6000-word paper (counting a full
page figure as 300 words), and ten additional copies of a 300-word abstract of
the paper to the Chairman of the Programme Committee by 31 January 1985. The
paper should be typed double spaced, and the names and affiliations of the
authors should be included on both the paper and the abstract.
Papers will be reviewed by the Programme Committee with the assistance of
outside referees; authors will be notified of acceptance or rejection by 30
April 1985. Camera-ready copy of accepted papers will be required by 30 June
1985 for publication in the Conference Proceedings.
Programme Committee:
Makoto Amamiya (NTT, Japan)
David Aspinall (UMIST, UK)
Manfred Broy (Passau University, W Germany)
Jack Dennis (MIT, USA)
Jean-Pierre Jouannaud (CRIN, France)
Manfred Paul (TUM, W Germany)
Joseph Stoy (Oxford University, UK)
John Willliams (IBM, USA)
Address for Submission of Papers:
J.E. Stoy, Balliol College, Oxford OX1 3BJ, England.
Paper Deadline: 31 January 1985.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
To receive a copy of the advance programme, return the following information to
J.E. Stoy, Balliol College, Oxford OX1 3BJ, England
or by electronic mail to JESTOY@UCL-CS.ARPA
I plan to submit a paper: [ ]
Subject:
Name:
Organisation:
Address:
-------arpa-bboard@ucbvax.ARPA (10/09/84)
From: Mario.Barbacci@cmu-cs-spice.arpa CALL FOR PAPERS -- CHDL-85 7th International Symposium on Computer Hardware Description Languages and their Applications August 29-31, 1985 -- Keidanren Building, Tokyo, Japan Sponsored by the International Federation for Information Processing (IFIP) and the Information Processing Society of Japan (IPSJ), organized by IFIP TC-10 and IFIP WG 10.2, in cooperation with IEEE-CS, ACM, GI, and NTG. The theme of the symposium is: TOOL, METHOD, AND LANGUAGE INTEGRATION The Symposium focuses on the design process as a whole. The objective is to cover the various aspects of (computer-supported) specification, verification, modelling, evaluation, and design of computer systems based on suitable design languages. Topic areas are: - From Specification to Implementation of Digital Systems - Computer System/Hardware Description Languages - Tool Integration - Acceptance and Experience **** THIS IS AN ABRIDGED VERSION OF THE FORMAL CALL FOR PAPERS. **** **** FOR ADDITIONAL DETAILS CONTACT THE PROGRAM CHAIRMAN. **** DEADLINE FOR PAPERS: DECEMBER 15, 1984 NOTIFICATION TO AUTHORS: MARCH 15, 1985 DEADLINE FOR FINAL VERSION: MAY 15, 1985 General Chairman: Program Chairman: Professor Tohru Moto-oka Dr. Cees Jan Koomen Department of Electrical Engineering Philips International University of Tokyo Product Development Coordination Hongo, 7 chome VO-1, P.O. Box 218 Bunkyo-ku 5600 MD Eindhoven, Tokyo, Japan The Netherlands telephone (212) 2111 ext. 6652 telephone (31) (40) 884962
arpa-bboard@ucbvax.ARPA (10/09/84)
From: Mario.Barbacci@cmu-cs-spice.arpa CALL FOR PAPERS -- VLSI-85 International Conference on VERY LARGE SCALE INTEGRATION August 26-28, 1985 -- Keidanren Building, Tokyo, Japan Sponsored by the International Federation for Information Processing (IFIP), organized by IFIP TC-10 and IFIP WG 10.5. The theme of the conference will be: Design, Architecture, and Technology for VLSI Systems. The main subjects of the conference are tools and architecture to design complex VLSI systems, including simulation, design verification, test preparation, and testing. Proposed Topics are: - VLSI Architecture - Impact of technology on Design and Architecture - Nover Techniques for CAD - Design methodology and Theory - New Applications - State of the Art CAD Tools - Case Studies **** THIS IS AN ABRIDGED VERSION OF THE FORMAL CALL FOR PAPERS. **** **** FOR ADDITIONAL DETAILS CONTACT THE PROGRAM CHAIRMAN. **** DEADLINE FOR PAPERS: January 10, 1985 NOTIFICATION TO AUTHORS: MARCH 20, 1985 DEADLINE FOR FINAL VERSION: MAY 15, 1985 General Chairman: Program Chairman: Professor Tohru Moto-oka Dr. Egon Hoerbst Department of Electrical Engineering Siemens AG, Zentralb. Tecnik University of Tokyo ZT ZTI SYS 2 Hongo, 7 chome Postfach 830955 Bunkyo-ku D-8000, Muenchen 83 Tokyo, Japan Federal Republic of Germany Telephone: (212) 2111 ext. 6652 Telephone: (49) (89) 656-3354 Telex: 528 384 SIE D
arpa-bboard@ucbvax.ARPA (12/05/84)
From: ISRAEL@SRI-AI.ARPA
CALL FOR PAPERS
WORKSHOP ON
Theoretical Approaches to
Natural Language Understanding
Dalhousie Univeristy
Halifax, Nova Scotia
28-30 May, 1985
General Chairperson: Richard Rosenberg, Mathematics Department,
Dalhousie University, Halifax, N.S. B3H 4H8
Program Chairperson: Nick Cercone, Computing Science Dept., Simon
Fraser University, Burnaby, B.C. V5A 1S6
Theoretical Approaches to Natural Language Understanding is intended
to bring together active researchers in Computational Linguistics,
Artificial Intelligence, Linguistics, Philosophy, and Cognitive
Science to discuss/hear invited talks, papers, and positions relating
to some of the 'hot' issues regarding the current state of natural
language understanding. The three areas chosen for discussion are
aspects of grammars, aspects of semantics/pragmatics, and knowledge
representation. In each of these, current methodologies will be
considered: for grammars - theoretical developments, especially
generalized phrase structure grammars and logic-based meta-grammars;
for semantics - situation semantics and Montague semantics; for
knowledge representation - logical systems and special purpose
inference systems.
Papers are solicited on topics in any of the areas mentioned above.
You are invited to submit four copies of a paper (double-spaced,
maximum 4000 words) to the program chairman: Nick Cercone, before 12
January, 1985. Authors will be notified of acceptances by 27
February. Accepted papers, typed on special forms, will be due 30
March 1985 and should be sent to the program chairman. To make
referring possible it is important that the abstract summarize the
novel ideas, contain enough information about the scope of the work,
and include comparisons to the relevant literature. Accepted papers
will appear in the Proceedings; those papers so recommended by the
reviewers will be considered for inclusion in a speacial issue of
Computational Intelligence, an international Artificial Intelligence
journal published by the National Research Council of Canada.
Presentation of papers at the Workshop will be at the discretion of
the program/organizing committee in order to maintain the focus and
workshop flavor of this meeting. Information concerning local
arrangements will be available from the general chairman: Richard
Rosenberg. Proceedings will be distributed at the workshop and
subsequently available for purchase.
-------arpa-bboard@ucbvax.ARPA (02/22/85)
From: Lashon Booker <booker@nrl-aic>
Call for Papers
International Conference on Genetic Algorithms
and Their Applications
An International Conference on Genetic Algorithms and Their
Applications, sponsored by Texas Instruments and the U.S.
Navy Center for Applied Research in AI (NCARAI), will be
held on July 24-26, 1985 at Carnegie-Mellon University in
Pittsburgh. Authors are invited to submit papers on all as-
pects of Genetic Algorithms, including the following topics:
theoretical foundations of Genetic Algorithms; machine
learning using Genetic Algorithms; classifier systems; ap-
portionment of credit; Genetic Algorithms in function optim-
ization and search; experimental applications.
Authors are requested to submit three copies (hard copy
only) of a full paper by May 1, 1985 to the program chair-
man:
Dr. John J. Grefenstette
Computer Science Department
Vanderbilt University
Box 73 Station B
Nashville, TN 37235
Papers will be refereed by the Program Committee, and au-
thors will be notified of acceptance or rejection by May 20,
1985. Camera ready copies are due by June 21, 1985. Ac-
cepted papers will be published in the Conference Proceed-
ings.
Morning sessions of the conference will be devoted to
presentations of the accepted papers. Afternoon sessions
will be devoted to panel discussions of the general themes
raised in the morning sessions.
There will be no registration fee, but for planning purposes
all attendees are asked to register by June 1, 1985. Regis-
tration information may be obtained from:
Dr. Stephen F. Smith
Robotics Institute
Carnegie-Mellon University
Pittsburgh, PA 15213
sfs@CMU-RI-ISL1
(412) 578-8811
Conference Committee
---------- ---------
John H. Holland University of Michigan (Conference Chair)
Lashon B. Booker NCARAI
Kenneth A. De Jong NCARAI and George Mason University
John J. Grefenstette Vanderbilt University (Program Chair)
Stephen F. Smith C-MU Robotics Institute (Local Arrangements)arpa-bboard@ucbvax.ARPA (04/24/85)
From: Duvvuru.Sriram@cmu-ri-cive.arpa
CALL FOR PAPERS
The March 1986 issue of IEEE Software will address software aspects of
knowledge-based systems developed for engineering applications,
focusing on the following issues: (IEEE Software is one of the
prestigious magazines devoted to problems in Software engineering).
- need for building the KBES;
- why a particular representation was chosen;
- why a particular expert-system-building tool or language was
used;
- what advantages and limitations were revealed through the
attempt;
- what kind of software tool would be ideal for doing similar
tasks;
- how knowledge was acquired from experts;
- the software cycle;
- user interfaces; and
- current status.
The deadline for receiving the manuscript, not more than 30
double-spaced typewritten pages, is July 1st and it will be reviewed
as per the IEEE standard review process.
For more information (or a copy of author's guidelines) write to:
D. Sriram/M. Rychener (Guest Editors)
Civil Engg. and Construction Labs.
Department of Civil Engineering
Carnegie-Mellon University
Pittsburgh, PA 15213
ARPAnet address: sriram@cmu-ri-cive.arpa