From raghu@ricotta.cs.wisc.edu Mon Oct 2 10:48:18 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Mon, 2 Oct 95 10:48:15 -0500; AA00371 Date: Mon, 2 Oct 95 10:48:14 -0500 From: Mauricio LOPEZ Message-Id: <9510021548.AA07613@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Mon, 2 Oct 95 10:48:14 -0500 To: dbworld@ricotta.cs.wisc.edu IDEA ~~~~ Project IDEA (Intelligent Database Environment for Advanced Applications) has been running for three years now and it is known to a number of people in the database and, more particularly, the DOOD community. A WWW server has been set at ECRC in Munich which provides detailed information about the organization and achievements of the project, including access to a large set of relevant reports. The address of the server is http://www.ecrc.de/IDEA/ IDEA Partners and Contact Persons ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Bull - Project Co-ordinator Mauricio LOPEZ (M.Lopez@frgu.bull.fr) BIM Engineering Europe Paul MASSEY (pam@bim.be) ECRC Alexander HEROLD (alex@ecrc.de) INRIA Patrick VALDURIEZ (Patrick.Valduriez@inria.fr) Politecnico di Milano Stefano CERI (ceri@elet.polimi.it) PTT Research Netherlands Willem JONKER (W.Jonker@research.ptt.nl) Sema Group Agustin GONZALEZ-QUEL (agql@sema.es) TXT Ingegneria Informatica Gabriella MONTELEONE (monteleone@txt.it) University of Bonn Rainer MANTHEY (manthey@uran.informatik.uni-bonn.de) IDEA Objectives and Achievements ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The goal of the IDEA project is to produce a coherent body of concepts, languages and tools, together with an execution environment, suitable for the design and development of applications requiring intelligent features. This body of features, refered to as the IDEA technology, is being designed and implemented following a DOOD based approach to achieve the smooth and efficient integration of object-orientation, active rules and deductive rules. IDEA is an Esprit project (EP6333) programmed over four years starting June 1992 and organized in two phases of two years each. The participants to the first phase were Bull S.A.(F,coordinator), ICL (UK,first year only), TXT Ingegneria Informatica Spa (I), ECRC (D), INRIA (F), Imperial Cancer Research Fund (ICRF,UK), Politecnico di Milano (I) and University of Bonn (D). The participants to the second phase are the same except ICL and ICRF, plus three new ones, namely SEMA (E), the Dutch PTT (NL) and BIM (B), all three working on assessment applications. During the first phase, a reference conceptual model and a language, called Chimera, were designed; compilation and evaluation techniques for deductive and active rules in an object-oriented framework were designed and implemented together with cost-based optimization techniques for query processing based on an internal language called Flora; a runtime environment supporting transactions in a parallel and/or distributed platform was designed and implemented capitalizing on the results of Esprit project EDS; finally, real-life applications were used to derive requirements and assess the proposed concepts and features. During the second phase of the project, our main objective is the consolidation, dissemination and use of results from phase one. In particular, we are concentrating our efforts on the IDEA Methodology, a structured approach to the design and maintenance of information systems by taking advantage of modern database technology (featuring either of: object orientation, deductive rules, and active rules). A set of tools supporting the methodology are being developed and assessed through representative applications from several domains. Industrial exploitation is planned, within Bull, in the context of the VALIDITY DOOD system presently being developed as part of the ADS project. The other industrial partners envisage exploitation of the methodology and the corresponding tools as well as of the applications themselves. Mauricio Lopez _____________________________________________________________________________ Mauricio LOPEZ - Unite Mixte Bull-Imag | e-mail : M.Lopez@frgu.bull.fr ZI de Mayencin - 2, rue Vignate | tel: (33)76.63.48.43 38610 Gieres - France | fax: (33)76.54.76.15 ----------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 Mon Oct 2 10:53:12 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Mon, 2 Oct 95 10:53:08 -0500; AA00482 Date: Mon, 2 Oct 95 10:53:07 -0500 From: sdelman@wkap.com Message-Id: <9510021553.AA07637@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Mon, 2 Oct 95 10:53:07 -0500 To: dbworld@ricotta.cs.wisc.edu It is my pleasure to announce a new book series...... Kluwer Academic Publishers Announces... Advances in Database Systems Book Series Advances in Database Systems will publish thorough and cohesive overviews of advanced topics in database systems. These works will serve to initiate practitioners and researchers, and will eventually become the major sources of reference to those working in a particular field. Such a work will differ from a survey article in that it will normally be larger in scope and will contain more detailed background information. In addition, this series will serve to provide a single point coverage of an advanced and timely topic. A subject that may currently be a topic of study by many researchers, and that may not yet have reached a stage of maturity to warrant a textbook. While the series will not publish reprints of already published work, it does not exclude re-presentation of previously published work in a more cohesive fashion as to make it possible for someone to be initiated into a new field in database systems by reading a volume in this series. Advances in Database Systems will differ from other book series in that it concentrates on short presentations of specific sub-fields rather than on a presentation of broad topics. Volumes in the series are expected to be of about 100-180 pages in length. Republication of dissertations will not be suitable. However, expanding the review chapters of a dissertation will be highly encouraged. Presentation of results of major projects on a national or international scale and/or reputation will be welcome, although, they must include an overview that goes beyond the approach and results produced by the authors. Volumes on national and grand challenges as posed by various government and commercial agencies will be welcome. This may be a preliminary agenda for research and development in a new field. Prospective Authors: If you have an idea for a book which would fit in this series, we would welcome the opportunity to review your proposal. Should you wish to discuss any potential project further or receive specific information regarding our book proposal requirements, please contact either Ahmed Elmagarmid or Scott Delman: Ahmed Elmagarmid Scott Delman Consulting Editor Publisher Department of Computer Science Kluwer Academic Publishers Purdue University 101 Philip Drive West Lafayette, IN 47907 Assinippi Park Phone: (317) 494-1998 Norwell, MA 02061 Fax: (317) 494-0739 Phone: (617) 871-6600 ext. 299 Email: ake@cs.purdue.edu Fax: (617) 871-6528 Email: sdelman@wkap.com ------------------------------------------------------------------------------- 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 Mon Oct 2 20:14:32 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Mon, 2 Oct 95 20:14:28 -0500; AA09638 Date: Mon, 2 Oct 95 20:14:27 -0500 From: "Elke A. Rundensteiner" Message-Id: <9510030114.AA09011@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Mon, 2 Oct 95 20:14:27 -0500 To: dbworld@ricotta.cs.wisc.edu ADL '96 Forum Call for Papers Forum on Research and Technology Advances in Digital Libraries MAY 13-15, 1996 The Library of Congress Washington, D.C. SPONSORED by: NASA Goddard Space Flight Center and The National Library of Medicine and The IEEE Computer Society and The Library of Congress IN COOPERATION WITH: Brown University, Columbia University, Cornell University, George Washington University, National Institute of Standards & Technology; Rutgers Center for Info. Mgt, Integration & Connectivity, University of Milano, University of Maryland Baltimore County and The University of Texas at Austin CORPORATE SUPPORT: AT&T, Bellcore, Comsat, IBM Corp., Lockheed Martin Corp., MCI, Sony, Sun Microsystems GENERAL CO-CHAIRS: Milton Halem, NASA GSFC and Yelena Yesha, UMBC/CESDIS-NASA STEERING COMMITTEE: A. Aho, Columbia Univ.; D. Atkins, Univ. of Michigan; L. Holcomb, NASA; S. Howe, NCO/HPCC; H. Stone, NEC; D. Tiedeman, AT&T; J. Ullman, Stanford Univ. PROGRAM CHAIR: Nabil R. Adam, Rutgers Univ. INDUSTRIAL CHAIR: S. Naqvi, Bellcore INTERNATIONAL CO-CHAIRS: E. Neuhold, GMD-IPSI, Germany; S. Sugimoto, Univ. of Lib. Info. Sc., Japan PROGRAM COMMITTEE: P. Aigrain, Univ. Paul Sabatier, France; R. Bayer, Technische Univ. Muenchen, Germany; P. Buneman, Univ. of Penn.; D. Choy, IBM Almaden Research Center; B. Edelson, GWU; S. Feldman, Cornell Univ.; L. Gomez, Northwestern Univ.; H. Hansen, Wirtschafts Univ., Austria; H. Hirsh, Rutgers Univ.; P. Hunter, NASA; H. Jagadish, AT&T Bell Labs.; P. Kanellakis, Brown Univ.; W. Litwin, Univ. of Paris, France; H. Mark, Univ. of Texas at Austin; A. McCray, The National Library of Medicine; R. Medina, Law Lib. of Congress; M.Papazoglou,Queensland Univ. of Technology, Australia; A. Silberschatz, AT&T Bell Labs; T. Smith, UCSB; G. Valle, Univ. of Milano, Italy; H. Wactlar, Carnegie Mellon Univ.; C. Zaniolo, UCLA PUBLICITY CHAIR: Elke A. Rundensteiner, Univ. of Michigan EXHIBIT CHAIR: Susan Hoban, Hughes STX *********** *OBJECTIVE* *********** Digital Libraries has recently attracted widespread interest from many quarters. This technology may prove to be a catalyst for the NII and form the backbone of wide area electronic commerce. It promises universal access to vast amounts of information for improving the quality of life. The forum will feature research papers, panels, exhibits, and a significant industrial track highlighting prototypes and applications of digital libraries in science and industry. In addition, this year's forum will focus on issues related to global networked libraries for Electronic Commerce, Environmental Monitoring, Law, and Medicine. Topics of interest include, but are not limited to: - Searching & browsing - Authoring and scripting systems - Collaborative research - Standards - Environments for creating DL objects - Intelligent agents - User interface - Telecommunications and networking - Interoperability - Information representation - Billing mechanisms, accounting and payment systems - Resource discovery - Scalability - Technical issues in intellectual property - Novel indexing techniques for multimedia objects ************************* *INFORMATION TO AUTHORS * ************************* Authors are invited to submit (6 copies) manuscripts (not to exceed 25 double-spaced pages) or panel proposals (2-3 pages) by October 27, 1995 to: Prof. Nabil Adam, Rutgers University, 180 University Ave., Newark, NJ 07102 adam@adam.rutgers.edu, (201)648-5239, Fax (201)648-5003 Electronic submission is encouraged. Send email to dlib@adam.rutgers.edu for details about electronic submission. Notification of acceptance will be sent by January 15, 1996. A refereed proceedings will be published by IEEE Computer Society Press. An up-to-date copy of this call for papers is available at: http://cesdis.gsfc.nasa.gov/admin/adl96/adlcall.html ------------------------------------------------------------------------------- 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 Mon Oct 2 23:14:13 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Mon, 2 Oct 95 23:14:10 -0500; AA11396 Date: Mon, 2 Oct 95 23:14:09 -0500 From: Elliot Chikofsky Message-Id: <9510030414.AA09411@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Mon, 2 Oct 95 23:14:09 -0500 To: dbworld@ricotta.cs.wisc.edu +-----------------------------------+ CALL FOR NOMINATIONS +-----------------------------------+ for the *second* annual +-----------------------------------+ | STEVENS LECTURE | | ON SOFTWARE DEVELOPMENT METHODS | +-----------------------------------+ The purpose of the Stevens Lecture is to advance the state of software development methods and enhance their continuing evolution. The award recipient is recognized for outstanding contributions to the literature or practice of methods for software development. The lecture presentation will focus on advancing or analyzing the state of software methods and their direction for the future. The award includes a significant honorarium and travel to the lecture site. This award lecture is named in memory of Wayne Stevens (1944-1993), a highly-respected consultant, author, pioneer, and advocate of the practical application of software methods and tools. His 1974 article "Structured Design" was the first published on the topic and has been widely reprinted from the IBM Systems Journal. He was the author of the books >Software Design: Concepts and Methods< (Prentice-Hall Intl, 1991) and >Using Structured Design< (Wiley, 1981). His last article "Data Flow Analysis and Design" appears in the Encyclopedia of Software Engineering (Wiley, 1994). Stevens was the chief architect of IBM's application development methodology. The inaugural Stevens Lecture was given by Tony Wasserman at CASE '95 (7th Intl Workshop on CASE) at Toronto in July 1995. The Stevens Lecture is sponsored by IWCASE, the international sponsoring association of the CASE workshop - the principal technical meeting of the CASE field. The second Stevens Lecture will be presented at the 9TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION (CSEE 96) on April 22, 1996 in Daytona Beach, Florida, USA. CSEE is sponsored by the Software Engineering Institute (SEI) and the IEEE Computer Society's Technical Council on Software Engineering (TCSE), and is in cooperation with ACM. For CSEE information, contact Charlene Rauber at 412-268-3007, internet education@sei.cmu.edu, fax 412-268-5758. Nominations for the Stevens Lecture may be submitted by letter, fax, or electronic mail and must include a description of the contribution of the nominee (up to 3 pages), citations of key contributions to the literature on software methods, and contact information for both the nominee and the nominator. SEND NOMINATIONS BY DECEMBER 15, 1995 to: Stevens Lecture Committee fax 617-272-8464 IWCASE email iwcase@iwcase.org P.O. Box 400 Burlington, MA 01803-0501 USA Questions and requests for information should be directed to the chair of the Stevens Lecture Committee: Elliot Chikofsky, DMR Group Inc. phone 617-487-9000 x157; fax 617-272-8464; email e.chikofsky@computer.org INTERNATIONAL WORKSHOP ON CASE (IWCASE) Executive Board John Jenkins, City University London (United Kingdom) Karl Reed, La Trobe University (Australia) Ron Norman, San Diego State University (USA) Francois Coallier, Bell Canada (Canada) Elliot Chikofsky, DMR Group & Northeastern Univ (USA) Homa Taraji, Aerospace Corp. (USA) Swee-Cheang Lim, National Univ of Singapore (Singapore) Gene Forte, Forte Research (USA) Jacob Slonim, IBM Canada (Canada) Hausi Muller, University of Victoria (Canada) Paul Layzell, UMIST - University of Manchester (United Kingdom) Gene Hoffnagle, IBM Corporation (USA) Jos Trienekens, Technical University Eindhoven (Netherlands) < end > ------------------------------------------------------------------------------- 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 Oct 3 17:42:51 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Tue, 3 Oct 95 17:42:46 -0500; AA26902 Date: Tue, 3 Oct 95 17:42:45 -0500 From: Sy Ali Message-Id: <9510032242.AA10498@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Tue, 3 Oct 95 17:42:45 -0500 To: dbworld@ricotta.cs.wisc.edu FLAIRS-96 TRACK ON INFORMATION INTERCHANGE CALL FOR PAPERS Key West, FL, May 20-22, 1996 NOTE: Submission deadline is October 16, 1995. INFORMATION INTERCHANGE An issue that arises in using Knowledge Representation and Reasoning (KRR) systems with other real-world applications is how to have a KRR system communicate and share information with one or more other information sources, including other KRR systems. The historical approach to the problem of information interchange has been to connect two information sources, e.g., databases, agents, expert systems, KRR systems, Bayesian Networks, etc.) in an ad hoc manner, designing a custom interface for each of specialized information sources. A better approach is to find common methodologies by which information and knowledge can be shared across several heterogeneous sources. This problem area is often called the problem of knowledge sharing, or information interchange. It falls under several research areas including but not limited to those listed below. o Languages (Interlingua, content knowledge representation languages, protocol languages, database query languages) o Integrated User Interfaces o Reasoning (hybrid reasoning, ontological reasoning, analogical reasoning) o Agent Mediators, Data Mining, WWW Searching Agents o Architectures for knowledge sharing (multi-level knowledge systems, wrappers, data flow hierarchies) o Knowledge Translation and Integration (Heterogeneous source integration, reasoning with conflicting knowledge) o Ontologies (taxonomy and constraint systems, large ``common-knowledge'' ontologies, e.g., Penman, CYC, Wordnet, etc., Representation and Reasoning with Ontologies) Without restricting focus to any specific language or protocol, this session will be concerned with the common underlying theories, formalisms, etc. which explore and define the area, and ultimately enable the sharing of information between implemented systems. We solicit papers which explore these issues as well as those which discuss implementations of solutions to the problems of information interchange and knowledge sharing. Additional topics of interest include (but are not limited to): o Experience(s) integrating disparate knowledge sources, for example, a case history. o Languages (e.g., KIF, KQML) and theories of knowledge interchange (e.g., First Order Predicate Calculus, semantic networks). o Descriptions of practical experience(s) with KRR systems(s), for example, a critique of the utility of a particular KRR system for knowledge interchange. o Issues that arise in exchanging different kinds of knowledge, for example visual knowledge and propositional knowledge. We are interested in information interchange in its broadest sense, so the range of appropriate topics is deliberately wide. The distinguishing characteristic of this session is the theme of knowledge interchange. Papers submitted to this session should address this topic explicitly, preferably in the context of a concrete application. SESSION ORGANIZERS: Syed S. Ali Southwest Missouri State University http://www.cs.smsu.edu/~syali Susan Haller University of Wisconsin - Parkside Alistair E. Campbell State University of New York at Buffalo Tim Finin University of Maryland-Baltimore County http://www.cs.umbc.edu/~finin Yigal Arens USC/Information Sciences Institute Hans Chalupsky State University of New York at Buffalo SUBMISSIONS: Submissions should not exceed 15 pages, 12 point, double spaced text, with one-inch margins. We strongly encourage electronic submissions, either plain text or postscript. Emailed submissions should be emailed to info-int-submission@sy.smsu.edu. In the event that electronic submission is not possible, send 6 copies to: SEND HARDCOPY SUBMISSIONS TO: Syed S. Ali ATTN: FLAIRS-96 Information Interchange Computer Science Department Southwest Missouri State University 901 South National Avenue Springfield, MO 65804 E-mail: syali@sy.smsu.edu Tel.: (417) 836-5773 FAX.: (417) 836-6659 All accepted papers will be published in the FLAIRS-96 proceedings. ONLINE INFORMATION This call for papers is available on the web at the URL: http://www.cs.smsu.edu/~syali/FLAIRS96/info-int.html Up-to-date information (including final schedule) will appear here as it becomes available. IMPORTANT DEADLINES: Submission Deadline: October 16, 1995 Author Notification: December, 1995 Camera Ready Copy Due: March 18, 1996 Conference Dates: May 20 - 22, 1996 ABOUT FLAIRS 96: Florida AI Research Symposium, Key West, FL, May 20-22, 1996 The Ninth Annual Florida AI Research Symposium seeks high quality international submissions in all areas of AI. We are especially interested in papers describing knowledge-based approaches to the construction of intelligent systems. We construe a system to be "knowledge-based" when its behavior depends largely on accessing or encoding information. The symposium will strive for a balance between theory and applications. All accepted papers will appear in the conference proceedings. For more information, visit the FLAIRS-96 home page at: http://www.cis.ufl.edu/~ddd/FLAIRS/FLAIRS-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 Oct 4 12:50:56 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Wed, 4 Oct 95 12:50:51 -0500; AA13038 Date: Wed, 4 Oct 95 12:50:50 -0500 From: mzemanko@nsf.gov (Maria Zemankova) Message-Id: <9510041750.AA11609@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Wed, 4 Oct 95 12:50:50 -0500 To: dbworld@ricotta.cs.wisc.edu CAREER Guidelines, NSF 95-118 state on p. 2 under "Award Level and Duration" that proposals may request at least $200K for 4 or at least $250,000 for 5 years. In order to have a reasonable uniformity in the level of proposed efforts and to observe realistic budget projections for the Database and Expert Systems Program (DBES), I STRONGLY recommend your observing the following guidelines: * project duration: 4 years * yearly support requested from NSF: about $50K * 4-year total requested from NSF: max $200K You are encouraged NOT to increase your yearly budgets for future years, but keep it at $50K/year, as we are NOT expecting increases in the DBES budget in future years. (On the contrary, the new 4-year awards will put a serious strain on the already limited budget.) You are also strongly encouraged to seek cost-sharing for the support of your research effort from your institution or other sources (e.g., industry). General advice on proposal preparation: Frame your problem area carefully and provide motivation for the proposed work. Demonstrate your knowledge about the current state of knowledge and technology relevant to your proposed work. State any assumptions clearly, including projections into the future (e.g., increasing storage capacities, etc.). Please include a 4-year research plan, with objectives/goals/milestones for each year. This will add credibility and feasibility to your planned reseach and educational activities. (Do not go overbaord, but the reviewers should be able to see that you can achieve your overall proposal objectives in the timeframe of 4 years). I would recommend your including a brief description of the impact and/or potential applications of the expected results of your proposed project. Best wishes, Maria P.S. I'll be gone Oct. 11 - 19, and currenly have a backlog of 168 email messages and 3 feet (vertically) of hard-copy mail, so I hope my guidelines above will prevent additional inquiries... ================================================================== Maria Zemankova, Ph.D. Internet: mzemanko@nsf.gov Database and Expert Systems Program Bitnet: mzemanko@nsf National Science Foundation Phone: 703-306-1926 4201 Wilson Blvd., Room 1115 Fax: 703-306-0599 Arlington, VA 22230 ================================================================== ------------------------------------------------------------------------------- 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 Oct 4 12:58:25 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Wed, 4 Oct 95 12:58:18 -0500; AA13229 Date: Wed, 4 Oct 95 12:58:17 -0500 From: dg@doc.ic.ac.uk (DOV GABBAY) Message-Id: <9510041758.AA11649@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Wed, 4 Oct 95 12:58:17 -0500 To: dbworld@ricotta.cs.wisc.edu -- FAPR'96 - CALL FOR PAPERS INTERNATIONAL CONFERENCE ON FORMAL AND APPLIED PRACTICAL REASONING Gustav Stresemann Institut, Bonn, Germany 3-7 June 1996 In association with the ESPRIT project MEDLAR There is an increasing research interest and activity in artificial intelligence, philosophy, psychology and linguistics in the analysis and mechanisation of human practical reasoning. Philosophers and linguists, continuing the ancient quest that began with Aristotle, are vigorously seeking to deepen our understanding of human reasoning and argumentation. Significant communities of researchers, faced with the shortcomings of traditional deductive logic in modelling human reasoning and argumentation, are actively engaged in developing new approaches to logic (informal logic, dialogue logic) and argumentation (rhetoric, pragmatic and dialectical), which are better suited for the task. In parallel and with equal dedication and ingenuity, many software engineering and AI researchers are pursuing similar goals. These computer scientists are in urgent need of some models of human reasoning and argumentation in order to develop better software tools for aiding and for replacing the human or his activities. A quick look at the research programs of these communities instantly reveals that there is a close conceptual connection and complementary mutual research interest among these diverse communities. Indeed there are strong similarities in aims and case studies between the non-monotonic logic community in AI and the informal logic community in philosophy, between the planning community and the practical reasoning and action community, between the dialogue community and the human computer interaction and user modelling communities, between the fuzzy logic and control community and the many valued and algebraic logic and philosophy of science communities. There is moreover a great interest in industry in intelligent systems. The greater family of practical reasoning communities and industry should not fail to collaborate. It is therefore necessary and urgent to organise an international conference to introduce these communities to each other, to compare the current state of research in these areas, and to make such research available to all researchers involved. Such a conference will enhance and accelerate the interaction between the communities. First contact was achieved in an initial research se held in Dagstuhl in August 1993 involving researchers from several of these communities. During the seminar a plan for a multivolume handbook covering the area was outlined and the idea of a conference on practical reasoning was welcomed. AREAS OF CONTRIBUTION ********************* Theories of agents Theories of actions New logics (informal, dialogue, etc.) Argumentation theory Belief functions Aggregating arguments Combining reasoning mechanisms Case studies Formal models for reasoning Non monotonic practical reasoning mechanisms Application of agent oriented programming Fallacies and their role in practical reasoning Inconsistency and actions Temporal and spatial practical reasoning Tools for the practical reasoner PR application in robotics PR application in knowledge bases Logic programming and practical reasoning Legal reasoning User modelling CONFERENCE STRUCTURE ******************** Time: 3-7 June 1996, in the Gustav Stresemann Institute in Bonn, Germany Duration 4 days and 1 day tutorial/symposium debate workshops Submission deadline: 1 December 1995 Notification of acceptance: 1 February 1996 Camera ready copies: 1 March 1996 CONFERENCE CHAIR Dov M. Gabbay Imperial College of Science, Technology and Medicine Dept. of Computing Huxley Bld. 180 Queen's Gate London SW7 2AZ England Voice: +44 171 594 8205 Fax: +44 171 594 8201 Email: dg@doc.ic.ac.uk LOCAL ARRANGEMENTS Hans Juergen Ohlbach Max-Planck-Institut fuer Informatik Im Stadtwald 66123 Saarbruecken Germany Voice: +49 681 302 5366 Fax: +49 681 302 5401 Email: ohlbach@mpi-sb.mpg.de WWW: www.mpi-sb.mpg.de/guide/staff/ohlbach/ohlbach.html WORKSHOPS AND TUTORIALS Wolfgang Bibel FG Intellektik Technische Hochschule Alexanderstr. 10 D-64283 Darmstadt Germany Voice: +49 6151 16 2100 FAX: +49 6151 16 5326 Email: bibel@intellektik.informatik.th-darmstadt.de Programme Committee ******************* Luigia Carlucci Aiello (Rome) aiello@assi.ing.uniroma1.it Johan van Benthem (Amsterdam) johan@fwi.uva.nl Wolfgang Bibel (Darmstadt) bibel@intellektik.informatik.th-darmstadt.de Gert Brewka (Bonn) brewka@vexpert.dbai.tuwien.ac.at Luis Farinas del Cerro (Toulouse) farinas@forma.irit.fr Anthony Cohn (Leeds) agc@dcs.leeds.ac.uk Jim Cunningham (London) rjc@doc.ic.ac.uk Robert Demolombe (Toulouse) demolomb@tls-cs.cert.fr Didier Dubois (Toulouse) dubois@irit.irit.fr Dov Gabbay (London) dg@doc.ic.ac.uk Rob Grootendorst (Amsterdam) fax: ..31 20 52 54644 David Israel (Menlo Park) israel@ai.sri.com Ralph A. Johnson (Windsor) johnsoa@ucc.uwindsor.ca Andrew Jones (Oslo) andrew.jones@ilf.uio.no Robert A. Kowalski (London) rak@doc.ic.ac.uk Rudolf Kruse (Braunschweig) kruse@ibr.cs.tu-bs.de Alberto Martelli (Turin) mrt@di.unito.it Donald Nute (Athens, Georgia) dnute@uga.cc.uga.edu Hans Juergen Ohlbach (Saarbruecken) ohlbach@mpi-sb.mpg.de David Pearce (Saarbruecken) pearce@dfki.uni-sb.de David Perkins (Cambridge, USA) fax: ..1 617 496 4288 Henri Prade (Toulouse) prade@irit.irit.fr Ian Pratt (Manchester) ipratt@computer-science.manchester.ac.uk Uwe Reyle (Suttgart) uwe@ims.uni-stuttgart.de Hans Rott (Konstanz) pirott@nyx.uni-konstanz.de Eric Sandewall (Linkoeping) ejs@ida.liu.se Michael Scriven (Michigan) scriven@aol.com Joerg Siekmann (Saarbruecken) siekmann@dfki.uni-sb.de Philippe Smets (Bruxelles) psmets@ulb.ac.be Richmond H. Thomason (Pittsburgh) thomason@pogo.isp.pitt.edu Doug Walton (Winnipeg) walton@uwpg02.uwinnipeg.ca John Woods (Lethbridge) woods@hg.uleth.ca Emil Weydert (Saarbruecken) weydert@mpi-sb.mpg.de Lofti Zadeh (Berkeley) zadeh@eecs.berkeley.edu SUBMISSION OF PAPERS We particularly welcome papers making connections among the above areas and also short survey papers of areas for the benefit of participants from other areas. The proceedings are planned to be published by Springer Lecture Notes Series. The Programme Committee will review the following categories of papers: - research papers of up to 15 pages - survey papers of up to 30 pages - position papers of up to 5 pages - system descriptions of up to 3 pages. Authors are encouraged to use the Springer llncs LaTeX style (printing area 12.2 x 19.3 cm, 10pt font size). The style files can be obtained by FTPing it from ftp.mpi-sb.mpg.de, files pub/guide/staff/ohlbach/FAPR/llncs.tar.gz and pub/guide/staff/ohlbach/FAPR/llncs.readme. Each submissionnless otherwise indicated. Following the title, authors should indicate the category of the paper and which of the topic areas listed above best describes their paper (if none is appropriate, please give a set of keyCATION Authors will be notified of the Programme Committee's decision by 1 February 1996. FINAL PAPERS Authors of accepted papers will be exof practical reasoning or to give a tutorial are invited to send applications to the workshop co-ordinator, Wolfgang Bibel. The workshop applications should contain (i) names and addresses oa short abstract of the tutorial. Deadline for the proposals is 1 December 1995. PLANNING TO ATTEND People planning to attend the conference are asked to send a note statingistine Harms, c/o GMD, Schloss Birlinghoven, 53757 Sankt Augustin 1, Germany. Phone: +49-2241-14-2473, Fax: +49-2241-14-2472.) MORE INFORMATION WWW address: http://www.mpi-sb.mpg.de/FAposter, to be gunzipped) pub/FAPR/cfp.txt (this file) pub/FAPR/cfp.ps.gz (Call for papers, PostScript file, to be gunzipped) ------------------------------------------------------------------------------- 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 Oct 4 20:25:00 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Wed, 4 Oct 95 20:24:54 -0500; AA18530 Date: Wed, 4 Oct 95 20:24:52 -0500 From: (Vikram Saletore) Message-Id: <9510050124.AA12371@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Wed, 4 Oct 95 20:24:52 -0500 To: dbworld@ricotta.cs.wisc.edu _______ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ International Logic Programming Symposium Preliminary Program & Registration Information December 4--7 1995, Portland Oregon http://www.cs.uoregon.edu/ilps95 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ The 1995 International Logic Programming Symposium, ILPS'95, will take place in Portland Oregon on December 4--7 1995. The symposium, one of two major conferences sponsored annually by Association for Logic Programming, will be accompanied by a series of workshops, in effect mini-conferences, to be held on December 7--8. It is especially appropriate that ILPS'95 meets in Oregon because of the continuing research in this and related areas conducted at Portland State University (PSU), the Oregon Graduate Institute (OGI), and Oregon State University (OSU), all within an hour's-drive of the conference site. The theme for ILPS'95 will be ``Declarative Systems,'' particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms. Researchers in other communities doing interdisciplinary research involving logic programming and functional and/or object-oriented programming are especially welcomed, and our program of invited talks, panel, tutorials and workshops reflect this. The technical program was selected by an international program committee chaired by John Lloyd. The proceedings will be published in the MIT Press Logic Programming series. Continuing what we hope will become an ILPS tradition, the Second Annual Prolog Programming Contest will be held at PSU, during the symposium, organized by Bart Demoen. The conference venue, Portland, is noted for the ``Silicon Rainforest'' in neighboring Beaverton, micro-breweries, Powell's Books (the world's largest used-book store), a plethora of Starbucks and Coffee People cafes, Nike Town, the so-called Northwest Sound (grunge rock), and superb skiing on nearby Mt. Hood. The conference hotel is the Portland Marriott, overlooking the Willamette River in the heart of downtown, 20 minutes from Portland International Airport. In addition to the superb technical program, the conference will include a banquet dinner at Atwater's Restaurant atop the Bancorp Tower. Evan Tick _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ TECHNICAL PROGRAM Sunday, December 3 17:00 to 20:00 Registration 20:00 to 21:30 Reception (Wine & Cheese) Monday, December 4 8:00 to 17:00 Registration 8:00 to 9:00 Continental Breakfast 9:00 to 9:10 Welcome: Evan Tick 9:10 to 10:10 Invited Speaker: Nachum Dershowitz Goal Solving as Operational Semantics 10:10 to 10:30 Coffee Break 10:30 to 12:00 Tutorial 1 : Chris Moss Logic and Objects Tutorial 2: Herbert Kuchen Implementation Issues for Functional Logic Programming 12:00 to 14:00 Lunch 14:00 to 15:00 Session 1A: Language Design Monadic Constructs for Logic Programming Yves Bekkers, Paul Tarau Implementing the Linear Logic Programming Language Lygon Michael Winikoff, James Harland Session 1B: Databases A Typed Extension to Datalog with Sets and Tuples (Extended Abstract) Mengchi Liu Top-Down Beats Bottom-Up for Constraint Based Extensions of Datalog David Toman 15:00 to 15:30 Coffee Break 15:30 to 16:30 Session 2A: Objects Objects in Forum Giorgio Delzanno, Maurizio Martelli A Declarative Semantics for Behavioral Inheritance and Conflict Resolution Hasan M. Jamil, Laks V. S. Lakshmanan Session 2B: Functional Logic Programming A Call-by-Need Strategy for Higher-Order Functional-Logic Programming Christian Prehofer Abstraction of Conditional Term Rewriting Systems D. Bert, R. Echahed 16:30 to 17:30 Poster Session 18:00 to 20:00 Prolog Programming Contest (Portland State University) Tuesday, December 5 8:00 to 9:00 Continental Breakfast 9:00 to 10:00 Invited Speaker: Phil Wadler How to Declare an Imperative 10:00 to 10:30 Coffee Break 10:30 to 12:00 Session 3A: Foundations I A Clause-driven Proof Search for Hereditary Harrop Formulas Alain Hui-Bon-Hoa Optimizing Clause Resolution: Beyond Unification Factoring Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift A Compositional Proof Method of Partial Correctness for Normal Logic Programs G\'{e}rard Ferrand, Arnaud Lallouet Session 3B: Implementation The Implementation of AKL(FD) Bj\"{o}rn Carlson Mats Carlsson Sverker Janson The Mercury Code Generator Thomas Conway, Fergus Henderson, Zoltan Somogyi A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languagues Peter A. Bigot, Saumya K. Debray 12:00 to 14:00 Lunch 14:00 to 15:30 Session 4A: Foundations II Declarative Diagnosis Revisited Marco Comini, Giorgio Levi, Giuliana Vitiello Semantical Properties of Encodings in Logic Programming Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano A. Lanzarone Temporal Logic Programming in Dense Time Christoph Brzoska Session 4B: Analysis I Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics Roberto Giacobazzi, Francesco Ranzato A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier Practical Model-Based Static Analysis for Definite Logic Programs John Gallagher, Dmitri Boulanger, H\"{u}seyin Sa\u{g}lam 15:30 to 16:00 Coffee Break 16:00 to 18:00 Panel Discussion Integration of Functional and Logic Programming Languages Chairman: John Lloyd Panel members: Hassan A\"{\i}t-Kaci Michael Hanus Uday Reddy Mario Rodr\'{\i}guez-Artalejo 19:00 Banquet (Atwater's Restaurant) Wednesday, December 6 8:00 to 9:00 Continental Breakfast 9:00 to 10:30 Tutorial 3: H{\aa}kan Millroth Tradesoffs in Explicit and Implicit Parallelism Tutorial 4: Danny De Schreye Program Specialization 10:30 to 11:00 Coffee Break 11:00 to 12:30 Session 5A: Non-monotonic Reasoning Logic Programming without Negation as Failure Yannis Dimopoulos, Antonis Kakas An Introspective Framework for Paraconsistent Logic Programs Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel Declarative and Fixpoint Characterizations of Disjunctive Stable Models Nicola Leone, Pasquale Rullo, Francesco Scarcello Session 5B: Analysis II Efficient Analysis of Logic Programs with Dynamic Scheduling Mar\'{\i}a Garc\'{\i}a de la Banda, Kim Marriott, Peter Stuckey Control Flow Analysis of Prolog Thomas Lindgren Proving Termination of Logic Programs with Delay Declarations Elena Marchiori, Frank Teusink 12:30 to 14:30 Lunch 14:30 to 15:30 Invited Speaker: Bill McClay Surviving the AI Winter 15:30 to 16:00 Coffee Break 16:00 to 17:30 Session 6A: Transformation Generalization in Positive Supercompilation M. H. S\orensen, R. Gl\"{u}ck Correctness of Logic Program Transformations Based on Existential Termination Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti Partial Deduction of the Ground Representation and its Application to Integrity Checking Michael Leuschel, Bern Martens Session 6B: Constraints Beyond the Glass Box: Constraints as Objects Jean-Francois Puget, Michel Leconte Modelling Real-Time in Concurrent Constraint Programming F. S. de Boer, M. Gabbrielli A Formal Approach to Deductive Synthesis of Constraint Logic Programs Kung-Kiu Lau, Mario Ornaghi 17:30 to 18:30 ALP Business Meeting Thursday, December 7 8:00 to 9:00 Continental Breakfast 9:00 to 10:00 Invited Speaker: Joxan Jaffar Logic Programming and Object Modelling 10:00 to 10:30 Coffee Break 10:30 to 12:00 Session 7A: Semantics Compositionality in SLD-derivations and their Abstractions Marco Comini, Giorgio Levi, Maria Chiara Meo Type Correct Programs: A Semantic Approach Bernard Malfon, G\'{e}rard Ferrand The Logical Semantics of the Prolog Cut James Andrews 12:00 to 13:30 Lunch 13:30 to 19:30 Post Conference Workshops _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ POST CONFERENCE WORKSHOPS Thursday, December 7 (afternoon) W1. Visions for the Future of Logic Programming W2. Interval Constraints Friday, December 8 (full day) W3. Sequential Implementation Technologies for Logic Programming Languages W4. Constraints and Databases/Constraint Logic Programming W5. Operational & Denotational Semantics of Logic Programming: W6. Seventh Workshop on Logic Programming Environments W7. Parallel Logic Programming Systems _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ Workshop 1 (W1), half day, Thursday, 7 December Visions for the Future of Logic Programming Laying the Foundations for a Modern Successor to Prolog This workshop poses the question Is it time to start serious work on a standardized, "modern" successor to Prolog? Its goal is to foster cooperative interaction among logic programming researchers with the intent to identify those areas of potential agreement and substantial disagreement on the shape of a successor to Prolog. Organizers: Donald A. Smith, Olivier Ridoux, Peter Van Roy Contact: Donald A. Smith, University of Waikato, dsmith@cs.waikato.ac.nz, +64 (7) 838-4503 Workshop details available on the WWW at: http://www.cs.waikato.ac.nz/~dsmith/visions.html --------------------------------------------------------------------------- Workshop 2 (W2), half day, Thursday, 7 December Interval Constraints In 1987, J. Cleary suggested that a relational form of interval arithmetic could be integrated into a logic programming language similar to Prolog. This workshop explores the synergism between Interval Constraints and the areas of constraint logic programming, interval analysis and constraint satisfaction. Organizers: Frederic Benhamou, William J. Older, Maarten van Emden, Pascal Van Hentenryck Contact: Frederic Benhamou, Universite d'Orleans, benhamou@lifo.univ-orleans.fr, +33 38 41 72 93 Workshop details available on the WWW at: http://frege.als.com:80/nalp/calendar/icw-95.html --------------------------------------------------------------------------- Workshop 3 (W3), full day, Friday, 8 December 1995 Sequential Implementation Technologies for Logic Programming Languages This workshop is a forum for the exchange of ideas between the implementors of logic programming systems, and a learning opportunity for those who would like to learn about implementations. Coverage of the workshop includes implementation of logic languages, analysis and optimization of logic programs, and performance of implementations. Organizers: Zoltan Somogyi, Lee Naish, Fergus Henderson, Tom Conway Contact: Zoltan Somogyi, Univ. of Melbourne, zs@cs.mu.OZ.AU, +61 3 9282 2401 ---------------------------------------------------------------------------- Workshop 4 (W4), full day, Friday, 8 December 1995 Constraints, Databases and Logic Programming Constraint logic programming (CLP) is a problem-solving paradigm which combines the natural expressiveness of constraints, the power of executable specifications, and the utility of database programming. The purpose of this workshop is to explore the potential of CLP by integrating approaches from databases, AI, knowledge representation, language design and implementation, logic programming and OR. Organizers: Alex Brodsky, Jennifer Burg, Alon Y. Levy, Divesh Srivastava, Peter J. Stuckey, Roland H.C. Yap Contact: Jennifer Burg, Wake Forest University, burg@mthcsc.wfu.edu, +1 910-759-4465 Workshop details available on the WWW at: http://www.cs.mu.oz.au/ilps95workshops/Welcome.html ---------------------------------------------------------------------------- Workshop 5 (W5), full day, Friday, 8 December 1995 Operational & Denotational Semantics of Logic Programming: Extending Proof- and Model-theoretic Analyses This workshop brings together researchers in proof theory, logic programming language design and programming language semantics (including functional languages) to investigate bases for logic language semantics that better capture their operational characteristics, allowing analysis of evaluation strategies in terms of the semantics of the logic language. Organizers: James Harland, David Pym Contact: James Harland, Royal Melbourne Institute of Technology, jah@cs.rmit.edu.au, +613 9660 2045 ---------------------------------------------------------------------------- Workshop 6 (W6), full day, Friday, 8 December 1995 Seventh Workshop on Logic Programming Environments This workshop allows researchers and logic programming system developers to exchange ideas and results on all aspects of environments for logic programming. Relevant topics include user interfaces, human engineering, execution visualization, development tools, providing for new paradigms, interfacing to language system tools and external systems. Organizers: Markus Fromherz, Anthony J. Kusalik Contact: Markus Fromherz, Xerox PARC, fromherz@parc.xerox.com, 415-812-4273 Workshop details available on the WWW at: http://www.cs.usask.ca/projects/envlop/wlpe-95.html ---------------------------------------------------------------------------- Workshop 7 (W7), full day, Friday, 8 December 1995 Parallel Logic Programming Systems This workshop covers all aspects of parallel logic programming, including execution models, programming languages, parallel implementations, scheduling, compilation techniques, distributed logic programming and parallel logic programming in the real world. There will be an emphasis on practical experience with implementation and use of parallel logic programming systems. Organizers: Vitor Santos Costa, Fernando Silva, Ines de Castro Dutra Contact: Vitor Santos Costa, Universidade do Porto, vsc@ncc.up.pt, +351-2-6001672 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 2ND ANNUAL PROLOG PROGRAMMING CONTEST The second fun-filled Prolog programming competition will be held on Monday, December 4, from 6--8 pm, at Portland State University. Up to ten teams of up to three persons will attempt to solve a number of problems within the two hour contest. Their solutions will be rated as good or bad, according to whether they produce correct results on a set of tests, how fast the program was created, and fast the program runs. ALL PARTICIPANTS (TEAMS & SPECTATORS) MUST REGISTER FOR THE CONTEST BY 10 AM MONDAY MORNING AT THE ILPS'95 REGISTRATION DESK A complete set of contest rules will be made available at the contest site. Most importantly, no materials other than SICStus Prolog Manuals (bring your own!) are allowed, and no communication outside of team members is permitted. A workstation and SISCtus system will be provided for each team. The contest site is room 120, 528 Mill Street (on the corner of 6th and Mill). This is within easy walking distance of the conference site and you will be guided there: we will gather at 5:30pm SHARP at the reception desk. The Mill Street building is locked after 6pm, so it is IMPERATIVE to arrive on time. The winning team will be announced at the ILPS'95 banquet. Each member of the winning team will receive a book donated by MIT press. The first Prolog programming competition was held at ILPS'94 in Ithaca and quite a success; you can preregister for the contest by e-mail to Bart.Demoen@cs.kuleuven.ac.be . Admission is on a first come first served basis! Individuals without teams should send us your names: we will create teams for you. As a warm up, you can try the problems of last year (ftp anonymously from ftp.cs.kuleuven.ac.be from directory /pub/private/bimbart, file ilps94competition.ps) _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ SOCIAL EVENTS Welcome Reception: This wine and cheese reception will be held Sunday evening, December 3 at 8:00 pm at the Marriott Hotel. This will be an opportunity for those arriving on the weekend to informally greet each other and enjoy some fine Oregon wines and assorted cheeses. Banquet: On Tuesday evening at 7:00 pm the conference banquet will be held at Atwater's Restaurant on the 41st floor of the U.S. Bancorp Tower, 111 S.W. Fifth Avenue. The banquet will be a wonderful buffet feast, and the view encompasses all of Portland. Basketball: There will hopefully be 25 tickets available for the Portland-Toronto pro NBA basketball game on Thursday evening at 7:00 pm. These tickets are $25 each and in a group at the new Rose Garden, supposedly among the finest sports arenas in the U.S. The Rose Garden is five minutes from the Marriott by public transportation (right across the river). Please send email to tick@cs.uoregon.edu to reserve 1--2 tickets per person (on a first-come, first served basis: pay me at the conference). _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ TRANSPORTATION FROM AIRPORT TO CITY Portland International Airport (PDX) is located 20 minutes by taxi or taxi or shuttle bus from the Marriott Hotel in downtown Portland. Shuttle buses to most downtown hotels run every 30 minutes, costing $7.50 one-way. Rental cars are available at the airport, from several vendors. Within Portland, the Marriott is centrally located so that a car is not strictly necessary. However, to travel to areas outside downtown, such as Beaverton, OGI, OSU, or various ski resorts, a rental car is critical. HOTEL INFORMATION ILPS'95 will be held at the Marriott Hotel, 1401 S.W. Front St., Portland Oregon. The ILPS'95 participant rate is $70/night/room (unlimited occupancy). This is a very good deal! The Marriott has hosted numerous international academic conferences and offers nice accomodations, spacious facilities and a superior location. The hotel is a short walk or taxi ride from riverside restaurants, Pioneer Square (shopping!), Chinatown, and PSU. In addition, the hotel features an indoor pool, whirlpool, sauna, and various restaurants. CONFERENCE REGISTRATION The conference fee for early registration (before November 7) for members of the ALP or its affiliates will be US$375. The fee for early registration for non-members will be US$400. After November 7 late registration will cost members US$400, and non-members US$425. The early registration fee for students is US$150, and the late fee is US$165. The student fee does not include the banquet, but banquet tickets can be purchased for US$50 each. Participants paying full or student registrations are given one year's free automatic membership to the Association for Logic Programming. You may wish to join your local affiliated society in Britain (ALP-UK), France (AFCET), Germany (ALP/G), or Italy (GULP). If you do, please indicate your desire on the registration form, so information can be forwarded to your society. There is a registration form at the end of this program. If you wish to register by e-mail, please request an e-mail form from: ilpsreg@oregon.uoregon.edu. E-mail registrations must be paid for by either VISA or MASTERCARD at time of e-mail registration. All members of ALP, ACM, IEEE, SIGART, and SIGMOD are eligible for discount registration fee. Members must include the membership/organization number (one affiliation only) in order to receive the discount. All students must submit proof of student status either by submitting a photocopy of student identification or a letter from their institution. Refund Policy: Written requests or e-mail requests for refunds must be received by the conference coordinator Dena Fisher by November 15. Refunds are subject to a US$50 processing fee. Those who do not request a refund by the deadline will be billed in full. The Conference Registration Fee includes: Admission to the entire conference program including technical sessions, tutorials, and poster sessions, a copy of the conference proceedings, the reception on Sunday evening, and the banquet dinner. The student fee does not include the banquet. Extra banquet tickets are available at US$50. The post-conference workshops will cost US$20 for each workshop attended. People not registered at the conference can register for US$60 per workshop. See the program for a list of workshops available. PORTLAND AND THE SURROUNDING AREA Portland, Oregon's largest city with a population of 1.5 million, is also the cultural and business center of the state. Halfway between the equator and the North Pole, and situated on the Willamette River near its confluence with the Columbia River, Portland is an outgrowth of settlements beginning 150 years ago. Forests and farms extend outwards from the city to the ocean, a two hours drive, and the mountains, a one hour drive. Beaverton, home to numerous high-tech firms, is located just south of the city. Portland is also just a three hour drive to Seattle, with an additional two hours to Vancouver. Oregon's coastal region and Columbia River gorge are areas of exceptional beauty at all times of year. Road trips through the country-side are especially spectacular when visiting historical hotels and lodges, such as the Vista House, Multnomah Falls Lodge, the Columbia Gorge Hotel, and Timberline Lodge. We recommend that you extend your trip if you have the time! By November, ski season will hopefully already have started on nearby Mt. Hood and further south on Mt. Bachelor. We hope that ILPS'95 ski bums will take this opportunity to sample some of the finest skiing in the world. Further tourist information is listed on the ILPS'95 WWW page. CHILDCARE Childcare will be available for daytime sessions of the conference. Drop-in care for children between 6 weeks and ten years of age will be provided by the Vermont Hills Family Life Center 10 blocks from the conference hotel. The cost for one full day in $30. Childcare will be available for late afternoon and evening activites if there is sufficient interest. Parents will be asked by the Vermont Hills staff to submit a plan detailing the whereabouts of the parent for the time the child is enrolled. Parents will be asked to give written permission for their children to be given medical treatment. Parents and children will be photographed for security purposes. Vermont Hills carries liability insurance. Many special services are available if arranged in advance. Nursing babies (and others) can be cared for at the Marriott Hotel. Older children can go on field trips to the science museum or the ballet. Help is available for transporting children to the drop-in care center. If you are interested in using any of these childcare options, please contact janetv@cs.pdx.edu. It is not necessary to arrange in advance the drop-in care. But it would be helpful to us to be notified if you know you'll be using it. If you wish to contact the Vermont Hills Family Life Center, call Brenda Dengo at 503-292-0850. Their address is: Vermont Hills Family Life Center, 7412 SW Beaverton-Hillsdale Highway, Suite 106, Portland, OR 97225. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ REGISTRATION FORM: ILPS'95 Please mail to: ILPS'95 1277 University of Oregon Eugene, OR 97403 Fax: 503-346-3509 or 503-346-3545 E-mail: ilpsreg@oregon.uoregon.edu _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ Name: __________________________________________________________ Affiliation:____________________________________________________ Address: _______________________________________________________ _______________________________________________________ Telephone: _____________________ FAX: _________________________ E-mail: ________________________________________________________ Membership organization & number: ______________________________ Dietary Restrictions: Vegetarian ______________________________ Other (specify) ________________________________________________ Other special needs:____________________________________________ Check the social activities you plan to attend: (All are included in the full registration fee. Student registration does not include the Banquet. Additional Banquet tickets may be purchased for US$50). The following information is needed for proper planning of the events. ___ Opening Reception December 3 ___ Banquet December 5 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ Presenters indicate audio-visual requirements: ___ Overhead Projector ___ Other (state) __________________________ Note: There will be a Sun Sparcstation with color screen available for software demonstrations. Please notify conference registration office to reserve time on the computer. Conference Fees: Before November 7 After November 7 Member US$375 US$400 NonMember US$400 US$425 Student US$150 US$165 Workshop Fees: Each workshop: US$20. Workshop-only participants: US$60 per workshop. Please check the appropriate workshop(s): W1 ______ W2 _______ W3 _______ W4 _______ W5 ______ W6 _______ W7 _______ Total Payment: US$ _________________________ Payment can be made by check drawn on a US bank or money order in American dollars. Please make checks payable to: University of Oregon: ILPS'95 You can also pay by Visa or MasterCard. Cardholder's name: ____________________________________ Type of card and Number: ______________________________ Expiration Date: ______________________________________ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ STUDENT CERTIFICATE All those desiring a student discount for registration must return this certificate with their registration form. I certify that ____________________________________ (Print name of student) is a full-time student at ______________________________ (Name of university) and eligible for the student conference rate. ____________________________________ (Signature) ____________________________________ (Printed name) ____________________________________ (Title/Position) Certificate must be signed by the thesis advisor or department head. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ HOTEL REGISTRATION INFORMATION Reservations should be made directly with: Marriott Hotel Tel: 503-226-7600 800-228-9290 Attn: Lance Riedl Fax: 503-499-6357 1401 S.W. Front Avenue Portland, Oregon 97201 Deadline for hotel reservations is Tuesday November 7. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ ------- Vikram Saletore Internet: saletore@cs.orst.edu Computer Science Department UUCP: ...!hplabs!hp-pcd!orstcs!saletore Oregon State University Telephone: (503) 737-5575 Corvallis, OR - 97331 ------------------------------------------------------------------------------- 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 Oct 5 10:30:17 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Thu, 5 Oct 95 10:30:00 -0500; AA27191 Date: Thu, 5 Oct 95 10:29:58 -0500 From: kdd96@aig.jpl.nasa.gov (KDD-96 Account) Message-Id: <9510051529.AA12993@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Thu, 5 Oct 95 10:29:58 -0500 To: dbworld@ricotta.cs.wisc.edu ========================================================================= C a l l F o r P a p e r s ========================================================================= The Second International Conference on Knowledge Discovery and Data Mining (KDD-96) -------------------------------------------- Portland, Oregon, USA, August 3-5, 1996 ======================================= Sponsored by AAAI and Collocated with AAAI-96 and UAI-96. visit the KDD-96 WWW page at http://www-aig.jpl.nasa.gov/kdd96 Knowledge Discovery in Databases (KDD), also referred to as Data Mining, is an area of common interest to researchers in machine discovery, statistics, databases, knowledge acquisition, machine learning, data visualization, high performance computing, and knowledge-based systems. The rapid growth of data and information has created a need and an opportunity for extracting knowledge from databases, and both researchers and application developers have been responding to that need. KDD applications have been developed for astronomy, biology, finance, insurance, marketing, medicine, and many other fields. The first international conference on Knowledge Discovery and Data Mining (KDD-95), held in Montreal in August 1995, was an outstanding success, attracting over 340 participants. The second international conference will follow up the success of KDD-95 by bringing together researchers and application developers from different areas focusing on unifying themes. The topics of interest include, but are not limited to: Theory and Foundational Issues in KDD: Data and knowledge representation for KDD Probabilistic modeling and uncertainty management in KDD Modeling of structured, unstructured and multimedia data Metrics for evaluation of KDD results Fundamental advances in search, retrieval, and discovery methods Definitions, formalisms, and theoretical issues in KDD Data Mining Methods and Algorithms: Algorithmic complexity, efficiency and scalability issues in data mining Probabilistic and statistical models and methods Using prior domain knowledge and re-use of discovered knowledge Parallel and distributed data mining techniques High dimensional datasets and data preprocessing Unsupervised discovery and predictive modeling KDD Process and Human Interaction: Models of the KDD process Methods for evaluating subjective relevance and utility Data and knowledge visualization Interactive data exploration and discovery Privacy and security Applications: Data mining systems and data mining tools Application of KDD in business, science, medicine and engineering Application of KDD methods for mining knowledge in text, image, audio, sensor, numeric, categorical or mixed format data Resource and knowledge discovery using the Internet This list of topics is not intended to be exhaustive but an indication of typical topics of interest. Prospective authors are encouraged to submit papers on any topics of relevance to knowledge discovery and data mining. DEMONSTRATION SESSIONS: KDD-96 also invites working demonstrations of discovery systems. Exact details on how to arrange a demo at KDD-96 will be forthcoming. SUBMISSION AND REVIEW CRITERIA: Both research and applications papers are solicited. All submitted papers will be reviewed on the basis of technical quality, relevance to KDD, novelty, significance, and clarity. Authors are encouraged to make their work accessible to readers from other disciplines by including a carefully written introduction. Papers should clearly state their relevance to KDD. Please submit 5 *hardcopies* of a short paper (a maximum of 9 single-spaced pages not including cover page but including bibliography, 1 inch margins, and 12pt font) to be received by March 18, 1996. A cover page must include author(s) full address, E-MAIL, paper title and a 200 word abstract, and up to 5 keywords. This cover page must accompany the paper. In addition, an ASCII version of the cover page should be sent electronically via email to kdd96@almaden.ibm.com by March 18th 1995 (preferably earlier for e-mail). For the electronic title page, authors are required to use the template made available by ftp. Please visit http://www-aig.jpl.nasa.gov/kdd96/ to retrieve the electronic template. Please mail the 5 hardcopies of the full papers to : AAAI (KDD-96) 445 Burgess Drive Menlo Park, CA 94025-3496 U.S.A. Phone: (+1 415) 328-3123; Fax: (+1 415) 321-4457 Email: kdd@aaai.org *********** I m p o r t a n t D a t e s **************** * 5 copies of full papers received by: March 18, 1996 * * (in addition to an electronic ASCII title page) * * acceptance notices: April 19, 1996 * * final camera-readies due to AAAI by: May 20, 1996 * ********************************************************** KDD-96 Organization: ==================== General Conference Chair: Usama M. Fayyad, Jet Propulsion Laboratory KDD-96 Publicity Chair: Padhraic Smyth, Jet Propulsion Laboratory KDD Sponsorship Chair: Gregory Piatetsky-Shapiro, GTE Laboratories Program Co-chairs: ================== Evangelos Simoudis (IBM Almaden Research Center) Jia Wei Han (Simon Fraser University) Program Committee ================= Rakesh Agrawal (IBM Almaden Research Center, USA) Tej Anand (AT&T Global Information Solutions, USA) Ron Brachman (AT&T Bell Laboratories, USA) Wray Buntine (Heuristicrats Research, USA) Nick Cercone (University of Regina, Canada) Peter Cheeseman (NASA AMES Research Center, USA) Bruce Croft (University of Massachusetts at Amherst, USA) Steve Eick (AT&T Bell Laboratories, USA) Usama Fayyad (Jet Propulsion Laboratory, USA) Clark Glymour (Carnegie-Mellon University, USA) George Grinstein (University of Lowell, USA) David Hand (Open University, UK) David Heckerman (Microsoft Corporation, USA) Se June Hong (IBM T.J. Watson Research Center, USA) Tomasz Imielinski (Rutgers University, USA) Larry Jackel (AT&T Bell Laboratories, USA) Larry Kerschberg (George Mason University, USA) Willi Kloesgen (GMD, Germany) David Madigan (University of Washington, USA) Chris Matheus (GTE Laboratories, USA) Heikki Mannila (University of Helsinki, Finland) Sham Navathe (Georgia Institute of Technology, USA) Raymond Ng (University of British Columbia, Canada) Gregory Piatetsky-Shapiro (GTE Laboratories, USA) Daryl Pregibon (AT&T Bell Laboratories, USA) Ted Senator (US Department of the Treasury, USA) Wei-Min Shen (University of Southern California, USA) Arno Siebes (CWI, Netherlands) Andrzej Skowron (University of Warsaw, Poland) Steve Smith (Dun and Bradstreet, USA) Padhraic Smyth (Jet Propulsion Laboratory, USA) Ramakrishnan Srikant (IBM Almaden Research Center, USA) Alex Tuzhilin (NYU Stern School, USA) Ramasamy Uthurusamy (GM Research Laboratories, USA) Xindong Wu (Monash University, Australia) Wojciech Ziarko (University of Regina, Canada) Jan Zytkow (Wichita State University, USA) For further information, send inquiries regarding * submission logistics to AAAI at kdd@aaai.org Phone: (+1 415) 328-3123; Fax: (+1 415) 321-4457 * KDD-96 sponsorship and industry participation to: Gregory Piatetsky-Shapiro at gps@gte.com Phone: 617-466-4236, Fax: 617-466-2960 * technical program and content to kdd96@almaden.ibm.com * general and publicity issues to kdd96@aig.jpl.nasa.gov ------------------------------------------------------------------------------- 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 Oct 5 10:34:13 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Thu, 5 Oct 95 10:34:10 -0500; AA27292 Date: Thu, 5 Oct 95 10:34:09 -0500 From: "Indiana U search" Message-Id: <9510051534.AA13010@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Thu, 5 Oct 95 10:34:09 -0500 To: dbworld@ricotta.cs.wisc.edu The Indiana University Computer Science Department is seeking applications for regular and visiting faculty positions in programming languages, and related aspects of applied logic, scientific and high-performance computing, and cognitive science. For details: www http://www.cs.indiana.edu/ email search@cs.indiana.edu (automatic reply) ftp cs.indiana.edu: pub/hire/{faculty,visitors} Apologies for duplicates of this message. ------------------------------------------------------------------------------- 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 Oct 5 10:34:51 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Thu, 5 Oct 95 10:34:45 -0500; AA27308 Date: Thu, 5 Oct 95 10:34:44 -0500 From: "search2" Message-Id: <9510051534.AA13015@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Thu, 5 Oct 95 10:34:44 -0500 To: dbworld@ricotta.cs.wisc.edu The Indiana University Computer Science Department is seeking applications for a position of director for its computing facilities. For details: www http://www.cs.indiana.edu/ email facility-search@cs.indiana.edu (automatic reply) ftp cs.indiana.edu: pub/hire/facility-search Apologies for duplicates of this message. ------------------------------------------------------------------------------- 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 Oct 5 14:35:18 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Thu, 5 Oct 95 14:34:55 -0500; AA02417 Date: Thu, 5 Oct 95 14:34:54 -0500 From: Zbigniew W Ras Message-Id: <9510051934.AA13555@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Thu, 5 Oct 95 14:34:54 -0500 To: dbworld@ricotta.cs.wisc.edu ---------- X-Sun-Data-Type: default X-Sun-Data-Name: call1.96 X-Sun-Charset: us-ascii X-Sun-Content-Lines: 69 **** C A L L F O R P A P E R S **** NINTH INTERNATIONAL SYMPOSIUM ON METHODOLOGIES FOR INTELLIGENT SYSTEMS (ISMIS'96) Tatry Hotel, Zakopane, Poland June 10-13, 1996 SPONSORS UNC-Charlotte, Oak Ridge National Laboratory, Polish Academy of Sciences, Warsaw Univ. of Technology and others. PURPOSE OF THE SYMPOSIUM This Symposium is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: * Approximate Reasoning * Evolutionary Computation * Intelligent Information Systems * Knowledge Representation and Integration * Learning and Knowledge Discovery * Logic for Artificial Intelligence * Methodologies (modeling, design, validation, performance evaluation). In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. human genome, global change, manufacturing, health care, etc. INVITED SPEAKERS Michael Brodie (GTE Lab.) Matthias Jarke (RWTH Aachen, Germany) Gregory Piatetsky-Shapiro (GTE Lab.) Henri Prade (Univ. Paul Sabatier, France) Erik Sandewall (Linkoping U., Sweden) PAPER SUBMISSION Authors are invited to submit four copies of their manuscript (maximum 15 pages) to: Dr. Zbigniew W. Ras Univ. of North Carolina Dept. of Comp. Science Charlotte, N.C. 28223 e-mail: ras@mosaic.uncc.edu fax: 704-547-3516 Submissions should include a separate title page (1 copy) specifying the title, all authors with their affiliations, abstract (100-200 words), up to 10 keywords (begin the keyword list with at least one of the ISMIS areas listed above); and the preferred address of the contact author, including a telephone number, fax number, and e-mail address (if available). If possible, the title page should be submitted via email (in plain text) to to facilitate submissions processing. IMPORTANT DATES Submission of Papers: October 15, 1995 Acceptance Notification: December 15, 1995 Final Paper: February 15, 1996 * * * * * * * * * * * * * * * * * * * * * * WWW Home Page for ISMIS'96: http://www.ipipan.waw.pl/konferencje/ismis96/ * * * * * * * * * * * * * * * * * * * * * * ------------------------------------------------------------------------------- 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 Oct 6 09:53:43 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 6 Oct 95 09:53:38 -0500; AA13629 Date: Fri, 6 Oct 95 09:53:36 -0500 From: Jennifer Widom Message-Id: <9510061453.AA14486@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 6 Oct 95 09:53:36 -0500 To: dbworld@ricotta.cs.wisc.edu Reminder: due date is October 16. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS: INTEGRATING ARTIFICIAL INTELLIGENCE AND DATABASE TECHNOLOGIES Special Issue on ACTIVE DATABASE SYSTEMS ----------------------- Active database systems integrate event-based rule processing with traditional database functionality. Combining databases with active rules yields flexible and powerful systems that can exhibit a wide range of reactive behavior and that can perform inferencing over massive data. Over the past several years there has been a great surge of interest in active database systems, with numerous useful research results, prototypes, and commercial products. In view of the rapidly growing importance of active database systems, a special issue of the Journal of Intelligent Information Systems, planned for fall 1996, will be devoted to topics in this area. Papers are solicited in, but not limited to, the following topics: * Active database event and rule languages and processing * Active database system architecture and implementation issues * Performance evaluation of active database systems * Temporal and real-time aspects of active database systems * Theoretical foundations of active database systems * Active database design issues and application development * Deployment of active database technology on real applications * Relationship between expert systems, knowledge-base systems, and active database systems The Journal ------------- The mission of the "JOURNAL OF INTELLIGENT INFORMATION SYSTEMS: Integrating Artificial Intelligence and Database Technologies" is to present research and development focused on the integration of Artificial Intelligence and Database Management technologies to provide models, architectures, tools, and techniques for the next generation of systems -- Intelligent Information Systems. The journal focuses on the creation of information systems that exhibit intelligent behavior and embody intelligence in their reasoning and management processes. The journal is an archival, peer-reviewed, technical journal publishing high-quality, state-of-the-art papers. Instructions for Submitting Papers ------------------------------------ Manuscripts are strictly limited to 25 printed pages with a 12-point font and 18-point spacing (approximately 12,000 words), including all figures and references. Papers must not have appeared in, nor be under consideration by, other journals. Include a separate page specifying the title and giving the preferred address of the contact author for correspondence (including postal address, telephone number, fax number, and e-mail address). Send four (4) copies of each submission to one of the two guest editors listed below. For additional information, please contact one of the guest editors. Important Dates ----------------- Manuscripts due: Monday, October 16, 1995 Acceptance notification: Monday, January 29, 1996 Final manuscript due: Monday, April 1, 1996 Publication date of issue: August/September 1996 Prospective authors may access instructions for submission, Latex style guides, special fonts, and an html version of this Call for Papers at: http://www.isse.gmu.edu/JIIS Guest Editors --------------- Sharma Chakravarthy Jennifer Widom Database Systems R&D Center Department of Computer Science E470 CSE Building Stanford University PO Box 116125 Stanford, CA 94305-2140 University of Florida Gainesville, FL 32611-6125 sharma@cis.ufl.edu widom@cs.stanford.edu (904) 392-2697 (voice) (415) 723-7690 (voice) (904) 392-1220 (fax) (415) 725-2588 (fax) ------------------------------------------------------------------------------- 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 Oct 6 11:14:23 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 6 Oct 95 11:14:11 -0500; AA15435 Date: Fri, 6 Oct 95 11:14:09 -0500 From: Subhash Bhalla Message-Id: <9510061614.AA14560@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 6 Oct 95 11:14:09 -0500 To: dbworld@ricotta.cs.wisc.edu CISMOD 95 --------- For more details or queries, please refer to/contact : \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ For up-to-date information on Cismod95 conference : WWW : http://www.u-aizu.ac.jp/labs/sw-db/cismod95 FTP : anonymous ftp to "ftp.u-aizu.ac.jp", look into directory u-aizu/Department/Software/Database-Lab for README, LaTeX(cismod95.tex), PostScript(cismod95.ps) and Text only(cismod95.txt) files. \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ Subhash Bhalla email : bhalla@u-aizu.ac.jp Database Systems Laboratory The University of Aizu FAX : +81(242)37-2753 Aizu-Wakamatsu city, Fukushima 965-80, JAPAN \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ CALL FOR PARTICIPATION CISMOD 95 --------- International Conference on Information Systems and Management of Data - 1995 and Pre-Conference Tutorials Tutorials : November 14, 1995 Conference: November 15-17, 1995 Venue : Centaur Hotel, Bombay Airport CO-SPONSORED BY IEEE India Council and Indian National Scientific Documentation Center (INSDOC) 14, Satsang Vihar Marg New Delhi - 110 067, India Organized by Western Regional Instrumentation Centre University of Bombay, Vidyanagari Bombay - 400 098 GENERAL INFORMATION ------------------- The sixth international conference on Information Systems and Management of Data will take place at Bombay. The importance of information systems and data management, as areas of technology is increasing with time and with newer applications. Extensive research and development efforts are being made in many new areas of activity. The conference will give a wide coverage to current topics of interest to developers and researchers . The conference is being co-sponsored by IEEE India Council. It is aimed at bringing together researchers and practitioners in the information systems and database area. It will offer a scientific program with paper presentations and tutorials aimed at transfer of information, and education. The conference will offer an opportunity to extensively discuss requirements, problems and solutions in the field. Contributions will cover new requirements, concepts for implementation, management of meta-data, system architectures and experience gained in information systems and DBMSs. LOCAL ARRANGEMENTS Registration forms and information about local arrangements are included in this brochure. For more information, or any other queries, please contact : Dr. S. K. Savanur (secretary) Coordinator, INSDOC-WRIC Information Services Western Regional Instrumentation Centre, University of Bombay, Vidyanagari, Kalina, Santacruz (East) Bombay - 400 098, INDIA Phone : (+91-22) 612 3315, 612 2630, 612 2618 Fax : (+91-22) 612 5711 Email : cismod95%sirnetw@sirnetd.ernet.in ADVISORY COMMITTEE Dr. Snehalata S. Deshmukh, Vice Chancellor, University of Bombay, Bombay Prof. T. Viswanathan, Director, INSDOC, New Delhi Prof. D.M. Nachane, University of Bombay, Bombay Dr. Naveen Prakash, DIT, Delhi Prof. A.C. Tikekar, former Librarian, University of Bombay, Bombay Mr. T.R. Subramaniam, Trade Mark Registry, Bombay ORGANIZING COMMITTEE Dr. Patkar (chairman) Director, INSDOC-WRIC, Bombay Dr. S. K. Savanur (secretary) Coordinator, INSDOC-WRIC Information Services, Bombay Dr. A.M. Ghodgaonkar, WRIC, Bombay Mr. S.B. Bhonsale, WRIC, Bombay Mr. J. Bhardwaj, INSDOC, New Delhi Dr. D.B. Phatak, IIT Bombay Dr. V.N. Patkar, BMRDA, Bombay Dr. S.R. Ganpule, University of Bombay Dr. Suneeta S. Sane, SNDT Women's University, Bombay Mr. K.K. Sharma, Trade Mark Registry, Bombay REGISTRATION FEES | Indian Rupees | US Dollars Conference | 3000/- | 250/- Each Tutorial | 1000/- | 125/- 50 % concession is available for Students (copy of the proceedings is not covered within student's fee). CISMOD 95 Secretariat ------------------------ Organizing Secretary, CISMOD 95 Western Regional Instrumentation Centre, INSDOC-WRIC Information Services, University of Bombay, Vidyanagari, Kalina, Santacruz (East) Bombay - 400 098 (INDIA) Phone : (+91-22) 612 3315, 612 2630, 612 2618 Fax : (+91-22) 612 5711 Email : cismod95%sirnetw@sirnetd.ernet.in TUTORIALS ----------- The conference will be preceded by three tutorials on the 14th of November 1995. Tutorial I : Integrating Transaction Processing and Groupware Speaker : Satyendra P. Rana, IBM Corporation, USA Abstract : Groupware applications are becoming more and more popular because of their ease of use, handling of unstructured data, and sharing capabilities. Groupware is also being considered for providing users with a single point of access to existing transaction systems and new client/server applications. Also, there is a need for building applications that use both the structured and the unstructured data. The challenge in realizing the full potential of groupware concept is the need to seemlessly integrate new client/server systems with the existing transaction systems without compromising the standard benefits such as data integrity and recovery in transaction-oriented computing. This talk will highlight the issues involved in achieving the above integration and discuss the spectrum of solution choices available to Information Systems managers. Further, the talk will include a review of the state of the art in groupware concepts and tools. Audience: Information Systems managers and practitioners who are faced with the challenge of developing applications using business data scattered over multiple sites and systems. About the Instructor : Dr. Satyendra Pal Rana has been active in distributed systems and related areas for over 18 years. He is currently with IBM Corporation, working as a Senior Consultant in the cross-industry applications solutions consulting practice, providing solutions for legacy systems migration and office and work-group automation using client/server and object-oriented technology. During his career, Dr. Rana has led many consulting, research, and professional activities in the areas of open systems, object-oriented technology, and fault-tolerant computing. Dr. Rana received his Ph. D. degree in computer science from Indian Institute of Technology, New Delhi, India. Dr. Rana is an active member of ACM, IEEE, and AIIM and is listed in Who'Who World Registry. Tutorial II : Requirements Engineering Speaker : Professor Colette Rolland, University of Paris, France Abstract : Requirements engineering has become an important focus of research into what was traditionally thought of as the 'front end' of the system life cycle. The high cost of system errors incurred during requirements analysis has been acknowledged and many system failures have been attributed to mistakes in the early phases of system development. However, defining what constitutes exactly the field of requirements engineering (RE) is not an easy task. RE has traditionally been responsible for the kind of tasks which transforms a fuzzy idea into a precise specification of needs, and thus defines the existing or intended link between a system and its environment. The challenge is in understanding and modelling this link to face the rapid continuous change in technology and environment. This talk will present a framework of requirements engineering to address this challenge. The framework structures the context and products of RE, and helps understand and guide the RE process. Further, the talk will address the issues of domain knowledge reuse, goal modelling, process modelling, and knowledge representation and CASE support in the context of RE for information systems. It will be based on recent research results and particularly the ones achieved in the two European ESPRIT project "NATURE" (Novel Approaches to Theories Underlying Requirements Engineering) and F3 (From Fuzzy to Formal). Audience: Requirements analysts, Requirements engineers, Information Systems developers and Users who are faced with the challenge of requirements engineering in developing or re-engineering information systems. About the Instructor : Dr. Colette Rolland is Professor of Computer Science at the University of Paris-1 Panthn/Sorbonne where she has worked since 1979. She is leading the masters curriculum MIAGe (Mhodes Informatiques Appliqus la Gestion) and the Ph.D. curriculum on databases and information systems called "Thrie et Ing(Ii(Bie des Bases de donns". Her research interests lie in the areas of information modelling, databases, temporal data modelling, object-oriented analysis and design, requirements engineering, design methodologies, development process modelling and CASE tools. She is Director of the Centre de Recherche en Informatique and supervises a team of 7 full time assistant-professors and 12 to 15 research students that are active in these areas. She has supervised 51 Ph.D. theses and has extensive experience in leading research projects and conducting co-operative projects with industry. Her research work has been supported by national fundings of the CNRS, INRIA, MRT (Ministry of Research and Technology) and by the Commission of the European Communities under the ESPRIT programme (projects TODOS, BUSINESS CLASS, F3 and NATURE). Professor C. Rolland is the originator of the REMORA methodology for the analysis, design and realization of Information Systems. She is the co-author of 5 textbooks, editor of 6 books and author/co-author of over 120 papers. She is on the editorial board of the AFCET journal "Ing(Ii(Bie des Systes d'Information", the Journal of Information Systems, The Data and Knowledge Engineering journal, the Journal on Information and Software Technology, The Strategic Information Systems Journal and the Journal of Intelligent Information Systems. She has been involved in a number of conferences, as a member of over 35 programme committees and programme committee chairperson of 11. She is on the board of AFCET, the French Computer Society and is the French representative in IFIP TC8 on "Information Systems". She is currently the chairperson of the IFIP Working Group WG8.1. Tutorial III : Peformance Assessment of Advanced Information Systems Speaker : Dr. Frederic Andres, Ifatic/Euriware, France Abstract : The problems posed by the exponential growth of complex data in a variety of Advanced Information System (AIS) become increasingly pressing upon state-of-the-art (relational, object-oriented and deductive) database management systems. Database technology for traditional applications are mature but need to be assessed to provide high performance required by such kinds of AIS. Furthermore, it is still largely unknown as to how to maximize the effectiveness of a database server running on top of one parallel processing platforms. This is due partly to the lack of real experience in what aspects of an Advanced Information System are critical and partly due to the lack of methodology in the area of performance assessment and tuning. Nervertheless, Information Servers are now the heart and a crucial component of many businesses. Users want to better and faster access to data. From an economic perspective, it is mandatory to control the performance characteristics of the hardware and software of the information system. Outline: Performance Assessment ; basic principles ; Performance assessing the guts ; Properties of good data access methods ; Discussion of existing state of the art assessment tools ; (e.g Smart, The Software Testpilot, PEDCAD, APE). Audience: The target audience is researchers and developers of DBMS. A familiarity with DBMS(Oracle), data structures and index structures, is desirable. About the Instructor : Dr. Frederic Andres (Ph.D. from University of Paris VI) is a specialist in database, query processing, and distributed information systems of the company Ifatec/Euriware. He is currently holding a visiting position at Ricoh Software Division (Japan) and NACSIS. He has worked at Bull on the system DBS3 in the EDS Esprit II project and on query performance tools in the Pythagoras Esprit III project. He has been also consultant in major projects in Europe (ALMA project, Bibliotheque de France, French Budget Ministry). He leads the Chameleon project to achieve a new generation of DBMS that embodies his ideas on the way to combine high performance query processing and customer's and new information system's requirements. He is also co-author of the Binary Document Manipulation Benchmark to stress the effectiveness of RDBMSs to manipulate binary documents (e.g.OL2 documents) Details of the Program ----------------------- Tutorials, Pre-conference on the 14th November MORNING SESSION --------------- Tutorial I : Integrating Transaction Processing and Groupware Speaker : Satyendra P. Rana, IBM Corporation, USA Time : 9:30 - 11:00 am, and 11:30 am to 1:00 pm Tutorial II : Requirements Engineering Speaker : Dr. Colette Rolland, University of Paris, France Time : 9:30 - 11:00 am, and 11:30 am to 1:00 pm Lunch 1:00 to 2:00 pm Tea Breaks : 11:00 - 11:30, and 3:30 - 4:00pm AFTERNOON SESSION ----------------- Tutorial III : Performance Assessment of Advanced Information Systems Speaker : Dr. Frederic Andres, Ifatec/Euriware, France Time : 2:00 - 3:30, and 4:00 to 5:30 pm -------------------------------------------------------------- Opening Day : 15th November, 1996 Registration : 9:00 am Inauguration : 10:00 am Tea : 11:00 am - 11:30 am Session 1 (11:30-12:30pm,15th)Invited Talk : Database Schema Design Theory : Achievements and Challenges J. Biskup, University of Hildesheim, Germany Lunch 1:00 to 2:00 pm Session 2 (2:15-3:15pm,15th)Invited Talk : The Rejuvenation of Materialized Views I.S. Mumick, AT &T Bell Labs, USA Tea Break 3:30 to 4:00 pm Session 3 (4:00-5:30pm,15th ) Query Processing : Maintaining Surrogate Data for Query Acceleration in Multilevel Secure Database Systems B. Panda, W. Perrizo, USA Calibration of a DBMS Cost Model with the Software Test Pilot F. Andres, F. Kwakkel, M.L. Kersten, France Favorite SQL-Statements - An Empirical Analysis of SQL-Usage in Commercial Applications R. Ponighaus, Austria --------------------------------------------------------------- 16th November Session 4 (9:30-10:30am, 16th)Invited Talk : Advances in Database Management Technology : Concepts and Applications Umeshwar Dayal, Hewlet-Packard Labs, USA Tea Break 10:30 to 11:00 pm Session 5 (11:00- 1:00 pm,16th) Distributed Systems Static Allocation in Distributed Objectbase Systems: A graphical Approach S. Bhar, K. Barker, Canada Estimating Data Accuracy in a Federated Database Environment M.P. Reddy, R.Y. Wang, USA A Study of Distributed Transaction Processing in an Internetwork B. Bhargava, Y. Zhang, S. Goel, USA Lunch 1:00 to 2:00 pm Session 6 (2:00-3:30pm,16th) Data and Knowledge Engineering : Implementation and Performance Evaluation of Compressed Bit-Sliced Signature Files K. Furuse, K. Asada, A. Iizawa, Japan Partial Migration in an 8mm Tape Based Tertiary Storage File System and its Performance Evaluation through Satellite Image Processing Applications K. Sako, T. Nemoto, M. Kitsuregawa, M. Takagi, Japan Some Aspect of Rule Discovery in Data Bases L. Fleury, C. Djeraba, H. Briand, J. Philippe, France Tea Break 3:30 to 4:00 pm Session 7 (4:00-5:30pm,16th)Product and Process Design : Relational Database Design Using an ER Approach and Prolog M. Kolp, E. Zimanyi, Begium Supporting Distributed Individual Work in Cooperative Specification Development M. Saeki, S. Sureerat, K. Yoshida, Japan Handling Changes in Dynamic Specifications in Object Oriented Systems N. Parimala, India ----------------------------------------------------------------- 17th November Session 8 (9:30-10:30am, 17th)Invited Talk : Telesensation - Fusion of Multi-media Information and Information Highways N. Terashima, ATR Communication Systems Research Labs, Japan Tea Break : 10:30 to 11:00 pm Session 9 (11:00- 1:00 pm,17th) Conceptual Design and Applications : Conflictfreeness as a Basis for Schema Integration L. Ekenberg, P. Johannesson, Sweden The use of an Object Repository in the Configuration of Control Systems at CERN W. Harris, R. McClatchey, N. Baker, UK An Approach to Building CASE Tools N. Prakash, S. Sabharwal, India Lunch 1:00 to 2:00 pm Session 10 (2:00-3:30 pm,17th) Invited Papers : Normalization of Linear Recursions Based on Graph Transformations X. Du, N. Ishii, Japan Data Retrieval and Aggregates in SQL*/NR Y. Ng, N. Qaraeen, USA Partitioning Pipelines with Communication Costs S. Ganguly, A. Gerasoulis, W. Wang, USA Tea Break : 3:30 to 4:00 pm Session 11 (4:00-4:30 pm,17th) Invited Presentation : User Interface Design Technology Dr. T. V. Prabhakar, IIT Kanpur, PANEL DISCUSSION CONCLUDING SESSION -------------------------------------------------------- General Information ------------------- CONFERENCE CITY Bombay's Sahar International Airport is a stop for all major international airlines. Most domestic airlines use the Santacruz airport. Pre-paid taxi services (around Rupees. 125 - US dollars 4/-) are available at the airport to reach the city center. For local travel in Bombay, taxis are available and charge about Rupees 12/Km. Bombay is a favourable stop in any tourist itinerary. November is the ideal tourist season with pleasant temperatures of about 18-23 degrees. No special winter or summer clothing is required. Bombay is located on the west coast of India in the state of Maharashtra. It is the business capital, and most industrialized city in India. Bombay has a cosmopolitan population, which is estimated to be around 10 million. The main languages spoken in the city are Hindi, Marathi, and English. A visitor can easily manage his/her business/travel with English. There are several tourist attractions in and around Bombay: ancient cave paintings, sculptures, quaint hill-stations and tourist links to other places. A conducted city sight seeing tour is being planned for Saturday, 18th November, if sufficient number of delegates are interested in a city tour. VENUE The conference will be held at 'Centaur Hotel'. The hotel is well equipped with conference facilities. It is located near the Santacruz airport (domestic Airlines) at Bombay. The Sahar International Airport is at about 10 minutes drive away. Centaur Hotel Bombay Airport, Bombay - 400 099, India Telephone : +91-22-611 6660 FAX Numbers : +91-22-611 3535 Telex No. : 011-71171 CHTL IN VISA Citizens of foriegn countries require a valid passport and an appropriate entry, transit, or tourist visa. The visa must be obtained from Indian Diplomatic missions abroad. Tourist visas are generally valid for three months stay in India, starting from the date of issue. Indian missions abroad can be contacted for finding a link to the local/nearest Indian Tourism Department office. The missions/Tourism Department offices may be able to provide a map of Bombay, tourist information, and air-travel link details. HEALTH A valid yellow fever certificate is mandatory for all persons who have been in transit in AFRICA, SOUTH AMERICA, or PAPUA NEW GUINA within six days preceding arrival. The certificate becomes valid 10 days after vaccination. CURRENCY The rupee is divided into 100 paise. There are coins of 10, 20, 25, and 50 paise. There are also coins for rupees 1, 2, and 5 as well. There are notes for Rs. 1, 2, 5, 10, 20, 50, 100, and 500. People are not allowed to bring in Indian currency into India. Foreign currency can be brought in either in cash or as traveller's cheques. Any thing in excess of US Dollars 10,000 must be declared on arrival. CREDIT CARDS Credit cards are widely accepted. Some common credit cards are Diner's Club, Mastercard, American Express, and VISA card. BUSINESS HOURS Shops, banks and post offices open at 10 am. Banks close for business at 2 pm, Post offices close at 5 pm, and most shops close by 7 pm., six days. TIME Indian Standard Time (IST) is 5 and half hours ahead of GMT. COMMUNICATIONS Local, interstate and international calls can be made with ease. STD/ISD call booths with direct dialing and FAX facilities are available and are well signposted. HOTEL INFORMATION AND TRAVEL Hotel reservation will be on first-cum-first serve basis. All participants are urged to send in their requests as early as possible. Also, please make your travel arrangements early. Most bookings for air-travel within India can be done conveniently after arrival, at an advance notice of about 2 days. The following list contains hotels mostly located in the vicinity of the conference venue. The charges mentioned are indicative and are subject to change. Some discounts may also be available for delegates, if the booking is done through the organizers. Hotels | Single | Double | Taxes, etc. (3-5 minutes away) | | | ----------------------------------------------------------- Centaur Hotel(Venue) | USD 150 | USD 150 | 31 % Leela Kempinski | USD 275 | USD 295 | 20 % Hotel Atithi | USD 40 | USD 55 | 10 % Airport International| USD 30 | USD 36 | - - Hotel Avion | USD 30 | USD 36 | 10 % Hotel Transit | USD 30 | USD 36 | 10 % ------------------------------------------------------------ (20-30 minutes away) near Juhu Beach ------------------------------------------------------------ Centaur Hotel(Juhu) | USD 150 | USD 150 | 31 % Holiday Inn | USD 170 | USD 170 | 20 % Hotel Citizen | USD 40 | USD 50 | 10 % Ramada Inn Palmgrove | USD 120 | USD 150 | 20 % ------------------------------------------------------------ REGISTRATION INFORMATION All payments should be made by Bank Drafts drawn in favour of "CISMOD 95", and payable at BOMBAY, India. Registration fee from foreign delegates should be in US dollars or equivalent convertible currency. Personal Cheques, cash and credit cards are not acceptable for an advance registration. Registration fees include one copy of the conference proceedings, lunches and teas served on all three days. Late registration after November 1st, 1995 does not guarantee a copy of the conference proceedings. Requests for hotel accommodation should be accompanied by at least one day's room rent as an advance payment. A few seats have been kept aside for student's who will be entitled to 50 % discount on the Tutorial/Conference registration fees. A certificate from the head of the institution certifying the student status should accompany the registration form. REGISTRATION FORM To register, please complete the following form and mail it along with the fee bank draft to : Dr. S. K. Savanur, (Attn: CISMOD 95) Coordinator, INSDOC-WRIC Information Services Western Regional Instrumentation Centre, University of Bombay, Vidyanagari, Kalina, Santacruz (East) Bombay - 400 098 (INDIA) FAX : +91-22-612 5711 In addition, participants are requested to notify the information by email about their registration, tutorial registration, and hotel bookings. email : cismod95%sirnetw@sirnetd.ernet.in REGISTRATION FORM ------------------------------------------------------------------------ Name : ------------------------------------ ------------------------- Family name First-Middle Name Affiliation : ----------------------------------------------------------- ----------------------------------------------------------- Address : --------------------------------------------------------------- ------------------------------------------------------------------------- ------------------------------------------------------------------------- ------------------------------------------------------------------------- Phone No. : FAX : ----------------------------- ------------------------ Email : ------------------------------------------------------------------ Passport No. (for foreign delegates only): ............................. Tutorial Registration :Morning(T1/T2)/Afternoon(T3) Fee enclosed : Conference Registration: Fee enclosed : Hotel Reservation if required, please indicate : (single / double room) Duration : Hotel Preferences : Enclosed please find bank draft (payable to "CISMOD 95" at Bombay) Number: Dated: Amount : ----------------------- ----------------- Drawn on ( Bank ): ---------------------------------------------- In ( CITY, Country ): ------------------------------------------- Date : Signature : ---------------------------- ---------------------- -------------------------------------------------------- \\\\\\\\\\\\\\End of 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 Fri Oct 6 16:04:08 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 6 Oct 95 16:04:03 -0500; AA20394 Date: Fri, 6 Oct 95 16:04:01 -0500 From: rmusick@anduin.ocf.llnl.gov (Charles R Musick Jr) Message-Id: <9510062104.AA15095@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 6 Oct 95 16:04:01 -0500 To: dbworld@ricotta.cs.wisc.edu CALL FOR PAPERS FIRST IEEE METADATA CONFERENCE 16 - 18 April 1996 NOAA Auditorium Silver Spring, Maryland Sponsored by: IEEE Mass Storage Systems and Technology Technical Committee National Oceanic and Atmospheric Administration Hughes Information Technology Corporation The objectives of this conference are to (1) provide a forum to address metadata issues faced by the various communities including mass storage, data management, image and multimedia processing, and distributed computing, as well as managers of networked heterogeneous information servers, (2) bring the different communities together for technical interchange of ideas on common technologies related to metadata; (3) hear the various perspectives from the users as well as from the producers of metadata; and (4) facilitate the development and usage of metadata. We invite participants from academia, government, and industry to share ideas and experiences. We are soliciting panel proposals, abstracts of papers of up to 500 words of ASCII text, and abstracts of electronic poster-demo presentations of up to 500 words of ASCII text. Topics of interest include (but are not limited to) the following: % What is Metadata? * Definition, Semantics % Metadata Modeling and Representation * Application specific models * Reference models, data models * Ontologies * Multimedia representation of metadata % Metadata Management * Creating, Updating, Maintaining metadata * Repositories for metadata management * Handling different data types, Security, Integrity, Quality * Distributed/centralized storage of metadata % Metadata Generation/Extraction * Automatic metadata generation/extraction * Data mining techniques for metadata extraction % Metadata Usage * Querying, Application development * Information system integration * Search tools % Metadata Standards * Survey of existing standards * Need for additional standards Previously published papers will not be considered. Panel proposals should describe the topic and intended audience, and provide a list of participants. Poster demonstration proposals should focus on presenting novel and interesting technical aspects of metadata research or development. Please send your submissions electronically including the name, address, phone number, and email of the contact author to: metadata-96@llnl.gov For further information contact: Dr. Bhavani Thuraisingham thura@mitre.org Phone: 617-271-8873 Fax: 617-271-2352 or Dr. Ron Musick rmusick@llnl.gov Phone: 510-424-5015 Fax: 510-422-8920 Important Dates: Deadline for paper abstract, poster-demo abstract, panel proposal submission: 10 December 1995 Acceptance/Rejection Notification: 25 January 1996 Final hard copies of the papers (4 - 6 pages) due: 27 March 1996 Proceedings will be published electronically. CONFERENCE COMMITTEE Robert Coyne (IBM) - Chair Joy Colucci (Hughes) - Vice Chair Erin Binder (NML) Merritt Jones (MITRE) Ben Kobler (NASA) Bernard O'Lear (NCAR) Chris Miller (NOAA) PROGRAM COMMITTEE Bhavani Thuraisingham (MITRE) - Chair Ron Musick (LLNL) - Vice Chair Gerald Barton (NOAA) Brian Boyle (NOVON) Rosemary Dakos (Hughes) Tom Karl (NOAA) Robert Kluttz (CMS) George Jamerson (NOAA) Ken McDonald (NASA) Ted Myer (NASA) Lola Olsen (NASA) Louiqa Raschid (U. of MD) Len Seligman (MITRE) Steven Shantzis (Hughes) Eric Simon (INRIA) Paul Singley (ORNL) Rick Steinheiser (ORD) Mark Whiting (PNL) ------------------------------------------------------------------------------- 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 Oct 6 17:11:49 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 6 Oct 95 17:11:42 -0500; AA21628 Date: Fri, 6 Oct 95 17:11:40 -0500 From: best@cs.bu.edu (Azer Bestavros) Message-Id: <9510062211.AA15390@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 6 Oct 95 17:11:40 -0500 To: dbworld@ricotta.cs.wisc.edu ------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 16th IEEE REAL-TIME SYSTEMS SYMPOSIUM / \ / __/__/ __/__/ December 4-7, 1995 -- Pisa, Italy ------------------------------------------------------------------------------- Advance Program & Call for Participation IEEE Real-Time Systems Symposium December 4-7, 1995 Palazzo dei Congressi Via Matteotti, 1 Pisa, Italy Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems IEEE RTSS'95 Home Page http://cs-www.bu.edu/pub/ieee-rts/rtss95 ------------------------------------------------------------------------------- Monday, December 4 ------------------------------------------------------------------------------- Tutorials (at Scuola Superiore Studi Universitari e Perfezionamento Sant'Anna) Tutorial registration: 8:00am - 2:30pm Tutorial 1: 9:00am - 6:00pm (Full day - 6 hours) Title: Real-time Systems: Specification & Verification Instructors: Henk Schepers, Jozef Hooman, Zhiming Liu, Steve Schneider, Kim Larsen, and Wang Yi Tutorial 2: 9:00am - 12:30pm (Half day - 3 hours) Title: Real-Time Communications Instructors: Ken Tindell and Jay Strosnider Tutorial 3: 2:30pm - 6:00pm (Half day - 3 hours) Title: Real-Time POSIX Instructors: Ted Baker, Doug Locke, and Michael Gonzalez Harbour Symposium registration (at Palazzo dei Congressi): 5:00pm - 8:00pm ------------------------------------------------------------------------------- Tuesday, December 5 ------------------------------------------------------------------------------- 8:00am - 5:00pm Registration 9:30 - 9:45am Opening Address and Welcome General Chair: Krithi Ramamritham Program Chairs: Alan Burns and Yann-Hang Lee 9:45 - 10:45am Session 1: Applications Proving Dynamic Properties in an Aerospace Application Simin Nadjm-Tehrani and Jan-Erik Stromberg Modelling a Real Time Control System Based on Distributed Objects Nigel Baker, Wayne Harris, Chris Wallace, Richard McClatchey and Jean-Marie Le Goff 10:45 - 11:15am Coffee break 11:15 - 1:00pm Session 2: Synchronization and OS A Scalable Real-Time Synchronization Protocol for Distributed Systems Injong Rhee and Graham R. Martin Real-Time Computing with Lock-Free Shared Objects James H. Anderson, Srikanth Ramamurthy, and Kevin Jeffay Kernel-Level Threads for Dynamic, Hard Real-Time Environments Marty Humphrey, Gary Wallace, and John A. Stankovic MiThOS -- A Real-Time Micro-Kernel Threads Operating System Frank Mueller, Viresh Rustagi and Ted Baker 1:00 - 2:30pm Lunch 2:30 - 3:45pm Session 3: Formal Methods HyTech: The Next Generation T. Henzinger, P.-H. Ho, and H. Wong-Toi Two Examples of Verification of Multirate Timed Automata with Kronos Conrado Daws and Sergio Yovine Compositional and Symbolic Model-Checking of Real-Time Systems Kim G. Larsen, Paul Pettersson, and Wang Yi 3:45 - 4:15pm Coffee break 4:15 - 5:30pm Session 4: Scheduling I Value vs Deadline Scheduling in Overload Conditions Giorgio Buttazzo, Marco Spuri and Fabrizio Sensini Dual Priority Scheduling Robert Davis and Andy Wellings An Approach To Handling Overloaded Systems That Allow Skips Gilad Koren and Dennis Shasha 8:00pm Welcome party ------------------------------------------------------------------------------- Wednesday, December 6 ------------------------------------------------------------------------------- 8:00am - 5:00pm Registration 9:30 - 10:45am Session 5: Fault Tolerance Enhancing Real-Time Schedules to Tolerate Transient Faults Sunondo Ghosh, Rami Mellhem and Daniel Mosse A Software Fault Injection Tool on Real-Time Mach Scott Dawson, Farnam Jahanian and Todd Mitton Fault-tolerant Real-Time Communication in FDDI-Based Networks Biao Chen, Sanjay Kamat, and Wei Zhao. 10:45 - 11:15am Coffee break 11:15am - 1:00pm Session 6: Distributed Systems Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems Gerhard Fohler Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems Tarek F. Abdelzaher, and Kang G. Shin Distributed Pinwheel Scheduling with End-to-End Timing Constraints Chih-wen Hsueh, Kwei-Jay Lin, and Nong Fan The Design of Large Real-Time Systems: The Time-Triggered Approach Hermann Kopetz, Martin Braun, Christian Ebner, Andreas Kruger, Dietmar Millinger, Roman Nossal and Anton Schedl 1:00 - 2:30pm Lunch 2:30 - 3:45pm Session 7: Scheduling II Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control Marco DiNatale & John A. Stankovic Fairness in Periodic Real-Time Scheduling Sanjoy K. Baruah Robust Aperiodic Scheduling Under Dynamic Priority Systems Marco Spuri, Giorgio Buttazzo and Fabrizio Sensini 3:45 - 4:15pm Coffee break 4:15 - 5:30pm Session 8: Communication On Slot Reuse for Isochronous Services in DQDB Networks Ching-Chih Han, Chao-Ju Hou, and Kang G. Shin Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks Chao-Ju Hou and Kar Shun Tsoi Modeling Bus Scheduling Policies for Real-Time Systems Kevin Kettler and Jay Strosnider 5:30 - 6:30pm IEEE Real-Time Systems TC meeting 8:00pm Gala Dinner ------------------------------------------------------------------------------- Thursday, December 7 ------------------------------------------------------------------------------- 10:00 - 11:15am Session 9: Specification Compiling Modechart Specifications Carlos Puchol, Aloysius K. Mok and Douglas A. Stuart The Specification and Schedulability Analysis of Real-Time Systems using ACSR J. Choi, I. Lee and H. Xie A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems Hanene Ben-Abdallah, Insup Lee, and Jin-Young Choi 11:15 - 11:45am Coffee break 11:45am - 1:00pm Session 10: Timing Analysis Integrating the Timing Analysis of Pipelining and Instruction Caching Chris Healy, Dave Whalley, and Marion Harmon Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, and Chong Sang Kim 1:00 - 2:30pm Lunch 2:30 - 3:45pm Sessions 11: Real-Time DB and Window Systems Some Performance Issues for Database Transactions with Firm Deadlines Y. C. Tay Managing Contention and Timing Constraints in a Real-Time Database System Matthew R. Lehr, Young-Kuk Kim, and Sang H. Son ARTIFACT: A Platform for Evaluating Real-Time Window System Designs John Sasinowski and Jay Strosnider ------------------------------------------------------------------------------- Symposium Exhibition ------------------------------------------------------------------------------- An exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. Any industrial and university groups wishing to participate in the exhibition should contact with Christian Koza at Christian.Koza@aut.alcatel.at. ------------------------------------------------------------------------------- Local Information ------------------------------------------------------------------------------- Conference Site: Palazzo dei Congressi Phone: +39 - 50 - 598.139 Via Matteotti, 1 Phone: +39 - 50 - 598.203 Pisa, Italy Fax: +39 - 50 - 598.112 The City Pisa is a small friendly city in the north of Italy. Apart from its famous Leaning Tower it has a number of other historical attractions and fine restaurants. The Palazzo dei Congressi and all these attractions are within easy walking distance of the hotels listed below. How to reach Pisa There are direct flights to Pisa from London, Paris, Frankfurt, Rome and Milan. The city is also accessible by train from Genoa (2 hours), Rome (3 hours), Milan (4 hours) and Venice (5 hours). Lunch Lunches will be served at the Palazzo dei Congressi and it is included in the registration fee. The price per lunch for accompanying persons is of Lira 40,000. Banking Service A currency exchange office will be located inside of the Palazzo dei Congressi (9:00am - 1:00pm and 2:45pm - 3:45pm). Telephone, fax, and e-mail service During the symposium, participants may receive messages by phone and fax at the Palazzo dei Congressi. Also an E-mail service will be provided. ------------------------------------------------------------------------------- Social Events ------------------------------------------------------------------------------- 1. On Tuesday, December 5th, a welcome party will be offered to the participants. 2. On Wednesday, December 6th, a Gala Dinner will be offered in a typical Tuscan restaurant. ------------------------------------------------------------------------------- Registration ------------------------------------------------------------------------------- Advance registrations should be made by filling the registration form included in the program and mailing it to one of the following: Linda BUSS Route 1, Box 187B, Menomonie, WI 54751 USA OR Ettore RICCIARDI IEI - CNR Via S. Maria, 46 56126 - PISA Italy E-mail registration can be done by sending the registration form to: ricciardi@iei.pi.cnr.it For Credit card payment, please include the name on the credit card, the number of the credit card, the type of the credit card, the expiration date on the credit card, and your signature. Only US or International Bank Checks will be accepted or, alternatively, by an International Bank Transfer order payable to: Ettore RICCIARDI Bank Code Number: 0861 - 5608 - 14002 - 13761 Banca Popolare di Novara - Agency 1 Via San Francesco, 54 56100 - Pisa Italy Please, enclose the check/cheque or a copy of the payment order with the registration form. On site registration fees can be paid by check/cheque, major credit cards, or cash at the Symposium Secretariat. The Secretariat will be open on Monday, December 4th, 1995 from 5:00pm to 8:00pm, and all day during the Symposium. Symposium Registration Fees: --------------------------- Advance (before November 1, 1995) Late (after November 1, 1995) Member: US$ 380 US$ 460 Non-member: US$ 480 US$ 580 Full-time student: US$ 150 US$ 180 Full Day Tutorial Fees: ---------------------- Advance (before November 1, 1995) Late (after November 1, 1995) Member: US$ 170 US$ 210 Non-member: US$ 215 US$ 260 Full-time student: US$ 170 US$ 210 Half Day Tutorial Fees: ---------------------- Advance (before November 1, 1995) Late (after November 1, 1995) Member: US$ 100 US$ 120 Non-member: US$ 120 US$ 140 Full-time student: US$ 100 US$ 120 Notes: ----- 1. Symposium registration includes admission to symposium, a copy of symposium proceedings, lunches, coffee-breaks, Welcome party on Tuesday night, and Gala dinner on Wednesday night. 2. Full-time students are asked to provide a verification of their status, either during registration or at the conference. 3. There are no special full-time student rates for tutorials. 4. Extra ticket for Wednesday's Gala dinner can be purchased at US$ 45/ea. 5. Written requests for refunds must be postmarked no later than November 13, 1995. Refunds are subject to a US$ 50 processing fee. All no-show registration will be billed in full. Registration after 11/13/95 will be accepted on-site only. . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . 1995 IEEE Real-Time Systems Symposium Registration Form First Name:_________________________ Last Name:_____________________________ Title :_____________________________ Position:______________________________ Affiliation:_________________________________________________________________ Address:_____________________________________________________________________ City:_______________________________ State:_________________________________ Country:____________________________ Zip/Postal Code:_______________________ Phone:______________________________ Fax:___________________________________ E-Mail:_____________________________ Payment: Symposium registration fee: Category___________________ $___________ IEEE/ACM Member no:___________________ Tutorial fee: 1. Real-time Systems: Specif. & Verification $___________ 2. Real-Time Communications $___________ 3. Real-Time POSIX $___________ Extra Gala dinner tickets: ($45/ea) $___________ Extra symposium proceedings: ($35/ea) $___________ Hotel reservation deposit: (single or double) $___________ first preference:_____________________ second preference:____________________ third preference:_____________________ Total amount: $___________ . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . ------------------------------------------------------------------------------- Pisa Hotel Information ------------------------------------------------------------------------------- All reservations refer to the period of December 3-8, 1995. Rooms will be available up to November 3, 1995. One night deposit is required for all reservations. All prices are in US dollars and include service and taxes. Approximate conversion rate: $ 1.00 = L 1,600 ------------------------------------------------------------------ price price stars single double ------------------------------------------------------------------ Hotel CAVALIERI ***** 100 120 Piazza della Stazione, 2 Phone: 43.290 Fax: 502.242 ------------------------------------------------------------------ Hotel DUOMO **** 95 130 Via Santa Maria, 94 Phone: 561.894 Fax: 560.418 ------------------------------------------------------------------ Hotel TOURING *** 55 75 Via Puccini, 24 Phone: 46.374 Fax: 502.148 ------------------------------------------------------------------ Hotel TERMINUS & PLAZA *** 50 75 Via Colombo, 45 Phone: 500.303 or 45.200 Fax: 500.303 (to switch) ------------------------------------------------------------------ Hotel LA PACE *** 45 60 Viale Gramsci, Gall. B Phone: 48.863 or 29.351 Fax: 502.266 ------------------------------------------------------------------ Other Hotels without reservation for RTSS price price stars single double ------------------------------------------------------------------ Hotel D'AZEGLIO **** 90 120 Piazza Vittorio Emanuele, 18 Phone: 500.310 Fax: 28.017 ------------------------------------------------------------------ Hotel VILLA KINZICA *** 65 85 Piazza Arcivescovado, 2 Phone: 560.419 Fax: 551.204 ------------------------------------------------------------------ Hotel MINERVA *** 60 80 Piazza Toniolo, 20 Phone: 501.018 Fax: 551.204 ------------------------------------------------------------------ **** IMPORTANT: Please, mention the RTSS when reserving the hotel room. ------------------------------------------------------------------------------- LOCAL INFORMATION SERVICE ------------------------------------------------------------------------------- For any information about local arrangements, please send E-mail to: Giorgio Buttazzo: giorgio@sssup1.sssup.it Ettore Ricciardi: ricciardi@iei.pi.cnr.it ------------------------------------------------------------------------------- Conference Committee ------------------------------------------------------------------------------- General Chair Krithi Ramamritham Program Chairs Alan Burns and Yann-Hang Lee Treasurers Walt Heimerdinger and Ettore Ricciardi Publicity Chairs Azer Bestavros and Ken Tindell Industrial Chairs Michelle Hugue and Christian Koza Local Arrangements Giorgio Buttazzo and Ettore Ricciardi Ex-Officio Al Mok ----------------------- Program Committee ----------------------- | | | Ted Baker Giorgio Buttazzo Juan A. DeLaPuente | | Richard Gerber Nicholas Halbwachs Hans Hansson | | Connie Heitmeyer Jozef Hooman Farnam Jahanian | | Kevin Jeffay Theodore Johnson Mathai Joseph | | Dilip Kandlur Hermann Kopetz C. Mani Krishna | | Kwei-Jay Lin Fabio Panzieri David Powell | | Lui Sha Parmesh Ramanathan Hans Rischel | | Mike Rodd Fred Schneider Dennis Shasha | | Kang Shin Sang Son Jack Stankovic | | Jay Strosnider Reino Suonio Sandra Thuel | | Kenji Toda Paulo Verissimo Andy Wellings | | Wei Zhao | ----------------------------------------------------------------- ------------------------------------------------------------------------------- For more information, including abstracts of technical papers please check The IEEE RTSS'95 Home Page at URL http://cs-www.bu.edu/pub/ieee-rts/rtss95 ------------------------------------------------------------------------------- ------------------------------------------------------------------------- Prof A. Bestavros Dept of Computer Science, MCS 276 Work:617-353-9726 Boston University 111 Cummington st Boston MA 02215 Home:617-493-2823 Email:best@bu.edu Http://cs-www.bu.edu/faculty/best Fax :617-353-6457 ------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 Oct 6 18:36:13 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 6 Oct 95 18:36:06 -0500; AA22902 Date: Fri, 6 Oct 95 18:36:05 -0500 From: Russell Turner Message-Id: <9510062336.AA15537@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 6 Oct 95 18:36:05 -0500 To: dbworld@ricotta.cs.wisc.edu ------------------------------------------------------ Please redistribute to anyone with potential interest! ------------------------------------------------------ ------------------------------------------------------ Call for Papers Workshop on New Paradigms in Information Visualization and Manipulation December 2, 1995--- Baltimore, Maryland In Conjunction with the ACM Conference on Information and Knowledge Management (CIKM'95) November 28--December 2, 1995 The CIKM '95 Workshop on New Paradigms in Informa- tion Visualization and Manipulation will be a forum for presentation and discussion of new ideas and techniques for accessing, visualizing and manipulating information. Topics of interest include, but are not restricted to: applications of virtual reality, including VRML; shared virtual environments and simu- lations; dynamic data visualization; visualization of multidimensional information spaces; visualization of large, dynamic information collections; applications of Internet tools such as MUDs, MOOs, and IRCs; document and corpus metrics; multi-modal information displays; software and hardware architectures to support in- formation visualization; and social interaction in multi-user information visualization systems. We are particularly interested in reports of work in progress, implementation techniques, and practical experience with visualization of information collections of all sizes. A significant portion of the workshop agenda will be devoted to discussion of pending research questions, and directions for future work in this area. Prospective participants are invited (but not required) to submit position papers. The suggested maximum length is four pages. The position papers will be reviewed by the organizing committee, and accepted papers will appear in the workshop proceedings. Some of the accepted papers will be selected for informal presentation at the workshop. Accepted papers that were submitted electronically will be available via WWW by early November. Authors of those position papers found to be especially interesting or important may be invited to prepare expanded versions of those papers, which will then be submitted for publication in a book or an appropriate journal. Mail papers in either Postscript, ASCII or HTML to turner@cs.umbc.edu by October 15, 1995. We prefer e-mail submissions, but authors who lack e-mail access may send papers to Dr. Russell Turner, Department of Computer Science and Electrical Engineering, University of Maryland Baltimore County, Baltimore, MD 21228-5398 USA. Submissions should include the title, author(s), author's affiliation, e-mail address, fax number and postal address. In case of multiple authors, please indicate which author is responsible for correspondence. For more information on the CIKM 95 conference, call (410)455-2336, -1074 fax, or see our Web page http://www.cs.umbc.edu/cikm.html. Important Dates Position paper submission deadline: October 15, 1995 Notification of acceptance: November 3, 1995 Workshop date: December 2, 1995 ------------------------------------------------------------------------------- Russell Turner e-mail: turner@cs.umbc.edu Computer Science Department tel: 01/410-455-3965 University of Maryland, Baltimore County fax: 01/410-455-3969 5401 Wilkens Avenue www: http://www.cs.umbc.edu/~turner Baltimore, MD 21228-5398 USA ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 Oct 6 18:36:33 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Fri, 6 Oct 95 18:36:31 -0500; AA22917 Date: Fri, 6 Oct 95 18:36:30 -0500 From: Panos Chrysanthis Message-Id: <9510062336.AA15542@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Fri, 6 Oct 95 18:36:30 -0500 To: dbworld@ricotta.cs.wisc.edu --------------------------------------------------------------------------- Call For Papers DISTRIBUTED SYSTEMS ENGINEERING JOURNAL Special Issue on Workflow Management Systems -- September 1996 -- Guest Editor: Panos K. Chrysanthis Co-published by The British Computer Society, The Institution of Electrical Engineers and The Institute of Physics Publishing The Distributed Systems Engineering Journal (DSEJ) is planning a special issue on workflow management systems for September 1996. Workflows is an emerging computational paradigm for effective structuring of cooperative applications often involving access to diverse datatypes not necessarily maintained by traditional database management systems. Broadly speaking workflows are long-lived activities with transaction-like components having inter-related dependencies capturing both data and control flow requirements and constraints. This special issue will concentrate on both theoretical and practical problems of workflows and in particular on the aspects of the architecture and realization of workflow management systems. Important Dates Jan. 29, 1996: Submission Deadline Apr. 29, 1996: Acceptance notification July 15, 1996: Final Manuscript Deadline Prospective authors may access instructions for submissions and an html version of this Call for Papers at: http://www.cs.pitt.edu/dsej Brief guide for authors Contributions must be in English and should not exceed 25 printed pages in length, including figures. Text should have 12-point font and 18-point spacing and should not normally exceed 5000 words. Manuscripts will be considered for publication if they have not been published previously and are not under consideration for publication elsewhere. Title page must include (i) the title of article, (ii) the name(s) and affiliations of author(s), and (iii) abstract of not more than 200 words. On a separate cover page specify the title and the contact author for correspondence (giving postal address, telephone number, fax number, and e-mail address). Details of format for final submission will be provided for accepted papers. Instructions for Submitting Papers Send four (4) copies of each submission and a single copy of the cover page to the guest editor by January 29, 1996. Paper submissions will be acknowledged by email. Panos K. Chrysanthis Email: panos@cs.pitt.edu 220 Alumni Hall Voice: +1-412-624-8924 Dept. of Computer Science Fax: +1-412-624-8854 University of Pittsburgh Pittsburgh, PA 15260 U.S.A. --------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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-