From raghu@ricotta.cs.wisc.edu Tue Sep 12 13:22:35 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Tue, 12 Sep 95 13:22:32 -0500; AA22746 Date: Tue, 12 Sep 95 13:22:31 -0500 From: K.R.Apt@cwi.nl Message-Id: <9509121822.AA04347@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Tue, 12 Sep 95 13:22:31 -0500 To: dbworld@ricotta.cs.wisc.edu COMPULOG 2 Final Review Meeting CWI, Amsterdam, The Netherlands September 25--27, 1995 Compulog 2 is an Esprit funded Basic Research Project. It consists of 16 tasks and 2 associated partners. The final review meeting of the project will be devoted to a presentation of the scientific achievements of the project. It will be held on 25-27 September, 1995, at CWI, Kruislaan 413, Amsterdam, The Netherlands. The meeting is open to the public and is free of charge. You are kindly invited to take part in it. Those wishing to attend are requested to send an email to Frank Teusink (frankt@cwi.nl) by September 20. Programme Monday, September 25 9.30-- 9.40 Welcome: Krzysztof R. Apt 9.40--10.40 John Lloyd (Bristol): Journeys through the Wilds of Declarative Programming Language Design 10.40--11.00 Coffee Break 11.00--12.30 * Sten-Ake Tarnlund (Uppsala): Deriving Steadfast Open Sorting Programs * Hakan Millroth (Uppsala): Parallel Goedel * Jonas Barklund (Uppsala): Metareasoning in Legal Reasoning 12.30--14:00 Lunch 14.00--15.00 Robert Kowalski (Imperial College): Logical foundations for multi-agent systems 15.00--15.30 Tea Break 15.30--16.30 Luis Moniz Pereira (Uninova Lisbon): Bird's eye view of NMR issues and our accomplishments in Compulog 2 16.30--17.30 Franco Turini (Pisa): Meta-logical operators and their applications Tuesday, September 26 9.30--10.30 Alberto Pettorossi (Roma "Tor Vergata"): Rules and Strategies for Logic Program Transformation 10.30--11.00 Coffee Break 11.00--12.00 Krzysztof R. Apt (Amsterdam): CWI's work on verification of logic programs with delay declarations 12.00--12.30 Demo of the programming language Goedel (Bristol) 12.30--14:00 Lunch 14.00--15.00 Geraint Wiggins (Edinburgh): Automated construction of logic programs by proof planning 15.00--15.30 Tea Break 15.30--16.30 Werner Nut (DFKI): Terminological Formalisms for Knowledge Representation and Database Systems 16.30--17.30 Andrea Schaerf (Roma "la Sapienza"): Description Logics as a Framework for Class-Based Representation Formalisms Wednesday, September 27 9.30--10.30 Matthias Jarke (Aachen): ConceptBase: A Conceptual Modelling Environment based on Computational Logic 10.30--11.00 Coffee Break 11.00--12.00 Michael Leuschel (Leuven): Precompiling integrity checks through partial deduction of meta programs 12.30--14:00 Lunch 14.00--15.00 Sury Sripada (ECRC Munich): Development of advanced temporal database technology based on LP foundations 15.00--15.10 Closing Remarks: Krzysztof R. Apt 15.10--15.30 Tea Break 15.30--16.30 (Special Talk) John Lloyd (Bristol): Integrating Functional and Logic Programming Languages ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Tue Sep 12 13:23:20 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Tue, 12 Sep 95 13:23:17 -0500; AA22753 Date: Tue, 12 Sep 95 13:23:16 -0500 From: install@allegra.att.com (Neutral Installer) Message-Id: <9509121823.AA04352@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Tue, 12 Sep 95 13:23:16 -0500 To: dbworld@ricotta.cs.wisc.edu Ode 4.0 for Windows is Available Now! ------------------------------------- The single-user version of Ode which runs under Microsoft Windows NT 3.5, Windows NT 3.51, for Windows 95 is now available. This version requires that Microsoft Visual C++ 2.x is installed. To try the Windows version send mail to oderequest as detailed in the following announcement. (Or get it in the same way you got previous releases if you have already signed the non-disclosure form and obtained a copy.) =================Previous Ode announcement appears below this line============== Ode 4.0 is Available Now! ------------------------- Ode Object-Oriented Database Systems and Tools + Ode (Ode) - Active Object-Oriented Database + MM-Ode (MM-Ode) - Active Main-Memory Object Database + OdeFS - UNIX File System Interface to Ode The Ode system and tools have developed at AT&T Bell Laboratories Murray Hill, NJ 07974. UNIVERSITY AVAILABILITY ----------------------- Ode 4.0 is now available to Universities. There is no charge for Ode. However, AT&T requires the signing of a non-disclosure agreement. If you have PREVIOUSLY signed an agreement for Ode 2.0 or Ode 3.0, then you do not need to sign a new agreement - you should have received a separate announcement. To get information and/or a copy of the Ode system, send mail to Daniel Lieuwen or Bob Arlein at oderequests@allegra.att.com with the following information: Faculty Member Name: University: Department: Postal Address: Tel no: Fax no: Email: After May 20, 1995, you can also get information about Ode and order it through the World Wide Web using the URL http://www-db.research.att.com/ode-announce.univ.html Ode 4.0 provides a family of Industrial Strength Database Systems & Tools! ODE FAMILY OF PRODUCTS ---------------------- + Ode, also known as Ode, is an active, object-oriented database system based on the C++ object paradigm. Ode is built using the EOS storage manager. The Ode database programming language O++ is an upward-compatible extension of C++. O++ offers a simple and elegant notion of persistence which is modeled on the `heap'. O++ provides facilities for querying and modifying the database. O++ also provides sophisticated trigger facilities. + MM-Ode, also known as MM-Ode, is a main-memory version of Ode built using the Dali main-memory storage manager. It is the only object-oriented, main-memory database. MM-Ode will be especially useful for time-critical applications. + OdeFS is a file system interface to the Ode object database. OdeFS allows objects to be treated and manipulated like files. Standard commands such as rm, cp and mv and tools such as vi and grep can be used to manipulate objects in the database. Ode 4.0 Provides Active Database Facilities! ------------------------------------------- Release 4.0 of the Ode system provides sophisticated trigger facilities. Triggers are the basic ingredient of active databases. Ode triggers are very powerful since they can be based on complex events. They are more sophisticated than the triggers provided by commercial systems. Ode Users --------- Ode is currently being used in several projects within AT&T. Earlier versions of Ode have been distributed to and 425+ universities. Ode User Group -------------- An Ode user group is run from the Illinois Institute of Technology. The purpose of the users' group for Ode is to share tips, problems, ideas and experiences using Ode. The users' group is for discussing all aspects of Ode, its applications, programming language interfaces, data model, and implementation. Discussion is NOT limited to experts. To join the group, send mail to ode@iitmax.acc.iit.edu Include name and a paper mail address in the message. Platforms --------- Ode currently runs on these platforms: OS Hardware -- -------- SunOS 4.1.x Sun SparcStations Solaris 2.3 Sun SparcStations NT MM-Ode is only available on Suns currently. Ode for NT is currently available on as a single-user database. ODE DETAILS ------------ Ode Active Oriented Database ---------------------------- Ode uses one integrated data model (C++ classes) for both database and general purpose manipulation. The Ode database is defined, queried and manipulated in the database programming language O++, which provides simple and elegant facilities for manipulating the database. O++ is an upward-compatible extension of C++. A few facilities have been added to C++ to make it into a database programming language. C++ programmers can learn O++ in a very short time. Some of the important features offered by Ode are: - Large objects (transparent and file-like interface) - Object versioning - Triggers - Associative queries - B-tree (Ode only) and hash indices - Named objects Ode has two operation modes: - Client-server: allows multiple users to access the database concurrently. - Single user: improved performance compared to client-server mode (no transactions or logging). GENERAL INFORMATION ------------------- Some important characteristics of an object-oriented database are: ----------------------------------------------------------------- - Data is stored as objects - Data can be interpreted (using member functions) only as specified by the class designer - Relationships between similar objects are preserved (inheritance) - References between objects are preserved. Advantages ---------- - Speed: Queries can be faster because relational-style joins are often not needed. - No impedance mismatch: The same data model is used both by the database programming language and the database. No format conversions are required when reading data from (or storing data to) disk. - Complex applications: The full power of the database programming language's type system can be used to implement the data structures of a complex application and the relationship between different data items. - Multi-media applications: Class methods facilitate correct interpretation of the data. - Versions: Better support for versioning provided. An object can be viewed as the set of all its versions. Also, object versions can be treated as full fledged objects. - Triggers and constraints: Better support for triggers and constraints which are the basis of active databases. - OO applications: Most if not all, object-oriented applications that have database needs will benefit from using an object-oriented database. Specifically, C++ applications that have database needs will benefit from using Ode. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Tue Sep 12 13:23:44 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Tue, 12 Sep 95 13:23:42 -0500; AA22760 Date: Tue, 12 Sep 95 13:23:41 -0500 From: calton@cse.ogi.edu (Calton Pu) Message-Id: <9509121823.AA04357@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Tue, 12 Sep 95 13:23:41 -0500 To: dbworld@ricotta.cs.wisc.edu RE-ADVERTISEMENT Wanted: Postdoc for Internet software research project at OGI We are starting an ARPA funded project in the area of integration of information services. The position of postdoc will be open from August 1995 for a period of up to three years. Desirable qualifications for this position include a PhD in computer science or a relevant related area and practical experience in one or more of following areas: programming languages and compilers, database systems, and Internet information services. The postdoc will conduct research, design, and implementation of software to support the flexible integration of next-generation heterogeneous information services on the Internet. This position is part of the Agile/Harvest project, which is developing software for a variety of information discovery and interoperation tools. Project principal investigators are: Michael Schwartz of University of Colorado, Calton Pu of Oregon Graduate Institute, and Carl Malamud of Internet Multicasting Services. The postdoc position is at OGI, located near Portland, Oregon, in the beautiful Pacific Northwest. The research focus at OGI will be on the interoperation between high level application protocols and databases. For more information, please contact: Prof. Calton Pu Dept. Computer Science and Engineering Oregon Graduate Institute P.O. Box 91000 Portland, OR 97291-1000 phone: (503) 690-1214 fax: (503) 690-1553 email: calton@cse.ogi.edu ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Tue Sep 12 20:45:55 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Tue, 12 Sep 95 20:45:52 -0500; AA28702 Date: Tue, 12 Sep 95 20:45:51 -0500 From: "Nabil R. Adam" Message-Id: <9509130145.AA04687@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Tue, 12 Sep 95 20:45:51 -0500 To: dbworld@ricotta.cs.wisc.edu Dear Colleagues: I (Nabil Adam) was asked by the editor-in-chief of IEEE Trans. on Knowledge and Data Eng. Journal (TKDE), Dr. B. Wah to put together a special section of Concise research papers on Digital Libraries. Each paper has to be limited to around 8-9 double spaced pages (around 6 journal pages). We are very much interested in original reserch work. What we could also have is a short version and a longer version of an original reasearch paper. The shorter version (5-6 journal pages) would be in the TKDE and the longer version (15 journal pages--or more if need to) would be for our new International journal on Digitall Libraries that will be published by Springer Verlag beginning next year (1996). Prof. Yelena Yesha and I will co-edit this special section. We will have each paper reviewed and the accepted ones (no more than 6 papers will be included in this special section. The review process will move very fast and we expect that the papers will appear within 5 months from acceptance. Yelena and I would like to invite you to contribute to this special section. Here are the important dates. Papers due: Oct. 20, 1995 Acceptance notification: Dec. 15, 1995 Final version due: Jan. 30, 1996 Special Section published: April 1996 Please send 6 copies to: Prof. Nabil Adam Rutgers University 180 University Avenue Newark, NJ 07102 adam@adam.rutgers.edu (201)648-5239 Electronic submission is encouraged. Send email to dlib@adam.rutgers.edu for details about electronic submission. best regards nabil ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Wed Sep 13 10:04:04 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Wed, 13 Sep 95 10:03:58 -0500; AA07957 Date: Wed, 13 Sep 95 10:03:57 -0500 From: Peter Eklund Message-Id: <9509131503.AA05244@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Wed, 13 Sep 95 10:03:57 -0500 To: dbworld@ricotta.cs.wisc.edu Subject: (DBWORLD) ICCS 96 Call for Papers FIRST CALL FOR PAPERS 4TH INTERNATIONAL CONFERENCE ON CONCEPTUAL STRUCTURES (ICCS '96) SYDNEY, AUSTRALIA AUGUST 19-22, 1996 IMPORTANT DATES Submission postmark deadline January 15, 1996 Notification of acceptance February 23, 1996 Camera-ready copy April 12, 1996 Conceptual graphs are a logic-based formalism for knowledge representation based on the existential graphs of Charles S. Peirce and semantic networks. Conceptual structures have been widely used as a semantic representation for natural language and as a graphic system of logic for expert systems, theorem provers, and database design. Significant gains have been made in the storage and retrieval of DBMS information coupled with knowledge-based system problem solving capability. Researchers have developed a sizable software base and continue to build upon it. Successful implementations include: rule-based systems, database systems, knowledge-based systems, knowledge engineering tools, enterprise modeling, management information systems, conceptual information retrieval, medical informatics and natural language applications, among others. Authors are invited to submit papers describing both theoretical and practical research involving conceptual structures and related encoding, search, and order-based techniques. Papers accepted or under review by other conferences or journals are not acceptable as submissions. The International Conference on Conceptual Structures (ICCS) is the annual conference and principle research forum in the practice and theory of conceptual structures. The main proceedings of the conference are published in the Springer Verlag lecture notes on Computer Science series. Previous ICCS conferences have been held at the University of Southern California, Santa Cruz (ICCS '95), The University of Maryland (ICCS '94), Universite Laval, Quebec City (ICCS '93). _____________________________________________________________________ TOPICS Papers are invited on the following topics: - theory of conceptual structures; - case studies using conceptual structures; - conceptual analysis; - conceptual lattice theory; - term encoding and conceptual structures; - natural language processing with conceptual structures; - theories of ontology and higher taxonomic structure; - graph matching and grammars; - graph algorithms for conceptual structures - software tools for conceptual structures - foundations and philosophy of Peirce's existential graphs - machine learning and conceptual structures; - human-computer issues and conceptual structures; - computability and conceptual structures; - theorem proving and conceptual structures; - approximate reasoning and conceptual structures; - knowledge acquisition and conceptual structures; - comparisons with other knowledge representations. AUTHOR INFORMATION Papers are limited to 12 pages, 10 point font size, text width (4.88 in) 12.2 cm, text height 7.72 in (19.3 cm). Latex users: please use llncs.sty (available by ftp from trick.ntp.springer.de, pub/tex/latex/llncs/llncs.sty). Shorter papers (up to 6 pages in length) are also welcome. Authors are requested to submit five (5) hardcopies of their paper. Alternatively, electronic submissions of papers (postscript output) are encouraged. Authors are requested to attach title pages to their submissions bearing their names, addresses, telephone numbers, fax numbers and e-mail addresses. In addition, authors are asked to include abstracts of approximately twenty (20) lines with the title page. Papers (hardcopy or electronic submissions) must be postmarked on or before Monday, January 15, 1996. ADDRESS: ICCS'96 Department of Computer Science The University of Adelaide 5005 Australia email: iccs96@cs.adelaide.edu.au phone:61-8-303-4483 fax:61-8-303-4366 PUBLICATION OF PAPERS Long papers will appear in the conference Proceedings published by Springer-Verlag of Berlin. PRIZES There will be prizes in the categories: best student paper, best student research proposal, best demonstration. General Chair Program Chair Local Arrangements Chair Peter W. Eklund Gerard Ellis Graham Mann peter@cs.adelaide.edu.au ged@cs.rmit.edu.au mann@cse.unsw.edu.au _____________________________________________________________________ EDITORIAL COMMITTEE Michel Chein IRMM, Universite Montpellier, France Fritz Lehmann Grandai Software, USA John Sowa State University of New York, USA Robert Levinson The University of California, Santa Cruz, USA Bernard Moulin Universite Laval, Canada Vilas Wuwongse Asian University of Technology, Thailand PROGRAMME COMMITTEE Harmen van den Berg Telematics Research Centre, The Netherlands Duane Boning MIT, USA Walling Cyre Georgia Institute of Technology, USA Harry Delugach The University of Alabama in Huntsville, USA Judy Dick The University of Maryland, USA Bruno Emond Universite du Quebec a Hull, Canada John Esch Loral Defence Systems, USA Andrew Fall Simon Fraser University, Canada Norman Foo The University of Sydney, Australia Brian Gaines The University of Calgary, Canada Cees Hoede The University of Twente, The Netherlands Adil Kabbaj Universite de Montreal, Canada Pavel Kucora The University of Loughborough, UK Dickson Lukose The University of New England, Australia Marie-Laure Mugnier LIRMM, Universite Montpellier, France Guy Mineau Universite Laval, Canada Jens-Uwe Moeller The University of Hamburg, Germany Nicolas Nicolov The University of Edinburgh, UK Jonathan Oh University of Missouri at Kansas City, USA Heather Pfeiffer New Mexico State University, USA Heike Petermann The University of Hamburg, Germany Maurice Pagnucco The University of Sydney, Australia Bill Rich IBM, USA James Slagle The University of Minnesota, USA Bill Tepfenhart AT&T, USA Michel Wermelinger University Nova de Lisboa, Portugal Rudolf Wille Technische Hochschule Darmstadt, Germany Mark Willems Free University of Amsterdam, The Netherlands CONFERENCE LOCATION The conference will be held at the Swiss-Grand Hotel, Bondi in Sydney, Australia. The Swiss-Grand overlooks the famous Bondi Beach and is 7 km (4 miles) from downtown Sydney. Accommodation includes budget and student style hotels within walking distance of the Swiss-Grand. Bondi is a lively part of Sydney with many eating and shopping possibilities. The University of New South Wales is a short drive from Bondi Beach. Bondi is well serviced by buses and metro-train to downtown Sydney and Sydney airport. INFORMATION ON WWW This CFP and the latest information regarding ICCS'96 can be found on the World Wide Web at http://www.cs.adelaide.edu.au/~iccs96. The ICCS96 conference is held in the week preceding the Pacific Rim Conference on Artificial Intelligence (PRICAI-96). _____________________________________________________________________ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Wed Sep 13 10:12:05 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Wed, 13 Sep 95 10:11:45 -0500; AA08009 Date: Wed, 13 Sep 95 10:11:44 -0500 From: laender@dcc.ufmg.br (Alberto H F Laender) Message-Id: <9509131511.AA05274@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Wed, 13 Sep 95 10:11:44 -0500 To: dbworld@ricotta.cs.wisc.edu Dear Colleague, You will find below the final call for papers for the Special Issue on Databases of the Journal of the Brazilian Computer Society. Note that the deadline for submitting a paper to this special issue is October, 2. However, due to several demands to postpone this deadline, I am prepared to accept for refereeing any contribution which reaches me by October, 20. Looking forward to your contribution, Best regards, Alberto Laender Guest Editor Special Issue on Databases - JBCS JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (JBCS) ================================================ FINAL CALL FOR PAPERS ===================== Special issue on Databases (APRIL 1996) The Journal of the Brazilian Computer Society (JBCS) is planning a Special Issue on Databases for April 1996. JBCS is published three times a year and previous issues focused on the following topics: Computer Supported Cooperative Work (July 1994), Computer Networks (November 1994), String Processing (April 1995) and Parallel Computation (July 1995). A special issue on Electronic Design Automation is scheduled for November. This Special Issue of JBCS welcomes papers describing original ideas and new results in any topic in the area of databases. Papers may be practical or conceptual in nature. INSTRUCTIONS FOR AUTHORS =========== === ======= Please submit five (5) copies of your paper to the Special Issue Guest Editor Alberto H. F. Laender DCC - ICEx - UFMG Caixa Postal 702 30161-970 - Belo Horizonte - MG Brasil Email: laender@dcc.ufmg.br Fax: +55-31-448-5858 Contributions will be considered for publication in JBCS if they have not been published previously and are not under consideration for publication elsewhere. Acceptance of papers for publication is subject to a peer review procedure and is conditional on revisions being made given comments from referees. Details of format for final submission will be provided for accepted papers. Authors must submit the final version in electronic format and should provide hard-copy versions for refereeing. Submitted papers are to be written in English and typed double-spaced on one side of white A4 sized paper. Each paper should be no more than 20 pages long, including all text, figures and references. The final manuscript should be approximately 8000 words in length. IMPORTANT DATES =============== Submission deadline October 2, 1995 Notification of acceptance December 15, 1995 Electronic camera ready version January 29, 1996 For additional information on the Journal, and on how to submit papers in order to speed up final processing, contact the Editor-in-Chief Claudia Bauzer Medeiros DCC - IMECC - UNICAMP Caixa Postal 6065 13081-970 - Campinas - SP Brasil Email: cmbm@dcc.unicamp.br Fax: +55-192-397470 or use www page http://www.dcc.unicamp.br/~jbcs. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Wed Sep 13 11:49:36 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Wed, 13 Sep 95 11:49:30 -0500; AA09852 Date: Wed, 13 Sep 95 11:49:29 -0500 From: felty@research.att.com (Amy Felty) Message-Id: <9509131649.AA05441@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Wed, 13 Sep 95 11:49:29 -0500 To: dbworld@ricotta.cs.wisc.edu [A postscript version of the call for papers is available via the LICS web page at http://www.research.att.com/lics/, and via anonymous ftp from research.att.com, directory /dist/lics.] [Our apologies if you receive multiple copies of this announcement.] Eleventh Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE July 27-30, 1996, New Brunswick, New Jersey, USA CALL FOR PAPERS The LICS Symposium aims to attract original papers of high quality on theoretical and practical topics in computer science that relate to logic in a broad sense, including algebraic, categorical and topological approaches. Suggested, but not exclusive, topics of interest include: abstract data types, automated deduction, categorical models, concurrency, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, hybrid systems, logics of knowledge, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, model checking, program logic and semantics, rewriting, logical aspects of symbolic computing, software specification, type systems, verification. Paper submission: Send 12 copies of an extended abstract (not a full paper) to the program chair to be received by December 13, 1995. This deadline is firm; late submissions will not be considered. Authors without access to copiers may submit a single copy. Authors will be notified of acceptance or rejection by March 7, 1996. Accepted papers in a specified format for the proceedings will be due May 7, 1996. The first page of the extended abstract should include the title of the paper, names and affiliations of authors, a brief synopsis, and the contact author's name, address, phone number, fax number, and email address, if available. The extended abstract may not exceed 10 typed pages in no less than 11-point font, with a line spacing of no less than 1.5. It must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. References and comparisons with related work should be included. Technical development directed to the specialist should follow. Submissions departing significantly from these guidelines risk rejection. Dual submissions: The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops (see exception below). All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present the paper at the conference. As a one-time experiment, submissions to LICS this year can also be submitted to the Israeli Symposium on the Theory of Computing and Systems (ISTCS), provided this is clearly indicated on the cover page of the submission. If the paper is accepted to both LICS and ISTCS, then the paper will be included in the LICS proceedings, and the ISTCS proceedings will include only a 1-page abstract with a pointer to the LICS proceedings. IMPORTANT DATES: Submission deadline: December 13, 1995 Notification: March 7, 1996 Final papers due: May 7, 1996 Conference: July 27-30, 1996 The symposium is part of the Federated Logic Conference (FLoC), July 27-August 3, 1996, being hosted by the Center for Discrete Mathematics and Computer Science, Rutgers University, as part of its Special Year on Logic and Algorithms. In addition to LICS, FLoC includes the following related conferences: Rewriting Techniques and Applications (RTA), Conference on Automated Deduction (CADE), and Computer-Aided Verification (CAV). LICS and RTA will be held in parallel during the first four days of FLoC. CADE and CAV will be held during the last four days, with CADE workshops running in parallel with the last day of LICS. Plenary events involving all the conferences are scheduled. For further information on FLoC and the participating conferences, see the FLoC home page at http://www.research.att.com/lics/floc/. Information about the Special Year can be found in http://dimacs.rutgers.edu/. The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, and the Association for Computing Machinery. Kleene Award for Best Student Paper: An award of $500, in honor of the late S.C. Kleene, will be given to the best paper, as judged by the program committee, written solely by one or more students. A submission is eligible if all authors are full-time students at the time of submission. This should be indicated in the submission letter. The program committee may decline to make the award or may split it among several papers. PROGRAM CHAIR: Edmund M. Clarke Department of Computer Science Carnegie Mellon University Pittsburgh, PA 15228 lics96@cs.cmu.edu Phone: (412) 268-2628 Fax: (412) 268-5576 PROGRAM COMMITTEE: S. Buss, UC San Diego P. Lincoln, SRI E. Clarke, CMU J. Mitchell, Stanford A. Emerson, UT Austin U. Montanari, Univ. Pisa S. German, IBM Watson P. Panangaden, McGill G. Gottlob, TU Vienna F. Pfenning, CMU O. Grumberg, Technion J. Rushby, SRI D. Howe, AT&T Bell Labs C. Stirling, Edinburgh C. Kirchner, INRIA & CRIN A. Stolboushkin, UCLA K. Kunen, Wisconsin G. Winskel, Aarhus CONFERENCE CHAIR: Jon G. Riecke AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974, USA riecke@research.att.com LICS GENERAL CHAIR: Moshe Y. Vardi Department of Computer Science Rice University 6100 S. Main Street Houston, Texas 77251-1892, USA vardi@cs.rice.edu ORGANIZING COMMITTEE: M. Abadi, S. Abramsky, S. Artemov, E. Boerger, A. Borodin, W. Brauer, A. Bundy, S. Buss, E. Clarke, R. Constable, A. Felty, U. Goltz, D. Howe, G. Huet, J.-P. Jouannaud, D. Kapur, C. Kirchner, P. Kolaitis, D. Kozen, T. Leighton, D. Leivant, A.R. Meyer, D. Miller, J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, J. Remmel, J. Riecke, S. Ronchi della Rocca, A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi PUBLICITY CO-CHAIRS: Amy Felty and Douglas Howe AT&T Bell Laboratories 600 Mountain Avenue, Murray Hill, NJ 07974, USA felty@research.att.com, howe@research.att.com %************************************************************************ %************************ LATEX VERSION ********************************* %************************************************************************ \documentstyle[11pt]{article} \topmargin-0.5in \marginparwidth 0pt \oddsidemargin 0pt \evensidemargin 0pt \marginparsep 0pt \textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt \renewcommand{\i}[1]{{\it #1 \/}} \pagestyle{empty} \begin{document} \begin{center} {\bf CALL FOR PAPERS}\\[2ex] {\large Eleventh Annual IEEE Symposium on }\\[2ex] {\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex] {\large\it July 27--30, 1996, New Brunswick, New Jersey, USA} \end{center} \vspace{.2in} \begin{minipage}[t]{2.20in}% first column \parskip 4pt {\bf Program Chair:} \\[1mm] Edmund M.~Clarke\\ Department of Computer Science\\ Carnegie Mellon University\\ Pittsburgh, PA 15228\\ {\tt lics96@cs.cmu.edu} \\ Phone: (412) 268-2628 \\ Fax: (412) 268-5576\\[1mm] \smallskip {\bf Program Committee:}\\[1mm] S.~Buss, \i{UC San Diego}\\ E.~Clarke, \i{CMU}\\ A.~Emerson, \i{UT Austin}\\ S.~German, \i{IBM Watson}\\ G.~Gottlob, \i{TU Vienna}\\ O.~Grumberg, \i{Technion}\\ D.~Howe, \i{AT\&T Bell Labs}\\ C.~Kirchner, \i{INRIA \& CRIN}\\ K.~Kunen, \i{Wisconsin}\\ P.~Lincoln, \i{SRI}\\ J.~Mitchell, \i{Stanford}\\ U.~Montanari, \i{Univ.~Pisa}\\ P.~Panangaden, \i{McGill}\\ F.~Pfenning, \i{CMU}\\ J.~Rushby, \i{SRI}\\ C.~Stirling, \i{Edinburgh}\\ A.~Stolboushkin, \i{UCLA}\\ G.~Winskel, \i{Aarhus }\\[1mm] \smallskip {\bf Conference Chair:} \\[1mm] Jon G.~Riecke\\ AT\&T Bell Laboratories\\ 600 Mountain Avenue\\ Murray Hill, NJ 07974, USA\\ {\tt riecke@research.att.com} \end{minipage} \hspace{.25in} \begin{minipage}[t]{4.2in}% second column \parskip 4pt The {\bf LICS} Symposium aims to attract original papers of high quality on theoretical and practical topics in computer science that relate to logic in a broad sense, including algebraic, categorical and topological approaches. Suggested, but not exclusive, topics of interest include: {\em abstract data types, automated deduction, categorical models, concurrency, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, hybrid systems, logics of knowledge, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, model checking, program logic and semantics, rewriting, logical aspects of symbolic computing, software specification, type systems, verification.} {\bf Paper submission:} Send 12 copies of an extended abstract (not a full paper) to the {\bf program chair} to be {\bf received} by {\bf December 13, 1995}. {\sl This deadline is firm; late submissions will not be considered.} Authors without access to copiers may submit a single copy. Authors will be notified of acceptance or rejection by March 7, 1996. Accepted papers in a specified format for the proceedings will be due May 7, 1996. The first page of the extended abstract should include the title of the paper, names and affiliations of authors, a brief synopsis, and the contact author's name, address, phone number, fax number, and email address, if available. The extended abstract may not exceed 10 typed pages in no less than 11-point font, with a line spacing of no less than 1.5. It must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. References and comparisons with related work should be included. Technical development directed to the specialist should follow. Submissions departing significantly from these guidelines risk rejection. \end{minipage} \newpage \begin{minipage}[t]{2.20in}% first column \parskip 4pt {\bf General Chair:}\\[1mm] Moshe Y.~Vardi\\ Department of Computer Science\\ Rice University\\ 6100 S.~Main Street\\ Houston, Texas 77005-1892, USA\\ {\tt vardi@cs.rice.edu}\\[1mm] \smallskip {\bf Organizing Committee:}\\[1mm] M.~Abadi, S.~Abramsky,\\ S.~Artemov, E.~B\"orger,\\ A.~Borodin, W.~Brauer,\\ A.~Bundy, S.~Buss,\\ E.~Clarke, R.~Constable,\\ A.~Felty, U.~Goltz, D.~Howe,\\ G.~Huet, J.-P.~Jouannaud,\\ D.~Kapur, C.~Kirchner,\\ P.~Kolaitis, D.~Kozen,\\ T.~Leighton, D.~Leivant,\\ A.R.~Meyer, D.~Miller,\\ J.~Mitchell, Y.~Moschovakis,\\ M.~Okada, P.~Panangaden,\\ J.~Remmel, J.~Riecke,\\ S.~Ronchi della Rocca,\\ A.~Scedrov, D.~Scott,\\ J.~Tiuryn, M.Y.~Vardi. \\[1mm] \smallskip {\bf Publicity Co-Chairs:}\\[1mm] Amy Felty \& Douglas Howe\\ AT\&T Bell Laboratories\\ 600 Mountain Avenue\\ Murray Hill, NJ 07974, USA\\ {\tt felty@research.att.com}\\ {\tt howe@research.att.com}\\ \end{minipage} \hspace{.25in} \begin{minipage}[t]{4.2in}% second column \parskip 4pt {\bf Dual submissions}: The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops (see exception below). All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present the paper at the conference. As a one-time experiment, submissions to LICS this year can also be submitted to the Israeli Symposium on the Theory of Computing and Systems (ISTCS), provided this is clearly indicated on the cover page of the submission. If the paper is accepted to both LICS and ISTCS, then the paper will be included in the LICS proceedings, and the ISTCS proceedings will include only a 1-page abstract with a pointer to the LICS proceedings. The symposium is part of the {\bf Federated Logic Conference} (FLoC), July 27--August 3, 1996, being hosted by the Center for Discrete Mathematics and Computer Science, Rutgers University, as part of its Special Year on Logic and Algorithms. In addition to LICS, FLoC includes the following related conferences: Rewriting Techniques and Applications (RTA), Conference on Automated Deduction (CADE), and Computer-Aided Verification (CAV). LICS and RTA will be held in parallel during the first four days of FLoC. CADE and CAV will be held during the last four days, with CADE workshops running in parallel with the last day of LICS. Plenary events involving all the conferences are scheduled. For further information on FLoC and the participating conferences, see the FLoC home page at {\tt http://www.research.att.com/lics/floc/}. Information about the Special Year can be found in {\tt http://dimacs.rutgers.edu/}. The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, and the Association for Computing Machinery. {\bf Kleene Award for Best Student Paper:} An award of \$500, in honor of the late S.C.\ Kleene, will be given to the best paper, as judged by the program committee, written solely by one or more students. A submission is eligible if all authors are full-time students at the time of submission. This should be indicated in the submission letter. The program committee may decline to make the award or may split it among several papers. \end{minipage} \end{document} ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Thu Sep 14 10:25:02 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Thu, 14 Sep 95 10:24:59 -0500; AA27892 Date: Thu, 14 Sep 95 10:24:57 -0500 From: gw@fct.unl.pt Message-Id: <9509141524.AA06444@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Thu, 14 Sep 95 10:24:57 -0500 To: dbworld@ricotta.cs.wisc.edu ************************ CALL FOR PAPERS ***************************** ********************************************************************** **** SPECIAL ISSUE of the Journal of APPLIED NON-CLASSICAL LOGICS ***** *********************************************************************** *********** on Handling INCONSISTENCY in Knowledge Systems ************ *********************************************************************** The Journal of Applied Non-Classical Logics is planning a special issue on Handling Inconsistency in Knowledge Systems. While inconsistency handling is only a minor issue in traditional database systems and expert systems which do usually not allow to represent explicit negative information, the introduction of extended logic programs and the advent of agent systems require new and principled methods to deal with inconsistency in such advanced knowledge systems. Related to the two basic operations of knowledge systems, inference and update, there are two different approaches to handling contradictory pieces of knowledge: NEUTRALIZATION/PREEMPTION-based inference and BELIEF REVISION. In the first approach, contradictory information is neutralized/overridden during the process of reasoning, and thus the set of inferrable queries is kept consistent. In the second approach, new knowledge inputs are assimilated in such a way that the consistency of the knowledge base is preserved. We invite high-quality original research papers pursuing one or both of these approaches. To be considered for this special issue of JANCL, prospective authors should clearly address some kind of practical knowledge system framework (such as extended logic programs, or possibilistic knowledge bases), and not only present "another logic". Realistic belief revision approaches, for instance, should be direct and operational, and not consider infinitary knowledge bases (as the rather philosophical AGM theory does). On the other hand, proposed methods have to be "logical" in the sense that they should be based on clear principles, and preferably be related to some kind of (e.g. partial, or possibilistic) model theory. Authors of accepted papers will be asked to address certain essential questions in the final version of their papers, and to participate in some kind of joint discussion to be included in the special issue. Please email separately 1) as soon as possible the title and abstract of your submission (in plain ASCII format), and 2) by February 1, 1996, your paper (as a self-contained LaTeX, or as a postscript file) to the guest editor: Gerd Wagner gw@inf.fu-berlin.de Institut f. Informatik Univ. Leipzig Augustusplatz 10/11 D-04109 Leipzig Germany The Journal of Applied Non-Classical Logic is an archival, peer reviewed journal edited by Luis Farinas del Cerro. Readers interested in subscribing to this journal should contact Edition HERMES; 14, rue Lantiez; 75017 Paris; Fax: (+33 1) 4229 15 56. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Fri Sep 15 15:32:22 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 15 Sep 95 15:32:15 -0500; AA26304 Date: Fri, 15 Sep 95 15:32:14 -0500 From: ebertino@isse.gmu.edu (Eliza Bertino) Message-Id: <9509152032.AA08169@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 15 Sep 95 15:32:14 -0500 To: dbworld@ricotta.cs.wisc.edu ESORICS-96 Rome, Italy, September 25-27, 1996 Sponsored and organized by AICA (Associazione Italiana di Informatica) In cooperation with Fondazione Ugo Bordoni, AFCET, the Norwegian Computer Society, Gesellschaft fuer Informatik (GI) The series of European Symposium on Research in Computer Security (ESORICS) represents a relevant international event in the computer security area. The symposium started in 1990 in Toulouse (France) and is now held every two years in different European countries and attracts audience from both the academic and industrial communities. Previous editions of ESORICS have been in Toulouse (France) and Brighton (United Kingdom). In 1996, ESORICS will be held in Rome (Italy). TOPICS: We solicit papers describing original ideas and new results on the foundations and applications of the computer security area. Suggested topics include but are not limited to: Theoretical Foundations of Security - security models and specifications, formal logic and information theory, formal development techniques Operating Systems Security - compartmented mode workstations, access control, security models Network Security - authentication, key management, multilevel secure networks Security in Data and Knowledge Bases - multilevel secure DBMS, transaction management, integrity Development of Secure Systems - security requirement engineering, software development environment, high assurance software Security versus other Requirements - security and costs, risk analysis, security policy design, safety, availability Security Evaluation - criteria, evaluation techniques Management of Secure Systems - liability, accountability, auditing, intrusion detection, administration tools Electronic Commerce and Intellectual Property Protection - electronic cash, smart cards, fund transfer, software protection Internet Security - firewalls, secure www protocols, secure authentication, privacy, anonimity Distributed Systems - client/server security, distributed object security, security and safety The primary focus is on high-quality original unpublished research, case studies and implementation experiences. We encourage submissions of papers discussing industrial research and development. INSTRUCTIONS: Authors are invited to submit six copies of papers or panel proposals before March 15, 1996. The text must be submitted in English. Papers should be limited to 6000 words, full page figures being counted as 300 words. Each paper must include a short abstract and a list of keywords indicating subject classification. Panel proposals should include title, proposed chair, tentative panelists, a 2 or 3 paragraph description of the subject, format of the presentation, and rationale for the panel. Papers and panel proposals must be sent to the following address: Elisa Bertino, ESORICS'96, Dipartimento di Scienze dell'Informazione Universita' di Milano, Via Comelico 39, 20135 (Italy) e-mail: bertino@hermes.mc.dsi.unimi.it Tel: (+39)2-55006227 Fax: (+39)2-55006253 IMPORTANT DATES: Deadline for submission: March 15, 1996 Notification of acceptance or rejection: May 31, 1996 Final camera-ready due: June 30, 1996 For electronic paper submission please contact Francesco Gentile at gentilef@fub.it before March 1, 1996. Selection will be based on originality and contribution to the field. The proceedings consisting of the accepted papers will be published and distributed to the participants. It is anticipated that the proceedings will be published by Springer-Verlag under the Lecture Notes in Computer Science series, as in the previous editions of ESORICS. Authors of the best papers will be invited to submit extended versions of their paper for a special issue planned for the Journal of Computer Security. ESORICS STEERING COMMITTEE CHAIR: Yves Deswarte (LAAS-CNRS, France) GENERAL CHAIR: Giancarlo Martella (University of Milano, Italy) PROGRAM COMMITTEE: Chair: Elisa Bertino (University of Milano, Italy) Vice-Chair: Helmut Kurth (IABG, Germany) Vice-Chair: Emilio Montolivo (Fondazione Ugo Bordoni, Italy) Bruno d'Ausbourg (CERT-ONERA, France) Joachim Biskup (University Hildesheim, Germany) Peter Bottomley (DRA, UK) Martha Branstad (TIS, USA) Yves Deswarte (LAAS-CNRS, France) Gerard Eizenberg (CERT-ONERA, France) Ed Fernandez (Florida Atlantic University, USA) Simon Foley (University College, Cork, Ireland) Walter Fumy (Siemens ZFE, Germany) Dieter Gollmann (University of London, UK) Li Gong (SRI, USA) Franz-Peter Heider (GEI, Germany) Jeremy Jacob (University of York, UK) Sushil Jajodia (George Mason University, USA) John McLean (NRL, USA) Roger Needham (University of Cambridge, UK) Pierre Paradinas (RD2P/Gemplus, France) Andreas Pfitzmann (University of Dresden, Germany) Jean-Jacques Quisquater (UCL, Belgium) Pierangela Samarati (University of Milano, Italy) Einar Snekkenes (NDRE, Norway) Bhavani Thuraisingham (MITRE, USA) Vijay Varadharajan (University of West. Sydney, Australia) Mike Walker (Vodafone, UK) LOCAL ARRANGEMENT CHAIR: Francesco Gentile Fondazione Ugo Bordoni - Via B. Castiglione 59 00142 Roma (Italy) Tel: (+39)6-54803321 Fax: (+39)6-54804403 e-mail: gentilef@fub.it WWW For more information about ESORICS'96 consult the World Wide Web using URL: http://www.laas.fr/~esorics http://www.fub.it/ESORICS96/ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@ricotta.cs.wisc.edu Fri Sep 15 17:35:31 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 15 Sep 95 17:35:26 -0500; AA27855 Date: Fri, 15 Sep 95 17:35:25 -0500 From: dfk@wildcat.cs.dartmouth.edu (David Kotz) Message-Id: <9509152235.AA08376@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 15 Sep 95 17:35:25 -0500 To: dbworld@ricotta.cs.wisc.edu CALL FOR PAPERS Fourth Annual Workshop on I/O in Parallel and Distributed Systems (IOPADS) in conjunction with the ACM 1996 Federated Computing Research Conference May 27-28, 1996 Philadelphia, PA Co-sponsored by: ACM SIGACT ACM SIGARCH ACM SIGOPS IEEE TCOS In cooperation with: ACM SIGMETRICS In 1996, its fourth year, IOPADS graduates from an informal workshop held in conjunction with IPPS, to a format more like a symposium to be co-located with many others at FCRC '96. The thrust of IOPADS has always been to bring together researchers in all aspects of parallel I/O, which we broadly place into five categories: architecture, algorithms, applications, file and operating systems, and compilers and runtime systems. It is our opinion that the problems of parallel I/O are most effectively addressed by investigating all these areas rather than working in each area in isolation. Although I/O-related papers appear in many other conferences, the value of IOPADS is in gathering interested researchers from all these areas of computer science, encouraging cross-disciplinary interaction, rather than working in each area in isolation. Through ACM Press, IOPADS will publish a formal proceedings, which will be provided to all registrants and will be available for sale at FCRC and afterwards. Papers are invited on related topics, including but not limited to * Experimental characterization of I/O demand * Design and implementation of I/O-intensive applications * Real-time and multimedia I/O * Parallel I/O issues in database systems * Theory and implementation of parallel I/O algorithms * I/O-subsystem architecture * Empirical evaluation of parallel I/O subsystems * Language and compiler support for parallel I/O * Operating-system support for parallel I/O * Concurrent and parallel file systems Papers submitted to IOPADS must be unpublished and must not submitted for publication elsewhere. All papers will be reviewed by a blind referee process, with decisions made by the Program Committee as a whole. The first page, which will be withheld from reviewers, must include only the title, names of all authors, and the telephone number and electronic mail address of the contact author. The text of the paper, including the title and abstract (but no author information) should start on the second page. The manuscript should be at most 20 8.5 x 11 or A4 pages long (including figures, tables, and references but excluding the page withheld from reviewers), typeset with a 10-point font on 20-point spacing, i.e., double spaced. Electronic submission (of PostScript) is strongly encouraged (details available on the Web page below, or contact the Program Chair). For hard-copy submission, send 7 copies of the paper (preferably double-sided) to the Program Chair. All submissions, electronic or hard copy, must arrive by 6 P.M. Eastern Time on October 17, 1995. Decisions will be announced by December 22, 1995. General Chairs David Kotz Thomas H. Cormen Ravi Jain Department of Department of Bellcore Computer Science Computer Science 445 South Street Dartmouth College Dartmouth College Morristown, NJ 07962 Hanover, NH 03755-3510 Hanover, NH 03755-3510 (201) 829-4756 (603) 646-1439 (603) 646-2417 rjain@thumper.bellcore.com dfk@cs.dartmouth.edu thc@cs.dartmouth.edu Program Chair Alok Choudhary ECE Dept., 121 Link Hall Syracuse University Syracuse, NY 13244 (315) 443-4280 choudhar@cat.syr.edu Program Committee Sandra Johnson Baylor, IBM T. J. Watson Alok Choudhary, Syracuse University Tom Cormen, Dartmouth College Denise Ecklund, Intel SSD Garth Gibson, Carnegie Mellon University Charles Koelbel, Rice University David Kotz, Dartmouth College Ethan Miller, University of Maryland, Baltimore County Richard Muntz, UCLA Dan Reed, University of Illinois at Urbana-Champaign Jeffrey Vitter, Duke University John Wilkes, Hewlett-Packard Laboratories David Womble, Sandia National Laboratories For updates and more information, see http://www.cs.dartmouth.edu/iopads/. For general inquiries, send electronic mail to iopads@cs.dartmouth.edu. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER-