From raghu@quarg.cs.wisc.edu Sun Jul 9 13:36:13 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Sun, 9 Jul 95 13:36:10 -0500; AA09995 Date: Sun, 9 Jul 95 13:36:08 -0500 From: Xiaolei Qian Message-Id: <9507091836.AA24389@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Sun, 9 Jul 95 13:36:08 -0500 To: dbworld@quarg.cs.wisc.edu Job Openings -- Databases Computer Science Laboratory SRI International The Computer Science Laboratory at SRI International invites applications for two permanent positions on its research staff in the area of database systems. -- One position requires a strong background in query optimization, a working knowledge of classical logic, unification, and pattern matching, and some experience in database implementation in C. Candidates must have a Ph.D. degree in computer science and a demonstrated strong potential for excellence in research. -- The second position requires a strong background in database application development using the C programming language and the ability to interact effectively with more theoretical colleagues. Candidates must have at least an M.S. in Computer Science. The successful candidates will be expected to participate in multiyear research projects on database interoperability, including schema translation/integration, query mediation/optimization, and conflict resolution in the interoperation of heterogeneous databases. Backgound in database security would be useful on some of the projects. The ability to work collaboratively with other project members at SRI and its university and commercial partners is essential. The Computer Science Laboratory consists of over 30 professionals plus 10 students and visitors. Presently, our main areas of concentration are computer and communication security, databases, distributed parallel processing, formal methods, integrated circuit design, and software architecture. Our research programs are long-term (usually 5 to 10 years) and typically involve the development of theoretical models, languages, and prototype tools. In the 1990s, the laboratory has averaged over 60 refereed publications per year. The laboratory's computing base includes over 50 Sun workstations and a high-speed ATM network. More information on the laboratory can be browsed at http://www.csl.sri.com/. SRI International is one of the world's largest contract research firms. Founded in 1946 in conjunction with Stanford University as the Stanford Research Institute, SRI now employs over 2000 people and has offices around the world, including laboratories in Australia, the United Kingdom. The David Sarnoff Research Center in Princeton, New Jersey is a subsidiary of SRI consisting of an additional 800 people. SRI is located in the San Francisco Bay Area, specifically in Menlo Park, California, near Silicon Valley and Stanford University. To apply, please send your resume to: recruiting@csl.sri.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@quarg.cs.wisc.edu Sun Jul 9 13:39:25 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Sun, 9 Jul 95 13:39:20 -0500; AA10002 Date: Sun, 9 Jul 95 13:39:19 -0500 From: Andreas Geppert Message-Id: <9507091839.AA24408@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Sun, 9 Jul 95 13:39:19 -0500 To: dbworld@quarg.cs.wisc.edu Please find enclosed the program for VLDB '95. The registration form follows in a separate message. Please note that the early bird deadline is July 15. Up-to-date information is also available in the World Wide Web at http://www.ifi.unizh.ch/groups/dbtg/vldb95/vldb95.html Hope to see you in Zurich Andreas Geppert ========================= Cut Here ========================= Call for Participation and Program VLDB `95 21st International Conference on Very Large Data Bases Zurich, Switzerland September 11-15, 1995 Organized by: - Department of Computer Science, University of Zurich - Department of Computer Science, Swiss Federal Institute of Technology - Swiss Informatics Society, Database - Theory and Application - The VLDB Endowment Sponsored by: International Kluwer Publishing GmbH Microsoft Corp. Object Management Group Poet Software SAP Siemens-Nixdorf Informationssysteme Sun Microsystems Swissair Unisys Zuerich Versicherungen ********** THE CONFERENCE ********** The International Conference on Very Large Data Bases is one of the most renowned conferences in the database field, with two decades of succesful history. The VLDB `95 program committee has prepared a very exciting program offering interesting topics for most people working in the field of databases. VLDB '95 will provide a forum for discussion and exchange of ideas among both researchers and practitioners. In addition to the high-quality scientific program, tutorials on challenging developments in databases will be held by leading personalities. Moreover, several industrial sessions will take place during VLDB `95, identifying problems and describing solutions from a practical point of view. Panels will be held, each letting experts discuss urgent questions in current database technology. Finally, invited talks will be given by leading persons in the field illuminating recent trends. The VLDB Endowment as well as the local organizers are looking forward to welcoming you at the conference! VLDB `95 will take place in Zurich, Switzerland. The conference will be held on the campus of the University of Zurich-Irchel, which is easily reachable from the city and the main station. Zurich is a city with only about 400'000 inhabitants, it has however an international flair, and provides everything one might expect from a major capital. It is the financial heart of Switzerland, and an important artistic, cultural, educational, and industrial center. The city is located by the picturesque Lake Zurich, and in September has a mild climate. Downtown Zurich is worthwile visiting, with its medieval historic center and many touristic attractions. The world-famous swiss Alps as well as most other scenic places in Switzerland are easy to reach either by train or by car. Zurich's airport is a major international hub easily accessible from all over the world. Frequent and comfortable train connections exist to most European cities. ********** INVITED TALKS ********** Invited Talk 1 TU 12 09, 11:30-12:30 Database Systems: Road Kill on the Information Superhighway? David J. Dewitt (University of Wisconsin) About the Speaker David DeWitt received his Ph.D. degree from the University of Michigan in 1976. Since then he has been on the faculty of the University of WIsconsin where he currently holds the rank of Professor and Romnes Fellow. His long term research interests include parallel database systems, object-oriented database systems, and database system performance. He is the winner of this year's SIGMOD innovation reward for his outstanding contributions to database research and development. Invited Talk 2 TU 12 09, 18:00 - 19:00 The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept Henry F. Korth (Panasonic Technologies, Inc.) About the Speaker Henry F. Korth is Vice President of Panasonic Technologies,Inc., and Director of the Matsushita Information Technology Laboratory. Previously, he was an Associate Professor at the University of Texas at Austin, and a Research Staff Member at the IBM Watson Research Center. He received his Ph.D. from Princeton University in 1981, and is co-author of the textbook Database System Concepts. Invited Talk 3 FR 15 09, 09:30 - 10:30 Document Management as a very large Database Application Rudolf Bayer (Technical University of Munich) About the Speaker Rudolf Bayer received a PhD in Mathematics from the University of Illinois in 1966. Until 1970, he worked for the Boeing Scientific Research Labs. From 1970 to 1972, he was affiliated with Purdue University. Since then, he is a full professor of Computer Science at the Technical University in Munich. From 1977 to 1987, he was an Associated Editor of the ACM "Transactions on Database Systems". Since 1988, he is head of the "Knowledge Bases" group at the Bavarian Research Center for Knowledge Based Systems (FORRWISS). Invited Talk 4 FR 15 09, 12:00 - 13:00 >From VLDB to VMLDB (Very MANY Large Data Bases): Dealing with Large-Scale Semantic Heterogenity Stuart E. Madnick (Massachusetts Institute of Technology) About the Speaker Stuart E. Madnick is the John Norris Maguire Professor of Information Technology and Leaders for Manufacturing Professor of Management Science at the M.I.T. Sloan School of Management and Co-Director of the Total Data Quality Management (TDQM) project. His current research interests include connectivity among disparate distributed information systems, database technology, and software project management. He is the author or co-author of over 200 books, articles, or reports on these subjects. He has been active in industry making significant contributions as one of the key designers of projects such as IBM's VM/370 operating system and Lockheed's DIALOG information retrieval system. He has also been the founder or co-founder of five high-tech firms and currently operates a hotel in 14th Century Langley Castle in England. ********** TUTORIAL PROGRAM ********** Tutorial A MO 11 09, 14:00 - 17:30 A Survey of Parallel Database Techniques and Systems Jim Gray, UC Berkeley Abstract The tutorial first introduces the common techniques used by parallel database systems to partition data and execution. Parallel variants of the relational operators are described. Optimization techniques are then briefly outlined. Attention then turns to commercial systems available today. The tutorial highlights the strengths of each of these systems: Teradata, Tandem, Oracle, Informix, Sybase, and DB2/2. About the Instructor Jim Gray is a specialist in database, transaction processing, and dependable computer systems. He has written many articles and built several systems that embody his ideas on these topics. He is currently a McKay Fellow at UC Berkeley. He has worked at Digital on Rdb and Sorting, worked at Tandem on NonStop SQL, and at IBM on System R, SQL/DS, DB2, and IMS-Fast Path. He is co-author of Transaction Processing Concepts and Techniques, and Editor of the Handbook for Database and Transaction Processing Systems Performance. He is a Fellow of the ACM and is active in the National Research Council. Tutorial B MO 11 09, 14:00 - 17:30 Spatial Database Systems Ralf Hartmut Gueting (University of Hagen) Abstract The purpose of a spatial database system is the management of data about some space in two or more dimensions. Space of interest may be the physical world around us as in geography, urban planning, meteorology, or astronomy. Other spaces may, for example, represent parts of the human body, a VLSI design, or a 3D molecular structure. A spatial database keeps information about objects in such spaces with a clear identity, position, and extent, in contrast to image databases where the focus is on the manipulation of raster images of such spaces. Spatial data management imposes a number of requirements on database systems. Concepts are needed to describe the shape and position of objects in space as well as relationships between them. Data modeling must also provide concepts for the representation of spatially related collections of objects, such as partitions (of a region), or networks. To access efficiently objects in some particular region of the space, specialized spatial access methods are needed. The user interface must support graphical representation as well as overlay of different query results. Since extensions at all levels of the system architecture are needed, extensible database systems are the prime architectural framework for the implementation of spatial database systems. The tutorial aims at giving a coherent picture of the main research results obtained so far in the areas of modeling, querying, data structures and algorithms for system implementation, and system architecture. About the Instructor Ralf Hartmut Gueting is currently a full professor in computer science at the University of Hagen, Germany. He received his Diplom and Dr.rer.nat. degrees from the University of Dortmund. After a one-year stay at the IBM Almaden Research Center in 1985, extensible and spatial database systems became his major research interests. His group has built a prototype of an extensible spatial DBMS, the Gral-System. He is the author of a (German) text book on data structures and algorithms and has published about 35 articles in computational geometry and database systems. He recently was a guest editor of a special issue of the VLDB Journal on Spatial Database Systems. Tutorial C TU 12 09, 14:00 - 17:30 The Evolution of User Interface Tools for Database Applications Ravi Krishnamurthy (Hewlett-Packard Labs) and Moshe Zloof (Hewlett-Packard Labs) Abstract Traditionally, the user interface tools for database applications have lagged the technological advances in GUI revolution. Recent entrants such as PowerBuilder, SQL Windows, NextStep, etc., have made major strides in closing this gap. In order to extrapolate the trends, we introspect the past and forecast the future. We will first give a historical account of the evolution of database UI tools since the early seventies in the context of many facets of database applications (e.g., querying, forms & reports, 4GL capabilities, and end user graphical tools). These tools were aimed at improving the productivity of application developers, the primary clientele of SQL. The advent of PC database management system saw the metamorphism of this clientele to less sophisticated users. These non-programmers (i.e., power users) who wish to build their own applications required different kinds of tools and the PC database industry lead this thrust. We address the design factors in both these types of tools and contrast them. In doing this, we will use examples from some of the current products (e.g., Microsoft's Access, Gupta's SQL Widows, Powersoft's PowerBuilder, etc.) to highlight their power, functionality, levels of abstraction and ease of use. Lastly, we extrapolate on how this UI technology will be evolving in the future. About the Instructors Ravi Krishnamurthy is a senior researcher at H.P. Labs, currently heading the Picture Programming project that is developing the IC-BY-EXAMPLE language. He received his doctorate degree at the Univ. of Texas at Austin and then joined Moshe Zloof at IBM T.J. Watson Res. Center to work on the Office-By-Example project in 1981. In 1985, he joined MCC to work on Budda and LDL, where he subsequently assumed the chief architect position of the joint project. After leaving MCC, he was a co-founder of a start-up company, Logica Information Machines, in which he is still involved as its Chairman of the Board of Directors. Moshe Zloof, principal architect of H.P. Labs, is considered a poineer researcher in the area of data base languages and user interfaces. Back in the 1970's, in a complete departure from the traditional approach and while working at IBM, Moshe created QUERY-BY-EXAMPLE (QBE), the first visual programming language which not only set the stage for considerable research agenda, but also has been incorporated in many successful products such as PARADOX, DBASE IV, ACCESS, and many more. At Hewlett-Packard, Moshe is currently involved in developing the IC-BY-EXAMPLE language - a new paradigm to enable non-programmer professionals to construct their own applications. Tutorial D WE 13 09, 9:00 - 12:30 OQL: Language, Compatibility with SQL, Implementation Sophie Cluet, INRIA Abstract OQL is the standard for object database query languages proposed by the ODMG. It borrows SQL syntax but has a functional nature that makes it simpler to use, implement, and document. Improving its compatibility with SQL(92) and clarifying its relationship with SQL(3) will strongly help its general acceptance by the database community. More important, ANSI(X3H2) and ODMG are working on a proposal for a common standard involving the current OQL. The tutorial addresses a public of both, industrials and researchers. Although standards are clearly of primary interest to industrials, their evolution also provides challenging issues that should not be overlooked by researchers. The tutorial consists of three parts. First, we present OQL(1.2) in details and explain how to construct simple and complex OQL queries. Next, we discuss the OQL vs. SQL approaches and study different possibilities by which OQL can reach full compatibility with SQL. Finally, we briefly consider the language implementation. About the Instructor Sophie Cluet is currently a researcher in the Verso team at INRIA-Rocquencourt. She holds a PhD from the University of Paris-Sud. She is one of the designers of OQL and has implemented for O2 Technology the language's first interpreter and optimizer. She is still very much involved in this area (working on a future release of OQL and new OO optimization techniques). Tutorial E WE 13 09, 14:00 - 17:30 Transformation-based Database Engineering Jean-Luc Hainaut (University of Namur) Abstract Transformation-based software engineering has long been considered as a major scientific approach to build reliable and efficient programs. According to this approach, abstract specifications can be converted into correct, compilable and efficient programs by application of selected, correctness-preserving operators called transformations. In the database engineering realm, transformations that are proved to preserve the correctness of the origin specifications have been proposed in virtually all the activities related to data engineering : schema normalization, DBMS schema development, schema optimization, model translation, schema integration, view derivation, proving schema equivalence, data conversion, reverse engineering, and others. The tutorial is a contribution to the systematic study of both fundamental and practical aspects of database schema transformations. It introduces the fundamentals of database transformations, then it develops a practical toolset of neutral techniques. These techniques are used to revisit the main database engineering processes. The description of a transformation-based CASE tool and the presentation of a reengineering case study demonstrates the applicability of this general approach. About the Instructor Jean-Luc Hainaut is a professor in Information Systems and Databases at the Institute of Informatics of the University of Namur, Belgium. His research interests comprise database technology, database methodology, reverse engineering, information system evolution and CASE technology. Currently, he is heading the multinational DB-MAIN project the purpose of which is to develop general methodologies and CASE tools to assist practitioners in solving database application maintenance and evolution problems. He is the author of two books in database and DSS design, and of over 20 recent conference papers, most of them dealing with transformation techniques. He has presented several tutorials (including three on database reverse engineering and reengineering) in major international conferences on Databases and Information Systems. Tutorial F TH 14 09, 9:00 - 12:30 Repository Internals Philip A. Bernstein (Microsoft Corporation) Abstract A repository is a metadata manager that supports design tools for CASE, CAD and the like. It runs as an application on a DBMS and provides three main functions beyond those of a standard DBMS: relationships, version and configuration management, and extensibility. We explain how these functions can be used by design tools, and what technical requirements are implied by those usage patterns. We then delve into the technical capabilities of each function. For example, relationships are object-valued properties that have special update semantics and can be scoped by configurations. Version and configuration functions allow tools to run either on repository objects directly or on files. Configurations support transitive containment (unlike file systems) and can scope name spaces. A tool vendor can extend the repository's model by adding behavior to standard repository methods on repository objects, e.g., by adding state to the object, checking constraints on the object, and adding methods to the objects. The presentation will draw from examples of Microsoft's and others' CASE tools, and where appropriate will be couched in the OLE object model. About the Instructor Philip Bernstein is a repository architect at Microsoft, where he leads a joint design effort with Texas Instruments to design an open repository for CASE. He was formerly an architect at Digital Equipment Corp., a professor at Harvard University and Wang Institute of Graduate Studies, and VP Software at Sequoia Systems. Dr. Bernstein has published over 70 articles on the theory and implementation of database systems, is coauthor of "Concurrency Control and Recovery in Database Systems" (Addison-Wesley, 1987). In 1994, he was awarded the ACM SIGMOD Innovations Award for "contributions to the development and use of database systems." Tutorial G TH 14 09, 14:00 - 17:30 Temporal Databases Christian S. Jensen (Aalborg University) and Richard T. Snodgrass (University of Arizona) Abstract Temporal database technology has reached a level of maturity and sophistication that clearly illustrates that the support for temporal data management provided by current database products is very far from what is achievable. The tutorial provides an overview of important issues and concepts within temporal database management. It reviews fundamental data modeling concepts and surveys the implementation of temporal database systems. It also features the consensual temporal query language TSQL2 that has recently been designed by an international committee of database researchers and practitioners. TSQL2 adds temporal support to the current SQL standard and is the most complete temporal query language to date. The tutorial is relevant for practitioners who work with databases containing time-varying data, and for database researchers who are interested in temporal data management. About the Instructors Christian S. Jensen is currently an Associate Professor at Aalborg University, Denmark. He has spent 4 years at the University of Maryland and the University of Arizona. Recently, he coordinated and headed two editorial boards for the ongoing consensus temporal database glossary initiative; he is editor for the temporal database benchmark initiative; and he was a member of the TSQL2 Language Design Committee. Richard T. Snodgrass received his Ph.D. from Carnegie Mellon University in 1982 and joined the University of Arizona in 1989. He has written or co-edited three books, including "Temporal Databases: Theory, Design and Implementation.'" He chaired the TSQL2 Language Design Committee, and is now working closely with the ANSI and ISO SQL3 committees to add temporal support to that language. ********** PANELS ********** Panel I TU 12 09, 16:00 - 17:30 Scientific Journals: Extinction or Explosion? Panelists: - Raghu Ramakrishnan (Wisconsin University, moderator) - Hector Garcia-Molina (Stanford University) - Avi Silbershatz (AT&T Bell Laboratories) - Gio Wiederhold (Stanford University) Panel II WE 13 09, 16:00 - 17:30 Databases and Workflow Management: What is it All About? Panelists: - Andreas Reuter (University of Stuttgart, moderator) - Stefano Ceri (Milan) - Jim Gray (San Francisco) - Betty Salzberg (Northeastern University, Boston) - Gerhard Weikum (University of Saarbruecken) Panel III TH 14 09, 16:00 - 17:30 Metrics for Accessing Heterogeneous Data: Is there any Hope? Panelists: - Len Seligman (MITRE Corporation, moderator) - Nicholas Belkin (Rutgers University) - Erich Neuhold (GMD) - Michael Stonebraker (Berkeley University) - Gio Wiederhold (Stanford University) ********** SCIENTIFIC TRACK ********** Session 1: Object Stores TU 12 09, 14:00 - 15:30 - A. Eickler, C.A. Gerlhof, D. Kossmann (Germany, USA): A Performance Evaluation of OID Mapping Techniques - J.L. Wiener, J.F. Naughton (USA): OODB Bulk Loading Revisited: The Partitioned-List Approach - L. Amsaleg, M. Franklin O. Gruber (France, USA): Efficient Incremental Garbage Collection for Client-Server Object Database Systems Session 2: Distributed Information Retrieval TU 12 09, 14:00 - 15:30 - D. Konopnicki, O. Shmueli (Israel): W3QS: A Query System for the World-Wide Web - T. W. Yan, H. Garcia-Molina (USA): Duplicate Removal in Information System Dissemination - L. Gravano, H. Garcia-Molina (USA): Generalizing GIOSS to Vector-Space Databases and Broker Hierarchies Session 3: Disk Management TU 12 09, 16:00 - 17:30 - K. Mogi, M. Kitsuregawa (Japan): Hot Block Clustering for Disk Arrays with Dynamic Striping - K.-L. Wu, P.S. Yu, J.-Y. Chung (USA): A Performance Study of Workfile Disk Management for Concurrent Mergesorts in a Multiprocessor Database System - L.T. Chen, D. Rotem, S. Seshadri (USA): Declustering Databases on Heterogeneous Disk Systems Session 4: Concurrency Control WE 13 09, 9:00 - 10:30 - A. Bestavros, S. Braoudakis (USA): Value-cognizant Speculative Concurrency Control - M. Kornacker, D. Banks (Germany, USA): High-Concurrency Locking in R-Trees - B. Goyal, J. Haritsa, S. Seshadri, V. Srinivasan (India, USA): Index Concurrency Control in Firm Real-Time Database Systems Session 5: Object Technology WE 13 09, 9:00 - 10:30 - P. Buneman, S.B. Davidson, K. Hart, C. Overton, L. Wong (USA, Singapore): A Data Transformation System for Biological Data Sources - F. Ferrandina, T. Meyer, R. Zicari, G. Ferran, J. Madec (Germany, France): Database Evolution in the O2 Object Database System - K. Subieta, Y. Kambayashi, J. Leszczylowski (Japan, Poland): Procedures in Object-Oriented Query Languages Session 6: Transaction Models WE 13 09, 11:00 - 12:30 - M. Rusinkiewicz, W. Klas, T. Tesch, J. Waesch, P. Muth (USA, Germany): Towards a cooperative transaction model - The cooperative activity model - - R. Barga, C. Pu (USA): A Practical and Modular Implementation of Extended Transaction Models - P. Ammann, S. Jajodia, I. Ray (USA): Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions Session 7: Query Optimization WE 13 09, 11:00 - 12:30 - M. Steinbrunn, K. Peithner, G. Moerkotte, A. Kemper (Germany): Bypassing Joins in Disjunctive Queries - W. Hasan, R. Motwani (USA): Coloring Away Communication in Parallel Query Optimization - H. Lu, K.-L. Tan, S. Dao (Singapore, USA): The Fittest Survives: An Adaptive Approach to Query Optimization Session 8: Multimedia WE 13 09, 14:00 - 15:30 - M. Tresch, N. Palmer, A. Luniewski (USA): Type Classification of Semi-Structured Documents - F. Moser, A. Kraiss, W. Klas (Germany): L/MRP: A Buffer Management Strategy for Interactive Continuous Data Flows in a Multimedia DBMS - S. Chaudhuri, S. Ghandeharizadeh, C. Shahabi (USA): Avoiding Retrieval Contention for Composite Multimedia Objects Session 9: Cost Models WE 13 09, 14:00 - 15:30 - A. Belussi, C. Faloutsos (Italy, USA): Estimating the Selectivity of Spatial Queries Using the `Correlation' Fractal Dimension - P.J. Haas, J.F. Naughton, S. Seshadri, L. Stokes (USA, India): Sampling-Based Estimation of the Number of Distinct Values of an Attribute - G. Gardarin, J.-R. Gruser, Z.-H. Tang (France): A Cost Model for Clustered Object-Oriented Databases Session 10: Query Processing WE 13 09, 16:00 - 17:30 - S. Flodin, T. Risch (Sweden): Processing Object-Oriented Queries with Invertible Late Bound Functions - W.P. Yan, P. Larson (Canada): Eager Aggregation and Lazy Aggregation - A. Gupta, V. Harinarayan, D. Quass (USA): Generalized Projections: A Powerful Approach to Aggregation Session 11: Parallel Databases TH 14 09, 09:00 - 10:30 - N. Bassiliades, I. Vlahavas (Greece): A Non-Uniform Data Fragmentation Strategy for Parallel Main-Menory Database Systems - M. Mehta, D.J. DeWitt (USA): Managing Intra-operator Parallelism in Parallel Database Systems - E. Rahm, R. Marek (Germany): Dynamic Multi-Resource Load Balancing in Parallel Database Systems Session 12: Mining Association Rules TH 14 09, 09:00 - 10:30 - R. Srikant, R. Agrawal (USA): Mining Generalized Association Rules - J. Han, Y. Fu (Canada): Discovery of Multiple-Level Association Rules from Large Databases - A. Savasere, E. Omiecinski, S. Navathe (USA): An Efficient Algorithm for Mining Association Rules in Large Databases Session 13: Recovery and Availability TH 14 09, 11:00 - 12:30 - R. Gallersdoerfer, M. Nicola (Germany): Improving Performance in Replicated Databases through Relaxed Coherency - D. Lomet, M.R. Tuttle (USA): Redo Recovery after System Crashes - S.-O. Hvasshovd, O. Torbjornsen, S.E. Bratsberg, P. Holager (Norway): The ClustRa Telecom Database: High Availability, High Throughput, and Real-Time Response Session 14: Data Mining TH 14 09, 11:00 - 12:30 - H. Lu, R. Setiono, H. Liu (Singapore): NeuroRule: A Connectionist Approach to Data Mining - R. Agrawal, K.-I. Lin, H.S. Sawhney, K. Shim (USA): Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases - R. Agrawal, G. Psaila, E.L. Wimmers, M. Zait (USA, Italy): Querying Shapes of Histories Session 15: Schema Management TH 14 09, 14:00 - 15:30 - S. Milliner, A. Bouguettaya, M. Papazoglou (Australia): A Scalable Architecture for Autonomous Heterogeneous Database Interactions - E.M. Haber, Y.E. Ioannidis, M. Livny (USA): OPOSSUM: Desk-Top Schema Management through Customizable Visualization - C. Kalus, P. Dadam (Germany): Flexible Relations - Operational Support of Variant Relational Structures Session 16: Access Methods TH 14 09, 16:00 - 17:30 - G. Evangelidis, D. Lomet, B. Salzberg (USA): The hBP-tree: A Modified hB-tree Supporting Concurrency, Recovery and Node Consolidation - J.M. Hellerstein, J.F. Naughton, A. Pfeffer (USA): Generalized Search Trees for Database Systems - S. Brin (USA): Near neighbor Search in Large Metric Spaces Session 17: Mass Storage FR 15 09, 11:00 - 12:00 - S. Sarawagi (USA): Query Processing in Tertiary Memory Databases - L.-F. Cabrera, R. Rees, W. Hineman (USA): Applying Database Technology in the ADSM Mass Storage System Session 18: Spatial Data FR 15 09, 11:00 - 12:00 - E.G. Hoel, H. Samet ((USA): Benchmarking Spatial Join Operations with Spatial Output - A.P. Sistla, C. Yu, C. Liu, K. Liu (USA): Similarity based Retrieval of Pictures Using Indices on Spatial Relationships ********** INDUSTRIAL TRACK ********** -> Note that there are some slight modifications in the industrial track program with respect to the printed version. Application Session 1 TH 14 09, 14:00 - 15:30 - A. Meier (Switzerland): Providing Database Migration Tools - A Practicioner's Approach - E. Simon, A. Kotz-Dittrich (France, Switzerland): Promises and Realities of Active Database Systems Application Session 2 FR 15 09, 11:00 - 12:00 - T. Didriksen, C. Galindo-Legaria, E. Dahle (Norway): Database De-Centralization - A Practical Approach - K. Sumiya, K. Yasutake, H. Tanaka, N. Sanada, Y. Imai (Japan): A Product Specification Database for Visual Prototyping Vendor Session 1 TU 12 09, 14:00 - 15:30 - David Vaskevitch (Microsoft Corporation): Very Large Databases: How Large, How Different? - Michael Stonebraker, Paul Brown (Illustra): The Illustra Object Relational DBMS and its Application to Satellite Imagery Processing Vendor Session 2 TU 12 09, 16:00 - 17:30 - Y. Wang (IBM Corporation): IBM Parallelism (DB2/MVS and DB2 6000 Parallel Edition) - Gilles Fecteau (IBM corporation): DB2/CS Parallelism On Shared Nothing Architecture - S. Cluet (O2 Technology) Using an Object Database to develop and administer WWW servers Vendor Session 3 WE 13 09, 9:00 - 10:30 - B. Lindsay (IBM Corporation) DB2 Common Server Technology Progress & Directions - J. Catozzi, S. Rabinovici (ATT, Teradata) OS Support for VLDBs: Unix Enhancements for the Teradata Data Base - N. N. (Wal-Mart Coporation) Wal-Mart Decision Support System on Teradata Vendor Session 4 WE 13 09, 11:00 - 12:30 - Jack Orenstein (Object Design Incorporated): Object Store Gateway - C. Kiernnan (Microsoft Corporation): Distributed Management Framework (SQL-DMF) Vendor Session 5 WE 13 09, 14:00 - 15:30 - H. Spintzik (Informix Incorporated) Informix Onlin XPS: A Dynamically Scalable RDBMS for Open Massively Parallel Platforms - Gary Hallmark (Oracle Corporation): Database Support For Large DSS/Data Warehousing Vendor Session 6 WE 13 09, 16:00 - 17:30 - Harry Leslie (Tandem Computers): Efficient Search of Multi-Dimensional B-Trees - Ron-Chung Hu: Navigation Server: A Highly Scalable Database Server on Open Systems ********** CONFERENCE ORGANISATION ********** General Conference Chairs Klaus R. Dittrich, Switzerland Hans-Joerg Schek, Switzerland Conference Directors Kurt Bauknecht, Switzerland Carl A. Zehnder, Switzerland VLDB Endowment Representative Yannis Vassiliou, Greece Area Chairpersons Europe: Heinz Schweppe, Germany Americas: Yuri Breitbart, USA Asia/Australasia: Kotagiri Ramamohanarao, Australia Publicity Chairs Keith Jeffrey, UK Stefano Spaccapietra, Switzerland Program Chairs Europe: Peter M.D. Gray, UK Americas: Umeshwar Dayal, USA Asia/Australasia: Shojiro Nishio, Japan Industrial Track Program Chairs Europe: Peter C. Lockemann, Germany Americas: Hamid Pirahesh, USA Asia/Australasia: Yoshifumi Masunaga, Japan Tutorial Chair Claude Delobel, France Panel Chair Stefano Ceri, Italy Contact Address vldb95@ifi.unizh.ch PROGRAM COMMITTEE Michel Adiba, France Rakesh Agrawal, USA Peter Apers, Netherlands David Bell, N.Ireland Phil Bernstein, USA Jose Blakeley, USA Alejandro Buchmann, Germany Marco Casanova, Brasil Sharma Chakravarthy, USA Sophie Cluet, France Richard Cooper, UK Susan Davidson, USA Umeshwar Dayal, USA Lois Delcambre, USA David DeWitt, USA Oscar Diaz, Spain Shel Finkelstein, USA Piero Fraternali, Italy Christoph Freytag, Germany Hector Garcia-Molina, USA Georges Gardarin, France Shahram Ghandeharizadeh, USA Georg Gottlob, Austria Alex Gray, UK Jim Gray, USA Peter M.D. Gray, UK Theo Haerder, Germany Meichun Hsu, USA Tomasz Imielinski, USA Ushio Inoue, Japan Yannis Ioannidis, USA Hiroshi Ishikawa, Japan Manfred Jeusfeld, Germany Michael Kay, UK Peter King, UK Hiroyuki Kitagawa, Japan Masaru Kitsuregawa, Japan Yasushi Kiyoki, Japan Hank Korth, USA Angelika Kotz-Dittrich, CH Ravi Krishnamurthy, USA Chiang Lee, Taiwan Tok Wang Ling, Singapore Barbara Liskov, USA Frederick H. Lochovsky, Hong Kong Peter C. Lockemann, Germany Mary Loomis, USA Vincent Lum, Hong Kong Rainer Manthey, Germany Rudolf Marty, CH Yoshifumi Masunaga, Japan Robert Meersman, Netherlands Alberto Mendelzon, Canada Michele Missikoff, Italy Gail Mitchell, USA Songchun Moon, Korea John Mylopoulos, Canada Sham Navathe, USA Shojiro Nishio, Japan Anil Nori, USA Moira Norrie, CH Atsushi Ohori, Japan Frank Olken, USA Jack Orenstein, USA Tamer Ozsu, Canada Norman Paton, UK Hamid Pirahesh, USA Alain Pirotte, Belgium Peter Pistor, Germany Fausto Rabitti, Italy M.V. Ramakrishna, USA Kotagiri Ramamohanarao, Australia Krithivasan Ramamritham, USA Tore Risch, Sweden Ron Sacks-Davis, Australia Peter Scheuermann, USA Marc H. Scholl, Germany Timos Sellis, Greece Dennis Shasha, USA Carol Small, UK Rick Snodgrass, USA Arne Solvberg, Norway Mike Stonebraker, USA Katsumi Tanaka, Japan Yong Chiang Tay, Singapore Rodney Topor, Australia Kunitoshi Tsuruoka, Japan Patrick Valduriez, France Reind van de Riet, Netherlands Yannis Vassiliou, Greece Ke Wang, Singapore Shan Wang, China Gerhard Weikum, Germany Kyu-Young Whang, Korea Jennifer Widom, USA Gene Wuu, USA Masatoshi Yoshikawa, Japan Roberto Zicari, Germany ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Sun Jul 9 13:39:53 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Sun, 9 Jul 95 13:39:51 -0500; AA10009 Date: Sun, 9 Jul 95 13:39:49 -0500 From: Andreas Geppert Message-Id: <9507091839.AA24416@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Sun, 9 Jul 95 13:39:49 -0500 To: dbworld@quarg.cs.wisc.edu Registration Form and Registration Information VLDB `95 21st International Conference on Very Large Data Bases Zurich, Switzerland September 11-15, 1995 ---------------------------------CUT HERE------------------------------------ ________________________________ VLDB '95 Registration Form ________________________________ MCI Travel - Zurich Weinbergstrasse 11 CH-8001 Zurich / Switzerland Phone: +41-1-252 5030 Fax: +41-1-251 3149 Email: vldb95@ifi.unizh.ch The registration form must be accompanied by payment or proof of payment. If received until August 20, MCI Travel will send confirmation of reservation and the Zurich transportation ticket. Please fill in this registration form in block letters and send it to the official congress organizer MCI Travel in Zurich by mail, fax, or email. Note that registration via email is only valid after the receipt of an acknowledging response. All prices are in Swiss Francs (CHF). Registration at the conference site is also available. 1. Participant Family Name _____________________________________________________ Given Name ______________________________________________________ Affiliation ____________________________________________________ Street / Number _________________________________________________ Postal Code ______ City _________________ Country _______________ Phone _______________________ Fax _______________________________ Email ___________________________________________________________ __ I am a full time student; a letter from my department chair is attached. 2. Registration Fee CHF ...,- 3. Tutorials (please check those which you plan to attend) _ A _ B _ C _ D _ E _ F _ G 4. Accommodation Code: __ __ Single Room __ Double Room Arr. Date: _________ Dep. Date: _________ Nights: ___ Deposit: CHF 200,- Remarks / Special Requirements ________________________________________________________________ 5. Social Events __ I want to reserve __ tickets for Lake Zurich cruise (CHF 40,- each) CHF ...,- __ Dietry for conference dinner desired: _______________________ 6. Additional Tickets ___ additional tickets for the conference dinner (CHF 110,- each) CHF ...,- ___ additional Zurich transportation tickets (CHF 16,- each) CHF ...,- 7. VLDB Journal Subscription __ I would like to subscribe to the VLDB Journal starting with Vol 4, No 4 (1995). Please bill me for the annual subscription fee of US $ 36,-. If I subscribe now I will receive the issue Vol 4, No 3 for free. __ Please send the VLDB Journal by airmail outside the US (US $ 15). 8. Total Payment Total amount due (sum of 2, 4, 5, and 6): CHF ...,- For credit card payment 5.5 % surcharge: CHF ...,- _________ Total payment enclosed/sent: CHF ...,- 9. Form of payment: __ Credit card (__ VISA, __ Eurocard/MasterCard, __ American Express). Card Number: ____ ____ ____ ____ Expiration Date: __ / __ Cardholder's name as it appears on the credit card: _____________________________________________________________ __ Bank remittence to the following account: Union Bank of Switzerland (Zurich Central Branch) MCI TRAVEL (VLDB) Account Number: 644.108.03 Z Please make sure that no fees are required from the receiver. __ Euro Cheque (payable to MCI TRAVEL) Euro cheques, to be drawn in CHF, may not exceed the limit; use multiple cheques if necessary. __ Bank Cheque (payable to MCI TRAVEL) Cheque must be drawn on a Swiss bank in CHF. No personal cheques accepted. DATE: __________ SIGNATURE: _______________________________________ ---------------------------------CUT HERE------------------------------------ ********** REGISTRATION INFORMATION ********** The conference fee for regular participants includes: - conference proceedings, - admission to all conference sessions, including tutorials, - welcome reception, - conference dinner, - Zurich transportation ticket. For students, the conference dinner is not included. Registration Fees: Until July 15 CHF 580,- (Students CHF 290,-) After July 15 CHF 700,- Accommodation: Accommodation fees (minus the CHF 200,- deposit) have to be payed directly at the hotel. All rates per room per night; including breakfast, service, and taxes. Code Category Single Double A ***** CHF 220,- to 360,- CHF 340,- to 480,- B **** CHF 170,- to 220,- CHF 230,- to 340,- C *** CHF 140,- to 170,- CHF 190,- to 230,- D ** CHF 90,- to 140,- CHF 130,- to 190,- E Low-Budget Categories Rates on Request Note: Low-Budget category accommodation availability cannot be guaranteed when reservation is received after July 15. ********** SOCIAL EVENTS ********** - Welcome reception on Tuesday afternoon. - Lake Zurich Cruise: a 2-hour cruise on Lake Zurich. Enjoy nice scenic views of the lake and the lake sides with a panorama of the Swiss Alps (weather permitting). Light dinner is included, and a cash bar is available. Fee CHF 40,- (not included in the registration fee). Limited seating - first come first served policy. - Conference Dinner: The conference dinner will take place in the "Albisgueetli" restaurant. The legendary shooting gallery was built in 1898 and has a famous middle age design. Traditional Swiss food will be offered at the dinner, accompanied by folcloristic music. ********** CANCELLATION POLICIES ********** Please note the following conditions for cancellations to VLDB `95: Cancellation must be made in writing to MCI Travel. Cancellation before July 10, 1995 will be accepted and all fees and payments will be refunded (minus banking fees and handling charges). After July 10, all payments will be refunded minus a handling charge of CHF 150.- per person. After August 11, no refund will be made for the registration fee and for the tours; as for accommodation, refund will depend on the specific negotiation with each hotel. ********** TRAVEL INFORMATION ********** Travel Documents Citizens of most countries will just require a valid passport for entering Switzerland, others might require a visa. If in doubt, please contact your travel agent/nearest Swiss consulate ahead of time. Travel Arrangements Swissair has been appointed Official Carrier for VLDB `95 and will offer best possible fares. We kindly ask all participants to contact their nearest Swissair office or Swissair travel agent for assistance with their travel arrangements. USA participants The official Swissair designated airline ticketing agency is: Conferences International, Inc. 153 Main Street, Medford, MA 02155-4547 Phone within North America: 1-800-221-8747 (toll free) Phone outside North America: 617/393-8200 Fax: 617/393-0078 Please ask for the Swiss Travel Dept. UK participants Karen Hammond Karin Rommel Travel Plc. 17 St. Goerge Street, Hanover Sq., London W1R 9DE Phone: 071/499-7611 Fax: 071/493-0326 (Please quote "VLDB `95") Japanese participants Ms Shizuko Miyamoto Manager Swiss Center Cycle World Corporation Pier West Square 1-11-8 Tsukuda Chuo-Ku Tokyo 104 Japan Phone: 03/5560-1500 Fax: 03/5560-0401 Pre- and Post-Conference Tours Switzerland offers marvelous opportunities for holidays and sightseeing tours before or after the conference. If you are interested in such tours, please contact MCI Travel for further information (see the registration form for MCI's address). Booking of tours is possible at the conference site. ********** IMPORTANT NOTICE ********** We have done our best in preparing VLDB '95. However, neither the VLDB endowment nor the local organizers or MCI Travel can take any responsibility for any damage, loss or inconvenience participants might incur in connection with the conference. We also cannot be held responsible for the correctness or appropriateness of the contents of talks and papers included in this conference. In particular, changes to the published conference program or cancellations of parts thereof do not entitle to a refund of the conference fee or parts thereof. Names/addresses of attendees will be electronically processed and are included in a participants list that may be posted/distributed during and in connection with the conference. By registering for the conference, participants express their agreements with these regulations. ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Mon Jul 10 11:14:53 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Mon, 10 Jul 95 11:14:48 -0500; AA21306 Date: Mon, 10 Jul 95 11:14:47 -0500 From: Gabriel M. Kuper Message-Id: <9507101614.AA26266@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Mon, 10 Jul 95 11:14:47 -0500 To: dbworld@quarg.cs.wisc.edu 1st International CONTESSA Database Workshop CONSTRAINT DATABASES AND THEIR APPLICATIONS CDB95 September 8-9, 1995 Friedrichshafen, Germany organized by ESPRIT Working Group CONTESSA (8666) Registration Instructions and Preliminary Schedule ================================================== Objectives ========== The main theme of this workshop is to address issues related to the theory, design and maintenance of Constraint Databases (CDBs) and their applications. The objective of this workshop is to bring together database practitioners, researchers and application users to share and explore their views on core constraint database technology addressing languages and their expressiveness, architectures, models, indexing techniques for, and optimization of queries on large constraint sets, and their application in areas like spatial databases, geographic INFORmation systems, scheduling and routing problems. A task of the workshop will be the identification of application problems for which CDBs provide an especially promising technology. Preliminary Schedule ==================== Friday, 8.9.95 ============== 14.00-14.30 J.Reinert (Kaiserslautern) Ambiguity for Referential Integrity is Undecidable 14.30-15.00 T.M.Yakhno, B.G.Cheblakov, V.Z. Zilberfain (Novosibirsk) FISSURE: Finder of Solutions with Subdefinite Resources 15.00-15.30 Break 15.30-16.00 M.Wallace (IC-Parc), S.Bressan (ECRC), T.Le Provost Magic Checking: Constraint Checking for Database Query Optimisation 16.00-16.30 J.-H.Byon, P.Z.Revesz (Lincoln, Nebraska) DISCO: A Constraint Database System with Sets 16.30-17.00 Break 17.00-18.00 Discussion 19.00 Dinner Saturday 9.9.95 ============== 9.00-10.00 Invited Talk: Helmut Simonis (COSYTEC, France) 10.00-10.30 Break 10.30-11.00 V.Gaede, O.Guenther (Humboldt, Berlin) Constraint-Based Query Optimization and Processing 11.00-11.30 P.Haunold, W.Kuhn, A.U.Frank (T.U.Wien) Modeling Measurements in GIS as Constraints 11.30-12.00 L.Hermosilla, G.M.Kuper (ECRC, Munich) Towards the Definition of a Spatial Object-Oriented Data Model with Constraints 12.00-13.30 Lunch 13.30-14.00 F.Afrati, F.Andronikos, T.G.Kavalieros (NTU Athens) On the Expressiveness of First-Order Constraint Languages 14.00-14.30 A.Belussi (Milano), E.Bertino (Milano), M.Bertolotto (Genova), B.Catania (Milano) Generalized Relational Algebra: Modelling Spatial Queries in Constraint Databases 14.30-15.00 M.Freeston (ECRC, Munich) The Application of Spatial Indexing Methods to Constraints 15.00-15.30 Lunch 15.30-18.00 Discussion Travel Instructions =================== Friedrichshafen, on the shore of Lake Constance, is easily reachable from Zurich or Munich. Directions by car and by train follow below. By Car ====== >From Frankfurt centre or airport: -------------------------------- Take autobahn 5 to Darmstadt; then 67 to Viernheim; 6 to Heilbronn; 81 to Stuttgart (watch out - the 81 joins the 8 for about 6 kilometres around Stuttgart) and continue on the 81 to Singen. At Singen take the 98 to Stockach, where the autobahn ends. Take the 31 to Friedrichshafen. See below for the location of the hotel. >From Zurich airport: ------------------- Take the motorway towards Zurich centre, and look for signs to the autobahn N1, direction Winterthur. The N1 leads directly from Zurich centre. Beyond Winterthur take the N7 to Konstanz (German border). In Konstanz, follow the signs to the Konstanz-Meersburg ferry (Faehre). The ferry runs every 15 minutes and the cost for a small car is 8,-DM. In Meersburg, join route 31 to Friedrichshafen. See below for the location of the hotel. >From Munich airport: ------------------ Take the autobahn towards Muenchen. Follow the signs for Lindau (autobahn 96). In Lindau take route 31 west along the north side of lake Constance (Bodensee) to Friedrichshafen. Follow route 31 through to the west side of the town. Location of the hotel in Friedrichshafen: ---------------------------------------- The address of the hotel is Dornierstrasse 2/1, in the Manzell suburb, on the west side of Friedrichshafen. Arriving along route 31 from the west (i.e. from Stockach and Meersburg), Dornierstrasse leads off to the left just beyond a large open-air swimming complex (See und Freibad) on the right. Vice-versa if arriving along route 31 from Munich. By Train ======== There are 2 train stations, Friedrichshafen Stadt, about 4 km from the hotel, and Friedrichshafen Faehre, about 1 km further south. All trains go to Friedrichshafen Stadt, but the ferries take you to Friedrichshafen Faehre. A taxi from Friedrichshafen Stadt to the hotel should cost around 15,-DM. >From Zurich ------------ Take the train to Romanshorn, and then the ferry to Friedrichshafen Faehre. Zurich airport Romanshorn (ar./lv.) Friedrichshafen 10.22 11.23/11.36 12.17 11.22 12.23/12.36 13.17 12.22 13.23/13.36 14.17 Friedrichshafen Romanshorn (ar./lv.) Zurich airport 18.41 19.22/19.37 20.37 19.41 20.22/20.37 21.37 09.41 10.22/10.37 11.37 >From Frankfurt -------------- Frankfurt airport Frankfurt Hbf (ar./lv.) Ulm (ar./lv.) Friedrichshafen 09.18 09.28/09.43 12.04/12.11 13.23 10.18 10.28/10.43 13.04/13.11 14.22 Friedrichshafen Ulm (ar./lv.) Mainz (ar./lv.) Frankfurt airport 18.33 19.45/19.51 22.16/22.36 22.52 Frankfurt Hbf 06.22 07.41/07.51 10.15/10.32 10.42 07.33 08.44/08.51 11.15/11.32 11.42 08.33 09.45/09.51 12.15/12.32 12.42 >From Munich ----------- Munich airport Munich Hbf (ar./lv.) Ulm (ar./lv.) Friedrichshafen 08.55 09.36/09.45 10.49/11.11 12.22 09.15 09.56/10.19 13.58 09.35 10.26/10.49 12.03/12.11 13.23 10.55 11.36/11.49 13.03/13.11 14.22 Friedrichshafen Ulm (ar./lv.) Munich Hbf (ar./lv.) Munich airport 18.07 21.29/21.42 22.21 18.33 19.45/19.55 21.10/21.22 22.01 Lindau 18.58 19.30/19.37 21.49/22.02 22.41 Ulm 07.33 08.44/09.05 10.15/10.22 11.01 08.06 11.29/11.42 12.21 Program Committee ================= Dave Abel CSIRO, Australia Foto Afrati National Technical U. of Athens, Greece Jorge Bocca University of Birmingham, Great Britain Rolf de By University of Twente, The Netherlands Max Egenhofer University of Maine, Orono, Maine Andrew Frank Technical University of Vienna, Austria Mike Freeston ECRC, Munich, Germany Johann-Christoph Freytag Humboldt University, Berlin, Germany Oliver Guenther Humboldt University, Berlin, Germany Yoram Kornatsky University of Toronto, Canada Gabriel Kuper (Chair) ECRC, Munich, Germany Michael Maher IBM T.J.Watson Research Center, USA. Robert Marti ETH, Zurich, Switzerland Jan Paredaens University of Antwerp, Belgium Andreas Podelski Max Planck Institut, Saarbruecken, Germany Mark Wallace IC PARC/ICL, London, Great Britain Michael Worboys Keele University, Keele, Great Britain Conference Registration ======================= 1st International CONTESSA Database Workshop organised by the ESPRIT Working Group CONTESSA (8666) Hotel Waldhorn, Friedrichshafen-Manzell, Germany September 8-9, 1995 Conference Registration Form Please type or print clearly. Last Name:__________________________ First Name:__________________________ Affiliation:______________________________________________________________ Mailing Address:__________________________________________________________ __________________________________________________________ __________________________________________________________ Tel:________________________________ Fax:_________________________________ E-mail:___________________________________________________________________ Please send this form with the registration fee of 50 pounds sterling payable to ICL plc (CONTESSA workshop), to the following address: Mrs Sheila Cox, Research and Advanced Technology, ICL, Lovelace Road, BRACKNELL Berks RG12 4SN England Hotel Registration ================== 1st International CONTESSA Database Workshop organised by the ESPRIT Working Group CONTESSA (8666) Hotel Waldhorn, Friedrichshafen-Manzell, Germany September 8-9, 1995 Hotel Reservation Form Please type or print clearly. Last Name:__________________________ First Name:__________________________ Affiliation:______________________________________________________________ Mailing Address:__________________________________________________________ __________________________________________________________ __________________________________________________________ Tel:________________________________ Fax:_________________________________ E-mail:___________________________________________________________________ Arrival date:________________ Flight:_______________ Time:________________ I wish to reserve a [] Single room [] Double room ( [] Check here if you would prefer a double bed) Check-in:_____________ Check out:_____________ No. of nights:_____________ Please send this form with mail or fax to the Waldhorn Hotel Dornierstr. 2/1 D-88048 Friedrichshafen-Manzell Germany Tel: ++49 7541 9570 Fax: ++49 7541 9573 33 Rates: DM 130 for a single room DM 190 for a double or twin room These rates include breakfast, taxes, services, and parking. All rooms have showers/WC, cable-tv, and telephone A block of rooms have been reserved for the workshops until July 31, 1995. Please make reservations for the workshop before this date to avoid difficulties in your reservations. Note: If two attendees are sharing a double room, only one of them should submit this reservation form. ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Mon Jul 10 11:18:06 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Mon, 10 Jul 95 11:18:03 -0500; AA21414 Date: Mon, 10 Jul 95 11:18:02 -0500 From: mohan@almaden.ibm.com Message-Id: <9507101618.AA26283@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Mon, 10 Jul 95 11:18:02 -0500 To: dbworld@quarg.cs.wisc.edu Dear colleagues, A home page has been set up at the IBM Almaden Research Center for the 22nd International Conference on Very Large Data Bases to be held in Bombay, India in September 1996. Apart from the call for papers, the page currently contains links to touristic and other information on India. It also has links to the home pages of most of the various committee members. Where I did not have home page information for some committee members I have included links to list of publications of those people. Any corrections and/or suggestions for additions are most welcome. As time goes on more information will be added to this home page. The URL is http://www.almaden.ibm.com/cs/vldb/ You may wish to include the following link in your own home pages VLDB96 Home Page Hoping to see many of you in Bombay in 9/96! regards Mohan *************************************************************************** * C. Mohan Work Phone: +1 (408) 927-1733 * * K55/B1 Fax: +1 (408) 927-3215 * * IBM Almaden Research Center Internet: mohan@almaden.ibm.com * * 650 Harry Road Bitnet/Vnet: mohan@almaden * * San Jose, CA 95120-6099 Home Phone: +1 (408) 927-9080 * * ------------------> EXOTICA Workflow Project Home Page <--------------- * * http://www.almaden.ibm.com/cs/reports/workflow/exotica_home_page.html * * -> ARIES & related (recovery, locking, commit protocols, ...) papers <- * * http://www.almaden.ibm.com/cs/reports/database/ARIES_papers_list.ps * * ++++++> VLDB96 Home Page: http://www.almaden.ibm.com/cs/vldb/ <++++++ * *************************************************************************** ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Mon Jul 10 12:07:07 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Mon, 10 Jul 95 12:07:01 -0500; AA22741 Date: Mon, 10 Jul 95 12:06:59 -0500 From: "Prof. Norman Revell" Message-Id: <9507101706.AA26405@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Mon, 10 Jul 95 12:06:59 -0500 To: dbworld@quarg.cs.wisc.edu DEXA 95 - 4-8th Sept 95 - MIDDLESEX UNIVERSITY - LONDON Final details of programme and logistics may be found at: http://www.cs.mdx.ac.uk/events/dexa/dexa95.html __________________________________________________________________________ Prof Norman Revell Head of School Computing Science Middlesex University Bounds Green LONDON N11 2NQ UK Tel: +44 (0) 81 362 5214 Fax: +44 (0) 81 361 1726 http://www.cs.mdx.ac.uk __________________________________________________________________________ ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Mon Jul 10 16:43:03 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Mon, 10 Jul 95 16:43:00 -0500; AA26519 Date: Mon, 10 Jul 95 16:42:59 -0500 From: Prabhu Ram Message-Id: <9507102142.AA27150@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Mon, 10 Jul 95 16:42:59 -0500 To: dbworld@quarg.cs.wisc.edu FINAL CALL FOR PAPERS 6th International Workshop on Research Issues in Data Engineering: Interoperability of Nontraditional Database Systems (RIDE-NDS '96) Feb. 26-27, 1996 New Orleans, Louisiana This is the sixth in a series of annual workshops held in conjunction with the IEEE CS International Conference on Data Engineering. RIDE-NDS '96 will be the first workshop dedicated to bringing together leading researchers, developers, and users in the important area of interoperability of nontraditional database systems. Particular interest will be paid to the areas of mobile/wireless information systems, multimedia databases and workflow systems. Suggested topics for the workshop include but are not limited to interoperability issues in the following areas: Mobile and wireless systems Multimedia databases Mixed-media access Document processing systems Workflow systems Transaction management Intelligent browsing Metadata management Legacy systems Multidatabase applications Mobile applications Multimedia applications High performance databases Facility provisioning databases Data warehouses for market analysis and decision support Paper Submission: Five copies of an extended abstract (at most 10 double-spaced pages in 10-pt font or 2500 words ) should be received no later than July 16, 1995 by one of the program chairs: Daniel Barbara Omran Bukhres MITL Purdue University 2 Research Way, 3rd. Fl Department of Computer Science Princeton, NJ 08540 West Lafayette, IN 47907 daniel@research.panasonic.com bukhres@cs.purdue.edu Paper selection will be based on originality and contribution to the field. Each submission should include a postal address and e-mail address for a contact author. Late submissions and over-length abstracts will be rejected without review. A proceedings will be published by IEEE CS. Additional information can be found in http://www.cs.pitt.edu/ride96/ride96.html Important Dates: Deadline for submission: July 16, 1995 Notification of acceptance: Oct. 11, 1995 Final paper due: Nov. 15, 1995 Workshop: Feb. 26-27, 1996 General Chairs: Witold Litwin (France) Witold.Litwin@inria.fr Program Chairs: Daniel Barbara Omran Bukhres Program Committee: Elisa Bertino (Italy) Amr El Abbadi (USA) Panos Chrysanthis (USA) Chris Clifton (USA) Pam Drew (Hong Kong) Abdelsalam Helal (USA) Yahiko Kambayashi (Japan) Dimitris Karagiannis (Austria) Roger King (USA) Masaru Kitsuregawa (Japan) Eva Kuehn (Austria) Wolfgang Klas (Germany) Henry F. Korth (USA) Dimitrios Georgakopoulos (USA) Tomasz Imielinski (USA) Sharad Mehrotra (USA) Peter Muth (Germany) Tamer Ozsu (Canada) Mike Papazoglou (Australia) Ken Salem (Canada) Peter Scheuermann (USA) Amit Sheth (USA) Giovanna Vantini (Italy) Stan Zdonik (USA) Publicity Chair: Prabhu Ram (USA) Proceedings Chair: Calton Pu (USA) Local Arrangements: William Buckles (USA) Steering Coittee: Ahmed Elmagarmid Joseph Urban Yahiko Kambayashi Marek Rusinkiewicz Sponsored by: IEEE Computer Society ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Tue Jul 11 14:42:33 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 11 Jul 95 14:42:28 -0500; AA08765 Date: Tue, 11 Jul 95 14:42:26 -0500 From: "Baizheng (Jane) Yang" Message-Id: <9507111942.AA29281@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 11 Jul 95 14:42:26 -0500 To: dbworld@quarg.cs.wisc.edu THE DEADLINE FOR RECIEPT OF PAPER SUBMISSION TO WITS'95 HAS BEEN EXTENDED TO JULY 15, 1995. =========================================================================== CALL FOR PAPERS 5th Workshop on Information Technologies and Systems (WITS'95) Amsterdam, The Netherlands December 9-10, 1995 WITS'95 The 5th Workshop on Information Technologies and Systems (WITS'95) will be held in Amsterdam, The Netherlands, during December 9-10, 1995, immediately before the International Conference on Information Systems (ICIS). The purpose of the workshop is to promote discussion and interaction among members of the Information Systems community with research interests in cutting-edge information technologies and systems. We are particularly interested in exchanging research ideas and results which will not only contribute to the academic arena, but will also benefit the business community in the foreseeable future. Topics We solicit condensed research papers describing original ideas and new results on information technologies and their applications. The research should address issues concerning the theory, development, and/or deployment of information technologies and systems. Suggested topics include, but not limited to: - Information System Architectures - Database Systems - Knowledge-based Systems - Distributed Systems - Computer Networks and Telecommunications - System Development Methods - Modeling Methods - Innovative Information Technologies - Decision Support Systems - Collaborative and Group Systems - Human-Computer Interfaces - Object-Oriented Topics We also encourage the submission of experience reports that describe lessons learned in the development, operations, and maintenance of actual systems. Proposals for panels that examine an emerging, innovative, or otherwise provocative issue are encouraged as well. Instructions Condensed research papers and experience reports as well as proposals for panels should be submitted to Sudha Ram (co-chairperson). Four copies of the submission must be received by July 15, 1995. All submissions should be double-spaced and use 10pt or larger fonts. Papers and reports should be limited to 10 pages (including tables, figures, and references) and panel proposals to 5 pages. Selection for presentation at the workshop and publication in the proceedings will be based on originality, contribution to the field, and workshop interest. Authors of selected papers and reports will be invited to submit complete versions of their work after the workshop for possible publication in journals such as Information Systems, ORSA Journal on Computing, Decision Support Systems and Journal on Organizational Computing. There is an award for the best paper of the workshop. Panel proposals should include a summary of the topic to be covered, names and affiliations of 3-4 panelists who have made a commitment to participate, a summary of their position statements, and a brief biography of each. A mix of industry and academic panel members is recommended. Information on this workshop is available through anonymous ftp to bpa.arizona.edu under CONFERENCE/WITS95 directory. Dates Deadline for receipt of submission: July 15, 1995 Notification of acceptance: September 29, 1995 Camera-ready copy due: October 27, 1995 Co-Chairpersons Professor Sudha Ram ( papers must be submitted to this person ) Dept. of MIS Karl Eller Graduate School of Management University of Arizona Tucson, Arizona 85721 Phone: (602) 621-4113, Fax: (602) 621-2433 E-mail: ram@bpa.arizona.edu Professor Matthias Jarke RWTH Aachen Informatik V Ahornstr. 55 52072 Aachen, Germany Phone: (49) (241) 80-21500, Fax: (49) (241) 8888-321 E-mail: jarke@informatik.rwth-aachen.de Program Committee Meral Binbasioglu (USA) Bob Blanning (USA) Sjaak Brinkkemper (Netherlands) Tung Bui (Hong Kong) Hsinchun Chen (USA) Panos Constantopoulus (Greece) Prabuddha De (USA) Dan Dolk (USA) Martin Elixmann (Netherlands) George Ernst (USA) Hans Hansen (Austria) Alan R. Hevner (USA) Tawfik Jelassi (France) Dimitri Karagiannis (Austria) Gary J. Koehler (USA) Ron Lee (Netherlands) Tok Wang Ling (Singapore) Peri Loucopoulos (UK) Sal March (USA) David E. Monarchi (USA) Sridhar Narasimhan (USA) Markus Nuettgens (Germany) Andreas Oberweis (Germany) Hasan Pirkul (USA) Klaus Pohl (Germany) Arun Sen (USA) Olivia Sheng (USA) Edward A. Stohr (USA) Mohan Tanniru (USA) Alexander Tuzhilin (USA) Ramesh Venkataraman (USA) Benkt Wangler (Sweden) Ronald Weber (Australia) Carson C. Woo (Canada) ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Tue Jul 11 14:56:48 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 11 Jul 95 14:56:43 -0500; AA08971 Date: Tue, 11 Jul 95 14:56:42 -0500 From: nwosuck@harpo.wh.att.com (Kingsley Nwosu) Message-Id: <9507111956.AA29341@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 11 Jul 95 14:56:42 -0500 To: dbworld@quarg.cs.wisc.edu CALL FOR PARTICIPATION ====================== 1995 INTERNATIONAL WORKSHOP ON MULTI-MEDIA DATABASE MANAGEMENT SYSTEMS (IW-MMDBMS'95) Minnowbrook Conference Center Blue Mountain Lake, New York August 28-30, 1995 Sponsored by - New York State Center for Advanced Technology in Computer Applications and Software Engineering (CASE) at Syracuse University in cooperation with - IEEE Computing Society - IEEE Technical Committee on Multimedia Computing - The Data Management Specialty Group of the MITRE Corp. The rapid advances in many facets of Computer Technology have intensified Research and Development interests in Multi-Media Information Processing(MMIP). Despite the current existence of some forms of Multi-Media Systems, the true realization of MMIP rests on the ability to access and manipulate the multi-media objects. That can only be adequately addressed and achieved via Multi-Media Data Base Management Systems (MMDBMSs). For conventional text-based information, data access and manipulation have advanced considerably; however, for multi-media systems that incorporate continuous media objects, e.g., audio and video, and other media types like images, voice, and graphics, they pose novel problems. The workshop will emphasize the issues relevant to designing, developing, and utilizing MMDBMSs. The paper presentations and panel discussions will address the following issues as they relate to MMDBMSs: - Multi-Media Database Model - Decomposition/Organization Strategies - Storage Structures and Techniques - Query Language Designs and Specifications - Retrieval/Search Techniques/Strategies/Algorithms - Access Methods and Indexing Techniques - Multi-media Data Synchronization - QoS Delivery/Presentation Issues General Chair: ============== Prof. P. Bruce Berra Director, CASE Center, Suite 2-212, CST, Syracuse Univ., Syracuse, NY 13244. Program Chairs: ============== Dr. Kingsley C. Nwosu AT&T Bell Labs., 67 Whippany Rd., Rm. 2C-256, Whippany, NJ 07981-0903. Phone:(201)386-4211. Fax:(201)386-2182. email:nwosuck@harpo.wh.att.com Dr. Bhavani Thuraisingham The Mitre Corp., K329, Burlington Rd., Bedford, MA. 01730. Phone:(617)271-8873. email:thura@mitre.org Program Co-Chairs: ================= Prof. Rajiv Mehrotra Dept. of Mathematics & Computer Science Univ. of Missouri-St. Louis 8001 Natural Bridge Rd. St. Louis, MO 63121 Phone:(314)553-6343 email:rajiv@arch.umsl.edu Dr. Patrick Bobbie Dept of CIS, Florida A&M Univ. Tallahassee, FL 32307. Phone:(904)599-3022. email:bobbie@serel.cis.famu.edu Publications Chair: =================== Dr. Cyril Orji Computer Science Dept. Florida International Univ. Miami, FL. 33199. email:orji@geneva.fiu.edu Local Arrangements/Registration: =============================== Emileen Butler CASE Center Suite 2-212, CST, Syracuse Univ. Syracuse, NY 13244. Phone:(315)443-1062. Emily Yakawiak CASE Center Suite 2-212, CST Syracuse Univ. Syracuse, NY 13244. Phone:(315)443-1060. Program Committee: ================== P. Venkat Rangan (UCSD) A. Silberschatz (AT&T Bell Labs) Arif Ghafoor (Purdue Univ.) Philip S. Yu (IBM) Warren Sterling (AT&T GIS) A. Biliris (AT&T Bell Labs) Raj Yavatkar (U. KY) T.D.C. Little (Boston Univ.) F. Golshani (Arizona State Univ) Surajit Chaudhuri (Hewlett Packard) Bill Grosky (Wayne St. U.) Greg Speegle (Baylor Univ) Dragutin Petkovic (IBM) Le Gruenwald (U. OK) Arturo Pizano (Siemens Corp. Res.) Olivia R. Liu Sheng (U. Arizona) Son K. Dao (Hughes Research Lab) Ramesh Jain (UCSD) Soon Chung (Wright St. U.) Satya Prabhakar (Honeywell) S. Ghandeharizadeh (USC) Kelly Lyons (IBM) Arding Hsu (Siemens Corp. Res.) FINAL TECHNICAL PROGRAM ============================= August 28, 1995 7:30 - 9:30 PM Opening Remarks - P. Bruce Berra, Workshop General Chair Opening Remarks - B. Thuraisingham, Kingsley Nwosu (Program Chairs) - Patrick Bobbie, Rajiv Mehrotra (Program Co-Chairs) SESSION 1: Panel: Government Funding for Multimedia DBMS Research and Development Chair: Bhavani Thuraisingham Panelists: TBD August 29, 1995 8:30 - 10:00 AM SESSION 2: Multimedia Database Management ------------------------------ Chair: F. Golshani, Arizona St. Univ. "The Role of Database Systems in the Management of Multimedia Database Mgmt Systems" Scott Campbell, AT&T GIS Soon M. Chung, Wright St. Univ. "STORM:A Structural and Temporal Object-Oriented Multimedia Database System" Michel Adiba, IMAG-LGI, Grenoble University, France "Views of Media Objects in Multimedia Databases" Greg Speegle, Baylor Univ. 10:30 - 12:30 PM SESSION 3: Multimedia Integration --------------------- Chair: Arding Hsu, Siemens Corp. Research. "Synchronization Mechanisms for Distributed Multimedia Presentation Systems" Donald A Adjeroh, Moon Lee, The Chinese Univ. of Hong Kong "Playout Management - An Integrated Service of a Multimedia Database Management System" Heiko Thimm, Wolfgang Klas, GMD-IPSI, Germany. "Integrated Multimedia Object and Application Modelling Based on Events and Scenarios" M. Vazirgiannis, M. Hatzopoulos, Univ. of Athens, Greece "An Architecture for Operating System Support of Distributed Multimedia Systems" C. Orji, Ya Xu, N. Rishe, Florida International Univ., Miami 1:30 - 3:00 PM SESSION 4: Query Language & Processing --------------------------- Chair: Olivia R. Sheng, Univ. Arizona "A Multimedia Query Specification Language" N. Hirzalla, A. Karmouch, Univ. of Ottawa, Canada "A Graphical Query Language for Identifying Temporal Trends in Video Data" Stacie Hibino, E. A. Rundensteiner, Univ. of Mich., Ann Arbor "Modeling and Querying Primitives for Digital Media" M. Ghandi, E. Robertson, Dick Van Gucht Indiana University, Bloomington "Searching and Browsing a Shared Video Base" R. Hjelsvold, R. Midtstraum, O. Sandstaa Norwegian Institute of Technology 7:30 - 9:30 PM SESSION 5: Panel: "The Role of DBMSs in the Multimedia Information Systems' Age" Chair: Rajiv Mehrotra, Univ. Missouri Panelists: F. Golshani, Arizona St. Univ. P. Venkat Rangan, UCSD T.D.C. Little, Boston Univ. Philip S. Yu, IBM Arif Ghafoor, Purdue Univ. Ramesh Jain, USC Nicholas D. Georganas, Univ. Ottawa Eric J. Neuhold, GMD-IPSI, Germany C. Faloutsos, AT&T Bell Labs Raj Yavatkar, Univ. Kentucky Arding Hsu, Siemens Corp. Research N. Bourbakis, SUNY, Binghamton A. Biliris, AT&T Bell Labs. C.Y.R. Chen, Syracuse Univ. Olivia R. Sheng, Univ. Arizona August 30, 1995 8:30 - 10:00 AM SESSION 6: Multimedia Storage Issues ------------------------- Chair: Thomas Little, Boston Univ. "Improved and Optimal Adaptive Hierarchical Vector Quantization for Image Coding" Sheng Zhong, Francis Chin, Univ. of Hong Kong "Data Placement for Continuous Media in MMDBMS" Taeck-Geun Kwon, Sukho Lee, LG Info. & Comm., LTD, Korea "A Market-Based Economic Model for Multi-Media Object Storage and Distribution" S. Narayan, P. Losleben, F-C Cheong, Stanford Univ., CA. 10:30 - 12:30 PM SESSION 7: Multimedia Retrieval & Indexing -------------------------------- Chair: Eric J. Neuhold, GMD-IPSI, Germany "Interactive Model Retrieval for Videos and Still Images" Brigitte Simonnet, Malik Smail, CRIN/CNRS, France "Structured Temporal Composition of Multi-Media Data" Andrzej Duda, Cherif Keramane, CNRS-IMAG, France "Image Data Modelling for Efficient Content Indexing" C. Leung, Z. J. Zheng, Victoria Univ. of Techn., Melbourne "MB+-Tree: A New Index Structure for Multi-Media Databases" Qi Yang, Asha Vellaikal, Son Dao, Hughes Res. Lab. ====================================================================== TRAVEL AND REGISTRATION INFORMATION =================================== LOCATION: ======== Minnowbrook is located in the Central Adirondack Mountains on the north shore of Blue Mountain Lake. It is 135 miles from Syracuse, 90 miles from Utica, 115 miles from Albany, and 265 miles from New York City. A one-mile secondary road to Minnowbrook conference Center leaves Route 30 just north of Blue Mountain Lake Village. From New York city take 87 to 28 to 30; from Buffalo, NY take 90 to 12 to 28 to 30. SETTING: ======= The Minnowbrook Conference Center is located on 28 acres of choice wooded land along the northern shore of beautiful Blue Mountain Lake. Attractive rustic, but modern lodges provide gracious living accommodations for conference participants. Rooms are for double occupancy. A spacious central lodge, a meeting room for instructional sessions, and two recreation halls make Minnowbrook ideal for professional and business conferences. REGISTRATION: ============ Everyone must preregister by July 31, 1995 as there will be no on-site registration for this Workshop. At least one of the authors of each accepted paper must register and attend the Workshop to present the paper. The total cost for this Workshop is $450 (US) for IEEE members and $500 (US) for non-members. This includes all Workshop costs and materials, proceedings, meals, lodging, social functions, and use of all Minnowbrook facilities. The registration fee of $450/$500 is payable with attached registration form. Please make checks payable to: Syracuse University MEALS & LODGING: ================ The first meal will be dinner on Monday, August 28, 1995. Try to arrange your schedule to arrive at Minnowbrook by that time and to give yourself time to relax before the first session begins. The last meal will be served on Wednesday, August 30, 1995 at 1:00 p.m. Kindly inform us, with the return of your registration form, of any special dietary requirements you may have. Meals are planned in advance and we will try to accommodate your needs if we know them in advance. CLOTHING & RECREATION: ====================== Those attending conferences at Minnowbrook, dress informally and comfortably. Keep in mind that nights are often chilly, so it is advisable to bring a sweater. For activities between sessions the natural beauty of the woodland setting can be enjoyed on hiking tails at and near the conference Center. Minnowbrook also has facilities for swimming, boating, fishing, badminton, volleyball, tennis, pool, shuffleboard, and ping-pong. Each conference group has exclusive use of the Conference Center to insure complete privacy in an atmosphere of relaxation and good fellowship. TRAVEL: ======= Check-in at Minnowbrook will begin at 4:00 p.m. If you drive, go directly to Minnowbrook, and plan to arrive at check-in time. The best method of of transportation is by automobile. MESSAGES: ======== Mail is collected and delivered daily at Minnowbrook. The address is: Minnowbrook Conference Center of Syracuse University, Blue Mountain Lake, New York, 12812. While the Workshop is in session, call-back messages can be left for you at (518) 352-9766. Please distribute this telephone number to anyone who may have a need to reach you. ************ We regret to inform you that due to the tax exempt status of Minnowbrook, families and friends of registrants cannot be accommodated. REGISTRATION FORM -------------------------------------------------- 1995 International Workshop on Multimedia DBMS Minnowbrook Conference Center Blue Mountain Lake, NY Name: _________________________________________________(Dr/Prof/Ms/Mr) Affiliation: ___________________________________________________________ Address: _______________________________________________________________ City: _________________________________________________________________ State/Province/Zip/Country: _______________________________________________ IEEE Membership # (if applicable): _________________________________ Telephone #: _________________________________________________________ e-mail: ______________________________________________________________ A registration fee of $450 (US) for IEEE Members and $500 (US) for non-members is payable with this form. Make check payable to Syracuse University. Mail to: P. Bruce Berra, Director, CASE Center, 2-212 Center for Science and Technology, Syracuse University, Syracuse, NY 13244. REGISTRATION DEADLINE IS: JULY 31, 1995 ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Wed Jul 12 10:13:15 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 12 Jul 95 10:13:12 -0500; AA19480 Date: Wed, 12 Jul 95 10:13:10 -0500 From: raghu@quarg.cs.wisc.edu (Raghu Ramakrishnan) Message-Id: <9507121513.AA03930@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 12 Jul 95 10:13:10 -0500 To: dbworld@quarg.cs.wisc.edu >From ifc@cs.brown.edu Tue Jul 11 16:31:08 1995 Received: from lucy.cs.wisc.edu by quarg.cs.wisc.edu; Tue, 11 Jul 95 16:31:07 -0500 Received: from cs.brown.edu by lucy.cs.wisc.edu; Tue, 11 Jul 95 16:28:09 -0500 Received: from igor.cs.brown.edu (igor.cs.brown.edu [128.148.31.148]) by cs.brown.edu (8.6.10/Bullwinkle1.1) with ESMTP id RAA29332 for ; Tue, 11 Jul 1995 17:28:02 -0400 From: Isabel Cruz Received: (ifc@localhost) by igor.cs.brown.edu (8.6.10/BrownCS1.0) id RAA14005; Tue, 11 Jul 1995 17:28:02 -0400 Date: Tue, 11 Jul 1995 17:28:02 -0400 Message-Id: <199507112128.RAA14005@igor.cs.brown.edu> To: raghu@lucy.cs.wisc.edu Subject: DBWORLD Status: R Hi Raghu, Sorry to bother you, but I send this message to dbworld Saturday, and I do not believe it has been advertised yet. The dealine for submissions is approaching, so it would be nice to have it out soon. I think the subject is of interest to the DB Community, also there are some db people involved. Thanks for you help! Best regards, Isabel =========================================================================== Date: Sat, 8 Jul 95 21:34:43 EDT From: ifc To: dbworld@cs.wisc.edu Subject: (DBWORLD) Reminder: CFP for Multimedia Abstractions Workshop ********************************************************************** Call for Submissions Please Distribute Widely ********************************************************************** Effective Abstractions in Multimedia Layout, Presentation, and Interaction ------------------------------------- Workshop to be held in conjunction with ACM Multimedia '95 November 4, 1995 San Francisco, California Workshop description -------------------- The topic of this one-day workshop is the study of abstract representations and methods for the structuring of multimedia/hypermedia documents and interactions. While multimedia/hypermedia has enjoyed marketing success and benefited from substantial work on the underlying engineering and systems mechanisms, there has been less emphasis on principled approaches at the application level. The focus here is on concepts and techniques that are useful for structuring and organizing heterogeneous information in multimedia/hypermedia applications from the perspective of both end-user delivery and authoring. While we hope to attract participants with experience in an eclectic mix of multimedia/hypermedia applications, the common thread will be the organization and abstraction of information. With such an emphasis, we hope to facilitate idea sharing and mutual understanding between researchers and developers in diverse areas (e.g., electronic publishing, video conferencing, digital libraries, command & control, etc.) that are all related to multimedia/hypermedia, but that have been, for the most part, isolated from each other. Problems likely to be discussed at the workshop include: * Spatial layout for visual information presentation * Temporal layout for information presentation using animation and audio * Determination of page content, linking structure and index structure for hypermedia documents * Filtering, generalization, and customization of information in multimedia/hypermedia applications * Synergistic combination of media in multimedia/hypermedia applications A representative set of techniques that are relevant to such problems include: * Constraint-based methods * Grammar-based methods * Heuristic search and optimization * Graph-based data structures and algorithms * Data modeling, query languages, and ontology development * Pattern-matching methods for (a)synchronous media streams Due to space limitations, attendance will be by invitation only. Submission details ------------------ Submit an extended abstract (not more than five pages, single-spaced) describing previous work, recently completed work, or work in progress that is relevant to the workshop topic. Submissions should be submitted via e-mail: send ASCII text or PostScript files to kentw@bellcore.com. A subset of invited participants will be selected to give a presentation on their research and to compose a WWW page comprised of a final version of their submission, pointers to their own related papers and technical reports, and other relevant material (presentation slides, video segments, interactive demos, sample multimedia/hypermedia documents, etc.). Participants' Web nodes will be aggregated to form an on-line workshop proceedings. Due dates --------- Receipt of submissions: July 15, 1995 Notification of acceptance: September 1, 1995 Completion of WWW-page materials: October 20, 1995 Organizing committee -------------------- Isabel Cruz, Tufts University (isabel@cs.tufts.edu) Joe Marks, Mitsubishi Electric Research Labs (marks@merl.com) Kent Wittenburg, Bellcore (kentw@bellcore.com) Program committee ----------------- Elisabeth Andre, German Research Center for A.I. GmbH Michael Christel, Carnegie Mellon University Isabel Cruz, Tufts University George Furnas, University of Michigan Ramesh Jain, University of California, San Diego Fillia Makedon, Dartmouth College Joe Marks, Mitsubishi Electric Research Labs Linn Marks, IBM Watson Research Labs Larry Rowe, University of California, Berkeley Stuart Shieber, Harvard University David Stotts, University of North Carolina Dirk Van Gucht, Indiana University Kent Wittenburg, Bellcore WWW URL ------- http://www.cs.tufts.edu/~isabel/mmws.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@quarg.cs.wisc.edu Wed Jul 12 10:20:23 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 12 Jul 95 10:20:18 -0500; AA19573 Date: Wed, 12 Jul 95 10:20:17 -0500 From: "Ling Tok Wang" Message-Id: <9507121520.AA03967@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 12 Jul 95 10:20:17 -0500 To: dbworld@quarg.cs.wisc.edu FIRST CALL FOR PARTICIPATION D O O D '9 5 4th International Conference on Deductive and Object-Oriented Databases December 4-7, 1995, National University of Singapore(NUS), Singapore and W o r k s h o p s o n Integration of Knowledge with Deductive and Object-Oriented Databases and Temporal Reasoning in Deductive and Object-Oriented Databases December 8, 1995, National University of Singapore(NUS), Singapore Organised by: Department of Information Systems & Computer Science (NUS) With support from: ASTEM RI/Kyoto (Japan) In-cooperation with: Korean Information Science Society, Kyoto/Japan ACM SIGMOD, IEEE Singapore (Computer Chapter), IEICE SIGDE (Japan), Institute of System Science (NUS), Singapore Computer Society, Singapore Federation of Computer Industry Corporate Sponsor: Official Publication: Bull SA, France IT-Asia -------------------------------------------------------------------------- DOOD '95 provides an international forum for technical discussion among researchers, developers, and users of database systems from academia, business and industry. Particular attention is given to research in the theory of deductive and object-oriented databases, the integration of object-oriented paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems, and advanced applications of such systems. This continues the direction established by the three very successful DOOD conferences held in 1989 in Kyoto, Japan, in 1991 in Munich, Germany, and in 1993 in Phoenix, Arizona, USA. The Conference offers: Tutorials (December 4) Technical Conference (December 5-7) covering: Two Keynote Presentations Conference Paper Presentations Post Conference Workshops (December 8) This announcement contains the following sections: Preliminary Programme Keynote Abstracts General Information Post Conference Workshops Information Conference Committees Pre-Conference & Workshop Registration and Form Hotel Reservation Information and Form This announcement can also be found using WWW, at address: http://www.iscs.nus.sg/conferences/dood-part.html and anonymous ftp, at address: ftp.nus.sg:/pub/NUS/ISCS/conference/dood-part.ps.Z -------------------------------------------------------------------------- PRELIMINARY PROGRAMME MONDAY December 4, 1995 (Tutorial) 08:30-09:00 Registration 09:00-10:30 Tutorial 1: Temporal Databases: Recent Developments and Applications - Professor N.L. Sarda (India) 10:30-11:00 Tea/Coffee Break 11:00-13:00 Tutorial 1 13:00-14:00 Lunch 14:00-15:30 Tutorial 2: User Interfaces for Desk-Top Object Oriented Databases - Professor M. Livny (USA) 15:30-16:00 Tea/Coffee Break 16:00-18:00 Tutorial 2 19:00-21:00 Reception at Excelsior Hotel TUESDAY December 5, 1995 (Conference Day 1) 08:15-09:00 Registration 09:00-09:30 Opening 09:30-10:30 Keynote 1: Design of Active Rule Applications: Issues and Approaches - Professor Stefano Ceri (Italy) 10:30-11:00 Tea/Coffee Break 11:00-12:30 Session 1 12:30-14:00 Lunch 14:00-15:30 Session 2 15:30-16:00 Tea/Coffee Break 16:00-17:30 Session 3 WEDNESDAY December 6, 1995 (Conference Day 2) 08:30-09:00 Registration 09:00-10:00 Keynote 2: Deductive and Object Data Languages: A Quest for Integration - Professor Michael Kifer (USA) 10:00-10:30 Tea/Coffee Break 10:30-12:30 Session 4 12:30-14:00 Lunch 14:00-15:30 Session 5 15:30-16:00 Tea/Coffee Break 16:00-17:30 Panel Discussion 18:00-21:00 Conference Banquet THURSDAY December 7, 1995 (Conference Day 3) 08:30-09:00 Registration 09:00-10:30 Session 6 10:30-11:00 Tea/Coffee Break 11:00-12:30 Session 7 12:30-14:00 Lunch 14:00-15:30 Session 8 15:30-16:00 Tea/Coffee Break 16:00-17:30 Session 9 17:30-17:45 Closing FRIDAY December 8, 1995 (Post Conference Workshops) Parallel Workshops (details to be announced) (a) Workshop on Integration of Knowledge with Deductive and Object-Oriented Databases (b) Workshop on Temporal Reasoning in Deductive and Object-Oriented Databases -------------------------------------------------------------------------- KEYNOTE ADDRESSES Speaker : Professor Stefano Ceri, Politecnico di Milano, Italy Title : Design of Active Rule Applications: Issues and Approaches Abstract: Rules in database systems can be used to establish and enforce data management policies. A large amount of the semantics that normally needs to be coded by means of application programs can be abstracted and assigned to both deductive and active rules. This trend in designing database applications (called ``knowledge independence'') brings the nice consequence that data management policies can effectively evolve just by modifying rules instead of application programs. The use of rules in modern database systems is a fundamental issue of the IDEA Esprit Project, where it is combined with object orientation. In particular, it inspires the IDEA Methodology, a comprehensive and systematic approach to the design of database applications which use both deductive and active rules. The IDEA Methodology reconciles deductive and active rules by assigning them the role of expressing knowledge about the application domain, either with a purely declarative style, or with a more procedural style. Although active rules are inherently procedural, in many cases they can be automatically or semi-automatically generated from declarative specifications. This invited paper is focused on active rules, the main research interest of the Politecnico in the IDEA project. We concentrate on active rule analysis, design, and prototyping as developed in the context of the IDEA Methodology. Given that active rules are quite complex to understand and manage, we present several abstractions and techniques which enable their safe specification, in particular with respect to collective desired properties (such as termination and confluence). We also informally introduce the notion of modularization, that enables the partitioning of complex rule sets into modules which exhibit nice interaction properties. Biography: Stefano Ceri is full professor of Database Systems at the Politecnico di Milano, and visiting professor at Stanford University. His research interests are focused on extending database technology to incorporate data distribution, rules, and object-orientation. He is author of several international books and articles, including books on distributed databases (McGraw-Hill, 1984), deductive databases (Springer-Verlag, 1990), conceptual database design (Benjamin-Cummings, 1992); he is co-editor with Jennifer Widom of a recent book on active databases (Morgan-Kaufmann, 1995). He was general chairman of the first International Conference "Extending database Technology" and he is member of the EDBT Foundation, VLDB Endowment, and DOOD Steering Committee. Speaker : Professor Michael Kifer, University at Stony Brook, U.S.A. Title : Deductive and Object Data Languages: A Quest for Integration Abstract: Early hybrids of object-oriented and deductive languages were just rejects from secret AI labs. However, by mid-80's, workers in databases and logic programming began to take notice. The temptation was hard to resist: the object-oriented paradigm has a better way of specifying and manipulating structured objects, while logic and deduction offer the power and flexibility of ad hoc querying and reasoning. Thus, hybrid languages have the potential for becoming an ideal turf for cultivating the next generation of information systems. The approaches to integration of the two paradigms range from logic-based languages with unified declarative semantics to message-passing prologs to rule-based yet deductively-challenged stews to Prolog/C++ brews. In the past eight years, my colleagues and I have been plowing our way through the fields towards an object-based logic that would be capable of capturing most of the essentials of the object-oriented paradigm. The overall plot here is that once the fundamentals are in place, the actual hybrid programming languages can be carved out of the logic the same way as deductive data languages are carved out of the classical logic. There are two distinct aspects to object-orientation: structural (the statics) and procedural (the dynamics). Most of the static aspects are relatively easy to capture in logic, as seen from our work on F-logic. The dynamics were harder to tame, as there was no widely accepted solution to the problem of state changes in deductive languages, even for languages based on classical logic. Our recent work on Transaction Logic appears to provide an adequate framework for specifying the dynamics in classical deductive languages. In this talk, I will review F-logic and Transaction logic, and show that the two can be combined in a natural way, yielding a unified foundation for future work on deductive object-oriented languages, both in theory and practice. At the end, I will discuss a number of areas that could still make use of the plow. Biography: Michael Kifer (http://www.cs.sunysb.edu/) is presently an Associate Professor of Computer Science with the State University of New York at Stony Brook, U.S.A. He received his Ph.D. in Computer Science in 1985 from the Hebrew University of Jerusalem, Israel, and M.S. in Mathematics in 1976 from Moscow University, Russia. Michael Kifer has done extensive work in the areas of database design, query processing, knowledge representation, and logic programming. He served on several conference committees, and was a co-chairman of the program committee for the Second International Conference on Deductive and Object-Oriented Databases in Munich, Germany. Recently, he was also a guest editor for a special issue of Journal of Intelligent Information Systems on the same subject. Michael Kifer is a member of ACM, Association for Logic Programming, and of the editorial boards of ACM Transactions on Database Systems and of Journal of Intelligent Information Systems. -------------------------------------------------------------------------- GENERAL INFORMATION The conference will be held at the Department of Information Systems & Computer Science, National University of Singapore (Block S16, Level 3). Singapore is situated at one of the important crossroads of the world, a place where East and West come together. Here you will find Chinese, Malay and Indian communities living in harmony, their long established cultures forming a unique backdrop to a clean and modern garden city. English is spoken everywhere and is the common business language. Singapore is warm and welcoming all year round, with tempera- tures ranging from 23 to 32 degrees Celsius. Taxi fare from Changi International Airport to the conference hotel, Excelsior Hotel, is about $15 Singapore dollars. After midnight a surcharge of 50% of the taxi fare is payable. Conference Registration: Conference registration fee includes attendance at keynotes, paper & panel sessions, tea/coffee breaks, lunches, conference reception, banquet, and proceedings. Student registration does not include banquet and proceedings. Proceedings: Conference proceedings will be published in the Springer-Verlag LNCS series. The working language of the conference will be English, which will be used for all printed material, presentations and discussions. -------------------------------------------------------------------------- POST CONFERENCE WORKSHOPS Two post conference workshops will be held on December 8, 1995. For further information please contact: (a) Workshop on Integration of Knowledge with Deductive and Object-Oriented Databases (http://www.cs.concordia.ca/kdood.html) Kay Liang Ong Trilogy Development Group 6034, West Courtyard Drive, Suite 130 Austin, Texas 78730, USA tel: 512-794-9491 email: ong@trilogy.com (b) Workshop on Temporal Reasoning in Deductive and Object-Oriented Databases (http://max.cs.uni-magdeburg.de/institut/db/DOOD-WS.html) Stefan Conrad University of Magdeburg Institute of Technical Information Systems P.O. Box 4120 D-39026 Magdeburg, GERMANY email: conrad@iti.cs.uni-magdeburg.de ------------------------------------------------------------------------- CONFERENCE COMMITTEES Steering Committee Chair, Emeritus: Jack MINKER Steering Committee Chair: Jean-Marie NICOLAS Conference Chair: Chung Kwong YUEN ORGANIZING COMMITTEE Angela Eck Soong GOH, Nanyang Technological University, Singapore Mong Li LEE, National University of Singapore (NUS), Singapore Tok Wang LING, NUS, Singapore Hongjun LU (Registration), NUS, Singapore Desai NARASIMHALU, Institute of Systems Science (ISS), Singapore Beng Chin OOI (Exhibition), NUS, Singapore Yong Meng TEO (Publicity/Publication) , NUS, Singapore Kwok Kee WEI (Local Arrangement), NUS, Singapore Lim Soon WONG, ISS, Singapore Weng Fai WONG (Treasurer), NUS, Singapore Chung Kwong YUEN (Chair), NUS, Singapore PROGRAM CHAIRS Americas: Alberto O. MENDELZON, University of Toronto, Canada Europe : Laurent VIEILLE, BULL, France Far East: Tok Wang LING, NUS, Singapore PANEL CHAIR Kotagiri RAMAMOHANARAO, The University of Melbourne, Australia TUTORIAL CHAIR Desai NARASIMHALU, ISS, Singapore COORDINATORS Americas: Kay Liang ONG, Trilogy Development Group, USA Europe: Stefano CERI, Politechico di Milano, Italy Far East: Katsumi TANAKA, Kobe Univ, Japan CONFERENCE SECRETARY Ms Sew Kiok TOH, NUS, Singapore STEERING COMMITTEE Jean-Marie NICOLAS (Chair), BULL, France Jack MINKER (Emeritus Chair), U of Maryland, USA Stefano CERI, Politechico di Milano, Italy Claude DELOBEL, Univ Paris-Sud, France Oris FRIESEN, BULL, USA Michael KIFER, SUNY, USA Tok Wang LING, NUS, Singapore Rainer MANTHEY, Univ of Bonn, Germany Yoshifumi MASUNAGA, U of Library & Info Sci, Japan Shojiro NISHIO, Osaka Univ, Japan Stott PARKER, UCLA, USA Shalom TSUR, UT, Austin, USA PROGRAM COMMITTEE [Americas] Edward CHAN, University of Waterloo, Canada Jiawei HAN, Simon Fraser University, Canada Rosana LANZELOTTE, Catholic Univ of Rio de Janeiro, Brazil Tova MILO, Tel-Aviv University, Israel Jeff NAUGHTON, University of Wisconsin, USA Ken ROSS, Columbia University, USA S. SUDARSHAN, AT&T Bell Laboratories, USA Shalom TSUR, Argonne National Laboratory, USA Victor VIANU, University of California at San Diego, USA Stan ZDONIK, Brown University, USA [Europe] Peter APERS, University of Twente, Netherlands Paolo ATZENI, Universita' La Sapienza, Italy Francois BRY, Ludwig-Maximilians-Univ Muenchen, Germany Jan van den BUSSCHE, University of Antwerp, Belgium Piero FRATERNALI, Politecnico di Milano, Italy Alexandre LEFEBVRE, Bull, France Rainer MANTHEY, University of Bonn, Germany Antoni OLIVE, Universitat Politecnica de Catalunya, Spain Norman PATON, Heriot-Watt University, UK Patrick VALDURIEZ, INRIA, France [Far East] Chin-Chen CHANG, National Chung Cheng Univ, Taiwan Myung-Joon KIM, ETRI, Korea Kotagiri RAMAMOHANARAO, Univ of Melbourne, Australia Rodney TOPOR, Griffith University, Australia Ke WANG, NUS, Singapore Kyu-Young WHANG, KAIST, Korea Lim Soon WONG, ISS, Singapore Beat WUTHRICH, Univ of Sci and Technology, Hong Kong Kazumasa YOKOTA, ICOT, Japan Masatoshi YOSHIKAWA, Nara Inst of Sci & Technology, Japan ------------------------------------------------------------------------ PRE-CONFERENCE AND WORKSHOP REGISTRATION Please complete registration and hotel reservation forms and return by mail or fax (e-mail is not sufficient) to: DOOD '95, (Attn: Ms Sew Kiok TOH) Department of Information Systems & Computer Science National University of Singapore, Kent Ridge, Singapore 0511 tel: 772 2807 fax: +65 779 4580 email: tohsk@iscs.nus.sg DISCLAIMER Every effort has been made to present, as accurately as possible, all the information contained in this brochure. The Organising Committee, the National University of Singapore, its Agents or Servants or the Sponsors do not accept legal liability for any changes in the structure or the content of the technical programme, registration fees, accommodation costs and any general or specific information contained in this brochure. ======================================================================== DOOD '95 REGISTRATION FORM Name (Prof/Dr/Mr/Ms): __________________________________________________ Organisation : __________________________________________________ Address : __________________________________________________ City : ___________ Postcode:_______ Country:___________ Telephone : ___________ Fax:____________ Email:_____________ Special Request for Banquet/Lunches: o Vegetarian o Muslim o Special Diet: _______________(please specify) (Extra banquet tickets at Singapore dollars $70 each (inclusive of tax) can be purchased at the time of registration.) REGISTRATION (tick one circle) ------------------------------------------------------------------------ +received by received after amount registation Nov. 1, 1995 Nov. 1, 1995 SIN $ ======================================================================== conference, non-student o $750 o $850 tutorial and student o $350 o $400 workshop ------------------------------------------------------------------------ conference non-member o $700 o $800 and member* o $650 o $750 tutorial student@ o $300 o $350 ------------------------------------------------------------------------ conference non-student o $650 o $750 and workshop student o $300 o $350 ------------------------------------------------------------------------ non-member o $550 o $650 conference member* o $500 o $600 ONLY student@ o $250 o $300 ------------------------------------------------------------------------ HALF-DAY non-student o $180 o $230 tutorial# student@ o $ 50 o $100 ------------------------------------------------------------------------ FULL-DAY non-student o $280 o $330 tutorial student@ o $100 o $150 ------------------------------------------------------------------------ workshop non-student o $180 o $230 ONLY student o $ 75 o $100 ------------------------------------------------------------------------- TOTAL SIN $ ==================== + All fees are in Singapore Dollars (SIN). GST (Goods and Services Tax) will be absorbed by the conference. * For authors and employees of ISS and NUS. For members of the cooperating societies only, please fill in the following: society name: _________________________ membership no: _____________ # For half-day tutorial registration, please indicate session: o morning o afternoon @ For student registration, please complete the following: Name of Supervisor : ______________________________________________ Supervisor's Signature: _____________________________ Date ___________ CONFERENCE REGISTRATION PAYMENT All payments should be made in Singapore Dollars, payable to NATIONAL UNIVERSITY OF SINGAPORE. Payment by Visa or Mastercard and personal and company cheques drawn on a Singapore bank will be accepted. Bank drafts must be payable in Singapore. A refund of 70% will be provided for written cancellations received by November 22, 1995. Thereafter, the full amount will be forfeited. o I enclose a bank draft/money order made payable to NATIONAL UNIVERSITY OF SINGAPORE for SIN $__________ Bank Draft/Money Order No:_____________ Issuing Bank:________________ o Please charge to my credit card (tick on circle): Card type: o Visa o Mastercard Card Holder's Name: ____________________________________________ Card Number: ________________________ Expiry date: ____________ Date: ____________ Cardholder's Signature: ____________________ ------------------------------------------------------------------------ HOTEL RESERVATION INFORMATION AND FORM (DOOD '95) Blocks of rooms have been reserved at the Excelsior Hotel. This tourist class hotels is at the heart of downtown Singapore, near shopping malls, museums, parks and restaurants. Hotel rooms are equipped with self-coded safe, teletext colour TV, IDD telephone, attached bath room and mini-bar. If you require hotel accommodation, please complete the necessary details on the hotel reservation form. Limited number of rooms are available and reservations at the special DOOD rate can be accepted until November 1, 1995 subjected to availability. After this date, reservations will be on a space available basis. Hotel deposit for one night is required to reserve each room. Transportation to/from hotel and conference site will be provided. Name (Prof/Dr/Mr/Ms): __________________________________________________ Organisation : __________________________________________________ Address : __________________________________________________ City : ___________ Postcode:_______ Country:___________ Telephone : ___________ Fax:____________ Email:_____________ Please make the following reservation. Check In Date: ___________Check Out Date: __________ for _______night(s) Single Room(s) (SIN $130* per room) ______ Double Room(s) (SIN $130* per room) ______ Twin Room(s) (SIN $130* per room) ______ * All room rates subjected to 4% tax and 10% service charge. o I enclose a bank draft or money order made payable to YTC Hotels Ltd. for SIN $__________ for my hotel reservations. Bank Draft/Money Order No: ____________ Issuing Bank: ________________ o Please charge my reservations to my credit card (tick on circle): Card type: o Visa o Mastercard o American Express o JCB Card Holder's Name: _____________________________________________ Card Number: _________________________ Expiry date: ____________ Date: ____________ Cardholder's Signature: _____________________ =========================================================================== ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Wed Jul 12 13:18:19 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 12 Jul 95 13:18:12 -0500; AA21684 Date: Wed, 12 Jul 95 13:18:11 -0500 From: Francesca Rossi Message-Id: <9507121818.AA04503@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 12 Jul 95 13:18:11 -0500 To: dbworld@quarg.cs.wisc.edu Sorry if you receive this more than once. Francesca Rossi. ------------------------------------------------------------------- CP'95 First International Conference on Principles and Practice of Constraint Programming September 19-22, 1995 Cassis, France GENERAL INFORMATION ******************* The interdisciplinary area of constraint programming and constraint-based systems has recently developed an appreciable identity. The new area needs an international forum to compare the results and discuss the new lines of development. CP'95 will take place in Cassis, a small village on the sea 25 Km east of Marseille from Tuesday to Friday. Four satellite workshops will be organized on September 18 and 23. The conference and the workshops will take place in a building called "Oustau Calendal" which is located between the port and the main beach of Cassis. FINAL PROGRAM ************* TUESDAY, September 19 ===================== INVITED LECTURE (9:30-10:30) What is Symbolic Computation?, Bruno Buchberger (RISC, Linz) COFFEE BREAK (10:30-11:00) SESSION 1: EFFICIENT CONSTRAINT HANDLING (11:00-12:30) 11:00 Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables, F. Ajili (CRIN & INRIA Lorraine) and E. Contejean (Universite' Paris-Sud) 11:30 From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals, Eric Domenjoud (CRIN/CNRS & INRIA-Lorraine) and Ana Paula Tomas (LIACC/University of Porto) 12:00 The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared, Barbara M. Smith (University of Leeds), Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams (University of Southampton) LUNCH (12:30-14:30) SESSION 2: CONSTRAINT SATISFACTION PROBLEMS 1 (14:30-16:30) 14:30 From Local to Global Consistency in Temporal Constraint Networks, Manolis Koubarakis (UMIST, Manchester) 15:00 Scaling Effects in the CSP Phase Transition, Ian P. Gent, Ewan MacIntyre, Patrick Prosser (University of Strathclyde) and Toby Walsh (IRST) 15:30 Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems, Makoto Yokoo (NTT Communication Science Laboratories) 16:00 Optimization-based Heuristics for Maximal Constraint Satisfaction, Javier Larrosa and Pedro Meseguer (Universitat Politecnica de Catalunya) COFFEE BREAK (16:30-17:00) SESSION 3: DATABASES (17:00-18:30) 17:00 First-order Definability over Constraint Databases, Stephane Grumbach (University of Toronto and INRIA) and Jianwen Su (University of California at Santa Barbara) 17:30 On Similarity Queries for Time-Series Data: Constraint Specification and Implementation, Dina Q. Goldin and Paris C. Kanellakis (Brown University) 18:00 Safe Stratified Datalog with Integer Order Programs, Peter Z. Revesz (University of Nebraska--Lincoln) WEDNESDAY, September 20 ======================= TUTORIAL (9:00-10:00) Constraint Solving for Combinatorial Search Problems: A Tutorial, Pascal van Hentenryck (Brown University) COFFEE BREAK (10:00-10:30) SESSION 4: CONSTRAINT LOGIC PROGRAMMING (10:30-12:30) 10:30 Constrained Dependencies, Michael Maher (IBM T.J. Watson Research Center) 11:00 Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic, Pierre Girodias, Eduard Cerny (Universite de Montreal) and William J. Older (Bell Northern Research) 11:30 Debugging Constraint Programs, Micha Meier (ECRC) 12:00 An Optimizing Compiler for CLP(R), Andrew Kelly, Andrew Macdonald, Kim Marriott, Harald Sondergaard, Peter Stuckey, Roland Yap (Monash University and University of Melbourne) LUNCH (12:30-14:30) SESSION 5: CONSTRAINT SATISFACTION PROBLEMS 2 (14:30-16:30) 14:30 Local and Global Relational Consistency, Rina Dechter (University of California, Irvine) and Peter van Beek (University of Alberta, Edmonton) 15:00 Dynamic Variable Ordering in CSPs, Fahiem Bacchus (University of Waterloo) and Paul van Run (University of Toronto) 15:30 A Unifying Framework for Tractable Constraints, Peter Jeavons, David Cohen (University of London) and Marc Gyssens (University of Limburg) 16:00 On the Forward Checking Algorithm, Fahiem Bacchus (University of Waterloo) and Adam Grove (University of Toronto) EXCURSION and SOCIAL DINNER (16:30-) THURSDAY, September 21 ====================== TUTORIAL (9:00-10:00) The Concurrent Constraint Programming research programmes, Vijay Saraswat (Xerox PARC) COFFEE BREAK (10:00-10:30) SESSION 6: CONCURRENT CONSTRAINT PROGRAMMING (10:30-12:30) 10:30 A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice, Kim Marriott (Monash University) and Martin Odersky (Universitaet Karlsruhe) 11:00 Situated Simplification, Andreas Podelski (MPI) and Gert Smolka (DFKI) 11:30 Guarded Constructive Disjunction : Angel or Demon ?, Christian Codognet (LIENS / University of Paris XIII) and Philippe Codognet (INRIA-Rocquencourt) 12:00 Domain Independent Ask Approximation in CCP, Enea Zaffanella (Universita' di Pisa) LUNCH (12:30-14:30) INDUSTRIAL SESSION (14:30-18:30) The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces, Alan Borning and Bjorn N. Freeman-Benson (University of Washington) Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation, Markus P.J. Fromherz and Vijay A. Saraswat (Xerox PARC) CLP in ECRC, Micha Meier and Alexander Herold (ECRC) Constraint Programming and Industrial Applications, Touraivane (PrologIA) Applications of Constraint Programming, Jean-Francois Puget (ILOG) The CHIP System and its Applications, Helmut Simonis (COSYTEC) FRIDAY, September 22 ==================== INVITED LECTURE (9:00-10:00) Automatic Generation of Invariants and Intermediate Assertions, Nikolai Bjorner, Anca Browne and Zohar Manna (Stanford University) COFFEE BREAK (10:00-10:30) SESSION 7: COMPUTATIONAL LOGIC (10:30-12:30) 10:30 On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers, Franz Baader (RWTH Aachen) and Klaus U. Schulz (Universitaet Muenchen) 11:00 Constraint Propagation in Model Generation, Jian Zhang and Hantao Zhang (University of Iowa) 11:30 Normalizing Narrowing for Weakly Terminating and Confluent Systems, Andreas Werner (Universitaet Karlsruhe) 12:00 On Termination of Constraint Logic Programs, Livio Colussi (Universita' di Padova), Elena Marchiori (CWI), Massimo Marchiori (Universita' di Padova) LUNCH (12:30-14:30) SESSION 8: APPLICATIONS (14:30-16:30) 14:30 Modelling Producer/Consumer Constraints, H. Simonis (COSYTEC) and T. Cornelissens (Beyers & Partners) 15:00 A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks, Daniel Sabin, Mihaiela C. Sabin, Robert D. Russell, Eugene C. Freuder (University of New Hampshire) 15:30 Solving Crew Scheduling Problems by Constraint Programming, Nabil Guerinik and Michel van Caneghem (LIM/PrologIA)) 16:00 A Visual Constraint-Programming Environment, Massimo Paltrinieri (Ecole Normale Superieure) COFFEE BREAK (16:30-17:00) SESSION 9: OPERATIONS RESEARCH (17:00-18:30) 17:00 Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?, Antoine Rauzy (LaBRI--Universite' Bordeaux I) 17:30 Improved Branch and Bound in Constraint Logic Programming, Steven Prestwich and Shyam Mudambi (ECRC) 18:00 Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling, Hans-Joachim Goltz (GMD-FIRST Berlin) SPONSORSHIP *********** CP'95 is in cooperation with AAAI and EATCS, is sponsored by ACM SIGART and SIGPLAN, and has received support from ACCLAIM, ALP, CCL, CNRS, Compulog Net, ONR, Universite' de la Mediterranee and Universita' di Pisa. CONFERENCE ORGANIZATION *********************** CP'95 Conference Chair: Alain Colmerauer CP'95 Program Chair: Ugo Montanari Organizing Committee: Alan Borning, Jacques Cohen, Alain Colmerauer, Eugene Freuder, Herve Gallaire, Jean-Pierre Jouannaud, Paris Kanellakis, Jean-Louis Lassez (chair), Ugo Montanari, Anil Nerode, Vijay Saraswat, Ralph Wachter. Program Committee: Hassan Ait-Kaci, Marianne Baudinet, Frederic Benhamou, Rina Dechter, Mehmet Dincbas, Manuel Hermenegildo, Alexander Herold, Hoon Hong, John Hooker, Claude Kirchner, Alan Mackworth, Michael Maher, Ken McAloon, Fumio Mizoguchi, Ugo Montanari (chair), Luis Monteiro, Catuscia Palamidessi, Gert Smolka, Peter van Beek, Pascal Van Hentenryck. SATELLITE WORKSHOPS ******************* Four satellite workshops will be organized at the same place as the conference: W1. "Over-Constrained Systems" Organizers: Gene Freuder, Michael Jampel and Michael Maher. Date: Monday, September 18. Contact: Gene Freuder (ecf@cs.unh.edu). W2. "Constraints for Graphics and Visualization" Organizers: Pascal Van Hentenryck, Isabel Cruz and Kim Marriott. Date: Monday, September 18. Contact: Pascal Van Hentenryck (pvh@cs.brown.edu). W3. "Set Constraints and Constrained Logic Programming" Organizers: Leszek Pacholski. Date: Saturday, September 23. Contact: Leszek Pacholski (leszek.pacholski@ii.uni.wroc.pl). W4. "Studying and Solving Really Hard Problems" Program Chairs: Pierre Siegel and Bart Selman. Local Organizers: Jihad Jaam and Philippe Jegou. Date: Saturday, September 23. Contact: Jihad Jaam (jihad.jaam@lim.univ-mrs.fr). CONFERENCE INFORMATION ********************** CONFERENCE CONTACT ================== Please address all inquiries to: Alain Colmerauer Lab. d'Informatique de Marseille Faculte des Sciences de Luminy 163, Avenue de Luminy F-13288 Marseille CEDEX 9 France E-mail: cp95@lim.univ-mrs.fr REGISTRATION ============ The early registration fee, until 15th August, is 700FF for students and 1400FF for non students. The late registration fee, after 15th August, is 800FF for students and 1600FF for non students. This fee includes: - proceedings published by Springer Verlag (not for students); - 4 lunches at the restaurant "Le Grand Large" right on the beach, 100 meters away from the conference room (Tuesday to Friday); - a visit of the "Calanques" by boat, Wednesday afternoon; and - a buffet, Wednesday evening. Accommodation, evening meals and any costs related to satellite workshops are not included in the fee. To register please send to Alain Colmerauer (conference contact): - the completed registration form, - a justification of your student status, if you take the student rate, - a check, in French Francs, payable to "Agent Comptable de l'Universite de la Mediterrannee" of the required amount. As soon as we get your check we will send you a receipt together with further information about Cassis. Important: If you have chosen the transportation provided by the CP95 organization, please tell us by e-mail, as soon as you know it, the time and date of your arrival and departure, and your flight numbers. ACCOMMODATION ============= Accommodation should be settled RIGHT NOW. Cassis is a touristic place with not so many hotels. We have made an agreement with the organization: Cassis Tourisme, Place Baragnon, 13260 Cassis, France tel. (33) 42 01 88 34, fax. (33) 42 01 28 31 for booking 85 rooms UNTIL JULY 15 in the following hotels and under the following conditions: Hotel des Roches Blanches **** Location: on the sea, 550m from the conference rooms Single room + breakfast: 900 F Double room + breakfast: 970 F tel. (33) 42 01 09 30, fax.(33) 42 01 94 23 Hotel de la Plage du Bestouan *** Location: on a small beach, 400m from the conference rooms Single room + breakfast: 465 F Double room + breakfast: 510 F tel. (33) 42 01 05 70, fax.(33) 42 01 34 82 Hotel de la Rade *** Location: near the port, 300m from the conference rooms Single room + breakfast: 500 F Double room + breakfast: 545 F tel. (33) 42 01 02 97, fax.(33) 42 01 01 32 Hotel les Jardins du Campanile *** Location: 900m up hill from the conference rooms Single room + breakfast: 350 F Double room + breakfast: 400 F tel. (33) 42 01 84 85, fax.(33) 42 01 32 38 Hotel le Golfe ** Location: on the port, 250m from the conference rooms View on the port Single room + breakfast: 400 F Double room + breakfast: 440 F No view on the port Single room + breakfast: 345 F Double room + breakfast: 385 F tel. (33) 42 01 00 21, fax.(33) 42 01 92 08 Hotel le Liautaud ** Location: on the port, 100m from the conference rooms Single room + breakfast: 375 F Double room + breakfast: 410 F tel. (33) 42 01 75 37, fax.(33) 42 01 12 08 Hotel le Grand Jardin ** Location: village center, 150m from the conference rooms Single room + breakfast: 390 F Double room + breakfast: 430 F tel. (33) 42 01 70 10, fax.(33) 42 01 33 75 Hotel le Commerce * Location: over the port, 250m from the conference rooms With view on the port: Single room + breakfast: 330 F Double room + breakfast: 360 F Without view on the port: Single room + breakfast: 280 F Double room + breakfast: 310 F tel. (33) 42 01 09 10 In addition to these prices, 4 to 7 F of taxes per day and per person should be paid directly to the hotel. LOCATION ======== Cassis is a small Provencal harbour 25 Km East of Marseille. It is embedded between Mediterranean sea, high cliffs and terraced vineyards. It is famous for its climate, its seafood and its wine. In September the temperature is still warm, but heavy rain can sometimes fall. TRAVEL INFORMATION ================== Cassis can be reached by: CAR: Take highway B52, exit Cassis. Parking in Cassis is not very easy. TRAIN: There are daily connections with Marseille and Toulon, towns which can be easily reached from Paris (TGV), Italy, Switzerland, or Spain. The Cassis station is 4 kilometers away from the Cassis village center. A taxi (40/50 FF) or 40 minutes walk are necessary. Train departures times from Marseille St. Charles station to Cassis (20 minutes traveling time): - Saturday: 7:41, 9:45, 11:14, 12:14, 14:42, 15:30, 16:20, 17:00, 18:15, 18:55, 20:58, 22:11, 23:18. - Sunday: 8:00, 9:45, 11:14, 12:14, 14:42,15:30, 16:20,17:00, 18:15, 18:55, 20:58, 22:11, 23:18. - Working days: 8:45, 9:45, 11:14, 12:14, 15:30, 16:20, 16:45, 17:00, 17:22, 18:15, 18:55, 19:27, 20:58, 22:11, 23:18. AIRPLANE: The international airport Marseille-Provence is 60 Km from Cassis. >From the airport either (1) take a taxi to Cassis (about 50 minutes, 300/400 FF), or (2) take a bus to Marseille St. Charles station (40 FF, every 20 minutes until 22:30), a train to Cassis station and a walk or a taxi to Cassis center (see above), or (3) the CP95 organization will take care of you at your airport arrival under the conditions described below. As it is difficult to reach Cassis from the airport, the CP95 organization will provide transportation from the airport to the center of Cassis, and from the center of Cassis to the airport. Transportation will be available on September 16, 17, 18 (arriving), and on September 22, 23, 24 (leaving) and will cost 150 FF, each way. WHAT TO DO NOW ============== Participants should as soon as possible: - fill the hotel reservation form given below, - send the form to Cassis Tourisme, - send to Cassis Tourisme a postal money order or a check, in French Francs, payable to "Cassis Tourisme" of 30% of the total amount of accommodation costs, -register with Alain Colmerauer as described above. AFTER JULY 15 THERE IS NO GUARANTEE OF FREE ROOMS, but Cassis Tourisme will still help to find accommodation. ____________________________________________________________ Send to: Cassis Tourisme Place Baragnon, 13260 Cassis, France HOTEL RESERVATION FOR THE CP'95 CONFERENCE FIRST NAME: __________ FAMILY NAME: ___________ TYPE OF ROOM. Circle one: single room double room ARRIVAL DATE: _________________________________________________ DEPARTURE DATE: ________________________________________________ HOTEL PREFERENCES: ROOM PRICE CHOICE 1 ___________ ________ CHOICE 2 ___________ ________ CHOICE 3 ___________ ________ CHOICE 4 ___________ ________ 30% OF TOTAL COSTS OF CHOICE 1 ________ DATE: SIGNATURE: _________________________________________________ REGISTRATION FORM ================= NAME : _________________________________________ INSTITUTION : ____________________________________ ADDRESS : _______________________________________________________ _______________________________________________________ _______________________________________________________ PHONE NUMBER : ____________ FAX NUMBER : ____________ E-MAIL : ______________________________________________________ REGISTRATION FEE (student, early) : 700FF : _________ REGISTRATION FEE (student, late) : 800FF : _________ REGISTRATION FEE (non student, early) : 1400FF : _________ REGISTRATION FEE (non student, late) : 1600FF : _________ TRANSPORTATION Airport -> Cassis : 150 FF X [ ] : _________ TRANSPORTATION Cassis -> Airport : 150 FF X [ ] : _________ TOTAL AMOUNT : _________ If you choose transportation, - I think I will arrive on : _________________________ - I think I will leave on : _________________________ SIGNATURE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%begin of latex version%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \documentstyle[twocolumn]{article} \pagestyle{empty} \topmargin 0pt \advance \topmargin by -\headheight \advance \topmargin by -\headsep \marginparsep 10pt \oddsidemargin 0pt \evensidemargin \oddsidemargin \marginparwidth 0.5in \textwidth 6.5in \textheight 23.3cm %\textheight 20in % We'll do our own pagebreaks. \newcommand{\mynewpage}{\newpage\noindent} \advance \oddsidemargin by -.3in \advance \evensidemargin by -.3in \advance \textwidth by .6in \advance \columnsep by .3in \newcommand{\eightmm}{\makebox[8mm]{}} \newcommand{\smc}[1]{{\small\rm #1}} \renewcommand{\sp}{\makebox[1.5mm]{}} \newcommand{\tlk}[1]{\vspace*{1.0mm}\newline{\sf #1}\hspace*{1mm}} \newcommand{\ttlk}[1]{\noindent{\sf #1}\hspace*{1.6mm}} \newcommand{\new}{\vspace*{0.7mm}\newline{$\bullet$}\hspace*{1mm}} \newcommand{\ttalk}{$\bullet$\hspace*{1mm}} \newcommand{\next}{\newline\hspace*{4mm}} \newcommand{\nextctd}{\linebreak\rule{0in}{0in}\hspace{4mm}} \newcommand{\aut}{\newline\hspace*{4mm}} \newcommand{\bx}{$\Large \Box$} \newcommand{\twocm}{\makebox[2cm]{}} \newcommand{\onecm}{\makebox[1cm]{}} \newcommand{\zero}{\makebox[0cm]{}} \newcommand{\onemm}{\makebox[1mm]{}} \newcommand{\twomm}{\makebox[2mm]{}} \newcommand{\threemm}{\makebox[3mm]{}} \newcommand{\ulonecm}{\rule{1.4cm}{0.3mm}} \newcommand{\tulonecm}{\rule{1.4cm}{0.15mm}} \newcommand{\nlg}{{\sc nlg}} \newcommand{\sbf}{\bf} \newlength{\talktimelength} \newlength{\talknamelength} \settowidth{\talktimelength}{\sf{}00:000} \setlength{\talknamelength}{.5\textwidth} \addtolength{\talknamelength}{-.5\columnsep} \addtolength{\talknamelength}{-\talktimelength} \newcommand{\talk}[3]% { \zero\\ \noindent \parbox[t]{\talktimelength}{\sf #1}% \parbox[t]{\talknamelength}{{\it #2,} {#3}} } \newcommand{\sessionskip}{\vspace{1ex}} \newcommand{\firsttalkskip}{\newline\vspace{-10pt}} \begin{document} % ******** TITLE PAGE ************* \begin{center} {\large\bf CP'95}\\[3mm] {\Large\bf First International Conference on}\\[3mm] {\Large\bf Principles and Practice of Constraint Programming}\\[3mm] \makebox[1mm]{}\\ {\bf September 19-22, 1995}\\[2mm] {\bf Cassis, France}\\[1cm] %{\it In cooperation with AAAI and EATCS}\\[3mm] %{\it Sponsored by ACM SIGART and SIGPLAN}\\[3mm] %{\it With support from}\\[3mm] %{\it ACCLAIM, ALP, CCL, CNRS, Compulog Net, ONR,}\\[3mm] %{\it Universite' de la Mediterranee and Universita' di Pisa}\\[0in] %\vfill \end{center} \vspace{.1cm} \begin{center} {\large\bf General Information} \end{center} The interdisciplinary area of constraint programming and constraint-based systems has recently developed an appreciable identity. The new area needs an international forum to compare the results and discuss the new lines of development. CP'95 will take place in Cassis, a small village on the sea 25 Km east of Marseille from Tuesday to Friday. Four satellite workshops will be organized on September 18 and 23. The conference and the workshops will take place in a building called "Oustau Calendal" which is located between the port and the main beach of Cassis. \medskip \begin{center} {\large\bf Final Program} \end{center} \smallskip \begin{center} {\sf TUESDAY, September 19} \end{center} \noindent {\bf Invited Lecture} \hfill {\sf (9:30--10:30)}\\[0mm] {\em What is Symbolic Computation?}\\ Bruno Buchberger (RISC, Linz) \sessionskip \noindent {\bf Coffee break} \hfill {\sf (10:30--11:00)} \sessionskip \noindent {\bf Session 1: Efficient Constraint Handling} \hfill {\sf (11:00--12:30)}\\[0mm] \smallskip \talk{11:00}% {Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables}% {F. Ajili (CRIN \& INRIA Lorraine) and E. Contejean (Universit\'{e} Paris-Sud)} \talk{11:30}% {From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals}{Eric Domenjoud (CRIN/CNRS \& INRIA-Lorraine) and Ana Paula Tom\'as (LIACC/University of Porto)} \talk{12:00}{The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared}{Barbara M. Smith (University of Leeds), Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams (University of Southampton)} \sessionskip \noindent {\bf Lunch} \hfill {\sf (12:30--2:30)} \sessionskip \noindent {\bf Session 2: Constraint Satisfaction Problems 1} \hfill {\sf (2:30--4:30)}\\[0mm] \smallskip \talk{2:30}{From Local to Global Consistency in Temporal Constraint Networks}{Manolis Koubarakis (UMIST, Manchester)} \talk{3:00}{Scaling Effects in the CSP Phase Transition} {Ian P. Gent, Ewan MacIntyre, Patrick Prosser (University of Strathclyde) and Toby Walsh (IRST)} \talk{3:30}{Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems}{Makoto Yokoo (NTT Communication Science Laboratories)} \talk{4:00}{Optimization-based Heuristics for Maximal Constraint Satisfaction}{Javier Larrosa, Pedro Meseguer (Universitat Polit\`{e}cnica de Catalunya)} \sessionskip \noindent {\bf Coffee break} \hfill {\sf (4:30--5:00)} \sessionskip \noindent {\bf Session 3: Databases} \hfill {\sf (5:00--6:30)}\\[0mm] \smallskip \talk{5:00}{First-order Definability over Constraint Databases} {St\'{e}phane Grumbach (University of Toronto and INRIA) and Jianwen Su (University of California at Santa Barbara)} \talk{5:30}{On Similarity Queries for Time-Series Data: Constraint Specification and Implementation}{Dina Q. Goldin and Paris C. Kanellakis (Brown University)} \talk{6:00}{Safe Stratified Datalog with Integer Order Programs} {Peter Z. Revesz (University of Nebraska--Lincoln)} \smallskip \begin{center} {\sf WEDNESDAY, September 20} \end{center} \noindent {\bf Tutorial} \hfill {\sf(9:00-10:00)}\\[0mm] {\em Constraint Solving for Combinatorial Search Problems: A Tutorial}\\ Pascal van Hentenryck (Brown University) \sessionskip \noindent {\bf Coffee break} \hfill {\sf (10:00--10:30)} \sessionskip \noindent {\bf Session 4: Constraint Logic Programming} \hfill {\sf (10:30--12:30)}\\[0mm] \smallskip \talk{10:30}{Constrained Dependencies}{Michael Maher (IBM T.J. Watson Research Center)} \talk{11:00}{Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic}{Pierre Girodias, Eduard Cerny (Universit\'{e} de Montr\'{e}al) and William J. Older (Bell Northern Research)} \talk{11:30}{Debugging Constraint Programs}{Micha Meier (ECRC)} \talk{12:00}{An Optimizing Compiler for CLP(R)}{Andrew Kelly, Andrew Macdonald, Kim Marriott, Harald S$\o$ndergaard, Peter Stuckey, Roland Yap (Monash University and University of Melbourne)} \sessionskip \noindent {\bf Lunch} \hfill {\sf (12:30--2:30)} \sessionskip \noindent {\bf Session 5: Constraint Satisfaction Problems 2} \hfill {\sf (2:30--4:30)}\\[0mm] \smallskip \talk{2:30}{Local and Global Relational Consistency}{Rina Dechter (University of California, Irvine) and Peter van Beek (University of Alberta, Edmonton)} \talk{3:00}{Dynamic Variable Ordering in CSPs}{Fahiem Bacchus (University of Waterloo) and Paul van Run (University of Toronto)} \talk{3:30}{A Unifying Framework for Tractable Constraints}{Peter Jeavons, David Cohen (University of London) and Marc Gyssens (University of Limburg)} \talk{4:00}{On the Forward Checking Algorithm}{Fahiem Bacchus (University of Waterloo) and Adam Grove (University of Toronto)} \sessionskip \noindent {\bf Escursion and Social Dinner} \hfill {\sf (4:30pm)} \bigskip \bigskip \bigskip \begin{center} {\sf THURSDAY, September 21} \end{center} \noindent {\bf Tutorial} \hfill {\sf (9:00--10:00)}\\[0mm] {\em The Concurrent Constraint Programming research programmes}\\ Vijay Saraswat (Xerox PARC) \sessionskip \noindent {\bf Coffee Break} \hfill {\sf (10:00--10:30)} \sessionskip \noindent {\bf Session 6: Concurrent Constraint Programming} \hfill {\sf (10:30--12:30)}\\[0mm] \smallskip \talk{10:30}{A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice}{Kim Marriott (Monash University) and Martin Odersky (Universit\"{a}t Karlsruhe)} \talk{11:00}{Situated Simplification}{Andreas Podelski (MPI) and Gert Smolka (DFKI)} \talk{11:30}{Guarded Constructive Disjunction : Angel or Demon?} {Christian Codognet (LIENS / University of Paris XIII) and Philippe Codognet (INRIA-Rocquencourt)} \talk{12:00}{Domain Independent Ask Approximation in CCP}{Enea Zaffanella (Universit\`a di Pisa)} \sessionskip \noindent {\bf Lunch} \hfill {\sf (12:30--2:30)} \sessionskip \bigskip \bigskip \bigskip \noindent {\bf Industrial Session} \hfill {\sf (2:30--6:30)}\\[0mm] \smallskip \talk{$\bullet$}{The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces}{Alan Borning and Bjorn N. Freeman-Benson (University of Washington)} \talk{$\bullet$}{Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation}{Markus P.J. Fromherz and Vijay A. Saraswat (Xerox PARC)} \talk{$\bullet$}{CLP in ECRC}{Micha Meier and Alexander Herold (ECRC)} \talk{$\bullet$}{Constraint Programming and Industrial Applications}{Toura\"{\i}vane (PrologIA)} \talk{$\bullet$}{Applications of Constraint Programming}{Jean-Fran\c{c}ois Puget (ILOG)} \talk{$\bullet$}{The CHIP System and its Applications}{Helmut Simonis (COSYTEC)} %Invited presentations about activities at COSYTEC, ILOG, %OTI, ProloGIA, Xerox and others. \smallskip \begin{center} {\sf FRIDAY, September 22} \end{center} \noindent {\bf Invited Lecture} \hfill {\sf (9:00--10:00)}\\[0mm] {\em Automatic Generation of Invariants and Intermediate Assertions}\\ Nikolai Bj$\o$rner, Anca Browne and Zohar Manna (Stanford University) \sessionskip \noindent {\bf Coffee Break} \hfill {\sf (10:00--10:30)} \sessionskip \noindent {\bf Session 7: Computational Logic} \hfill {\sf (10:30-12:30)}\\[0mm] \smallskip \talk{10:30}{On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers}{Franz Baader (RWTH Aachen) and Klaus U. Schulz (Universit\"{a}t M\"{u}nchen)} \talk{11:00}{Constraint Propagation in Model Generation} {Jian Zhang and Hantao Zhang (University of Iowa)} \talk{11:30}{Normalizing Narrowing for Weakly Terminating and Confluent Systems}{Andreas Werner (Universit\"{a}t Karlsruhe)} \talk{12:00}{On Termination of Constraint Logic Programs} {Livio Colussi (Universit\`a di Padova), Elena Marchiori (CWI), Massimo Marchiori (Universit\`a di Padova)} \sessionskip \noindent {\bf Lunch} \hfill {\sf (12:00--2:30)} \sessionskip \noindent {\bf Session 8: Applications} \hfill {\sf (14:30--16:30)}\\[0mm] \smallskip \talk{2:30}{Modelling Producer/Consumer Constraints} {H. Simonis (COSYTEC) and T. Cornelissens (Beyers \& Partners)} \talk{3:00}{A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks}{Daniel Sabin, Mihaela C. Sabin, Robert D. Russell, Eugene C. Freuder (University of New Hampshire)} \talk{3:30}{Solving Crew Scheduling Problems by Constraint Programming} {Nabil Guerinik and Michel van Caneghem (LIM/PrologIA)} \talk{4:00}{A Visual Constraint-Programming Environment} {Massimo Paltrinieri (Ecole Normale Sup\'erieure)} \sessionskip \noindent {\bf Coffee Break} \hfill {\sf (4:30--5:00)} \sessionskip \noindent {\bf Session 9: Operations Research} \hfill {\sf (5:00--6:30)}\\[0mm] \smallskip \talk{5:00}{Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?} {A. Rauzy (LaBRI--Universit\'{e} Bordeaux I)} \talk{5:30}{Improved Branch and Bound in Constraint Logic Programming} {Steven Prestwich and Shyam Mudambi (ECRC)} \talk{6:00}{Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling}{Hans-Joachim Goltz (GMD-FIRST Berlin)} %\sessionskip %\noindent{\bf End of Conference.} \vspace{.5cm} \begin{center} {\large\bf Sponsorship} \end{center} CP'95 is in cooperation with AAAI and EATCS, is sponsored by ACM SIGART and SIGPLAN, and has received support from ACCLAIM, ALP, CCL, CNRS, Compulog Net, ONR, the Universit\'{e} de la M\'editerran\'ee and the Universit\`{a} di Pisa. \vspace{.3cm} \begin{center} {\large\bf Conference Organization} \end{center} \noindent {\bf CP'95 Conference Chair:} {\rm Alain Colmerauer}\\[1.7mm] {\bf CP'95 Program Chair:} {\rm Ugo Montanari}\\[2.7mm] {\bf Organizing Committee:} Alan Borning, Jacques Cohen, Alain Colmerauer, Eugene Freuder, Herve Gallaire, Jean-Pierre Jouannaud, Paris Kanellakis, Jean-Louis Lassez (chair), Ugo Montanari, Anil Nerode, Vijay Saraswat, Ralph Wachter.\\[2mm] {\bf Program Committee:} Hassan A\'{\i}t-Kaci, Marianne Baudinet, Fr\'ed\'eric Benhamou, Rina Dechter, Mehmet Dincbas, Manuel Hermenegildo, Alexander Herold, Hoon Hong, John Hooker, Claude Kirchner, Alan Mackworth, Michael Maher, Ken McAloon, Fumio Mizoguchi, Ugo Montanari (chair), Luis Monteiro, Catuscia Palamidessi, Gert Smolka, Peter van Beek, Pascal Van Hentenryck. \vspace{.6cm} \begin{center} {\large\bf Satellite Workshops} \end{center} Four satellite workshops will be organized at the same place as the conference: \begin{description} \item[W1:] {\bf Over-Constrained Systems}\\ Organizers: Gene Freuder, Michael Jampel and Michael Maher. Date: Monday, September 18. Contact: Gene Freuder (ecf@cs.unh.edu). \item[W2:] {\bf Constraints for Graphics and Visualization}\\ Organizers: Pascal Van Hentenryck, Isabel Cruz and Kim Marriott. Date: Monday, September 18. Contact: Pascal Van Hentenryck (pvh@cs.brown.edu). \item[W3:]{\bf Set Constraints and Constrained Logic Programming}\\ Organizers: Leszek Pacholski. Date: Saturday, September 23. Contact: Leszek Pacholski (leszek.pacholski@ii.uni.wroc.pl). \item[W4:]{Studying and Solving Really Hard Problems}\\ Program Chairs: Pierre Siegel and Bart Selman. Local Organizers: Jihad Jaam and Philippe Jegou. Date: Saturday, September 23. Contact: Jihad Jaam (jihad.jaam@lim.univ-mrs.fr). \end{description} %\bigskip \begin{center} {\large\bf Conference Information} \end{center} \noindent{\sbf Conference Contact.} %\ \ Please address all inquiries to: \begin{verse}\it Alain Colmerauer\\ Lab. d'Informatique de Marseille\\ Facult\'e des Sciences de Luminy\\ 163, Avenue de Luminy\\ F-13288 Marseille CEDEX 9\\ France\\ E-mail: cp95@lim.univ-mrs.fr \end{verse} \medskip \noindent{\sbf Registration.} %\ \ The early registration fee, until 15th August, is 700FF for students and 1400FF for non students. The late registration fee, after 15th August, is 800FF for students and 1600FF for non students. This fee includes: \begin{itemize} \item proceedings published by Springer Verlag (not for students); \item 4 lunches at the restaurant "Le Grand Large" right on the beach, 100 meters away from the conference room (Tuesday to Friday); \item a visit of the "Calanques" by boat, Wednesday afternoon; and \item a buffet, Wednesday evening. \end{itemize} Accommodation, evening meals and any costs related to satellite workshops are not included in the fee. To register please send to Alain Colmerauer (conference contact): \begin{itemize} \item the completed registration form, \item a justification of your student status, if you take the student rate, \item a check, in French Francs, payable to ``Agent Comptable de l'Universit\'{e} de la M\'editerran\'ee'' of the required amount. \end{itemize} As soon as we get your check we will send you a receipt together with further information about Cassis. Important: If you have chosen the transportation provided by the CP95 organization, please tell us by e-mail, as soon as you know it, the time and date of your arrival and departure, and your flight numbers. \medskip \noindent{\sbf Accommodation.} %\ \ {\bf Accommodation should be settled right now}. Cassis is a touristic place with not so many hotels. We have made an agreement with the organization: \begin{verse}\it Cassis Tourisme\\ Place Baragnon\\ 13260 Cassis, France\\ tel. (33) 42 01 88 34, fax. (33) 42 01 28 31 \end{verse} \noindent for booking 85 rooms {\bf until July 15} in the following hotels and under the following conditions: \begin{itemize} \item Hotel des Roches Blanches ****\\ Location: on the sea, 550m from the conference\\ Single room + breakfast: 900 F\\ Double room + breakfast: 970 F\\ tel. (33) 42 01 09 30, fax.(33) 42 01 94 23 \item Hotel de la Plage du Bestouan ***\\ Location: on a small beach, 400m from the conference\\ Single room + breakfast: 465 F\\ Double room + breakfast: 510 F\\ tel. (33) 42 01 05 70, fax.(33) 42 01 34 82 \item Hotel de la Rade ***\\ Location: near the port, 300m from the conference\\ Single room + breakfast: 500 F\\ Double room + breakfast: 545 F\\ tel. (33) 42 01 02 97, fax.(33) 42 01 01 32 \item Hotel les Jardins du Campanile ***\\ Location: 900m up hill from the conference\\ Single room + breakfast: 350 F\\ Double room + breakfast: 400 F\\ tel. (33) 42 01 84 85, fax.(33) 42 01 32 38 \item Hotel le Golfe **\\ Location: on the port, 250m from the conference\\ View on the port\\ Single room + breakfast: 400 F\\ Double room + breakfast: 440 F\\ No view on the port\\ Single room + breakfast: 345 F\\ Double room + breakfast: 385 F\\ tel. (33) 42 01 00 21, fax.(33) 42 01 92 08 \item Hotel le Liautaud **\\ Location: on the port, 100m from the conference\\ Single room + breakfast: 375 F\\ Double room + breakfast: 410 F\\ tel. (33) 42 01 75 37, fax.(33) 42 01 12 08 \item Hotel le Grand Jardin **\\ Location: village center, 150m from the conference\\ Single room + breakfast: 390 F\\ Double room + breakfast: 430 F\\ tel. (33) 42 01 70 10, fax.(33) 42 01 33 75 \item Hotel le Commerce *\\ Location: over the port, 250m from the conference\\ With view on the port:\\ Single room + breakfast: 330 F\\ Double room + breakfast: 360 F\\ Without view on the port:\\ Single room + breakfast: 280 F\\ Double room + breakfast: 310 F\\ tel. (33) 42 01 09 10 \end{itemize} In addition to these prices, 4 to 7 F of taxes per day and per person should be paid directly to the hotel. \medskip \noindent{\sbf Location.} % \ \ Cassis is a small Proven\c{c}al harbour 25 Km East of Marseille. It is embedded between Mediterranean sea, high cliffs and terraced vineyards. It is famous for its climate, its seafood and its wine. In September the temperature is still warm, but heavy rain can sometimes fall. \medskip \noindent{\sbf Travel Information.} %\ \ Cassis can be reached by: \begin{description} \item[car:] Take highway B52, exit Cassis. Parking in Cassis is not very easy. \item[train:] There are daily connections with Marseille and Toulon, towns which can be easily reached from Paris (TGV), Italy, Switzerland, or Spain. The Cassis station is 4 kilometers away from the Cassis village center. A taxi (40/50 FF) or 40 minutes walk are necessary. Train departures times from Marseille St. Charles station to Cassis (20 minutes traveling time): \begin{itemize} \item Saturday: 7:41, 9:45, 11:14, 12:14, 14:42, 15:30, 16:20, 17:00, 18:15, 18:55, 20:58, 22:11, 23:18. \item Sunday: 8:00, 9:45, 11:14, 12:14, 14:42,15:30, 16:20,17:00, 18:15, 18:55, 20:58, 22:11, 23:18. \item Working days: 8:45, 9:45, 11:14, 12:14, 15:30, 16:20, 16:45, 17:00, 17:22, 18:15, 18:55, 19:27, 20:58, 22:11, 23:18. \end{itemize} \item[airplane:] The international airport Marseille-Provence is 60 Km from Cassis. From the airport either (1) take a taxi to Cassis (about 50 minutes, 300/400 FF), or (2) take a bus to Marseille St. Charles station (40 FF, every 20 minutes until 22:30), a train to Cassis station and a walk or a taxi to Cassis center (see above), or (3) the CP95 organization will take care of you at your airport arrival under the conditions described below. As it is difficult to reach Cassis from the airport, the CP95 organization will provide transportation from the airport to the center of Cassis, and from the center of Cassis to the airport. Transportation will be available on September 16, 17, 18 (arriving), and on September 22, 23, 24 (leaving) and will cost 150 FF, each way. \end{description} %\medskip %\noindent {\sbf What to do now.} %\ \ %Participants should as soon as possible: %\begin{itemize} %\item fill the form given below, %\item send the form to Cassis Tourisme, %\item send to Cassis Tourisme a postal money order or a check, in %French Francs, payable to "Cassis Tourisme" of 30% of the %total amount of accommodation costs. %\item register with Alain Colmerauer as described above. %\end{itemize} %After July 15 there is no %guaranty of free rooms, but Cassis Tourisme will still help to find %accommodation.\\ \noindent \mbox{}\hrulefill\zero\\[.5cm] \noindent {\bf HOTEL RESERVATION FOR THE CP'95 CONFERENCE}\\ \smallskip \noindent Send to: Cassis Tourisme\\ Place Baragnon, 13260 Cassis, France \medskip \noindent FIRST NAME: \hrulefill\zero\\[3mm] FAMILY NAME: \hrulefill\zero\\[3mm] \medskip \noindent TYPE OF ROOM. {\it Circle one:} single \hspace{1cm} double \noindent ARRIVAL DATE: \hrulefill\zero\\[3mm] DEPARTURE DATE: \hrulefill\zero\\[3mm] \medskip \noindent HOTEL PREFERENCES: \begin{description} \item[CHOICE 1:] \rule{2cm}{.01cm} room price: \hrulefill\zero \item[CHOICE 2:] \rule{2cm}{.01cm} room price: \hrulefill\zero \item[CHOICE 3:] \rule{2cm}{.01cm} room price: \hrulefill\zero \item[CHOICE 4:] \rule{2cm}{.01cm} room price: \hrulefill\zero \end{description} \medskip \noindent 30\% OF TOTAL COSTS OF CHOICE 1: \hrulefill\zero\\[3mm] %\rule{0in}{0in} \smallskip \noindent DATE: \hrulefill\zero\\[3mm] SIGNATURE: \hrulefill\zero\\[.5cm] \noindent \mbox{}\hrulefill\zero\\[3mm] \vspace{-.5cm} \noindent {\sbf What to do now.} %\ \ Participants should as soon as possible: \begin{itemize} \item fill the hotel reservation form given below, \item send the form to Cassis Tourisme, \item send to Cassis Tourisme a postal money order or a check, in French Francs, payable to "Cassis Tourisme" of 30\% of the total amount of accommodation costs. \item register with Alain Colmerauer as described above. \end{itemize} {\bf After July 15 there is no guaranty of free rooms}, but Cassis Tourisme will still help to find accommodation.\\ \medskip \vspace{.1cm} \noindent \mbox{}\hrulefill\zero\\[.5cm] \noindent {\bf REGISTRATION FORM FOR THE CP'95 CONFERENCE}\\ \medskip \noindent NAME: \hrulefill\zero\\[3mm] INSTITUTION: \hrulefill\zero\\[3mm] ADDRESS: \hrulefill\zero\\[3mm] \mbox{}\hrulefill\zero\\[3mm] \mbox{}\hrulefill\zero\\[3mm] PHONE NUMBER: \hrulefill\zero\\[3mm] FAX NUMBER: \hrulefill\zero\\[3mm] E-MAIL: \hrulefill\zero\\[3mm] \medskip \noindent REG. FEE (student, early): 700FF \hrulefill\zero\\[3mm] REG. FEE (student, late): 800FF \hrulefill\zero\\[3mm] REG. FEE (non-student, early): 1400FF \hrulefill\zero\\[3mm] REG. FEE (non-student, late): 1600FF \hrulefill\zero\\[3mm] TRANSP. Airport-Cassis: 150FF $\times$ [ ]: \hrulefill\zero\\[3mm] TRANSP. Cassis-Airport: 150FF $\times$ [ ]: \hrulefill\zero\\[3mm] TOTAL AMOUNT: \hrulefill\zero\\[3mm] \medskip \noindent If you choose transportation, \begin{itemize} \item I think I will arrive on: \hrulefill \item I think I will leave on: \hrulefill \end{itemize} \noindent SIGNATURE: \hrulefill\zero\\[.5cm] \noindent \mbox{}\hrulefill\zero\\[3mm] \end{document} \end{document} ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@quarg.cs.wisc.edu Thu Jul 13 11:12:23 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Thu, 13 Jul 95 11:12:19 -0500; AA00645 Date: Thu, 13 Jul 95 11:12:17 -0500 From: "Elke A. Rundensteiner" Message-Id: <9507131612.AA10077@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Thu, 13 Jul 95 11:12:17 -0500 To: dbworld@quarg.cs.wisc.edu Preliminary Call for Papers ADL '96 Forum on Research and Technology Advances in Digital Libraries MAY 13-15, 1996 Washington, D.C. SPONSORED by: NASA Goddard Space Flight Center and The National Library of Medicine IN COOPERATION WITH: Brown University, Columbia University, Cornell University, George Washington University, IEEE Computer Society*, The Library of Congress, National Institute of Standards & Technology; Rutgers Center for Info. Mgt, Integration & Connectivity, University of Milano and University of Maryland Baltimore County CORPORATE SUPPORT: AT&T, Bellcore, Bell Atlantic*, Comsat*, Cray Research*, GTE*, Hughes Network Systems*, IBM Corp., 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.; H. Hansen, Wirtschafts Univ., Austria; P. Hunter, NASA; H. Jagadish, AT&T Bell Labs.; P. Kanellakis, Brown Univ.; W. Litwin, Univ. of Paris, France; A. McCray, The National Library of Medicine; R. Medina, Law Lib. of Congress; 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*. *Pending Approval ---------------------------------------------------------------- Elke A. Rundensteiner Assistant Professor Elect. Engineering & Computer Science Dep. Software Systems Research Laboratory University of Michigan, Ann Arbor 1301 Beal Ave; Ann Arbor, MI 48109-2122 rundenst@eecs.umich.edu tel (313) 936-2971 fax (313) 763-1503 ---------------------------------------------------------------- ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Thu Jul 13 11:19:42 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Thu, 13 Jul 95 11:19:38 -0500; AA00722 Date: Thu, 13 Jul 95 11:19:37 -0500 From: Stefan Conrad Message-Id: <9507131619.AA10116@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Thu, 13 Jul 95 11:19:37 -0500 To: dbworld@quarg.cs.wisc.edu CALL FOR SHORT PRESENTATIONS POST-CONFERENCE WORKSHOP (DOOD'95) ON TEMPORAL REASONING IN DEDUCTIVE AND OBJECT-ORIENTED DATABASES (December 8, 1995, Singapore) The DOOD-workshop on Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD) will take place as a half-day workshop directly following the DOOD'95 conference. The workshop program consists of four long presentations and a small number of short presentations. The following papers have been accepted for long presentation: o A Temporal and Probabilistic, Deductive and Object-Oriented Query Language B. Wuthrich, W. C. Tong, K. Sankaran o Schema Evolution in a Deductive Framework N. Kesim, M. Sergot o Adding a Temporal Dimension to a Deductive Database T. Orci o The ChronoBase Temporal Deductive Database System P. M\"oller, S. Sripada In case you are interested in giving a short presentation please submit an abstract (1 or 2 pages) until August 1, 1995. Submissions have to be sent to conrad@iti.cs.uni-magdeburg.de in form of postscript, self-contained latex, etc. DEADLINES FOR SHORT PRESENTATIONS: August 1, 1995 - firm deadline for abstracts August 15, 1995 - Notification September 1, 1995 - Camera ready December 8, 1995 - Workshop For more details on the workshop see the original Call For Paper which is available as: http://max.cs.uni-magdeburg.de/institut/db/DOOD-WS.html Information about DOOD'95 (including registration form) are available on WWW at address http://www.iscs.nus.sg/conferences/dood-part.html ( or by anonymous ftp, at address: ftp.nus.sg:/pub/NUS/ISCS/conference/dood-part.ps.Z ) +------------------------------------------------------------------------+ | Dr. Stefan Conrad conrad@iti.cs.uni-magdeburg.de | | University of Magdeburg | | Institute for Technical Information Systems | | P.O. Box 4120 tel.: ++49-391-5592-3066 | | D-39016 Magdeburg, GERMANY fax: ++49-391-5592-2020 | +------------------------------------------------------------------------+ ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Sat Jul 15 11:56:32 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Sat, 15 Jul 95 11:56:28 -0500; AA19869 Date: Sat, 15 Jul 95 11:56:27 -0500 From: Sugimoto Shigeo Message-Id: <9507151656.AA15628@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Sat, 15 Jul 95 11:56:27 -0500 To: dbworld@quarg.cs.wisc.edu ISDL'95: Call for Participation and Advance Program - - - - - - - - - - - - - - - - - - - - - - - -- - - - - - - Call for Participation ISDL'95: International Symposium on Digital Libraries 1995 August 22 - 25, 1995 University of Library and Information Science Tsukuba Science City, Ibaraki, Japan Sponsored by: University of Library and Information Science The issue of digital libraries is key to making global information super- highways really work. Many digital libraries cannot be realized without the integration of various information technologies. Social, cultural and human aspects are also important in the implementation of digital libraries. ISDL'95 will offer a forum for researchers, engineers, librarians, information scientists, and users, all of whom have different backgrounds, but who share equally an interest in digital libraries. Keynote Address Digital Library in the 21st Century Makoto Nagao Director, Kyoto University Library, Kyoto University, Japan Invited Speakers Jun Adachi(National Center for Science Information Systems, Japan) Roy Adams (De Montfort University, UK) Philippe Aigrain (IRIT, France) Sujata Banerjee (Univ. of Pittsburgh, USA) Richard Furuta (Texas A&M Univ., USA) Yasuyo Kikuta (Fujitsu Ltd., Japan) Hiroshi Matsumoto (BBCC, Japan) Shozo Nakano (National Diet Library, Japan) Sung-Joo Park (KAIST, Korea) Edie Rasmussen (Univ. of Pittsburgh, USA) Daniel Renoult (Boibliotheque Nationale de France, France) Terry Smith (UCSB, USA) Beng-Ting Tan (NCB, Singapore) Howard Wactlar (CMU, USA) Wei-Pang Yang (National Chiao Tung Univ., Taiwan) Linda Hill (UMBC/NASA, USA) ******** Location ******** The University of Library and Information Science (ULIS) is a national university of Japan, located at the center of the Tsukuba Science City. The Tsukuba Science City is located 60 km north-east of Tokyo; the City has more than 100 research and educational institutions. Express bus services are available between Tsukuba Center and JR Tokyo Station, and between Tsukuba Center and the New Tokyo International Airport (Narita International Airport). Local bus services are also available from the Tsuchiura and Arakawaoki stations on the JR Joban Line. ************************ Registration Information ************************ Fill the registration form attached below and send it to ISDL'95 by email, fax, or airmail. Brief position statement is appreciated on the registration form. Registration is FREE of Charge. A symposium proceedings and a participant list will be delivered at the symposium. Early registration is strongly recommended because of the capacity of the symposium site. Registration will be processed First-Come-First-Served policy. Registration Due: July 20, 1995 Maximum number of Participants: 350 Registration after this date will be accepted based on the allowance of the capacity of the symposium site. email: ISDL95@DL.ulis.ac.jp fax: +81-298-52-4326 (or +81-298-52-0384) airmail: ISDL'95 University of Library and Information Science 1-2, Kasuga, Tsukuba, Ibaraki 305, JAPAN *** Banquet *** ISDL'95 welcomes all participants to join the banquet in the evening of August 23. Don't miss the great chance to get together. Participant who wishes to join the banquet, please fill the registration form attached and send it to Tokyo Travel Service (TTS). ******************** For More Information ******************** * Electronic Access Symposium information can be obtained electronically: WWW: http://www.DL.ulis.ac.jp/ISDL95/ Gopher: gopher://gopher.dl.ulis.ac.jp/1/ISDL95/ email: ISDL95-info@DL.ulis.ac.jp * Conventional Access Send request to: postal address: ISDL'95 Univ. of Library and Information Science 1-2, Kasuga, Tsukuba, Ibaraki 305, Japan fax: +81-298-52-4326 or +81-298-52-0384 --------------------------------------------------------------------------- Symposium Program (Preliminary) ISDL'95: International Symposium on Digital Libraries 1995 University of Library and Information Science Tsukuba Science City, Japan August 22 - 25, 1995 Sponsored: University of Library and Information Science Symposium Chair: Koichi Tabata Planning Chair: Takeo Yamamoto Program Chair: Shigeo Sugimoto August 22 4:00pm Registration 6:00pm Reception August 23 9:30am Opening Kazuo Onodera, President, University of Library and Information Science Koichi Tabata, Symposium Chair Shigeo Sugimoto, Program Chair 10:00am Invited Talks 1: Toward Digital Libraries Image Query and Retrieval: a Case Study Edie M. Rasmussen University of Pittsburgh, USA Technical Challenges for the Informedia Digital Video Library Howard Wactlar Carnegie Mellon University, USA The Alexandria Digital Library: a Web Presence for a Library of Spatially-Indexed Information. Terence Smith University of California at Santa Barbara, USA Finding Georeferenced Information through the Internet: Current Status of Spatial Search Interfaces and Future Directions Linda Hill University of Maryland, USA 12:00pm lunch break 1:30pm Keynote Address Digital Library in the 21st Century Makoto Nagao Director of Kyoto University Library, Kyoto University, Japan contents 1. Future of Information Technology 2. Legal Issues and Future Information Society 3. Steps towards Future Digital Library 2:30pm break 3:00pm Contributed Papers 1: Toward Digital Libraries Design of a Digital University Library: Mandala Library Masakazu Imai, Chinatsu Horii, Hisakazu Hada, Naokazu Yokoya, Kunihiro Chihara Nara Institute of Science and Technology, Japan HARP: an Integrated Digital Library Ee-Peng Lim, Francis B. S. Lee, Soo-Yin Cheng* Nanyang Technological University, Singapore; *Information Technology Institute, Singapore The Magna Graecia Digital Library Elenora Bilotta, Mariano Fiorito, Dario Iovane, Pietro Pantano University of Calabria, Italy 4:00pm break 4:10pm Contributed Papers 2: Organizing Electronic Materials for Digital Libraries An Experiment of Electronic Information Delivery for Semiconductor Device Data Hiromichi Hashizume National Center for Science Information Systems (NACSIS), Japan Issues of Integration: Integrating the Digital and Non-digital Graham Black Central Queensland University, Australia Page Image and SGML: Alternatives for the Digital Library Terry R. Noreault, Mark A. Crook OCLC, USA Automatic Extraction of Subject Representation Yoshiro Mihira, Yoshikazu Yamamoto Keio University, Japan 6:00pm Banquet (Tsukuba Daiichi Hotel) August 24 8:30am Contributed Papers 3: Visualization and User Interfaces Information Outlining - Filling the Gap between Visualization and Navigation in Digital Libraries Masayuki Morohashi, Koichi Takeda, Hiroshi Nomiyama, Hiroshi Maruyama IBM Research, Japan W3-PENSEE: WWW Machine Translation System That Supports the Comfortable Internet Surfing Toshiki Murata, Hideki Yamamoto, Junji Nagata Oki Electric Industry, Japan User Interfaces for Information Strolling on a Digital Library Mikiya Tani, Toshiyuki Kamiya, Shuji Ichiyama NEC, Japan Timeline Interfaces for Electronic Textbooks Robert B. Allen Bellcore, USA 9:50am break 10:20am Invited Talks 2: Toward Digital Libraries 2 NACSIS Electronic Library System: Its Design and Implementation Jun Adachi National Center for Science Information Systems (NACSIS), Japan Electronic Library Research at De Montfort University Roy J. Adams De Montfort University, UK Intelligent Campus: Integration of Digital Library and Campus Information Systems Sung Joo Park Korea Advanced Institute of Science and Technology (KAIST), Korea 11:50am lunch break 1:20pm Invited Talks 3: Technologies for Digital Libraries 1 Development of Multimedia and Distributed Information Sharing System: FIND2 Yasuyo Kikuta Fujitsu, Japan High Speed Network for Digital Libraries Hiroshi Matsumoto BBCC, Japan Telecommunications Issues for Digital Libraries Sujata Banerjee University of Pittsburgh, USA 2:50pm break 3:20pm Contributed Papers 4: DB and Data Technologies An Information Retrieval System on Internet for Languages without Obvious Word Delimiters Kigen Hasebe, Ken'ich Nakamoto*, Takeo Yamamoto University of Library and Information Science, Japan; *NTT, Japan Ontology-based Approach to Information Gathering and Text Categorization Michiaki Iwazume, Hideaki Takeda, Toyoaki Nishida Nara Institute of Science and Technology, Japan Database Construction Using Materials from NMR Text Data through Applications of the Semantic Hypergraph Model Lin-Ju Yeh, Hsiu-Hsen Yao*, Yuzuru Fujiwara University of Tsukuba, Japan; *Yuan-Ze Institute of Technology, Taiwan 4:20pm break 4:30pm Contributed Papers 5: System Technologies for Digital Libraries Cryptography in the Electronic Information Environment Geoffrey W. McKim Indiana University, USA The Role of Virtual Libraries in the Future of Software Engineering Bill Serra Hewlett Packard Laboratories, USA Scalable, High Performance Digital Libraries of Multimedia Data R. Grossman, X. Qin, W. Xu, B. Coyne*, H. Hulen*, T. Tyler* Oak Park Research Inc., USA; *IBM Government System, USA A design and Implementation of Information Retrieval System on Information Highways Kyung Taek Chong and Se Young Park Electronics and Telecommunications Research Institute, Korea 6:00pm Demonstration Demonstration by authors on workstations and on video at the Information Processing Center, ULIS. August 25 8:30am Contributed Papers 6: Information Provider and User Issues Enhancing Access to Research Materials on East Asia: An Interim Report on the East Asian Libraries Cooperative World Wide Web Maureen H. Donovan The Ohio State University Libraries, USA Digital Libraries as Human Augmentation Systems Elenora Bilotta, Pietro Pantano University of Calabria, Italy Assisted Search for Knowledge - ASK: A Pilot Project of the Global Change Data and Information System Roberta Y. Rand National Agricultural Library, USA Approaches to Digital Libraries - A Distributer's Viewpoint Ken I. Teramura, K. Hirai Maruzen, Japan 9:50am break 10:20am Invited Talks 4: Toward Digital Libraries 3 Establishment of the Kansai-Kan, National Diet Library Shozo Nakano National Diet Library, Japan Digital Collections of the Bibliothe'que nationale de France Daniel Renoult Bibliotheque Nationale de France, France A Learning Library without Wall Beng-Ting Tan Information Technology Institute, Singapore 11:50am lunch break 1:20pm Invited Talks 5: Technologies for Digital Libraries 2 Signature Methods in Chinese Text Retrieval Wei-Pang Yang National Chiao-Tung University, Taiwan Documents in the Digital Library Richard Furuta Texas A&M University, USA Image and Sound Digital Libraries Need More Than Storage and Networked Access Philippe Aigrain IRIT, France 2:50pm break 3:20pm Contributed Papers 7: Hypermedia/Multimedia Technologies Telematic Access to Sound Archives Gunnar Moan Western Norway Research Institute, Norway A Semantic Movie Indexing Scheme Rynson Lau, Hong V. Leong, Antonio Si Hong Kong Polytechnich University, Hong Kong A Digital Video Library for Classroom Use Wayne Wolf, Bede Liu, Andrew Wolfe, Margaret Martonosi, Yiqing Liang* Princeton University, USA; *Advance, Inc., USA Human Media Technology Toshikazu Kato Electrotechnical Laboratories, Japan 4:40pm closing - - - - - - - - - - - - - - - Cut Here - - - - - - - - - ISDL'95 (August 22 - 25, 1995) Symposium Registration Form Write a check mark in each box, if you do not wish to include your data in the participant list. Name _______________ _____________ _____________ Last First Middle [ ] Affiliation [ ] Address street ____________________________________________________________ city ________________________ state/pref. _________________ ZIP ________________________ country __________________ [ ] phone: + - [ ] FAX: + - country code [ ] email: special requirement (if any): BANQUET: I will join the banquet. [ ] YES [ ] NO If YES, please send your registration form to TTS. Send this form to: email: ISDL95@DL.ulis.ac.jp fax: +81-298-52-4326 or +81-298-52-0384 postal address: ISDL'95 Univ. of Library and Information Science 1-2, Kasuga, Tsukuba, Ibaraki 305, Japan - - - - - - - - - - - - - - - Cut Here - - - - - - - - - - - HOTEL RESERVATION & BANQUET REGISTRATION Please type or use capitals Family name: First name: Title, Institute: Business address: Phone: Fax: E-mail: Tsuchiura Daiichi Hotel 1-8-26 Minato-machi,Tsuchiura-shi Phone: +81-298-22-4111 Shuttle bus service available Downtwon Tsuchiura, Close to JR Tsuchiura Station Hotel Marroad Tsukuba 2-24 Johokumachi,Tsuchiura-shi Phone: +81-298-22-3000 Shuttle bus service available Downtown Tsuchiura, Walking distance to JR Tsuciura Station Gakuen Sakurai Hotel 8-7 higashi-arai,tsukuba-shi Phone: +81-298-51-3011 Walking distance to ULIS and Tsukuba Center Accommodation rate per person(one night) Single Double Tsuchiura Daiichi Hotel JPY 8,837. JPY 14,162. Hotel Marroad Tsukuba JPY 8,034. JPY 8,240. Gakuen Sakurai Hotel JPY 6,541. HOTEL RESERVATION Hotel preference (1) (2) (3) Room required [ ] Single [ ] Double Arrival date: Departure date: [ ]I wish to share room with: BANQUET REGISTRATION The Banquet on the evening of Wednesday,Auguest 23, will be held at the Tsukuba Daiichi Hotel and costs JPY 8,000 per person. [ ]I wish to register the banquet. Guaranteed by credit card: [ ] visa [ ] Master Card number: expiration date: Signature: Date: Send this form to: Tokyo Travel Service 3-22-11, Toranomon, Minatoku, Tokyo 105,Japan Phone:+81-3-3459-6666,Fax:+81-3-3434-0726,E-mail:pxc06120@niftyserve.or.jp ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Sat Jul 15 12:04:44 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Sat, 15 Jul 95 12:04:40 -0500; AA20015 Date: Sat, 15 Jul 95 12:04:39 -0500 From: Hans Peter Kriegel Message-Id: <9507151704.AA15657@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Sat, 15 Jul 95 12:04:39 -0500 To: dbworld@quarg.cs.wisc.edu University of Munich, Germany Institute for Computer Science The Institute for Computer Science at the University of Munich has an opening for a junior faculty position (C1) for Computer Science in the area of spatial database systems. Teaching tasks include participation in graduate and undergraduate education of computer science majors with a teaching load of 4 hours per week. Applicants for this junior Faculty position must have a Ph.D. in computer science. Their research area should be in spatial database systems, for example in access methods, query processing, 2D and 3D algorithms or parallelization. It is expected that applicants will be able to teach in German after a short grace period of at most two years. Applicants are requested to send a curriculum vitae including publication list and teaching experience, reprints of the most relevant publications, and the names of three references by July 24, 1995 to: Professor Hans-Peter Kriegel Institut fuer Informatik Universitaet Muenchen Leopoldstr. 11 B D-80802 Muenchen, Germany email: application@dbs.informatik.uni-muenchen.de Some further information for non-German applicants: The C1 position roughly corresponds to that of an assistant professor. The position is associated with the Database Systems group of Professor Hans-Peter Kriegel. An overview of the group can be found at mosaic: http://www.dbs.informatik.uni-muenchen.de. Depending on age and marital status, the annual gross salary ranges from US $ 50,000 to US $ 60,000, the annual net salary ranges from US $ 40,000 to US $ 52,000. The University of Munich is the largest university in Germany. Many opportunities for cooperation with other departments as well as with the local high-tech industry are available. ------------------------------------------------------------------------------- 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@quarg.cs.wisc.edu Sat Jul 15 13:18:01 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Sat, 15 Jul 95 13:17:55 -0500; AA21010 Date: Sat, 15 Jul 95 13:17:54 -0500 From: ley@nigra.Uni-Trier.DE (Michael Ley) Message-Id: <9507151817.AA15896@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Sat, 15 Jul 95 13:17:54 -0500 To: dbworld@quarg.cs.wisc.edu Announcement and Call for Contributions --------------------------------------- Michael Ley (ley@uni-trier.de) FB4 - Informatik Universitdt Trier D-54286 Trier, Germany I maintain a bibliography WWW server on "Database Systems & Logic Programming". It provides the tables of contents of major journals and proceedings of these fields. Now an author index makes the server more convenient. I have included links to the home pages of several authors into the register. Location The URL of the server is http://www.informatik.uni-trier.de/~ley/db/index.html A popular path to the server: Select "Table of contents of several database conferences and journals" on the ACM SIGMOD WWW server (http://bunny.cs.uiuc.edu/README.html) Conferences SIGMOD, VLDB, PODS, ICDT/MFDBS, ICDE, DOOD, OOPSLA, DBPL, POS, DEXA, RIDE, EDBT, BTW, DS, SSD, ER, ICLP. SLP, ... Journals TODS, VLDB Journal, TOIS, TOPLAS, Computing Surveys, Sigmod Record, TKDE, Bulletin of the TC on Data Engineering, Information Systems, Software - Practice and Experience, JLP, ... Statistics >17000 papers, >16000 authors, >800 links to home pages (July 95) Your Contribution ... Please send me an e-mail, if ... * ... you notice errors or omissions. I try to unify different spellings of names, often this isn't possible without your help. * ... you are listed, but a link to your home page is missing. * ... if you edit a journal or proceedings an want this publication to be included into my server or want a fast coverage of new issues. Disclaimer & Policy All information on the server is provided in good faith, but I take no reposibility for the accuracy of the information. In accordance with the ACM "Interim copyright policy" (see CACM April 95) I usually don't store active links to copies of articles if the articles are published in a journal or formal proceedings. For informal proceedings stored on the internet, I have included active links to copies of articles (for example some Post-Conference Workshops of ICLP). I usually don't store technical reports, because I haven't the time to manage them. I don't use nice but costly GIF-pictures, because our university has only a slow link to the internet. Acknowledgments I already got a lot of very valuable input from the DB & LP communities. The first version of the software to generate the author index was produced by students of the "Softwarepraktikum" at the Univerity of Trier. Future Plans There will be links from the table-of-contents files to the author files. A BibTeX version of the entire bibliography will be generated. Both improvements are scheduled for November/December 95. ------------------------------------------------------------------------------- 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-