Return-Path: Serge.Abiteboul@inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by lirmm.lirmm.fr (8.6.9/8.6.4) with ESMTP id QAA15161; Mon, 30 Jan 1995 16:23:25 +0100 Received: from cosmos.inria.fr (cosmos.inria.fr [128.93.11.30]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id QAA28764; Mon, 30 Jan 1995 16:23:16 +0100 Received: from calvados.inria.fr (calvados.inria.fr [128.93.11.59]) by cosmos.inria.fr (8.6.8/8.6.6) with ESMTP id QAA15167; Mon, 30 Jan 1995 16:21:31 +0100 From: Serge Abiteboul Received: (abitebou@localhost) by calvados.inria.fr (8.6.8/8.6.6) id QAA10519; Mon, 30 Jan 1995 16:21:31 +0100 Date: Mon, 30 Jan 1995 16:21:31 +0100 Message-Id: <199501301521.QAA10519@calvados.inria.fr> To: bd3@cosmos.inria.fr Subject: TAPOS Reply-to: Serge.Abiteboul@inria.fr (Serge Abiteboul) Call for Papers Special Issue of Theory and Practice of Object Systems on Type Systems Guest Editors: Jens Palsberg and Michael Schwartzbach The development and use of type systems for object-oriented languages continues to be important and exciting. In the first half of the 1990s, there have been many suggestions for type systems, new languages developed around a notion of type, faster algorithms for type checking and type inference, and better tools based on type information. Type systems are now used in single- and multiple-dispatch languages, concurrent languages, and others. The aim of the special issue is to present significant recent develop ments. We invite papers on all aspects of type systems for object-oriented languages. Every variety of object-oriented language can be addressed, and topics of interest include, but are not limited to: o New notions of type. o Subtyping o Mathematical properties of types. o Language designs based on types. o Type checking and type inference algorithms. o Comparison of known type systems. o Use of type information in compilers, programming environments, etc. The deadline for submission is May 15th, 1995. More information is available from WWW URL: ftp://ftp.ccs.neu.edu:/pub/journals/tapos/call-for-papers. Send your submission to Michael Schwartzbach, preferably by sending a Postscript file, prefixed by a plain text abstract, to mis@daimi.aau.dk, or else by sending five copies of the paper to the address below. Address: Michael I. Schwartzbach BRICS, Dept. of Computer Science University of Aarhus Ny Munkegade, Building 540 8000 Aarhus C Denmark Phone: +45 8942 3374 Fax: +45 8942 3255 Return-Path: Serge.Abiteboul@inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by lirmm.lirmm.fr (8.6.9/8.6.4) with ESMTP id QAA15167; Mon, 30 Jan 1995 16:23:33 +0100 Received: from cosmos.inria.fr (cosmos.inria.fr [128.93.11.30]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id QAA28785; Mon, 30 Jan 1995 16:23:24 +0100 Received: from calvados.inria.fr (calvados.inria.fr [128.93.11.59]) by cosmos.inria.fr (8.6.8/8.6.6) with ESMTP id QAA15173; Mon, 30 Jan 1995 16:22:18 +0100 From: Serge Abiteboul Received: (abitebou@localhost) by calvados.inria.fr (8.6.8/8.6.6) id QAA10522; Mon, 30 Jan 1995 16:22:19 +0100 Date: Mon, 30 Jan 1995 16:22:19 +0100 Message-Id: <199501301522.QAA10522@calvados.inria.fr> To: bd3@cosmos.inria.fr Subject: Gazette BD3 : TAPOS Reply-to: Serge.Abiteboul@inria.fr (Serge Abiteboul) C A L L F O R P A P E R S Special Issue of Theory and Practice of Object Systems (TAPOS) on Subjectivity in Object-Oriented Systems Guest Editors: Harold Ossher and William Harrison Submission deadline: APRIL 28th, 1995 Subjectivity is an area of growing interest and importance in the object-oriented community. Especially in large systems or suites of applications, it is often important that the same objects appear different and behave differently when used in different contexts, by different clients, in different ways, or at different times. Support for such subjectivity promises greater flexibility in writing, extending and combining object-oriented systems and applications, and at the same time raises many interesting technical and even philosophical issues. Papers on all aspects of subjectivity in object-oriented systems are invited for the special issue. Topics of interest include, but are not limited to: o Concepts and philosophical issues. o Motivation, requirements and uses of subjectivity. o Models and language mechanisms. o Analysis, design and programming methodology. o Semantics, including: creation and copying of objects, encapsulation, static versus dynamic views, first-classness of views. o Specification issues, including: the meaning of invariants in a subjective system, characterizing views and inter-view dependencies. o Implementation issues. o Relationship of subjectivity to versioning, inheritance, reflection, distributed systems and other related areas or mechanisms. The deadline for submission is APRIL 28th, 1995. Electronic submissions are preferred, and will lead to faster reviewing, but five paper copies are acceptable. Detailed instructions for authors are obtainable by using WWW URL: ftp://ftp.ccs.neu.edu:/pub/journals/tapos/call-for-papers Please send your submissions to Harold Ossher: E-Mail: OSSHER@WATSON.IBM.COM US Mail: Harold Ossher, H1-B26 IBM T. J. Watson Research Center P. O. Box 704 Yorktown Heights, NY 10598 Express/ Harold Ossher, H1-B26 Shipping: IBM T. J. Watson Research Center, Hawthorne 30 Saw Mill River Road Hawthorne, NY 10532 Telephone: (914) 784-7975 Fax: (914) 784-7455 Return-Path: jq@lirmm.lirmm.fr Received: from [193.49.104.48] ([193.49.104.48]) by lirmm.lirmm.fr (8.6.9/8.6.4) with SMTP id JAA06728; Mon, 6 Feb 1995 09:51:32 +0100 Date: Mon, 6 Feb 1995 09:51:32 +0100 Message-Id: <199502060851.JAA06728@lirmm.lirmm.fr> X-Sender: jq@lirmm.lirmm.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Mailer: Eudora F1.4 To: arc, dif From: zicari@informatik.uni-frankfurt.de (transmis par jq@lirmm.lirmm.fr (Joel Quinqueton)) Subject: TAPOS Call for Papers Theory and Practice of Object Systems (TAPOS) ============================================= Editors in chief: Karl Lieberherr, Northeastern University, Boston, Massachusetts Roberto Zicari, Johann Wolfgang Goethe University, Frankfurt, Germany ************** Aims and Scope ************** Theory and Practice of Object Systems is an archival, peer reviewed journal dedicated to publishing high quality research results. Papers will be selected primarily in areas of Object Technology, including, but not limited to: - Programming Languages and Models - Foundations, Semantics, Type Theory - Database Management Systems and Database Languages - Concurrency - Distribution - Software Engineering and Software Development Tools and Environments - Formal Specification - Metrics and Evaluation - Analysis and Design Methods - Novel Applications - Operating Systems Contributions in other areas of object-based computing are also welcome. Research contributions on these aspects will be collected under the interdisciplinary umbrella of the object-oriented approach they have in common rather than from the point of view of the parent discipline. Theoretical papers should either break significant new ground or unify and extend existing theories. Systems papers should emphasize the underlying principles and important discoveries, backed up by architectural and implementation details. Published quarterly, Theory and Practice of Object Systems (TAPOS) disseminates new, but long lasting concepts and results of high quality useful to researchers and practitioners of object technology. The main goal of TAPOS is to make a fundamental contribution to the growth and consolidation of a scientific object community with high intellectual standards. The journal is a service to the object community in that it provides a forum for stringently refereed, noteworthy, and relevant results. ********************* How to submit a paper ********************* The editors-in-chief encourage the submission of contributions from all parts of the world. Five (5) copies of submitted articles should be sent to one of the editors-in-chief. The editors-in-chief will assign the article to an Associate Editor whose subject area expertise is appropriate to the article's subject. Published papers will include the name of the Associate Editor who managed the refereeing process. A special transfer of copyright agreement, signed and executed by the author, must be provided when an article is accepted. (If the article is a work made for hire, the agreement must be signed by the employer.) Copies of the copyright agreement may be obtained from the editors-in-chief through e-mail. The corresponding author will receive 25 free reprints. There is no page charge to authors, unless color printing is requested. Papers are processed with the understanding that they have not been published, submitted or accepted for publication elsewhere. Please submit your paper to either of the following addresses: Professor Karl Lieberherr Editor, TAPOS Northeastern University College of Computer Science 125 Cullinane Hall Boston, MA 02115-9959 U.S.A. lieber@CCS.neu.EDU Professor Roberto Zicari Editor, TAPOS Johann Wolfgang Goethe-Universitaet Fachbereich Informatik (20) Robert Mayer Strasse 11-15 D-60325 Frankfurt am Main, Germany zicari@informatik.uni-frankfurt.de All other correspondence concerning reprints, subscriptions, etc. should be sent to John Wiley & Sons, Inc. ATTN: Mr. R. O'Hanley 605 Third Ave. New York, NY 10158-0012 E-mail: RO'Hanley@jwiley.com ****************** Associate editors: ****************** Professor Gul Agha Department of Computer Science 1304 W Springfield Ave University of Illinois Urbana, IL 61801 Areas: concurrent programming languages, semantics, parallel computing ----------------------------------------------------------- Dr. H. V. Jagadish Computing Systems Research Laboratory, MH 2T204 AT&T Bell Laboratories 600 Mountain Ave. Murray Hill, NJ 07974 Areas: object-oriented databases ----------------------------------------------------------- Professor TSE Maibaum Head, Department of Computing Imperial College of Science Technology and Medicine 180 Queen's Gate London SW7 2BZ UK Areas: formal methods, specification and implementation, concurrency and real time, modularisation. ----------------------------------------------------------- Dr. Jose Meseguer Computer Science Laboratory SRI International 333 Ravenswood Avenue Menlo Park, CA 94025, USA Areas: mathematical foundations of OOP, formal specification of OO systems, declarative approaches to concurrent OOP ----------------------------------------------------------- Professor Atsushi Ohori Research Institute for Mathematical Sciences Kyoto University Sakyo-ku, Kyoto 606-01 Japan Areas: type systems data models database programming language ----------------------------------------------------------- Dr. Harold Ossher, H1-B26 IBM T. J. Watson Research Center P. O. Box 704 Yorktown Heights, NY 10598 Areas: software composition system structure software development environments object-oriented languages ----------------------------------------------------------- Dr. Remo Pareschi Rank Xerox Research Centre 6, chemin de Maupertuis F-38240 Meylan France Areas: declarative languages, object coordination schemas, scripting ----------------------------------------------------------- Professor Michael I. Schwartzbach Computer Science Department Aarhus University Ny Munkegade DK-8000 Aarhus C Denmark Areas: type systems, semantics, theory, implementation. ----------------------------------------------------------- Professor Mario Tokoro Department of Computer Science Keio University 3-14-1 Hiyoshi, Kohoku-ku, Yokohama 223 Japan Areas: Concurrent and Distributed Computation Models, Programming Languages, Operating Systems, and MultiAgent Systems. ----------------------------------------------------------- Professor Akinori Yonezawa Dept. of Information Science Faculty of Science University of Tokyo Hongo, Bunkyo-ku Tokyo 113 Japan Areas: concurrency, algorithms, language design, language implementation. ----------------------------------------------------------- Editorial board: Serge Abiteboul, INRIA, Paris, France Elisa Bertino, University of Milano, Milano, Italy Kim Bruce, Williams College, Williamstown, MA Luca Cardelli, Digital, Systems Research Center, Palo Alto, CA Bjorn Freeman-Benson, Carleton University, Ottawa Canada Narain Gehani, AT&T Bell Labs, Murray Hill, NJ Carlo Ghezzi, Politecnico di Milano, Milano, Italy Juerg Gutknecht, Swiss Federal Institute of Technology, Zurich, Switzerland Roger King, University of Colorado, Boulder, CO Kai Koskimies, University of Tampere, Tampere, Finland Barbara Liskov, Massachusetts Institute of Technology, Cambridge, MA Dino Mandrioli, Politecnico di Milano, Milano, Italy John Mitchell, Stanford University, Palo Alto, CA Jens Palsberg, Northeastern University, Boston, MA Hamid Pirahesh, IBM Almaden, Almaden, CA John Reif, Duke University, Durham, NC Andreas Reuter, University of Stuttgart, Stuttgart, Germany Marc Scholl, University of Ulm, Ulm, Germany Richard Soley, Object Management Group, Framingham, MA Stanley Zdonik, Brown University, Providence, RI The latest version of this document can be obtained at any time by sending mail to majordomo@ccs.neu.edu with the only contents line info tapos ================================================================== Free Sample issue and Subscription Order Form Theory and Practice of Object Systems Please enter my subscription to Theory and Practice of Object Systems Volume 1, 1995, 4 issues, ISSN 1074-3227 at the rate I have selected Personal rate __ $60 US and Can. __ $80 Outside North America Institutional rate __ $170 US and Can. __ $210 Outside North America Prices include shipping, handling, and packing charges worldwide. Air service included in the subscription price outside the U.S. Personal rate subscriptions are available to individuals and must be prepaid. Subscriptions are entered on a calendar-year basis only. The latest issue, as well as all published issues of the current volume, will be shipped after your payment is received. __Please send me a FREE sample issue. Method of Payment: __Check enclosed. All checks must be drawn on a U.S. bank and payable to John Wiley & Sons. __Purchase order enclosed. __Charge my credit card __MasterCard __Visa __American Express Card Number _______________________________ Expiry _____ Signature______________________________________________ Name____________________________________ John Wiley & Sons, Inc. ATTN: S. Straub 605 Third Ave. New York, NY 10158-0012 E-mail: sstraub@jwiley.com ============================================= Please add yourself to the TAPOS mailing list. You can subscribe/unsubscribe to the list with two simple commands. subscribe tapos Subscribe yourself. unsubscribe tapos Unsubscribe yourself. Commands should be sent in the body of an email message to "majordomo@ccs.neu.edu". Commands in the "Subject:" line NOT processed. If you have any questions or problems, please contact "domomaster@ccs.neu.edu". You can post a message to the entire list by sending mail to "tapos@ccs.neu.edu". ==============================================