From ged@cs.rmit.oz.au Sat Nov 12 23:29:24 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Sat, 12 Nov 94 23:29:06 -0600 Received: from goanna.cs.rmit.OZ.AU by cs.wisc.edu; Sat, 12 Nov 94 23:28:57 -0600 Received: (from ged@localhost) by goanna.cs.rmit.oz.au (8.6.9/8.6.9) id QAA00424 for dbworld@cs.wisc.edu; Sun, 13 Nov 1994 16:28:50 +1100 From: Gerard Ellis Message-Id: <199411130528.QAA00424@goanna.cs.rmit.oz.au> Subject: 2nd CFP: ICCS'95: International Conference on Conceptual Structures To: dbworld Date: Sun, 13 Nov 1994 16:28:49 +1100 (EST) X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 6319 Please find below the 2nd CFP for ICCS'95. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/peirce/ICCS95.ps.Z Also the ICCS'95 home page on the World Wide Web is http://www.cs.rmit.edu.au/ICCS95/ Regards, Gerard -- Gerard Ellis ged@cs.rmit.edu.au ph:61-3-660-5090 FAX:61-3-662-1617 Rm:10.9.11 WWW: http://www.cs.rmit.edu.au/~ged Computer Science Dept, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA ______________________________________________________________ 2nd CALL FOR PAPERS 3rd International Conference on Conceptual Structures August 14-18, 1995 University of California, Santa Cruz IMPORTANT DATES submission postmark deadline December 12, 1994 notification of acceptance February 15, 1995 camera-ready copy April 15, 1995 THEME Conceptual structures are a modern treatment of Charles Sanders Peirce's Existential Graphs which are a graphic notation for classical logic with higher order extensions developed in 1896. Peirce viewed existential graphs as ``his luckiest discovery'' and ``a logic of the future''. His view was that people should be able to build models in logic much like modern designers build models of airplanes for reasoning about real airplanes. Peirce's view was that you could ``see'' contradictions and processes in reasoning within existential graphs. John Sowa showed that conceptual graphs can be mapped to classical predicate calculus or order sorted logic, and are thus seen as just another (graphic) notation for logic. However, it is the topological nature of formulas (topology was a field Peirce helped develop) which conceptual graphs make clear, and which can be exploited in reasoning and processing. Conceptual graphs are intuitive because they allow humans to exploit their powerful pattern matching abilities to a larger extent than does the classical notation. Conceptual graphs can be viewed as an attempt to build a unified modelling language and reasoning tool. Conceptual graphs can model data, functional and dynamic aspects of systems. They form a unified diagrammatic tool which can integrate Entity-Relationship diagrams, Finite State Machines, Petri Nets, and Dataflow diagrams. Conceptual graphs have a natural mapping to natural language. TOPICS Substantive papers are invited on the following topics: application and experience; case studies; conceptual analysis; natural language processing; ontologies; implementation; and theory. Argument for or against the use of conceptual graphs is of particular interest. This may be done by comparisons with other representations on the basis of expressiveness, intuitive aspect, ease of use, computational performance, or reasoning simplicity. Comparisons can also be made by translating existing case studies, which use well-known representations, into conceptual graphs. AUTHORS' INFORMATION Papers may not exceed 15 pages, 11 point minimum font size, text width (4.88 in) 12.2 cm, text height 7.72 in (19.3 cm). Latex users: please use llncs.sty. Shorter, substantive papers are welcome. Authors are requested to submit five (5) copies of their paper. Alternatively, electronic submissions of papers (postscript output) are encouraged. Authors are further requested to attach title pages to their submissions bearing their names, addresses, telephone numbers, FAX numbers and e-mail addresses. In addition, authors are asked to include abstracts of approximately twenty (20) lines with each paper, and a list of short phrases descriptive of the content. PAPERS MUST BE POSTMARKED ON OR BEFORE MONDAY DECEMBER 12, 1994. Address: ICCS'95 c/o Gerard Ellis Computer Science Dept. RMIT GPO Box 2476V, Melbourne, VIC 3001 Australia email: ged@cs.rmit.edu.au ph:61-3-660-5090 fax:61-3-662-1617 PUBLICATION OF PAPERS Accepted papers will appear in the conference "Proceedings" to be published, provisionally, by Springer-Verlag of Berlin. PRIZES There will be prizes in the categories: best paper, best student research proposal, best demonstration. Details of each award will be announced at a later date. ORGANISATION Program Chair Local Arrangements Chair Gerard Ellis Robert Levinson Royal Melbourne Univ of Technology Univ of California, Santa Cruz Australia USA ged@cs.rmit.edu.au levinson@cis.ucsc.edu Finance Chair Honorary Chair Bill Rich John Sowa IBM San Jose, California State University of New York USA USA billrich@vnet.ibm.com sowa@turing.pacss.binghamton.edu Program Committee Hassan Ait-Kaci (Canada) Dickson Lukose (Australia) Harmen van den Berg (Netherlands) Craig McDonald (Australia) Gary Berg Cross (USA) Guy Mineau (Canada) Duane Boning (USA) Jens-Uwe Moeller (Germany) Boris Carbonneill (France) Bernard Moulin (Canada) Michel Chein (France) Marie Laure Mugnier (France) Key Sun Choi (Korea) Jonathan Oh (USA) Peter Creasy (Australia) Heike Petermann (Germany) Walling Cyre (USA) James Slagle (USA) Harry Delugach (USA) Bill Tepfenhart (USA) Judy Dick (USA) Eileen Way (USA) Peter Eklund (Australia) Michel Wermelinger (Portugal) Bruno Emond (Canada) Mark Willems (Netherlands) Brian Gaines (Canada) Walter Wilson (USA) Brian Garner (Australia) Vilas Wuwongse (Thailand) Fritz Lehmann (USA) CONFERENCE LOCATION The conference will be held at the University of California, Santa Cruz in a redwood forest in the Santa Cruz mountains. The university and conference facilities are retreat style with housing available in family-style apartments residing on the campus. The university is well serviced by buses to downtown Santa Cruz. The campus, just 10 minutes from the oceanside, overlooks Monterey Bay, the popular surfing beaches, and you can watch the eagles soar from the Birds of Prey sanctuary which forms part of the campus. Santa Cruz is approximately a 90 minute bus ride from San Francisco airport and about 45 minutes from San Jose. This CFP and the latest information regarding ICCS'95 can be found in the World Wide Web under http://www.cs.rmit.edu.au/ICCS95/ ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From gis94@cacs.usl.edu Sun Nov 13 12:28:23 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Sun, 13 Nov 94 12:28:18 -0600 Received: from console.cacs.usl.edu by cs.wisc.edu; Sun, 13 Nov 94 12:28:13 -0600 Received: from cajun03.cacs.usl.edu by console.cacs.usl.edu with SMTP id AA02046 (5.65c/IDA-1.4.4 for ); Sun, 13 Nov 1994 12:28:09 -0600 Date: Sun, 13 Nov 94 12:28:07 CST From: GIS '94 Conference Reply-To: To: dbworld Subject: ACM Wrkshp on Advances in GIS - CFP Message-Id: This message includes: 1. GIS'94 call for participation 2. Tentative Program 3. Registration form Note: 1. The proceedings will be published by ACM Press. They will be available in February 1995. If you are interested in obtaining a copy of the proceedings, send e-mail to eun@usna.navy.mil 2. The ACM copyright forms will be distributed to the authors during the workshop. 3. For organizational purposes if you are attending the workshop but intend an registaring on site, please send e-mail to eun@usna.navy.mil letting him know of it. INFORMATION REGARDING REGISTRATION OR OBTAINING A COPY OF THE PROCEEDINGS SHOULD BE DIRECTED to eun@usna.navy.mil ------------------------------------------------------------------------------- CALL FOR PAPTICIPATION 2nd ACM WORKSHOP ON ADVANCES IN GEOGRAPHIC INFORMATION SYSTEMS December 1-2, 1994 - NIST, Gaithersburg, Maryland, USA Sponsored by ACM In Conjunction with the ACM Conference on Information and Knowledge Management to be held Nov. 29 - Dec. 2, 1994 In Cooperation with the Center For Advanced Computer Studies, the National Institute of Standards and Technology, and the University of Toulouse 1, CERISS Lab., France ____________________ | | THEME: | WORKSHOP CHAIR | | | GIS'94 will serve as a forum for disseminating research | T. Ozsoyoglu | and experience in the rapidly advancing area of geographic | Case Western Res.| information systems. The workshop will bring together | | leading researchers and developers and will strive toward |ADVISORY COM.CHAIR| setting future research directions in this area. | | Since the workshop will be held in conjunction with CIKM, | H. Samet | participants will be able to maximize their interchange |Univ. of Maryland | of experiences and knowledge among researchers and | | practioners across the entire field of knowledge and |PROGRAM CO-CHAIRS | information management. | | | M. Egenhofer | | Univ. of Maine | SCOPE: | | | N. Pissinou | The primary focus of the workshop is on new and original | CACS/USL | research results in the areas of theoretical foundations, | | design, implementation and applications of GIS as well as | EUROPEAN CHAIR | experience reports from application specialists and the | | commercial community. The goal is to exchange research | P. Bergougnoux | ideas and results among participants. Suggested topics | Univ. Toulouse 1 | include, but are not limited to, the following AS THEY | | RELATE TO GIS: |PROGRAM COMMITTEE | | | * Query Processing and Optimization | A. El. Abbadi | * Electronic geographical data interchange standards | UC Santa Barbara | * GIS and cooperative work | | * GIS performance modeling and evaluation | W. Aref | * Imprecise spatio-temporal information | Matsushita | * Reasoning with GIS information | | * Parallel and Distributed GIS | R. Ashany | * Spatio-temporal data models and languages | NSF | * Semantics of spatio-temporal data | | * GIS design and development | F. Bonfatti | * Requirements analysis for GIS applications | Univ. of Modena | * Real-time GIS systems | | * User Interfaces for GIS | P. Boursier | * Interoperability among heterogeneous GISs | Univ. Paris 11 | * Design of spatio-temporal data structures, spatial | | indexing and storage | B. Campell | * Knowledge discovery | NASA/GSFC | * Reports on experience with real applications | | * GIS software tools and environments | D. DeWitt | * Novel applications in scientific and | Wisconsin | environmental domains | | * Integration with existing commercial products | A. Frank | * Multi-media GIS | TU Vienna | * GIS meta data | | * Digital libraries | W. Franklin | | Rensselaer Poly. | | | WORKSHOP FORMAT | O. Guenther | |Humboldt Un.Berlin|The workshop will consist of a single session to be held | | over a two day period. It will be organized in a manner | N. Hachem | designed to maximize the opportunity for interaction | Worcester Poly. | discussion and exchange of ideas among the participants. | | It will be a combination of presentations with subsequent | J. Herring | discussions, and panels on recent developing and emerging | Intergraph | trend. This format should provide a forum for potential | | collaborations to develop among members of the community | S. Hirtle | of researchers and practitioners. | Univ. Pitsburg | | | | H.V. Jagadish | | AT&T Bell Labs | SUBMISSION: | | | K. Kolovson | Authors are invited to submit original research | HP | contributions or experience reports in english. Papers | | should be double-spaced and no longer than 5000 words. | G. Langran Kucera| Submissions will be reviewed, and should include | Intergraph | each author's full name, affiliation, complete address | | telephone number, and if available, fax number and | R. Laurini | internet address. Submitters should indicate in a cover | INSA Lyon | letter their willingness to attend the workshop and | | present their paper. | J. Lemoigne | | NASA/GSFC | | | Submitted papers will be refereed by at least three | K. Makki | reviewers for quality, correctness, originality and | UNLV | relevance. Accepted papers will be presented at the | | workshop and published in proceedings. | D. Mark | | SUNY Buffalo | | | Proposals for panels that examine emerging, innovative, | M. Mineter | or otherwise provocative geographic information issues | Edinburgh Univ. | are encouraged as well. Panel proposals should include | | a 1-2 page summary of the topic and the names and | M. Ozsoyoglu | affiliations of 3-4 panelists who have made a commitment | Case Western Res.| to participate. | | | E.K. Park | |U.S. Naval Academy| Five copies of a technical paper should be submitted | | by Friday September 30, 1994 to: | T. Sarjakoski | | FGI Helsinki | | | Dr. Niki Pissinou | T. Sellis | | Univ. of Athens | c/o ACM Workshop on Advances in GIS | | | C. Schaefer | The Center For Advanced Computer Studies | NASA headquarters| | | The University of Southwestern Louisiana | J. Sibert | |George Wash. Univ.| 2 Rex Street | | P.O. Box 44330 | R. Subramanian | Lafayette, LA 70504 | Univ. of Alaska | e-mail: gis94@cacs.usl.edu | | tel : (318) 231-6604 | J. Tsai | fax : (318) 231-5791 |Univ. of Illinois | | | | K. Vadaparty | | Case Western Res.| | | | Y. Yesha | We encourage submission of papers from both the academic | NIST/UMBC | and industrial spheres. Due to the large amount of papers | | received last year, we DISCOURAGE electronic submissions | G. Zurfluh | this year. | Univ. Toulouse 1 | | | | A. Wilscht | For further information, please send e-mail to: | Univ. of Twente | | | gis94@cacs.usl.edu | TREASURER | | | | E.K. Park | This message can also be obtained via anonymous ftp | USNA | to cacs.usl.edu (/pub/GIS94) or World Wide Web | | server to http://www.cacs.usl.edu | PUBLICITY CHAIR | | | | P. Bergougnoux | | Univ. Toulouse 1 | | | IMPORTANT DATES: | LOCAL ARR. CHAIR | | | Paper submission deadline (FIRM) : September 30, 1994 | Y. Yesha | Notification of acceptance : October 21, 1994 | NIST/UMBC | Camera ready papers : November 15, 1994 |__________________| Workshop date : December 1-2, 1994 Registration form for the 2nd ACM Workshop on Advances in Geographic Information Systems: ------------------------------------------------------------------------------- TENTATIVE PROGRAM Thursday, Dec. 1, 1994 9:00 - 9:10 Opening Session : Niki Pissinou 9:10 - 10:10 Keynote Addresss: Annette Krygiel 10:10- 10:25 Break 10:25- 11:25 Session 1: Task Specific Requirements Chair : Max Egenhofer 1. Toward the Development of a Conceptual Framework for GIS Based Collaborative Spatial Decision Making Amstrong and Densham 2. Models for Updating Real-Time Spatial Systems Langran Kucera 3. Computing Visibility Maps on Hierarchical Terrain Models Magillo and Floriani 11:25- 11:45 Session 2: Architectural Models Chair : 1. A Multilayer Approach to the Open GIS Design Problem Voisard and Schweppe 11:45-12:00 Group discussion 12:00-1:00 Lunch 1:00 -2:20 Session 3: Spatial Data Models Chair : Niki Pissinou 1. A model to cultivate objects and manipulate fields Camara, Freitas, Souza, Casanova, Hemerly, Medeiros 2. Towards a representation for Spatial Objects in Diverse Geometries Stell and Worboys 3. An intersection based formalism for representing orientation relations in a geographic database Abdelmoty and Geresy 4. Spatial Regions with Indetermined Boundaries Cohn and Gotts 2:20-2:35 Group discussion on Spatial Data Models 2:35-2:50 Break 2:50-3:50 Session 4: Spatial Access Structures Chair : Meral Ozsoyouglou 1. A Cost Model for Query Optimization Using R-Trees Aref and Samet 2. An Evaluation of Access Methods for Spatial Networks Shekhar, Liu, and Coyle 3. Query Processing with Spatio-temporal Index on Object Oriented Databases Huang and Luk 3:50 - 4:05 Group discussion on Spatial Access Structures 4:05 - 4:20 Break 4:20 - 5:30 Panel: The role of AI and Multi-Media in GIS Chair: Nick Bourbakis Bill Campell Michael Gennert Meral Ozsoyouglou 6:30 Workshops Dinner Friday, Dec. 2, 1994 9:00- 10:00 Keynote Address: The Open Geodata Interoperability Specification Challenges and Opportunities John Herring, Intergraph Corp. 10:00 - 10:15 Break 10:15 - 11:15 Session 5: Domain Specific Requirements Chair: Christos Faloutsos 1. Landscape-Dynamical Scenarios simulation for GIS Isachenko and Reznikov 2. Estimating cloud formation evolution from sequences of METEOSAT Images Bolla, Marchese, Nobile, Zappatore 3. A Prototype Astronomical Database Ramaiyer, Brunner, Szalay, Connolly and Lypton 11:15 - 11:30 Group discussion 11:30 - 11:45 Break 11:45 - 12:25 Session 6: Data Quality Chair: Patrick Bergoughoux 1. GeoQual: A Data Model for Handling the Quality of Geographic Information Faiz and Boursier 2. Dealings with Uncertainty in categorical coverage maps: Definining, visualizing and managing errors Ehlschlaeger and Goodchild 12:25- 12:35 Group discussion 12:35- 1:30 Lunch 1:30 -2:30 Session 7: Spatial Reasoning Chair : John Sibert 1. Modeling Interactive Cartographic Communication with Formal Logic and Prolog Sarjakoski and Lindholm 2. Qualitive Reasoning about Imprecise Spatial Information T. Topaloglou 3. Fusion of information and reasoning in a GIS based decision making system using a Pearl Bayes Network Stassopoulou, Petrou and Kittler 2:30 - 2:45 Group discussion 2:45 - 3:00 Break 3:00 - 4:00 Session 8: Algorithms Chair: Kia Makki 1. A Distance Scan Algorithm for spatial Access Structures Henrich 2. A Semi-Materialized View Approach for Route Maintenance in Intelligent Vehicle Highway Systems Huang, Jing and Rundensteiner 3. An Efficient Representation for Pyramidal Terrain Models Bertolotto et. al 4:00 - 4:15 Group discussion 4:15 - 4:30 Break 4:30 - 5:30 Panel: GIS Research: Where Does Computer Science Fit In? Max Egenhofer Mark Andrew Mike Goodchild 5:30 - 5:45 Closing Session ------------------------------- cut here -------------------------------------- ^L REGISTRATION FORM GIS94 will be held at NIST and if you need information on directions, please contact CIKM Local Arrangement Chair: Elizabeth Fong at NIST, (301) 975-3250, fong@speckle.ncsl.nist.gov We have arranged a block of rooms at the Gaithersburg Hilton Hotel, 620 Perry Parkway, Gaithersburg, MD 20877, (301) 977-8900, or 1-800-599-5111. Please make your hotel reservation early. To obtain special conference rate (rate is U.S. $70.00 per night for Single or Double), you must tell them you are attending the CIKM'94 conference in November/December 1994. Cut-off date for guaranteed guest room reservations is November 1, 1994. If you have any questions on registration (eun@usna.navy.mil), workshops (program chair of each workshop) (gis94@cacs.usl.edu), please send e-mail to appropriate person above or to cikm94@adam.rutgers.edu. ------------------------------- cut here -------------------------------------- GIS'94 WORKSHOP REGISTRATION FORM Please complete this form (TYPE or PRINT), and return with your payment. Your paper title, if any:_____________________________________________________ ______________________________________________________________________________ Paper authors:___________________________________________________________ First Name:_________________________ Last Name:_______________________________ Title (Dr/Mr/MS/Prof.):_____________ Position:________________________________ Company/Univ.:_______________________________ Dept.:__________________________ Address:______________________________________________________________________ City:_________________________ State:_____________ Zip/Postal Code:___________ Country:_______________________________ Phone:________________________________ Fax:_________________________________ E-mail:_________________________________ Payment in U.S. dollars ONLY (check drawn on a U.S. bank or International Money Order) is enclosed for the following (Please Check). GIS ADVANCE (Received by November 15, 1994.): Workshop ______Member($150.00) ______Non-Member($150.00) ______Student($75.00) Please circle your workshop preferences (fee is for EACH workshop): 1. GIS LATE/ONSITE (Received AFTER November 15, CIKM): ================================================ Workshop ______Member($180.00) ______Non-Member($180.00) ______Student($100.00) Please circle your workshop preferences (fee is for EACH workshop): Reg. Fee : choose category $_______________ Workshop Fee for each: choose category $_______________ Extra Workshop Reception Tickets:($30/ea) $_______________ Total Amount Enclosed: U.S. $_____________________ ACM membership number (required for member rate):__________________________ Signature:_____________________________________ Date:______________________ P.S. 1. Acknowledgement of receipt of the registration form with payment will be sent out by only e-mail if you provide your e-mail address. Conference materials including receipts and proceedings can be picked up at the registration desk on site. 2. Note that CIKM94 will be held at NIST and Hilton Hotel is about 1 mile away from NIST. Transportation from Hilton/NIST/Hilton will be available for CIKM94 attendees. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From helal@cse.uta.edu Sun Nov 13 18:47:24 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Sun, 13 Nov 94 18:47:13 -0600 Received: from rainbow.uta.edu by cs.wisc.edu; Sun, 13 Nov 94 18:47:09 -0600 Received: by rainbow.uta.edu (4.1/SMI-4.1) id AA18147; Sun, 13 Nov 94 18:50:26 CST Date: Sun, 13 Nov 1994 18:50:25 -0600 (CST) From: Abdelsalam Helal Subject: CIKM 94: Final Program Announcement To: dbworld Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII ***************** C I K M -- 94 ***************** F I N A L P R O G R A M ------------------------- THIRD INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT (CIKM'94) November 29 -- December 1, 1994 National Institute of Standards and Technology (NIST) Gaithersburg, Maryland Sponsored by: ------------ ACM SIGART and SIGIR, in cooperation with: AAAI, Center for Applied Information Technology (CAIT) NIST, NSF, UMBC, Purdue University, and Rutgers Center for Information Management, Integration & Connectivity (CIMIC) General Co-Chairs: ----------------- Bharat Bhargava, Purdue University Yelena Yesha, NIST/UMBC Program Chair: ------------- Nabil R. Adam, Rutgers University Steering Committee: ------------------ Bruce Blum, Tim Finin, David Jefferson, Keith Humenik, Charles Nicholas, E. K. Park, Yelena Yesha Program Vice-Chairs: ------------------- R. Ashany, NSF T. Finin, UMBC E. Fox, Virginia Polytechnic S. Hurwitz, NIST C. Kulikowski, Rutgers Univ. K. Makki, UNLV S. Naqvi, Bellcore E. K. Park, U.S. Naval Academy N. Pissinou, Univ. of SW Louisiana M. Singhal, Ohio State Univ. P. Sokolove, UMBC S. Spaccapietra, EPFL Lausanne M. Stonebraker, UC-Berkeley B. Wah, UIUC European Coordinator: -------------------- G. Schlageter, Fern U. Workshops Chair: --------------- G. Ozsoyoglu, Case Western Reserve Univ. Exhibits Chair: -------------- M. Masullo, IBM T.J. Watson Research Center Treasurer: --------- E. K. Park, U.S. Naval Academy Publicity Chair: --------------- A. Helal, Univ. of Texas at Arlington Local Arrangements: ------------------ E. Fong, NIST Program Committee: ----------------- A. El Abbadi, H. Ait Kaci R. Alonso, Y. Arens, B. Badrinath, G. Belford, E. Bertino, M. Brodie, A. Buchmann, W. Chu, J. Clifford, S. Davidson, K. Dittrich, R. Elmasri, S. Gadia, N. Gehani, J. Geller, J. Gowens, M. Halem, D. Harman, P. Kanellakis, M. Kohli, C. Kulikowski, D. Lewis, R. MacGregor, R. Martin, D. McKay, J. Mylopoulos, S. Navathe, E. Neuhold, P. Ng, T. Nguyen, C. Nicholas, C. Overton, M. Ozsoyoglu, M. Papazoglou, R. Ramakrishnan, S. Ray, E. Rundensteiner, P. Scheurmann, T. Seidman, M. Seigel I. Song, K. Sycara, K. Vadaparty, P. Vassallo, B. Wah, W. Wong, X. Wu, V. Zwass. OBJECTIVES: ---------- The objective of the conference is to provide an international forum for presentation and discussion of research on information and knowledge management, as well as recent advances on data and knowledge bases. The purpose of the conference is to identify challenging problems facing the development of future knowledge and information systems, and to shape future directions of research through presentation of high quality, applied and theoretical research findings. An important part of the conference is the Workshops program which focuses on timely research challenges and initiatives. KEYNOTE ADDRESSES HIGHLIGHTS: ----------------------------- Keynote: The National Information Infrastructure. Speaker: Arati Prabhakar (Director, National Institute of Standards and Technology, Department of Commerce) Keynote: The Paradigm Shift from Numerically Intensive to Data Intensive Computing. Speaker: Milton Halem, Chief, Space Data and Computing Division, NASA. Keynote: Issues in Large Knowledge Respositories Speaker: Al Aho, Vice President, Bellcore. Keynote: Computing into the 21st Century. Speaker: Robert Ewald (Chief Operating Officer, CRAY Research, Inc.) Keynote: Approaches to High-Level Interoperability. Speaker: Jeffrey D. Ullman, Professor and Chair, Stanford University. INVITED TALKS HIGHLIGHTS: ------------------------- o Erich Neuhold, Professor, GMD-IPSI, Germany o Jacob Slonim, Head of Research, Centre for Advanced Studies, IBM Canada o David Farber Moore Professor, University of Pennsylvania o Jack Schwartz, Professor, New York University o Peter Sheuermann, Professor, Northwestern University o Paris C. Kanellakis, Professor, Brown University o Avi Silberschatz, AT&T Bell Laboratories o Danial E. Atkins, Dean and Professor, University of Michigan **** See the Technical Program below for details. PANELS HIGHLIGHTS: ------------------ o Making money on the Internet o Standards and Interoperability o Manufacturing o Federal Program Initiatives in the Computer and Information Sciences o Standards for Digital Libraries **** See the Technical Program below for details. WORKSHOPS HIGHLIGHTS: --------------------- Four workshops will be held on Friday, December 2. These will begin with a common kick-off dinner on Thursday evening. Information on the Workshop Programs can be requested using the e-mails of the workshop Chairs listed below. 1. Geographic Information Systems Workshop Chair: Niki Pissinou, University of SW Louisiana (For more information e-mail: pissinou@cacs.usl.edu) 2. Intelligent Agents Workshop Chair: Tim Finin, University of Maryland Baltimore County (For more information e-mail: finin@cs.umbc.edu) 3. Hypertext Workshop Chair: Charles Nicholas, University of Maryland Baltimore County (For more information e-mail: nicholas@cs.umbc.edu) 4. Electronic Commerce Workshop Chairs: Yelena Yesha, NIST and Nabil Adam, Rutgers University (For more information e-mail: yeyesha@cs.umbc.edu, adam@adam.rutgers.edu) ************************************************************************** ********************* SUMMARY OF PROGRAM SCHEDULE ************************ ************************************************************************** * * ========================================================================== | | TUESDAY, 11/29 | WEDNESDAY, 11/30 | THURSDAY, 12/1 | |=======|=====================|====================|=====================| |9:00 | Keynote Address | Keynote Address | Keynote Address | |=======|=====================|====================|=====================| |10:00 | Break | Break | Break | |=======|=====================|====================|=====================| |10:20 | Invited Talks | Invited Talks | Invited Talks | | |======|======|=======|======|======|======|======|======|=======| | | 1.1 | 1.2 | | 2.1 | 2.2 | 2.3 | 3.1 | 3.2 | 3.3 | |=======|=====================|====================|=====================| |11:05 | Break | Break | Break | |=======|=====================|====================|=====================| |11:15 | Session 1.1 | Session 2.1 | Session 3.1 | | | Session 1.2 | Session 2.2 | Session 3.2 | | | Session 1.3 | Session 2.3 | Session 3.3 | |=======|=====================|====================|=====================| |1:00 | Lunch | Lunch | Lunch | |=======|=====================|====================|=====================| |2:00 | Keynote Address | Panel III | Keynote Address | |=======|=====================|====================|=====================| |3:00 | Break | Break | Break | |=======|=====================|====================|=====================| |3:15 | Session 1.4 | Session 2.4 | Session 3.4 | | | Session 1.5 | Session 2.5 | Session 3.5 | | | Session 1.6 | Session 2.6 | Session 3.6 | |=======|=====================|====================|====================== |4:05 | Break | Break | |=======|=====================|====================| |4:15- | Panel I | Panel IV | |5:00 | Panel II | Panel V | | | | Session 2.7 | |========================================================================= |6:30 | | | Workshops Dinner | |========================================================================| |7:30 |Conference Reception | Conference Banquet | |=================================================== ************************************************************************* T E C H N I C A L P R O G R A M ************************************************************************* |||||||||||||||||||||||||||| || Tuesday, November 29 |||| |||||||||||||||||||||||||||| 9:00 KEYNOTE ADDRESS --------------- The National Information Infrastructure. Arati Prabhakar (Director, National Institute of Standards and Technology, Department of Commerce) 10:00 BREAK ----- 10:20 INVITED TALKS ------------- Structured Documents: A Case for Integrating Databases and Information Retrieval. Erich Neuhold (Professor, GMD-IPSI, Germany) Digital Libraries - Is it reality or myth? Jacob Slonim (Head of Research, Centre for Advanced Studies, IBM Canada.) 11:05 BREAK ----- 11:15 SESSION 1.1: OBJECT-ORIENTED CONCEPTUAL MODELING ------------------------------------------------ Session Chair: B. Bhargava, Purdue University o Modeling Behavior, A Step Towards Defining Functionally Correct Views of Complex Objects in Concurrent Engineering Fawaz S. Al-Anzi and David L. Spooner (Rensselaer Polytechnic Institute) o Integrating a Part Relationship Into an Open OODB System Using Metaclasses Michael Halper, James Geller, Yehoshua Perl (NJIT) and Wolfgang Klas (GMD-IPSI, Germany) o A Classification Algorithm for Supporting Object-Oriented Views Elke A. Rundensteiner (University of Michigan, Ann Arbor) o An Object-Oriented Database Application for HyTime Document Storage Klemens Bohm and Karl Aberer (GMD-IPSI, Germany) 11:15 SESSION 1.2: QUERY PROCESSING-1 ------------------------------- Session Chair: K. Vadaparty, Case Western Reserve University. o An Optimal Graph Traversal Algorithm for Evaluating Linear Binary Chain Programs Yangjun Chen and Theo Harder (University of Kaiserslautern, Germany) o TID Hash Joins Robert Marek (University of Kaiserslautern, Germany) and Erhard Rahm (University of Leipzig, Germany) o Introducing Semantics in Conceptual Schema Reuse Ana Paula Ambrosio (Laboratoire PRISM, France) o A Case for Reconfigurable Parallel Architectures for Information Retrieval W. Addison Woods, H. Douglas Moser, Ophir Frieder (George Mason University) and Paul B. Kantor (Rutgers University) 11:15 SESSION 1.3: KNOWLEDGE BASES ---------------------------- Session Chair: W. Chu, UCLA. o A Storage System for Scalable Knowledge Representation Peter D. Karp, Suzanne M. Paley and Ira Greenberg (SRI International) o Computer Image Retrieval by Features: Selecting the Best Facial Features for Suspect Identification Systems Eric S. Lee (St. Mary's University) and Thom Whalen (Communications Research Centre) o A Lock Method for KBMSs Using Abstraction Relationships' Semantics Fernando de Ferreira Rezende and Theo Harder (University of Kaiserslautern, Germany) o Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos and Kenneth C. Sevcik (University of Toronto) 1:00 LUNCH ----- 2:00 KEYNOTE ADDRESS --------------- The Paradigm Shift from Numerically Intensive to Data Intensive Computing. Milton Halem (Chief, Space Data and Computing Division, NASA) 3:00 BREAK ----- 3:15 SESSION 1.4: TEXT DATABASES INFORMATION RETRIEVAL-1 --------------------------------------------------- Session Chair: C. Nicholas, UMBC o Analytical Version Control Management in a Hypertext System Antonina Dattolo and Antonio Gisolfi (Universita Di Salerno, Italy) o Query Expansion Using Domain Adapted, Weighted Thesaurus in an Extended Boolean Model Oh-Woog Kwon, Myoung-Cheol Kim and Key-Sun Choi (Korea Advanced Institute of Science and Tech.) 3:15 SESSION 1.5: TRANSACTION PROCESSING-1 -------------------------------------- Session Chair: M. Kohli, Bellcore o Minipage Locking Support for Page-Server Database Management Systems S. Chu and M. Winslett (University of Illinois) o Isolation of Transaction Aborts in Object-Oriented Database Management Systems Shankar Pal and Sitaram Lanka (Pennsylvania State University) 3:15 SESSION 1.6: INTELLIGENT AGENTS ------------------------------- Session Chair: S. Naqvi, Bellcore o KQML-A Language and Protocol for Knowledge and Information Exchange Tim Finin, Rich Fritzson (University of Maryland at Baltimore County), Don McKay and Robin McEntire (Unisys Corporation) o A Semantics Approach for KQML-A General Purpose Communication Language for Software Agents Yannis Labrou and Tim Finin (University of Maryland at Baltimore County) 4:05 BREAK ----- 4:15- PANEL I 5:00 ------- Making money on the Internet. Panel Coordinator: Charles Nicholas (UMBC) Panelists include: Andrew Anker (Wired Magazine), Harold Stone (NEC Research Labs). 4:15- PANEL II 5:00 -------- Manufacturing Panel Coordinator: Steve Ray (NIST) Panelists: Janet Gardner (ADB, Inc.), Jeff Sutherland (Easel Corp.), Pradeep Khosla (ARPA), Dana Nau (Univ. of Maryland), Leo Obrst (Boeing Helicopters), Ed Barkmeyer (NIST). 7:30 CONFERENCE RECEPTION -------------------- |||||||||||||||||||||||||||| || Wednesday, November 30 || |||||||||||||||||||||||||||| 9:00 KEYNOTE ADDRESS --------------- Issues in Large Knowledge Repositories Al Aho (Vice President, Bellcore) 10:00 BREAK ----- 10:20 INVITED TALKS ------------- Global Information Infrastructure David Farber (Moore Professor, University of Pennsylvania) Design of a Language and Environment for Multimedia Applications Development. Jack Schwartz (Professor, New York University) Intelligent Software for I/O Systems. Peter Sheuermann (Professor, Northwestern University) 11:05 BREAK ----- 11:15 SESSION 2.1: LOGICAL/DEDUCTIVE DATABASES ---------------------------------------- Session Chair: T. Finin, UMBC. o On The Relationship Between Description Logic and Predicate Logic Alex Borgida (Rutgers University) o LogicBase: A Deductive Database System Prototype Jiawei Han, Ling Liu and Zhaohui Xie (Simon Fraser University) o Algebraic Equivalences Among Nested Relational Expressions Hong-Cheu Liu and K. Ramamohanarao (University of Melbourne, Australia) o Intelligent Query Answering in Deductive and Object-Oriented Databases Suk-Chung Yoon (Widener University), Il-Yeol Song (Drexel University) and E.K. Park (U.S. Naval Academy) 11:15 SESSION 2.2: SCHEMA INTEGRATION ------------------------------- Session Chair: R. Ashany, NSF o Linguistic Instruments and Qualitative Reasoning for Schema Integration Paul Johannesson (Stockholm University, Sweden) o Preserving Update Semantics in Schema Integration V.M.P. Vidal (Universidade Federal do Ceara, Brazil) and M. Winslett (University of Illinois, Urbana-Champaign) o THE EGG/YOLK RELIABILITY Hierarchy: Semantic Data Integration Using Sorts with Prototypes Fritz Lehmann (GRANDAI Software) and Anthony G. Cohn (University of Leeds, UK) 11:15 SESSION 2.3: TEMPORAL DATABASES ------------------------------- Session Chair: M. Ozsoyoglu, Case Western Reserve University o Towards a Framework for Integrating Multilevel Secure Models and Temporal Data Models Niki Pissinou (The University of SW Louisiana), Kia Makki (University of Nevada) and E.K. Park (U.S. Naval Academy) o A Pattern Matching Language for Spatio-Temporal Databases Tsz S. Cheng and Shashi K. Gadia (Iowa State University) o The Time Index+: An Incremental Access Structure for Temporal Databases Vram Kouramajian (Rice University), Ibrahim Kamel (University of Maryland, College Park), Ramez Elmasri and Syed Waheed (The University of Texas at Arlington) 1:00 LUNCH ----- 2:00 PANEL III --------- Federal Program Initiatives in Computer & Information Science. Panel Coordinator: Milton Halem (NASA). Representatives from: ARPA, NASA, NSF, DOE and NIST. 3:00 BREAK ----- 3:15 SESSION 2.4: STORAGE SYSTEMS ---------------------------- Session Chair: P. Scheuermann, Northwestern University o Management of Disk Space with REBATE Shahram Ghandeharizadeh and Douglas J. Ierardi (University of Southern California) o XEL: Extended Ephemeral Logging for Log Storage Management John S. Keen and William J. Dally (MIT) 3:15 SESSION 2.5: SCHEMA EVOLUTION/INTEROPERABILITY ---------------------------------------------- Session Chair: E. Rundensteiner, Univ. of Michigan o Design and Evaluation Rules for Building Adaptive Schema in an Object-Oriented Data and Knowledge Base System Ling Liu (University of Alberta, Canada) o Context Interchange: Overcoming the Challenges of Large-Scale Interoperable Database Systems in a Dynamic Environment Cheng Hian Goh, Stuart E. Madnick and Michael D. Siegel (MIT) 3:15 SESSION 2.6: SPATIAL DATABASES ------------------------------ Session Chair: Y. Arens, Information Sciences Institute o Hashing by Proximity to Process Duplicates in Spatial Databases Walid G. Aref (Matsushita Information Technology Laboratory) and Hanan Samet (University of Maryland, College Park) o Spatial Data Traversal in Road Map Databases: A Graph Indexing Approach J. Leon Zhao and Ahmed Zaki (College of William and Mary) 4:04 BREAK ----- 4:15- PANEL IV 5:00 -------- Standards for Digital Libraries. Panel Coordinator: Rudolf Bayer, University of Munich. 4:15- PANEL V 5:00 ------- Standards and Interoperability Panel Coordinators: Elizabeth Fong (NIST) and A. Helal (Univ. of Texas at Arlington) Moderator: Robert Neches (ARPA) Panelists: Doug Barry (ODMG), Andrew Eisenberg (DEC), Son Dao (Hughes Research), Satish Tripathi (Univ. of Maryland, College Park.) 4:15- SESSION 2.7: COOPERATIVE DATABASES/MOBILE COMPUTING/NII 5:00 ------------------------------------------------------- Session Chair: R. Alonso, MITL o Semantics-Based Information Brokering Vipul Kashyap (Rutgers University) and Amit Sheth (University of Georgia) o Building Information Systems for Mobile Environments Evaggelia Pitoura and Bharat Bhargava (Purdue University) o The Role of the Database Community in the National Information Infrastructure David Flater and Yelena Yesha (University of Maryland Baltimore County and NIST) o Functionality and Architecture of a Cooperative Database System Thomas Kirsche, Richard Lenz and Hans Schuster (University of Erlangen-Nuremberg, Germany) 7:30 CONFERNCE BANQUET ----------------- Banquet Speaker: Thomas Kalil (Director, National Economic Council, The White House). Talk: The Clinton-Gore Administration and the National Information Infrastructure |||||||||||||||||||||||||||| ||| Thursday, December 1 ||| |||||||||||||||||||||||||||| 9:00 KEYNOTE ADDRESS --------------- Computing into the 21st Century. Robert Ewald (Chief Operating Officer, CRAY Research, Inc.) 10:00 BREAK ----- 10:20 INVITED TALKS ------------- Constraint Programming: a High-level Query Language for Multimedia Data. Paris C. Kanellakis (Professor, Brown University) Frameworks for Future Knowledge Work Environments - Digital Libraries, Collaboratories, and the Virtual Corporation. Danial E. Atkins (Dean, Professor of Information & Library Studies, and Professor of EE and Computer Science, and Dean of Information and Library Studies, University of Michigan). On the Storage and Retrieval of Continuous Media Data. Avi Silberschatz (AT&T Bell Laboratories) 11:05 BREAK ----- 11:15 SESSION 3.1: KNOWLEDGE DISCOVERY (DATA MINING) ---------------------------------------------- Session Chair: C. Overton, University of Pennsylvania o Discovery of Decision Rules in Relational Databases: A Rough Set Approach Xiaohua Hu and Nick Cercone (University of Regina) o Finding Interesting Rules from Large Sets of Discovered Association Rules Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen, Hannu Toivonen and A. Inkeri Verkamo (University of Helsinki, Finland) o Hierarchical Classification as an Aid to Database and Hit-List Browsing J. Royce Rose (University of South Carolina) and Johann Gasteiger (Universitaet Erlangen-Nurnberg, Germany) 11:15 SESSION 3.2: TRANSACTION PROCESSING-2 -------------------------------------- Session Chair: S. Davidson, University of Pennsylvania o Adaptive Commitment for Distributed Real-Time Transactions Nandit Soparkar (University of Michigan), Eliezer Levy (Intel Israel), Henry F. Korth (Matsushita Information Technology Lab.) and Avi Silberschatz (AT&T Bell Laboratories) o Multiversion Divergence Control of Time Fuzziness Calton Pu (Oregon Graduate Institute), Miu K. Tsang, Kun-Lung Wu and Philip S. Yu (IBM T.J. Watson Research Center) o Group Formation Mechanisms for Transactions in ISIS Neel K. Jain (Cornell University) o Quasi-Dynamic Two-Phase Locking Abdelsalam Helal, Tung-Hui Ku (University of Texas at Arlington) 11:15 SESSION 3.3: QUERY PROCESSING-2 ------------------------------- Session Chair: M. Singhal, Ohio State University o Using Path Information for Query Processing in Object-Oriented Database Systems Dik L. Lee and Wang-chien Lee (Ohio State University) o Closure Maintenance in An Object-Oriented Query Model Reda Alhajj (King Saud Univ.) and Faruk Polat (Bilkent University, Turkey) o Performance of Clustering Policies in Object Bases Adel Shrufi (University of Toronto) o An Optimized Implementation for VML Based on Pattern Matching and Dynamic Programming Weimin Chen (GMD-IPSI, Germany) and Volker Turau (FH Giessen-Friedberg, Germany) 1:00 LUNCH ----- 2:00 KEYNOTE ADDRESS --------------- Approaches to High-Level Interoperability. Jeffrey D. Ullman (Professor and Chair, Stanford University) 3:00 BREAK ----- 3:15 SESSION 3.4: TEXT DATABASES INFORMATION RETRIEVAL-2 --------------------------------------------------- Session Chair: I. Song, Drexel University o Application of a Symbolico-Connectionist Approach for the Design of a Highly Interactive Documentary Database Interrogation System with On Line Learning Capabilities Jean Charles Lamirel and Marion Crehange (CRIN-CNRS, Nancy, France) o Heuristic Information Retrieval on a Competition-Based Connectionist Model Inien Syu and S.D. Lang (University of Central Florida) 3:15 SESSION 3.5: MEDICAL APPLICATIONS --------------------------------- Session Chair: C. Pu, Oregon Graduate Institute o Representation of Medical Guidelines on Top of a Classification-Based System C. Heinlein, K. Kuhn and P. Dadam (University of Ulm, Germany) o Facilitating Transformations in a Human Genome Project Database S.B. Davidson, A.S. Kosky and B. Eckman (University of Pennsylvania) 3:15 SESSION 3.6: INDEXING/CACHING ----------------------------- Session Chair: E.K. Park, US Naval Academy o Intelligent Caching: Selecting, Representing, and Reusing Data in an Information Server Yigal Arens (Information Sciences Institute) and Craig Knoblock (University of Southern California) o Re-Evaluating Indexing Schemes for Nested Objects Yin-he Jiang, Xiangning Liu and Bharat Bhargava (Purdue University) 6:30 WORKSHOPS DINNER ---------------- Programs for Workshops and Exhibits are available separately. LOCAL ARRANGEMENTS: ------------------ CIKM-94 will be held at NIST in the Administration Building. NIST, located in Gaithersburg, MD, is approximately 25 miles northwest of Washington, D.C. NIST and Gaithersburg Hilton hotel are accessible from Dulles, National, and BWI Airports. Dulles and National Airports are served by Montgomery Airport Shuttle by making advance reservations (301) 990-6000 for $19 per person. DIRECTIONS TO NIST: BY CAR: From South: Take I-495 to I-270 Exit 10, Clopper Road, left at first traffic signal into NIST main entrance. From North: Take I-270 Exit 11, Quince Orchard Road, left at second traffic signal, right at first traffic signal into NIST main entrance. From Gaithersburg Hilton: Turn right on Perry Parkway, right turn on Clopper Road, left at the first traffic signal into NIST main entrance. Parking: Please park at the big parking lot to your left as you drive in. Walk to the Administration building. The Admin building is the one to the right of the flag pole. BY METRORAIL: Take Red Line to Shady Grove Metrorail Station. Go down the escalator and turn left. Go up the escalator to the West side Kiss and Ride Parking Lot and wait for the NIST Shuttle. NIST Shuttle leaves on the quarter and three-quarter hour (e.g., 8:15, 8:45, ... 5:15, 6:00), Monday through Friday. HOTEL: ----- We have arranged a block of rooms at the Gaithersburg Hilton Hotel, 620 Perry Parkway, Gaithersburg, MD 20877, (301) 977-8900, or 1-800-599-5111, Fax: (301) 869-8597. Please make your hotel reservation early. To obtain special conference rate (rate is U.S. $70.00 per night for Single or Double), you must mention that you are attending the CIKM-94 conference in November/December 1994. Cut-off date for guaranteed guest room reservations is November 14, 1994. Transportation from Hilton/NIST/Hilton will be available for CIKM-94 attendees. FOR FURTHER INFORMATION: ----------------------- For further information regarding local arrangements, contact the CIKM Local Arrangements Chair: Elizabeth Fong at NIST, (301) 975-3250, Fax: (301) 948-6213, E-mail: fong@speckle.ncsl.nist.gov ON--LINE INFORMATION: -------------------- Information on CIKM is available on--line via ftp, gopher, WWW, and e-mail. Access information is: ftp: from ftp.cs.umbc.edu in pub/cikm gopher: from gopher.cs.umbc.edu in conferences/cikm www: from http://www.cs.umbc.edu/cikm To receive an automatic response with information on CIKM--94, send a message to cikm-info@cs.umbc.edu. To subscribe to a mailing list of ongoing information on the CIKM conferences, send a message to majordomo@cs.umbc.edu with the string ``subscribe cikm-outgoing'' in the body. A variety of documents on CIKM--94 and earlier CIKM conferences are available on the WWW via the URL http://www.cs.umbc.edu/cikm. These are also available via ftp from ftp.cs.umbc.edu in the directory pub/cikm. REGISTRATION INFORMATION: ------------------------ Note to CIKM-94 authors: Please include any extra page charges when you register. Conference papers are allotted up to eight pages in the proceedings. If necessary, you can have one or two additional proceedings pages by paying a fee of 100.00 per additional page. Send the registration form with fee (in US Dollars ONLY, with checks or money order payable to CIKM--94) to: Dr. E.K. Park Computer Science Department U.S. Naval Academy Annapolis, MD 21402 U.S.A. Tel: (410) 293-6806 Fax: (410) 293-2686 E-Mail: eun@usna.navy.mil by October 31, 1994 (pre-registration cut off date except for authors). Authors (at least one author per paper) must pre-register by August 27, 1994 when the camera ready manuscripts are returned. The conference registration fee covers the proceedings, conference reception, refreshments during the conference, and the dinner banquet. Student registration does include reception, banquet and proceedings. Additional reception tickets may be purchased for $30.00 and additional banquet tickets for $40.00. CIKM'94 CONFERENCE/WORKSHOP REGISTRATION FORM ----------------------------------------------------------------------------- Please complete this form (TYPE or PRINT), and return with your payment to: Dr. E.K. Park Computer Science Department U.S. Naval Academy Annapolis, MD 21402 U.S.A. Tel: (410) 293-6806 Fax: (410) 293-2686. Your paper title, if any:_____________________________________________________ ______________________________________________________________________________ Paper authors:___________________________________________________________ First Name:_________________________ Last Name:_______________________________ Title (Dr/Mr/Ms/Prof.):_____________ Position:________________________________ Company/Univ.:_______________________________ Dept.:__________________________ Address:______________________________________________________________________ City:_________________________ State:_____________ Zip/Postal Code:___________ Country:_______________________________ Phone:________________________________ Fax:_________________________________ E-mail:_________________________________ Payment in U.S. dollars ONLY (check drawn on a U.S. bank or International Money Order) is enclosed for the following (Please Check). ADVANCE (Received by October 31, 1994.): ========================================== Reg. Fee ACM/AAAI ______Member($290.00) ______Non-Member($340.00) ______Student ($190.00) Workshop ______Member($150.00) ______Non-Member($150.00) ______Student($75.00) Please circle your workshop preferences (fee is for EACH workshop): 1. GIS 2. Electronic Commerce 3. Intelligent Agents 4. Hypertext LATE/ONSITE (Received AFTER October 31, 1994): ================================================ Reg. Fee ACM/AAAI ______Member($340.00) ______Non-Member($390.00) ______Student($220.00) Workshop ______Member($180.00) ______Non-Member($180.00) ______Student($100.00) Please circle your workshop preferences (fee is for EACH workshop): 1. GIS 2. Electronic Commerce 3. Intelligent Agents 4. Hypertext Reg. Fee : choose category $_______________ Workshop Fee for each: choose category $_______________ Extra Page Charge:(U.S. $100.00 per page) $_______________ Extra Conf. Reception Tickets: ($30/ea) $_______________ Extra Workshop Reception Tickets:($30/ea) $_______________ Extra Conf. Banquet Tickets: ($40/ea) $_______________ Total Amount Enclosed: U.S. $_____________________ ACM/AAAI membership number (required for member rate):_____________________ Signature:_____________________________________ Date:______________________ PS: Acknowledgement of receipt of the registration form with payment will be sent out only by e-mail if you provide your e-mail address. Conference materials including receipts and proceedings can be picked up at the registration desk on site. Note that CIKM-94 will be held at NIST and Hilton Hotel is about 1 mile away from NIST. Transportation from Hilton/NIST/Hilton will be available for CIKM-94 attendees. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From finin@cs.umbc.edu Mon Nov 14 00:27:54 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 14 Nov 94 00:27:47 -0600 Received: from algol.cs.umbc.edu by cs.wisc.edu; Mon, 14 Nov 94 00:27:45 -0600 Received: from retriever.cs.umbc.edu (finin@retriever.cs.umbc.edu [130.85.100.32]) by algol.cs.umbc.edu (8.6.9/8.6.9) with ESMTP id BAA12669 for ; Mon, 14 Nov 1994 01:27:43 -0500 From: Timothy Finin Received: (finin@localhost) by retriever.cs.umbc.edu (8.6.9/8.6.9) id BAA02738; Mon, 14 Nov 1994 01:27:42 -0500 Date: Mon, 14 Nov 1994 01:27:42 -0500 Message-Id: <199411140627.BAA02738@retriever.cs.umbc.edu> To: dbworld Subject: CIKM Intelligent Information Agents Workshop Additional details are available on "http://www.cs.umbc.edu/~cikm/1994/iia/". Online copies of some of the papers will be available within a few days. For more information, contact finin@cs.umbc.edu. ______________________________________________________________________________ CIKM Workshop on INTELLIGENT INFORMATION AGENTS held in conjunction with the Third International Conference on Information and Knowledge Management (CIKM'94) Friday, December 2, 1994 National Institute of Standards and Technology Gaithersburg, Maryland ---------------------------------------------------------------------------- Sponsored by: ACM SIGART and ACM SIGIR, in cooperation with: AAAI, NIST, UMBC, NSF, Purdue University, and Rutgers University. ---------------------------------------------------------------------------- ADVANCE PROGRAM 8:00 - 8:30 Coffee 8:30 - 8:45 Welcome, Introduction Tim Finin (UMBC) 8:45 - 10:15 Session One, D. McKay (Unisys) "Agent Amplified Communication", Henry Kautz and Bart Selman (AT&T) "Heterogeneous Information Systems Integration: An Agent Messaging Approach", Sankar Virdakriswaren (Cryztaliz) "SodaBot: A Software Agent Environment and Construction System", Michael Coen (MIT) DISCUSSION 10:15 - 10:30 Break 10:30 - 12:00 Session Two, B. Grosof (IBM) "Transportable Agents", Keith Kotay and David Kotz (Dartmouth) "Incorporation Emotional Agents into the Cooperation Mechanism of the Accord System", Michael Gray and D. Patrick Studdard (American University) "Agent Based Software Engineering" , Michael Genesereth (Stanford) DISCUSSION 12:00 - 1:00 Lunch 1:00 - 2:30 Session Three, M. Coriat (Universiti Paris) "An Endogenous Fitness Paradigm for Adaptive Information Agents", Filippo Menczer, Wolfram Willuhn, and Rik Bellew (UCSD) "VISITOR-HOSTER: Toward an Intelligent Electronic Secretary", Katia Sycara and Dajun Zeng (CMU) "Autonomous Agents in Inter-Organization Project Management", Jeremy Pitt, Matthew Anderson and Jim Cunningham (Imperial College) DISCUSSION 2:30 - 2:45 Break 2:45 - 4:15 Session Four, Yigal Arens (USC/ISI) "Efficient Query Processing for Information Gathering Agents", Craig Knoblock (ISI) and Alon Levy (AT&T) "Agent Collaboration as a Resource Discovery Technique", Ellen Voorhees (Siemens) "Networked Information Retrieval as Distributed Problem Solving", Tim Oates, M.V. Nagendra Prasad and Victor Lesser (UMASS) Discussion 4:15 - 5:15 Panel: Agent Communication and Programming Languages W. Davis, M. Genesereth, Y. Labrou, D. McKay 5:15 - 5:30 Wrap-up ORGANIZING COMMITTEE: Yigal Arens (USC/ISI) Phil Cohen (SRI/OGI) Edmund Durfee (Michigan) Oren Etzioni (Washington) Tim Finin (Maryland, UMBC) Michael Genesereth (Stanford) Michael Huhns (MCC) Yannis Labrou (Maryland, UMBC) James Mayfield (Maryland, UMBC) Don McKay (Unisys) Yoav Shoham (Stanford) Jay Weber (EIT) Michael Wooldridge (Manchester) ============================================================================= REGISTRATION FORM ----------------------------------------------------------------------------- Please complete this form (TYPE or PRINT), and return with your payment to: Dr. E.K. Park Computer Science Department U.S. Naval Academy Annapolis, MD 21402 U.S.A. Tel: (410) 293-6806 Fax: (410) 293-2686. First Name:_________________________ Last Name:_______________________________ Title (Dr/Mr/Ms/Prof.):_____________ Position:________________________________ Company/Univ.:_______________________________ Dept.:__________________________ Address:______________________________________________________________________ City:_________________________ State:_____________ Zip/Postal Code:___________ Country:_______________________________ Phone:________________________________ Fax:_________________________________ E-mail:_________________________________ Payment in U.S. dollars ONLY (check drawn on a U.S. bank or International Money Order) is enclosed for the following (Please Check). ADVANCE (Received by October 31, 1994.): ========================================== Reg. Fee ACM/AAAI ______Member($290.00) ______Non-Member($340.00) ______Student ($190.00) Workshop ______Member($150.00) ______Non-Member($150.00) ______Student($75.00) Please circle your workshop preferences (fee is for EACH workshop): 1. GIS 2. Electronic Commerce 3. Intelligent Agents 4. Hypertext LATE/ONSITE (Received AFTER October 31, 1994): ================================================ Reg. Fee ACM/AAAI ______Member($340.00) ______Non-Member($390.00) ______Student($220.00) Workshop ______Member($180.00) ______Non-Member($180.00) ______Student($100.00) Please circle your workshop preferences (fee is for EACH workshop): 1. GIS 2. Electronic Commerce 3. Intelligent Agents 4. Hypertext Reg. Fee : choose category $_______________ Workshop Fee for each: choose category $_______________ Extra Page Charge:(U.S. $100.00 per page) $_______________ Extra Conf. Reception Tickets: ($30/ea) $_______________ Extra Workshop Reception Tickets:($30/ea) $_______________ Extra Conf. Banquet Tickets: ($40/ea) $_______________ Total Amount Enclosed: U.S. $_____________________ ACM/AAAI membership number (required for member rate):_____________________ Signature:_____________________________________ Date:______________________ Acknowledgement of receipt of the registration form with payment will be sent out only by e-mail if you provide your e-mail address. Conference materials including receipts and proceedings can be picked up at the registration desk on site. Note that CIKM-94 will be held at NIST and Hilton Hotel is about 1 mile away from NIST. Transportation from Hilton/NIST/Hilton will be available for CIKM-94/Workshop attendees. HOTEL: We have arranged a block of rooms at the Gaithersburg Hilton Hotel, 620 Perry Parkway, Gaithersburg, MD 20877, (301) 977-8900, or 1-800-599-5111, Fax: (301) 869-8597. Please make your hotel reservation early. To obtain special conference rate (rate is U.S. $70.00 per night for Single or Double), you must mention that you are attending the CIKM-94 conference in November/December 1994. Cut-off date for guaranteed guest room reservations is November 14, 1994. Transportation from Hilton/NIST/Hilton will be available for CIKM-94 attendees. FOR FURTHER INFORMATION: For further information regarding local arrangements, contact the CIKM Local Arrangements Chair: Elizabeth Fong at NIST, (301) 975-3250, Fax: (301) 948-6213, E-mail: fong@speckle.ncsl.nist.gov Information on CIKM is available on--line via ftp, gopher, WWW, and e-mail. Access information is: ftp: from ftp.cs.umbc.edu in pub/cikm gopher: from gopher.cs.umbc.edu in conferences/cikm www: from http://www.cs.umbc.edu/cikm To receive an automatic response with information on CIKM-94, send a message to cikm-info@cs.umbc.edu. To subscribe to a mailing list of ongoing information on the CIKM conferences, send a message to majordomo@cs.umbc.edu with the string ``subscribe cikm-outgoing'' in the body. A variety of documents on CIKM-94 and earlier CIKM conferences are available on the WWW via the URL http://www.cs.umbc.edu/cikm. These are also available via ftp from ftp.cs.umbc.edu in the directory pub/cikm. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From kock@iesd.auc.dk Mon Nov 14 03:55:38 1994 Received: from fyvie.cs.wisc.edu by sea.cs.wisc.edu; Mon, 14 Nov 94 03:55:24 -0600 Received: from iesd.auc.dk by fyvie.cs.wisc.edu; Mon, 14 Nov 94 03:55:16 -0600 Received: from sigma.iesd.auc.dk (kock@sigma.iesd.auc.dk [130.225.48.176]) by iesd.auc.dk (8.6.5/8.6.5) with ESMTP id KAA10163; Mon, 14 Nov 1994 10:55:09 +0100 From: Uffe Kock Wiil Received: from localhost (kock@localhost) by sigma.iesd.auc.dk (8.6.5/8.6.5) id KAA00758; Mon, 14 Nov 1994 10:55:03 +0100 Date: Mon, 14 Nov 1994 10:55:03 +0100 Message-Id: <199411140955.KAA00758@sigma.iesd.auc.dk> To: dbworld@fyvie.cs.wisc.edu Subject: CFP: International Workshop on Temporal Databases (VLDB'95) Cc: kock@iesd.auc.dk X-Sun-Charset: US-ASCII >From kock@iesd.auc.dk Mon Nov 14 10:52:54 1994 From: Uffe Kock Wiil Date: Mon, 14 Nov 1994 10:52:46 +0100 To: tsql@cs.arizona.edu Subject: CFP: International Workshop on Temporal Databases (VLDB'95) Cc: kock@iesd.auc.dk X-Sun-Charset: US-ASCII Content-Length: 8690 A Postscript version of this call for papers may be obtained via anonymous ftp from ftp.iesd.auc.dk where it is located in the directory pub/conferences/TempDB95. *Final Call For Papers* INTERNATIONAL WORKSHOP ON TEMPORAL DATABASES In cooperation with The VLDB Endowment, Inc. Zurich, SWITZERLAND -- September 17-18, 1995 Supported by ARPA/NSF (pending), Aalborg University and ETH Zurich The International Workshop on Temporal Databases will bring together leading researchers and developers in the field of temporal databases to discuss the state-of-the-art in research, applications and standards in the area, and to start setting future research directions. The workshop comes at a time when recent, significant advances in this field are poised to have a major impact on the commercial database products of the near future, and is intended to serve as a forum for disseminating research and experience in this rapidly advancing area. Since the workshop will be held in cooperation with The VLDB Endowment, Inc. and immediately following VLDB'95 in Zurich, participants will be able to maximize their interchange of experiences and knowledge among researchers and practitioners across the entire field of database research and development. SCOPE ----- The primary focus of the workshop is on new and original research results in the areas of theoretical foundations, design, implementation, and applications of temporal databases, as well as experience reports from application specialists and the commercial community that describe lessons learned in the development, operation, and maintenance of actual temporal database systems in practical and innovative applications. The goal is to exchange research ideas and results which will not only contribute to the academic arena, but will also benefit the commercial community in the near future and encourage a dialog between practitioners and researchers. Suggested topics include, but are not limited to, the following as they relate to temporal databases: o Temporal Data Models, including o Distributed Temporal Databases Valid-Time, Transaction-Time, o Query Optimization Techniques and Bitemporal Models o Integration with Existing o Semantics of Temporal Data Commercial Products o Temporal Query Languages o Critical Evaluation of o Spatio-Temporal Data Models TSQL2/TSQL3 Proposals and Languages o Simulation and Modeling o Temporally Active Data Models o Knowledge-Based Systems o Rule Processing in Temporally o Decision Support Active Databases o Knowledge Discovery o Temporal Database Design o Novel Applications in Business, o Real-time Databases Scientific, Medical, and Legal o Concurrency Control and Recovery Domains o Reasoning with Temporal o Requirements Analysis for Information Temporal Database Applications o Imprecise Temporal Information o Reports on Experience with Real Applications WORKSHOP FORMAT --------------- The workshop will be organized in a manner designed to maximize the opportunity for interaction and exchange among the participants. It will consist of paper presentations and panels on recent developments and emerging trends, with ample time allocated for group discussions. This format should provide a forum for collaborations to develop among members of the international community of temporal database researchers and practitioners. Attendance will be limited. SUBMISSION ---------- Authors are invited to submit original research contributions or experience reports in English. Papers should be double-spaced and no longer than 8,000 words (roughly twenty pages). Submissions will be ``double-blind'' reviewed, i.e., anonymously, and should therefore include a separate title page with each author's full name, affiliation, complete address where you can be reached the week of May 15, 1995, telephone number, internet address and, if available, fax number. Notification and reviews will be communicated via email. Submitters should indicate in a cover letter their willingness to attend the workshop and present their paper. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality and relevance. Accepted papers will be presented at the Workshop and included in the proceedings, which will appear as a book in the Workshops in Computing series published by Springer-Verlag in collaboration with the British Computer Society. Proposals for panels that examine emerging, innovative, or otherwise provocative temporal database issues are encouraged as well. Panel proposals should include a 1-2 page summary of the topic and the names and affiliations of 3-4 panelists who have made a commitment to participate. A mix of industry and academic panel members is recommended. Five copies of a technical paper or panel proposal should be submitted by Monday, March 20, 1995 to the program chair. James Clifford, Program Chair International Workshop on Temporal Databases Department of Information Systems Leonard N. Stern School of Business New York University 44 West 4th Street, Suite 9-74 New York, NY 10012-1126 USA E-mail: jclifford@stern.nyu.edu Tel: (212) 998-0803 Fax: (212) 995-4228 We encourage submission of papers from both the academic and industrial spheres. IMPORTANT DATES --------------- Paper and proposal submission: March 20, 1995 (FIRM DEADLINE) Notification of invitation: May 15, 1995 Camera-ready copy due: June 12, 1995 Workshop: September 17-18, 1995 For further information, or in case of questions, please contact the General Chair: Christian S. Jensen E-mail: csj@iesd.auc.dk Program Chair: James Clifford, New York University, USA Steering Committee: Arie Segev (Chair), UC Berkeley & Lawrence Berkeley Lab, USA James Clifford, New York University, USA Christian S. Jensen, Aalborg University, DENMARK Tamer Ozsu, University of Alberta, CANADA Barbara Pernici, Politecnico di Milano, ITALY Niki Pissinou, University of Southwestern Louisiana, USA Richard T. Snodgrass, University of Arizona, USA Program Committee : Gad Ariav, Tel Aviv University, ISRAEL Jan Chomicki, Kansas State University, USA Albert Croker, Bernard M. Baruch College, CUNY, USA Ramez Elmasri, University of Texas, Arlington, USA Opher Etzion, Technion, ISRAEL Shashi K. Gadia, Iowa State University, USA Fabio Grandi, Universita di Bologna, ITALY Matthias Jarke, University of Aachen, GERMANY Wolfgang Kafer, Daimler Benz, GERMANY T. Y. Cliff Leung, IBM Santa Teresa Lab, USA David Lomet, DEC Cambridge Research Lab, USA Nikos A. Lorentzos, Agricultural Univ. of Athens, GREECE Inderpal Singh Mumick, Bell Laboratories, AT&T, USA Beng-Chin Ooi, National University of Singapore, SINGAPORE John F. Roddick, University of South Australia, AUSTRALIA Colette Rolland, Universite de Paris 1, FRANCE Ellen Rose, Massey University, NEW ZEALAND N. L. Sarda, Indian Institute of Technology, Bombay, INDIA Edward Sciore, Boston College, USA Abdullah Uz Tansel, Bernard M. Baruch College, CUNY, USA Babis Theodoulidis, University of Manchester, ENGLAND Vassilis J. Tsotras, Polytechnic University, USA Alexander Tuzhilin, New York University, USA Finance Chair: Marianne Baudinet, University of Brussels, BELGIUM Registration Chair: Andreas Steiner, ETH-Zurich, SWITZERLAND Publicity Chair: Uffe K. Wiil, Aalborg University, DENMARK Local Arrangements Chair: Robert Marti, ETH-Zurich, SWITZERLAND Publications Chair: Alexander Tuzhilin, New York University, USA /---------------------------------------------------------------\ | Uffe Kock Wiil, Assistant Professor | | Programming Systems Lab, Department of Computer Science | | Aalborg University, Fr. Bajers Vej 7E, 9220 Aalborg, DENMARK | | Email: kock@iesd.auc.dk, Phone: +45 98158522, Fax: +45 98158129 | \---------------------------------------------------------------/ ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From seminars@pap.com Mon Nov 14 06:01:57 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 14 Nov 94 06:01:24 -0600 Date: Mon, 14 Nov 94 06:01:12 -0600 Received: from post.demon.co.uk by cs.wisc.edu; Mon, 14 Nov 94 06:01:12 -0600 Received: from alroth.demon.co.uk by post.demon.co.uk id ab04944; 14 Nov 94 11:53 GMT X-Sender: (Unverified) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: prolog-vendors@sics.se From: Seminar Administrator Subject: Software Technology in Transportation Seminar Cc: acclaim@sics.se, uk.ac.qmw.dcs!ai, alp-list@intellektik.informatik.th-darmstadt.de, alpuente@garbi.dsic.upv.es, cclp.x@parc.xerox.com, clp@cis.ohio-state.edu, clp@cs.cmu.edu, clpr-users@cis.ohio-state.edu, codognet@dmi.ens.fr, compsci@uk.ac.aston.mail.demon.co.uk, compulog@doc.imperial.ac.uk, compulog-list@cwi.nl, compunode@ecrc.de, concurrency@cwi.nl, dbworld, digest@uk.ac.ed.aiva.ed.ac.uk, gulp@apollo.di.unipi.it, gulp@di.unipi.it, ikbs@uk.ac.essex.demon.co.uk, ikbs-bb@uk.ac.brad.marvin.demon.co.uk, uk.ac.napier.dcs!ikbs-dist, ikbsbb@inf.rl.ac.uk, ikbsbb-local@uk.ac.sussex.cogs.susx.ac.uk, lics-email@cs.indiana.edu, linear@cs.stanford.edu, logic@cs.cornell.edu, lprolog@central.cis.upenn.edu, nl-kr@cs.rpi.edu, parforce@ecrc.de, POPX@vax.ox.ac.uk, prolia@tlxf.geomail.org, prolog-pe@bach.ces.cwru.edu, quintus-users@quintus.com, sepia_users@ecrc.de, sicstus-users@sics.se, types@dcs.glasgow.ac.uk, x3j17@ai.sri.com Message-Id: <9411141153.ab04944@post.demon.co.uk> My sincere apologies if you receive this more than once. Please kindly disregard subsequent copies. ******************************************************************************** 23rd November, 1994 SEMINAR ADVANCED SOFTWARE SOLUTIONS IN TRANSPORTATION AND DISTRIBUTION Hotel George V 31 Avenue George V 75008 Paris Presenting applications at: Scandinavian Airlines System British Airways London Underground British Telecom Electrowatt Engineering Asea Brown Boveri British Rail IC-PARC EDF An Exciting New Seminar In today's competitive environment, software technology is recognised as a critical way of securing a significant commercial advantage. This important European Union sponsored seminar describes advanced software applications in Transportation and Distribution and provides a unique occasion to learn about the leading edge of IT in YOUR industry. This exciting one-day event includes presentations from leading international companies which have successfully introduced key software technology in the form of logic programming and constraint logic programming. These powerful technologies are shaping solutions to many of the most intractable resourcing problems facing business today. The day holds an attractive mix of case studies, technology overviews, demonstrations, round table panel discussion, buffet lunch, and relaxing but productive coffee breaks. Why you should attend The seminar examines the impact, costs and benefits of introducing leading-edge software technology and highlights the specific benefits to the transportation and distribution industries. Representatives from major companies will describe the application of logic programming in their organisations. This varied programme of experienced speakers will provide insights into many of the management and implementation issues which can accompany technological change. This seminar will benefit decision makers, business and technical managers, directors, planners, and professionals, in the transportation industries, and those wishing to tackle the IT challenges of the future, today. It forms part of the Advanced Software Technology Awareness Programme organised by the Prolog Management Group, and Compulog Net - the European Union's Network of Excellence in Computational Logic. Other seminars in the programme focus on Banking, Finance, Insurance, Manufacturing, Engineering, and Telecommunications. PROGRAMME Coffee and Registration A Planning System for the Evacuation of Nuclear Waste for EDF Hubert Terrier, GIST, France Advanced software technology for planning in British Airways. Alan Ainsworth, IC-PARC, UK The Benefits of Logic Programming Applications in Airlines Peter Bille, Scandinavian Airline Systems, Denmark SCORE - A Prolog client-server application for airport slot allocation. Finn Gronskov, PDC, Denmark Prolog technology in British Rail & London Underground Steve Lympany, Electrowatt Engineering, UK KEVIN - An Intelligent Diagnostic System for Rail Guided Vehicles Michael Vogt, ABB Hensche, Germany, & Vlado Milosevic, ACT Efficiency improvements through Constraint Logic Programming Barry Crabtree, British Telecom, UK Panel Discussion and Software Displays CONTACT Al Roth Phone: +44 (0) 253 358081, Fax: +44 (0) 253 353811 E-mail: alroth@cix.compulink.co.uk, or seminars@pap.com VENUE: Hotel George V, Paris Phone (33 1) 47 20 40 10 Fax (33 1) 47 20 06 49 SPONSORED BY bim compulog net ds logics logic programming associates icon integral systems ltd prologia prolog management group siemens nixdorf cosytec More information on this programme of awareness seminars can be found at http://www.cs.kuleuven.ac.be/~bimandre/aware ***************************************************************************** %-----------------------------REPLY FORM---------------------------------------% Please return to: Al Roth alroth@alroth.demon.co.uk Name ______________ Organsisation _____________ Address ___________ Phone _____________ Fax ____________ O Please reserve me a place at the Seminar, Paris, Nov 23 O Please send me more information about the Paris seminar O Please keep me informed of other seminars in the Advanced Software Technology Awareness Programme %-----------------------------------------------------------------------------% ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From coopis@dke.univie.ac.at Mon Nov 14 08:29:24 1994 Received: from fyvie.cs.wisc.edu by sea.cs.wisc.edu; Mon, 14 Nov 94 08:29:18 -0600 Received: from fidelio.dke.univie.ac.at by fyvie.cs.wisc.edu; Mon, 14 Nov 94 08:28:55 -0600 Received: (from coopis@localhost) by fidelio.dke.univie.ac.at (8.6.8/8.6.6) id PAA19079 for dbworld@fyvie.cs.wisc.edu; Mon, 14 Nov 1994 15:28:32 +0100 Date: Mon, 14 Nov 1994 15:28:32 +0100 From: coopis Message-Id: <199411141428.PAA19079@fidelio.dke.univie.ac.at> To: dbworld@fyvie.cs.wisc.edu Subject: Third International Conference on Cooperative Information Systems Call for Papers Third International Conference on Cooperative Information Systems (CoopIS-95) May 9-12, 1995 Schloss Wilhelminen-Berg, Vienna, Austria In cooperation with IEEE CS, ACM SIGOIS, ACM SIGMOD (pending approval) ******************************************************************************* *** Important dates *** *** --------------- *** *** *** *** December 15,1994 paper, panel, and tutorial submissions due *** *** February 15,1995 notification of acceptance *** *** March 1,1995 camera-ready version due *** ******************************************************************************* An Evolving CIS Paradigm ------------------------ The paradigm for the next generation of information systems (ISs) will involve large numbers of ISs distributed over large, complex computer/communication networks. Such ISs will manage or have acces to large amounts of information and computing services. They will support individual or collaborative human work. The Conference --------------- The CoopIS-95 conference will provide a forum for the presentation and dissemination of research covering all aspects of CIS design, requirements, functionality, implementation, deployment, and evolution. The CoopIS-95 conference programme will include technical sessions, invited presentations, panels and tutorials that deal with CISs and the integration of relevant technologies. In addition, CoopIS-95 plans to host special sessions on the industrial applicability of CIS technology. Further information about the conference and its programme can be obtained from the CoopIS-95 General and Program Co-Chairs by email at coopis@dke.univie.ac.at. Information for Authors ----------------------- Authors must clearly relate the contribution of their work to the concept of CIS, rather than just describing aspects of a component technology (e.g., state assumptions or definitions as to the nature of CISs). Papers which illustrate their results in terms of an CIS application or address technology integration issues leading to CISs are particularly welcome. Submission must be identified as one of three different categories: vision, research, and experience. Vision papers should present stimulating challenges, ideas, or visoins that lead to exciting and valuable CIS research directions. Vison papers will be evaluated with respect to innovation, realizable applications and technologies, and technical challenges posed (e.g., that do not currently admit of solutions). Research papers should advance the state of the art of CIS and will be evaluated using conventional scientific criteria. Experience papers should describe the practical applications of CIS concepts or methods. They will be evaluated in terms of lessons learned, research issues raised, and solutions to realistic challenges, such as those of legacy information systems. Five copies of original and compelling unpublished papers up to 6000 words that are not under consideration for publication elsewhere during the reviewing period should be sent to the appropriate Programme Committee Co-Chair. Submissions must include contact information (contact name, postal and e-mail address, and phone number), a 100-word abstract, exact word count, and explicitly indicate the paper category (vision, research, or experience). Suggested themes for submitted papers include (not limited to): --------------------------------------------------------------- - CIS Principles - cooperation, intelligence, autonomy - CIS Architectures and communication protocols - novel open architectures, blackboard systems, multiagent planning frameworks, speech acts, advanced information services in support of interoperability - Business Process Management Systems: Architectures, Concepts, Technology (e.g. analysis, modeling, reengineering and evaluation of business processes) - Large-Scale Knowledge Bases for CIS - sharing and reuse of worldwide knowledge, knowledge of knowledge structures, trends and applications in this area - Core Technology for CIS - open distributed computing architectures, type systems, object models and advanced transaction models for interoperability, advanced query models and languages, active databases - CIS Implementation Techniques - novel programming languages for CISs, interoperability issues in distributed heterogeneous information bases, multi-database transaction scheduling and execution, rule bases - Integration Challenges - interoperability, multiple paradigms, forms of transparency, object and transaction model integration, global information (e.g., schemas, directories, repositories), semantic interoperability, negotiation, optimization (e.g., queries, indexing, ...) - Information Modeling and Reasoning techniques for CISs - multiple perspective representations, non-deductive forms of inference (inductive, analogical, case-based, ...), multiagent planning and problem solving - Advanced CIS Programming - workflows, transactions, information requests, policy/rule-driven systems, mega-programming, multiple programming paradigms - Information Engineering for CIS - information acquisition, classification and retrieval techniques and tools, information sharing and management - Re-Engineering - concepts, tools, and methodologies; re-engineer legacy and new information systems into CISs - CIS Evolution - concepts, tools, and techniques for CIS design, development, and maintenance - Information Agents - novel models and organizations, application of information agent technology in virtual laboratories, concurrent engineering and other groupware frameworks. - CIS Applications - current and future. General Chair ------------- Dimitris Karagiannis Dept. Knowledge Engineering University of Vienna Bruenner Str. 72 A-1210 Vienna, Austria email: dk@dke.univie.ac.at Program Co-Chairs ----------------- America (North & South) Steven C. Laufmann (USA) U S WEST Technologies 4001 Discovery Drive Boulder, CO, 80303, USA laufmann@advtech.uswest.com Europe & Middle East Stefano Spaccapietra (CH) EPFL-DI-LBD CH-1015 Lausanne Switzerland spaccapietra@di.epfl.ch Far East, Africa & Australia Toshio Yokoi (Japan) Japan Electronic Dictionary Research Institue Ltd. Mita-Kokusai 1-4-28 Mita, Minato-ku Tokyo 108, Japan yokoi@edr.co.jp Steering Committee ------------------ Michael L. Brodie, GTE-Laboratories, USA Michael N. Huhns, MCC, USA Matthias Jarke, RWTH Aachen, Germany John Mylopoulos, University of Toronto, Canada Mike Papazoglou, Queensland Uni. Technology, Australia Gunter Schlageter, FU Hagen, Germany Program Committee ----------------- Alexander Borgida (USA) Fred Lochovsky (Hong-Kong) Michael L. Brodie (USA) Vincent Lum (Hong-Kong) Panos Constantopoulos (Greece) Louis Marinos (Germany) Umeshwar Dayal (USA) Patrick Martin (Canada) Misbah Deen (UK) Dennis McLeod (USA) Lois M. Delcambre (USA) Robert Meersman (Holland) Asuman Dogac (Turkey) Juzar Motiwalla (Singapore) Ahmed K. Elmagarmid (USA) John Mylopoulos (Canada) Les Gasser (USA) Erich Neuhold (Germany) J. L. Hainaut (Belgium) Anne Ngu (Australia) Yoshinori Hara (Japan) Moira Norrie (Switzerland) Igor Hawryszkiewycz (Australia) Tamer Ozsu (Canada) Michael N. Huhns (USA) Maurizio Panti (Italy) Aranza Illaramendi (Spain) Mike Papazoglou (Australia) Toru Ishida (Japan) Charles Petrie (USA) V. Jaganathan (USA) Don Potter (USA) Matthias Jarke (Germany) Andreas Reuter (Germany) Nick Jennings (UK) Daniel Ries (USA) Leonid Kalinichenko (Russia) Marek Rusinkiewicz (USA) Yahiko Kambayashi (Japan) Felix Saltor (Spain) Hannu Kangassalo (Finland) Gunter Schlageter (Germany) Roger King (USA) Sandip Sen (USA) Carig Knoblock (USA) Evangelos Simoudis (USA) Jacques Kouloumdjian (France) Katsumi Tanaka (Japan) Eiji Kuwana (Japan) A Min Tjoa (Austria) Maurizio Lenzerini (Italy) Patrick Valduriez (France) Michel Leonard (Switzerland) Carson Woo (Canada) Victor Lesser (USA) ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From panos@cs.pitt.edu Mon Nov 14 11:17:04 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 14 Nov 94 11:17:00 -0600 Received: from lapis.cs.pitt.edu by cs.wisc.edu; Mon, 14 Nov 94 11:16:57 -0600 Received: (panos@localhost) by lapis.cs.pitt.edu (8.6.9/8.6.5) id MAA01425 for dbworld@cs.wisc.edu; Mon, 14 Nov 1994 12:16:55 -0500 From: Panos Chrysanthis Message-Id: <199411141716.MAA01425@lapis.cs.pitt.edu> Subject: CFP -- SEKE 95 To: dbworld Date: Mon, 14 Nov 1994 12:16:54 -0500 (EST) X-Mailer: ELM [version 2.4 PL23] Content-Type: text Content-Length: 10658 2 n d C A L L F O R P A P E R S & P R O P O S A L S ********************************************************************** S E K E '9 5 Seventh International Conference on Software Engineering and Knowledge Engineering June 22-24, 1995, Rockville, Maryland, USA ********************************************************************** Sponsored by: Knowledge Systems Institute (Founder and Organizer) The Johns Hopkins University Applied Physics Laboratory University of Pittsburgh In Cooperation with: ACM (SIGSOFT), IEEE Computer Society (TC on Software) Scope --------- The main theme of this conference is the interplay between software engineering and knowledge engineering: how knowledge engineering methods can assist the software engineer and how software engineering techniques can be applied in knowledge engineering. To this end, SEKE'95 aims to bring together academic and industrial researchers and software developers from many countries to exchange ideas and results. Preference will be given to papers that emphasize the main theme, but outstanding papers on software engineering or knowledge engineering alone are also solicited. SEKE '95 will feature several half-day tutorials on June 20 and 21, followed by a three-day technical program consisting of parallel tracks which will include paper sessions, panels, and workshops. Tool demos also are planned. Paper presentations will be approximately 20 minutes each with 5-10 minutes for questions and discussion. Suggested Topics of Interest -------------------- - Knowledge engineering in software engineering - Software engineering in knowledge engineering - Software process models - Requirements elicitation - Formal methods - Visual specification and software visualization techniques - Reverse software engineering - Software maintenance and reuse - Software reliability - Design and evaluation of CASE tools - Specification and design of multimedia systems - New languages for software and/or knowledge engineering Paper Submissions --------------------- Original papers on the above topics including software engineering and knowledge engineering are invited. These must not exceed 22 double-spaced pages (including 200-word abstract, figures and references); longer papers will not be refereed. An additional cover page should include title, authors, complete contact information, and four or five keywords. Please submit four copies of the paper to the following Program Co-Chair: W. David Hurley Dept. of Computer Science E-mail: hurley@cs.pitt.edu University of Pittsburgh Tel: 412-624-8843 Pittsburgh, PA 15260, USA Demonstration Submissions --------------------- Proposals for giving demonstrations of tools or environments should include a description of the demonstration, any hardware requirements, a named presenter, and complete contact information. Please submit four copies of the proposal to the Demonstration Chair: Daniel E. Cooke Computer Science Department E-mail: dcooke@cs.ep.utexas.edu University of Texas El Paso Tel: 915-747-6956 El Paso, TX 79968-0518 USA Panel and Workshop Proposal Submission --------------------- Proposals for a panel discussion should include a title, a named moderator, complete contact information, abstract, and brief biographies of 4 - 5 panel members. A workshop can be one or a few people leading a discussion, or it can be a number of topical papers presented by authors that the workshop chair has selected. Proposals for a workshop should include a title, contact information, the name(s) of the presenter(s), brief biographies, an abstract, a list of any special requirements for materials or equipment, and minimum and maximum numbers of participants. Please submit four copies of the proposal to the Panel/Workshop Chair: Robert G. Reynolds 1064 Beechmont E-mail: reynolds@cs.wayne.edu Dearborn, Michigan 48124 Tel: 313-562-5571 USA Tutorial Proposal Submissions --------------------- Tutorials on the above and related topics are solicited. Proposals should include a two- or three- page summary containing the title, authors, contact information, abstract, description of tutorial content, intended audience and level of the tutorial, and the background of each instructor. Please submit four copies of the proposal to the Tutorial Chair: Ralph D. Semmel JHU/APL E-mail: rds@aplcomm.jhuapl.edu Johns Hopkins Road Tel: 410-792-6179 Laurel, MD 20723 USA Important dates --------------------- ** Deadline for submission: January 10, 1995 ** ** Notification of proposal acceptance: January 21, 1995 ** ** Notification of paper acceptance: February 5, 1995 ** ** Camera-ready papers due: March 1, 1995 ** Registration Requirements: Presenters of accepted papers, people demonstrating software and members of a panel or workshop are expected to register for the Conference. Published Proceedings ------------------------- The published Proceedings will include accepted papers in full-length. Participants in panels and workshops will be allocated up to one-page in which to describe their contributions. Due dates for submission of panel and workshop contributions will be the same as for camera-ready copy. Of course, workshop and panel participants are also encouraged to publish the full version of their contributions by submitting full- length papers to be refereed. Conference Location ------------------- The Conference hotel is the Holiday Inn Crown Plaza. It has modest prices, excellent facilities, and right behind it is the Twinbrooke Station of the Washington, D.C. Metropolitan subway system, which will take you quickly and safely to Washington's many famous landmarks. While in Washington, you will want to take advantage of the free admission to all of the Smithsonian Museums, including the Air and Space Museum, which houses the actual moon-landing capsule, and The National Art Gallery, with both traveling and permanent exhibits. In the Mall area, a continuous shuttle takes visitors to all of the major sights, including the Smithsonian Museums, Arlington Cemetery, The Capitol, and the renovated Union Station, a beautiful train station which also houses restaurants, shops, and a theater. Conference Chair: Vic Basili, University of Maryland Program Co-Chairs: Dave Hurley, University of Pittsburgh Ralph Semmel, The Johns Hopkins University Applied Physics Laboratory Publicity Chair: Panos K. Chrysanthis, University of Pittsburgh Demonstration Chair Daniel E. Cooke, University of Texas El Paso Panel and Workshop Chair: Robert G. Reynolds, Wayne State University Tutorial Chair: Ralph Semmel, The Johns Hopkins University Applied Physics Laboratory Steering Committee: Bruce Buchanan, University of Pittsburgh Shi-Kuo Chang, University of Pittsburgh and Knowledge Systems Institute C. V. Ramamoorthy, University of California, Berkeley Program Committee: W. Richards Adrion University of Massachusetts, Amherst, USA Naser Barghouti AT&T Bell Laboratories, USA Janis Barzdins University of Latvia, Latvia Fevzi Belli The University of Paderborn, Germany Alfs Berztiss University of Pittsburgh, USA Nikolaos G. Bourbakis State University of New York, Binghamton, USA Lionel C. Briand CRIM, Canada Hau-Ming Lewis Chau The Hong Kong Univ. of Science & Tech., Hong Kong Betty H.C. Cheng Michigan State University, USA Panos K. Chrysanthis University of Pittsburgh, USA Aniello Cimitile University of Naples- Federico II, Italy Daniel E. Cooke University of Texas El Paso, USA Alex Delis Queensland University of Technology, Australia David Eichmann University of Houston - Clear Lake, USA Michael Evangelist Florida International University, USA Philip A. Hausler IBM Corporation and University of Maryland, Baltimore County, USA Darrel Ince Open University, UK Robert J.K. Jacob Tufts University, USA Mehdi Jazayeri Technical University of Vienna, Austria N. Juristo Universidad Politecnica De Madrid, Spain R. Mall Indian Institute of Technology, Kharagpur, India Bruce E. Martin Sun Microsystems, USA Roland T. Mittermeir Universitaet Klagenfurt, Austria Sandro Morasca Politecnico di Milano, Italy Robert G. Reynolds Wayne State University, USA Peter G. Selfridge AT&T Bell Laboratories, USA Andrea H. Skarra AT&T Bell Laboratories, USA Murat M. Tanik University of Texas at Austin, USA Genny Tortora Universita' di Salerno, Italy Jeffrey J.P. Tsai University of Illinois at Chicago, USA Wei-tek Tsai University of Minnesota, USA Frank van Harmelen University of Amsterdam, The Netherlands A. Inkeri Verkamo University of Helsinki, Finland Giuseppi Vissagio University of Bari, Italy Jason Tsong-Li Wang New Jersey Institute of Technology, USA Ben Whittle Rolls-Royce UTC, University of York, UK Scott Wolff U S WEST Technologies, USA Naoki Yonezaki Tokyo Institute of Technology, Japan For further Information about the Conference: -- Contact: David Hurley, Program Co-Chair E-mail: hurley@cs.pitt.edu Tel: 412-624-8843; Fax: 412-624-8854 -- World Wide Web SEKE '95 Page: http://www.cs.pitt.edu/seke/seke.html -- FTP Site for CFP in postscript: ftp:speedy.cs.pitt.edu/pub/panos/seke/seke95.ps ********************************************************************** ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From kdd%eureka@gte.com Tue Nov 15 08:48:54 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 15 Nov 94 08:48:47 -0600 Received: from ns.gte.com by cs.wisc.edu; Tue, 15 Nov 94 08:48:45 -0600 Received: from bunny.gte.com by ns.gte.com (5.65c/IDA-1.4.4) id AA23788; Tue, 15 Nov 1994 09:47:12 -0500 Received: from eureka.gte.com by bunny.gte.com (8.6.9/GTEL2.19) id JAA18759; Tue, 15 Nov 1994 09:47:20 -0500 Received: by eureka.gte.com (4.1/SMI-4.1) id AA00471; Tue, 15 Nov 94 09:48:50 EST Date: Tue, 15 Nov 94 09:48:50 EST From: kdd%eureka@gte.com (KDD Nuggets Moderator) Message-Id: <9411151448.AA00471@eureka.gte.com> To: dbworld Subject: Knowledge Discovery in Databases Newsletter and Server Announcing availability of two resources for Knowledge Discovery in Databases KDD Nuggets (a moderated newsletter) (kdd-request@gte.com) Knowledge Discovery Mine (URL http://info.gte.com/~kdd/), a WWW server Knowledge Discovery in Databases, also known as data mining, knowledge extraction, information harvesting, etc., is a nontrivial extraction of implicit, previously unknown, and potentially useful information from data. KDD is multi-disciplinary approach, using a combination of database, statistical, machine learning, expert systems, and data visualization techniques. You can subscribe to KDD Nuggets, a *moderated* electronic newsletter, devoted to topics relevant to KDD, by sending e-mail to kdd-request@gte.com with the words subscribe First-name Last-Name in the first line of the message body. The KDD Nuggets is a moderated list for the exchange of information relevant to Knowledge Discovery in Databases (KDD), e.g. application descriptions, conference announcements, tool reviews, information requests, interesting ideas, clever opinions, etc. It has been coming about twice a month, depending on the frequency and urgency of the submissions. Knowledge Discovery Mine (URL http://info.gte.com/~kdd/ ) is a WWW server, containing back issues of KDD Nuggets, Siftware: a catalog of tools for discovery in data, Home pages of data mining projects, Pointers to reference materials, and more ... -- Gregory Piatetsky-Shapiro KDD Nuggets moderator and KD Mine maintainer ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From biliris@research.att.com Tue Nov 15 19:55:39 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 15 Nov 94 19:55:16 -0600 Message-Id: <9411160155.AA05069@cs.wisc.edu> Received: from research.att.com by cs.wisc.edu; Tue, 15 Nov 94 19:55:13 -0600 Received: by research.att.com; Tue Nov 15 20:52 EST 1994 Received: from biliris.tempo.att.com.UUCP by allegra.tempo.att.com; id AA29358; Tue, 15 Nov 94 20:52:59 EST From: biliris@research.att.com (Alex Biliris) Subject: New book in OO Database Systems To: dbworld Date: Tue, 15 Nov 94 20:49:10 EST X-Mailer: ELM [version 2.3 PL11] ADVANCES IN OBJECT-ORIENTED DATABASE SYSTEMS Edited by A. Dogac, M. T. Ozsu, A. Biliris, T. Selis The book has just been published by Springer-Verlag (Vol. F 130, Computer and Systems Sciences, ISBN 3-540-57825-0) It contains the lectures was given by speakers at the Advanced Study Institute in Kusadasi, Turkey, during August 1993. The book could also serve as a textbook in advanced courses in databases that examine issues in object-oriented database concepts and systems. Book Contents: SECTION 1: INTRODUCTION. ---------------------------------------- What Makes Object-Oriented Databases Different, S.B. Zdonik. SECTION 2: MODELS AND FORMAL LANGUAGES. ---------------------------------------- Object-Oriented Data Model Concepts, K.R Dittrich. Query Languages for Models with Object-Oriented Features, C. Beeri. Functional Programming Formalisms for OODBMS Methods, G. Hillebrand, P. Kanellakis, and S. Ramaswamy. A Formal Object-Oriented Query Model and an Algebra, R. Alhajj and M.E. Arkun. SECTION 3: SYSTEM IMPLEMENTATION ISSUES. ---------------------------------------- Optimization of Object-Oriented Query Languages: Problems and Approaches, G. Mitchell, S.B. Zdonik and U. Dayal. Transaction Models and Transaction Management in OODBMSs, M.T. Ozsu. Object Storage Management Architectures, A. Biliris and J. Orenstein. Active Object Systems, A.P. Buchmann. Object-Oriented Rule Languages and Optimization Techniques, G. Gardarin. The Promise of Distributed Computing and the Challenges of Legacy Information Systems, M. Brodie. Object-Orientation and Interoperability, W. Kent. SECTION 4: SYSTEMS AND PROTOTYPES. ---------------------------------------- Open OODB: Architecture and Query Processing Overview, J. Blakeley. METU Object-Oriented DBMS, A. Dogac, C. Ozkan, B. Arpinar, T. Okay, and C. Evrendilek. The Ode Object-Oriented Database Management System: An Overview, N. Gehani. Object-Oriented Modeling for Hypermedia Systems Using the VODAK Model Language, W. Klas, K. Aberer, and E. Neuhold. Object Modeling Using Classification in CANDIDE and its Applications, S. Navathe, A. Savasere, T. Anwar, H. Beck and S. Gala. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From pedre@DI.UniPi.IT Wed Nov 16 06:16:55 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Wed, 16 Nov 94 06:16:45 -0600 Message-Id: <9411161216.AA24796@cs.wisc.edu> Received: from apollo.di.unipi.it by cs.wisc.edu; Wed, 16 Nov 94 06:16:22 -0600 Received: from pedreschi.di.unipi.it by apollo.di.unipi.it with SMTP (1.37.109.4/16.2) id AA19913; Wed, 16 Nov 94 12:44:23 +0100 Organization: Dipartimento di Informatica - Universita' di Pisa - Italy Date: Wed, 16 Nov 94 12:44:23 +0100 X-Sender: pedre@macmailer.di.unipi.it Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: nik@si.deis.unical.it, leone@vexpert.dbai.tuwien.ac.at, sacca@ccusc1.unical.it, sacca@si.deis.unical.it, stephane.grumbach@inria.fr, grumbach@db.toronto.edu, greco@ccusc1.unical.it, gire@litp.ibp.fr (Francoise Gire), turini@DI.UniPi.IT, paolo@DI.UniPi.IT, brogi@DI.UniPi.IT, brogi@cs.ucla.edu, asirelli@iei.pi.cnr.it, gmsys@vm.cnuce.cnr.it, vs@cs.umd.edu, zaniolo@cs.ucla.edu, fosca@orione.cnuce.cnr.it, pedre@DI.UniPi.IT, renso@DI.UniPi.IT, su@cs.ucsb.edu (Jianwen Su), vianu@cs.ucsd.edu (Victor Vianu), eiter@vexpert.dbai.tuwien.ac.at, kifer@cs.sunysb.edu, seyr@vexpert.dbai.tuwien.ac.at, gottlob@vexpert.dbai.tuwien.ac.at, pernici@ipmel2.elet.polimi.it, gulp@DI.UniPi.IT, ai%uk.ac.qmw.dcs.uucp@relay.nl.net, alp-list@intellektik.informatik.th-darmstadt.de, compulog-list@cwi.nl, compunode@ecrc.de, dbworld, ikbs@uk.ac.essex.demon.co.uk, lics-email@cs.indiana.edu, logic@cs.cornell.edu From: pedre@DI.UniPi.IT (Dino Pedreschi) Subject: ADVANCES IN LOGIC-BASED DATABASE LANGUAGES Dear Sir, apologies for receiving this message more than once. Dino Pedreschi, Univ. Pisa ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ C A L L F O R P A R T I C I P A T I O N ADVANCES IN LOGIC-BASED DATABASE LANGUAGES a one-day workshop/meeting organized by DEUS EX MACHINA --- Non determinism in deductive databases (EC-US Explorative Collaborative Activity) and COMPULOG NET --- Deductive Database Area Monday, January 9, 1995 Prague, Czech Republic in conjunction with the 5th International Conference on Database Theory ICDT'95 The project DEUS EX MACHINA and the Deductive Database Area of COMPULOG NET are jointly organizing a one-day workshop/meeting presenting ongoing research in the area of logic-based database languages and deductive databases. Covered topics include: - non-deterministic and object-oriented extensions - query expressiveness - database dynamics (updates, transactions) - active and heterogeneous databases - constraint reasoning * Organizers: Dino Pedreschi, Univ. Pisa Domenico Sacca`, Univ. Calabria Stephane Grumbach, INRIA DEUS EX MACHINA is a EEC-US project, jointly sponsored by the European Community and the US National Science Foundation. Activity in the project covers the topics of this event. The leading investigators of the project are Dino Pedreschi (Univ. Pisa, Italy), Carlo Zaniolo (UCLA, US), Fosca Giannotti (CNUCE-CNR, Pisa, Italy), Stephane Grumbach (INRIA, France), Domenico Sacca` (Univ. Calabria, Italy), VS Subrahmanian (Univ. Maryland, US). COMPULOG NET is the Network of Excellence in Computational Logic supported by the ESPRIT program of the European Union. Founded in April 1991, the network now comprises over eighty nodes, each representing a research group, institution or company active in the area of computational logic. The objective of COMPULOG NET is to lay the foundations for an integrated software environment supporting knowledge-rich applications by extending the logic programming environment. The network is organized by scientific areas and, since the summer 1994, "Deductive Database" is one of them. The coordinator of the Deductive Database Area is Domenico Sacca' (Univ. Calabria, Italy). * The technical program of the event will include: - contributions from within DEUS EX MACHINA, including: D. Pedreschi (Univ. Pisa) "An overview of DEUS EX MACHINA" S. Grumbach, Z. Lacroix (INRIA) "Non-deterministic implicit definitions" S. Greco (Univ. Calabria) "Programming with non-determinism" C. Zaniolo (Univ. of California at Los Angeles) "t.b.a." VS Subrahmanian (Univ. Maryland) "The HERMES Heterogeneous Database and Reasoning Mediator System" D. Aquilino, P. Asirelli, C. Renso, F. Turini (CNR and Univ. Pisa) "An operator for composing DDB's with theories of constraints" - invited lectures T. Eiter (Vienna Univ. of Tech.) "Disjunctive Datalog" M. Kifer (Univ. of New York at Stony Brook) "Concurrent Transaction Logic: a logic for programming database dynamics" V. Vianu (Univ. of California at San Diego) "A tutorial on rule-based languages" J. Su (Univ. of California at Santa Barbara) "Non-determinism in incremental query evaluation" - panel discussion: "The future of logic-based database languages" chairman: D. Sacca` (Univ. Calabria) Titles of lectures are provisional. A detailed schedule of the event will be available by Dec. 20, 1995. * Registration and accommodation The registration to the event is free of charge, although intention to attend should be notified, preferably by email, to Dino Pedreschi Dipartimento di Informatica Universita' di Pisa Corso Italia 40 56125 Pisa, Italy ph.:+39-(0)50-887252 fax:+39-(0)50-887226 e_mail: pedre@di.unipi.it This event is organized in conjunction with ICDT'95. Therefore, attendees to the event are strongly recommended to extend their stay for ICDT'95, which takes place in the subsequent days (Jan. 10-13, 1995). The registration procedure for ICDT'95 is reported below. Participants are recommended to use the ICDT'95 hotel for accommodation: Hotel Krystal, J. Martiho 2, CZ 160 00 Prague 6 ph.: +42-2-316 2761 or 2771 Rooms at the Hotel Krystal can be reserved using the enclosed ICDT'95 registration form. * Event location The workshop/meeting "Advances in logic-based database languages" will be held in Lecture Hall No. 80 Czech Technical University, Faculty of Electrical Eng., Technicka 2, CZ 166 27 Prague 6 The Czech Technical University can be reached by tram (10 mins.) from Hotel Krystal. Complimentary coffee breaks will be served. Lunch can be bought at the Professor's Mensa for approx. 3 DM. * Registration Procedure for ICDT'95 People wishing to attend ICDT should fill out the enclosed registration form and return it together with the proper payment to the address below. E-mail registration with credit card payment (VISA, EuroCard, MasterCard) is strongly preferred. Katrin Seyr ICDT'95 Dept. of Information Systems Vienna Univ. of Technology Paniglgasse 16 A - 1040 VIENNA Phone: +43 1 58801 6112 Fax: +43 1 5055304 Email: seyr@vexpert.dbai.tuwien.ac.at It is suggested to register for the conference at your earliest convenience. As soon as both registration form and fees have been received, a written or email confirmation will be sent. Please make sure that your society affiliation (membership number) and/or university affiliation are shown on your registration form, or that proof of your full-time student status comes together with it. Otherwise, a discount on the conference fee cannot be granted. A separate form must be completed by each participant. Registration by phone, fax or email is acceptable only if the applicable payment is transmitted in parallel (VISA, MasterCard and EuroCard). On--site registration will be available at the conference office during ICDT '95, starting Tuesday, January 10, 10.00 am. Registration Desk and Conference Office opening hours Tuesday, January 10: 10.00 -- 20.00 Wednesday, January 11: 8.00 -- 18.00 Thursday, January 12: 9.00 -- 17.00 Friday, January 13: 9.00 -- 15.00 Fees Since the financial situation for participants from universities and public research labs is usually more difficult than for those employed by an industrial enterprise, we charge the latter a slightly higher conference fee. Members of GI and its sister associations can take advantage of a fee reduction due to the financial backup provided by this organization. conference fees ---------------------------------------------------------------------- |registration postmarked | before or on Dec. 10 | after Dec. 10 | |and fee sent | | | |--------------------------------------------------------------------- |members of GI, EATCS and | ATS 4.200 | ATS 5.000 | |university affiliates | | | |others | ATS 4.500 | ATS 5.200 | |students | ATS 2.500 | ATS 2.800 | ---------------------------------------------------------------------- The conference fee includes admission to all sessions including the two tutorials, a copy of the proceedings (not included in the student fee), refreshments during the breaks and the special events. Please note that ATS 100 correspond to approximately US$ 9 or DM 14. --------------------------------------------------------------------- | | Single | Double | --------------------------------------------------------------------- |Rooms at the Hotel Krystal per day | ATS 500.- | ATS 700.- | --------------------------------------------------------------------- Other hotels can be booked through the local agency by contact Dr. Marcela Bezouskova by email (k335@lab.felk.cvut.cz) or fax (+42 2 290159). Methods of Payment All fees including hotel fees for Hotel Krystal have to be paid in Austrian currency (ATS) either by * credit card (mail to Katrin Seyr) * bank transfer (free of charges for us, please) to the following account: Bank: Creditanstalt Bank Code: 11000 Account No.: 0964-35110/00 Receiver: ICDT'95 European participants can make their payments using a Eurocheque written in the applicable amount in Austrian Shillings (ATS); in that case, please do not forget to include your Eurocheque card number on the back. Registrations for which no payment is received within reasonable time will not be accepted. Cancellation and Refund Cancellations must be made in written form to Katrin Seyr. If a cancellation notification is received before December 10, 80% of the fees will be refunded; no refunds will be made thereafter. For registered participants who cannot attend, the proceedings will be mailed after the conference. * Hotel Information and Meals The organizers recommend the Hotel Krystal for accommodation. The Hotel Krystal is a hotel partially owned by the Prague Universities and offers very convenient rates. The hotel meets the *** standard. Participants wishing to make a reservation for a hotel with higher standards please contact Dr. Marcela Bezouskova from the organizing committee by email or fax. Except for the Conference Dinner meals are not included in the conference fee. However, cheap lunch tickets for the Hotel self-service restaurant can be purchased in Czech crowns at the conference registration desk. In addition, there are two other small restaurants in the hotel. There is an exchange office in the lobby of the Hotel Krystal. * About Prague Prague, the capital of the Czech Republic, is considered to be one of the most beautiful cities in Europe. Its magical atmosphere is determined by the happy and tolerant coexistence of the buildings, sculptures and monuments of ten centuries - from rotundas, proud gothic cathedrals, renaissance palaces, rich baroque churches up to the representative buildings in the style of "art nouveau" or in one of the other architectural styles of this century. At the beginning of the 19th century, Bernardo Bolzano counted 103 towers and spires in Prague and the town subsequently acquired the name "Prague of hundred spires". Now the number is estimated to be about 500. During one thousand years of Prague history, nature and architects have joined their forces to form a unique open-air gallery, the heart of which is shaped by its medieval disposition on both sides of the Vltava (Moldau) river. The inspired visitor should not be surprised during walks through Prague if he/she succeeds to spot the trails of one of its famous inhabitants. It could be Johannes Kepler in discussion with Tycho de Brahe, Golem - the first robot constructed by the Prague rabbi Loew, W.A. Mozart, Franz Kafka or Karel Capek. Ever-present tunes of Smetana and Dvorak give Prague a special touch. The narrow lanes of the Old Town, Charles Bridge, the magnificent panorama of Hradcany and the palaces of the Lesser Town invite one for a pleasant walk with an occasional stop at one of Prague's typical ale-houses and wine-taverns. Most tourists do not escape the temptation for a bit of shopping when passing elegant shop-windows with attractive traditional goods (crystal, records or hand-crafted products) or open-air markets. Today, Prague has a population of roughly 1.3 million and it covers an area of almost 500 square kilometers. It is on the same latitude as Bonn, Cracow or the southermost point of Great Britain (50 North). The average annual temperature is 9.3 degrees of Celsius (about 18 degrees in summer, and 0 in winter). It is probable that in January the town will get a soft cap of snow. Prague has 3 opera houses, 3 large concert halls, more than 20 theaters, plenty of small music clubs, 17 museums and 10 permanent galleries. Places of highest tourist interest are on the Royal Route running from the Powder Tower through Celetna Street, Old Town Square across Charles Bridge through the Lesser Town up to the Hradcany Castle. One should not miss the Jewish Town, the National Gallery with fine collection of Czech Gothic art, representative collections of European old art as well as a beautiful collection of French art assembled with exquisite taste. -------------------------------------------------------------- ICDT '95 Registration Form Mail to: Katrin Seyr email: seyr@vexpert.dbai.tuwien.ac.at ----------------------- cut here ----------------------------- Name:.......................................................... Affiliation:................................................... Address:....................................................... Country:....................................................... Phone:...................Fax:.................................. Email:......................................................... Member of GI/EATCS (mention one):.............................. Membership No:................................................. Credit Card (mark one) ____ VISA ____ EuroCard ____ MasterCard Credit Card No:................Expiration date:................ Please mark the fees you are paying: Note: If you mark the "university affiliate" fee below, you have to provide your university address above. If you want to take advantage of the student fee, you have to prove your status by including a university certificate. ---------------------------------------------------------------------- |registration postmarked | before or on Dec. 10 | after Dec. 10 | |and fee sent | | | |--------------------------------------------------------------------- |members or | | | |university affiliates | ___ ATS 4.200 | ___ ATS 5.000 | |others | ___ ATS 4.500 | ___ ATS 5.200 | |students | ___ ATS 2.500 | ___ ATS 2.800 | ---------------------------------------------------------------------- |Hotel Krystal | ___ ATS 500 for single room per day | | from ___ to ___ | ___ ATS 700 for double room per day | ---------------------------------------------------------------------- |additional concert & dinner ___ ATS 500 No. of tickets: ___ | ---------------------------------------------------------------------- Total amount paid: _________________________ ATS Please indicate method of payment: _______ payment by Credit Card _______ payment made by bank transfer (see Methods of Payment); date of transfer: _________ ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From terry@cs.concordia.ca Wed Nov 16 09:52:45 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Wed, 16 Nov 94 09:52:24 -0600 Received: from Clyde.Concordia.CA by cs.wisc.edu; Wed, 16 Nov 94 09:52:21 -0600 Received: from cs.concordia.ca (90@manitou.cs.concordia.ca [132.205.4.3]) by clyde.concordia.ca (8.6.7/8.6.6) with SMTP id KAA14822; Wed, 16 Nov 1994 10:11:52 -0500 Received: from scribe.cs.concordia.ca by manitou.cs.concordia.ca id aa23942; 16 Nov 94 15:08 GMT To: amast95@cs.concordia.ca, dbworld, theorynt%ndsuvm1.BITNET@vax2.concordia.ca, logic@cs.cornell.edu, concurrency@cwi.nl, leivant@cs.indiana.edu, risks@cs1.sri.com, philo@fwi.uva.nl Cc: terry@cs.concordia.ca Subject: AMAST'95 DEADLINE Date: Wed, 16 Nov 94 10:08:40 -0500 From: CZERNIENKO Terry Message-Id: <9411161508.aa23942@manitou.cs.concordia.ca> AMAST95 (Algebraic Methodology and Software Technology) deadline for papers is November 15, 1994. However, papers postmarked by that date will be accepted provided it reaches the conference secretariat on or before November 21st. This is a firm deadline. V.S. Alagar Program Chair ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raj@david.cs.twsu.edu Thu Nov 17 16:56:00 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 17 Nov 94 16:55:45 -0600 Received: from david.cs.twsu.edu by cs.wisc.edu; Thu, 17 Nov 94 16:54:52 -0600 Received: by david.cs.twsu.edu (NX5.67c/NX3.0M) id AA02734; Thu, 17 Nov 94 16:13:23 -0600 Date: Thu, 17 Nov 94 16:13:23 -0600 From: raj sunderraman Message-Id: <9411172213.AA02734@david.cs.twsu.edu> Received: by NeXT.Mailer (1.87.1) Received: by NeXT Mailer (1.87.1) To: dbworld Subject: Tenure-Track/Instructor Positions; WICHITA STATE UNIVERSITY WICHITA STATE UNIVERSITY Tenure-Track/Instructor Positions Computer Science Department Applications are invited for two positions in the Computer Science Department. The first is a tenure-track, assistant professor position, and the second is either an instructor position, or a tenure-track, assistant professor position (depending on funding). Both positions are subject to budgetary approval. The closing date for all applications is Feb. 15, 1995 or the first of the month thereafter until the positions are filled. Anticipated starting date is August 15, 1995. Required qualifications for the tenure-track positions include a Ph.D. in Computer Science (or a closely related area), and demonstrated potential for research, teaching and scholarship. Preference for the first tenure-track position will be given to candidates with qualifications and interests in the general area of software engineering, but all areas of computer science will be considered. The second tenure-track position, if approved, is open to all areas of computer science. Required qualifications for the instructor position include at least an M.S. (a Ph.D. preferred) in Computer Science (or a closely related area) and an evidence of teaching ability. Any demonstrated research potential will be an advantage. The department has 10 tenured / tenure-track faculty members and 5 full-time instructors. The research interests of the Department include object-oriented, deductive and temporal databases, programming languages, algorithms, artificial intelligence (machine learning and discovery), automated theorem proving, software specification and verification, cooperative information systems, and simulation and modeling. The Computer Science Department has approximately 400 undergraduate majors and 120 graduate students with 15 graduate assistants. B.S. and M.S. degrees are currently offered. The University has a beautiful campus and enrolls some 14,000 students. The computing infrastructure of the department consists of a network of Sun servers, Sun, NeXT and Dec workstations, X-terminals and PC's. Additional computing facilities are provided by the University Computing Center. The hi-tech aircraft and other industry in the Wichita Metropolitan area provides ample opportunities for collaborative research. Letters of application (clearly indicating either ``Tenure-Track'', ``Instructor'', or ``Both'') including a resume and names, addresses, e-mail and phone numbers of at least three references should be sent to: Prof. S. Alagic, Chair, Department of Computer Science, Wichita State University, Wichita, Kansas 67260-0083. Wichita State University is an AA/EOE. We especially encourage applications from women and minority candidates. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From rundenst@eecs.umich.edu Thu Nov 17 21:24:37 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 17 Nov 94 21:24:31 -0600 Received: from berlin.eecs.umich.edu by cs.wisc.edu; Thu, 17 Nov 94 21:24:28 -0600 Received: from localhost (localhost [127.0.0.1]) by berlin.eecs.umich.edu (8.6.8/8.6.4) with SMTP id WAA17905 for ; Thu, 17 Nov 1994 22:24:26 -0500 Message-Id: <199411180324.WAA17905@berlin.eecs.umich.edu> X-Authentication-Warning: berlin.eecs.umich.edu: Host localhost didn't use HELO protocol To: dbworld Subject: Final program for EDAF94 conference Date: Thu, 17 Nov 1994 22:24:26 -0500 From: "Elke A. Rundensteiner" >-------------------------------------------------------------------- > > 4th INTERNATIONAL IFIP 10.5 WORKING CONFERENCE ON > ELECTRONIC DESIGN AUTOMATION FRAMEWORKS > > Gramado, Brazil > November 28th - 30th, 1994 > > FINAL PROGRAM, > GENERAL INFORMATION > and > REGISTRATION FORM > > >In cooperation with CFI, IEEE, GI, ITG, ECSI, and SBC > > >FINAL PROGRAM > >SUNDAY, 27th > >17:00 - 19:00 Registration > >19:00 - 20:30 Welcome Cocktail > > >MONDAY, 28th > >8:00 - 9:00 Registration > >9:00 - 9:30 Opening Remarks > >9:30 - 10:30 >Session 1 : Transaction Based Approaches > >T.Haerder, N.Ritter (Univ. Kaiserslautern, Germany) > Transaction-Based Design Data Processing in the PRIMA Framework > >A.Meckenstock, D.Zimmer, R.Unland (Cadlab + Univ. Munster, Germany) > A Configurable Cooperative Transaction Model for Design Frameworks > > >10:30 - 11:00 Coffee Break > >11:00 - 12:30 >Session 2 : Data Management and Tool Integration > >H.Ribeiro, F.Wagner, L.Golendziner (Univ. Rio Grande do Sul, Brazil) > Configuration Management in the STAR Framework > >J.Camara, H.Sarmento (INESC + IST/INESC, Portugal) > AutoCap: An Automatic Tool Encapsulator > >M.Fornari, L.Golendziner, F.Wagner (Univ. Rio Grande do Sul, Brazil) > Schema Evolution in the STAR Framework > > >12:30 - 14:00 Lunch > >14:00 - 15:30 >Session 3 : Data Types > >R.Lau, H.Kahn (Univ. Manchester, UK) > Integration of a Domain Conceptual Model with the EDIF Information >Model > >M.Schuetze, B.Schuermann, J.Altmeyer (Univ. Kaiserslautern, Germany) > Generating Abstract Datatypes with Remote Access Capabilities > >M.Jones, E.Rundensteiner (Univ. Michigan, USA) > Extending View Technology for Complex Integration Tasks > > >15:30 - 16:00 Coffee Break > >16:00 - 17:30 >Session 4 : Federated Systems > >P.Asar (Univ. d'Evry, France) > Framework and Multi-Formalism: the ASAR Project > >R.Boettger et al (Cadlab, Germany) > Enhancing the Data Openness of Frameworks by Database Federation >Services > >G.Scholz, W.Wilkes (Univ. Hagen, Germany) > Interoperability Support by Integration of EXPRESS Models > > >TUESDAY, 29th > >9:00 - 10:30 >Session 5 : Communication and Distribution > >I.Videira, P.Verissimo, H.Sarmento (IST/INESC, Portugal) > Communication in a Distributed Environment > >A.Kunzmann, R.Seepold (FZI Karlsruhe, Germany) > Basic Requirements for an Efficient Inter-Framework Communication > >J.Schubert, A.Kunzmann (FZI Karlsruhe, Germany) > Resource-Oriented Load Distribution in a Framework Environment > > >10:30 - 11:00 Coffee Break > >11:00 - 12:30 >Session 6 : Design Management > >O.ten Bosch, P.van der Wolf, A.van der Hoeven (Delft Univ. of Technology, >The Netherlands) > Design Flow Management: More than Convenient Tool Invocation > >M.Jacome, S.Director (Univ. Texas + Carnegie-Mellon Univ., USA) > Planning and Managing Multi-Disciplinary and Concurrent Design >Processes > >A.Rockenberg, S.Heymann, U.Westerholz (GMD, Germany) > A User Model Supporting Communication in High-Level Design Systems > > >12:30 - 14:00 Lunch > >14:00 - 15:30 >Session 7 : Special Design Environments > >G.Wirth, R.Wartchow, J.Petterson, S.Bampi (Univ. Rio Grande do Sul, Porto >Alegre, Brazil) > A Framework for Electrical Test Engineering Automation > >P.Conradi, N.Dutt (Univ. Kaiserslautern, Germany + Univ. Calif. at Irvine, >USA) > A Compound Information Model for High-Level Synthesis > >U.Baake, S.Huss (TH Darmstadt, Germany) > An Object-Oriented CAE Framework for Asynchronous Circuit Synthesis > > >15:30 - 16:00 Coffee Break > >16:00 - 18:30 >Session 8 : Vendor Presentations and Framework Demonstrations > > >20:00 - 22:00 Conference Dinner > > >WEDNESDAY, 30th > >9:30 - 10:30 >Session 9 : Standards > >H.Kahn (Univ. Manchester, UK) > Design Representation in EDIF Version 3 0 0 and CFI Version 1.0 > >F.Buijs, W.Kaefer (Cadlab + Daimler Benz, Germany) > STEP Technology for ECAD Databases > >10:30 - 11:00 Coffee Break > >11:00 - 12:30 >Session 10 : Design Representation and Interfaces > >J.Altmeyer, B.Schuermann, M.Schuetze (Univ. Kaiserslautern, Germany) > Towards Design Formalization to Support Reuse in ECAD Frameworks > >A.Bredenfeld (GMD, Germany) > A Generator for Graph-Based Design Representations > >R.Mello, L.Golendziner, F.Wagner (Univ. Rio Grande do Sul, Brazil) > The Visual Interface of the STAR Framework > > > >12:30 - 14:00 Lunch and end of conference > > >TUTORIALS > >The tutorials are jointly sponsored by the 4th International IFIP >WG 10.5 Working Conference on Electronic Design Automation Frameworks >and the 8th SBCCI - Brazilian Symposium on the Design of Integrated >Circuits, to be held concurrently. Attendance is free to all who have >registered for any of these events. > >WEDNESDAY, 30th > >8:30 - 10:30 >Tutorial 1 - High-Level Synthesis >Nikil Dutt, University of California at Irvine > >10:30 - 11:00 Coffee Break > >11:00 - 12:30 >Tutorial 1 - continued > >12:30 - 14:00 Lunch > >14:00 - 15:30 >Tutorial 2 - VHDL: The Language, its Environment and Application to >System Design >Ron Waxman, University of Virginia > >15:30 - 16:00 Coffee Break > >16:00 - 18:00 >Tutorial 2 - continued > > >FRAMEWORK DEMONSTRATIONS > >A special session on Tuesday, 29th is intended to vendor presentations >and demonstrations of current EDA framework technology and their >applications. > > >TRANSPORTATION > >Gramado is a small town in the mountains near Porto Alegre, in South >Brazil. >It can be best reached through the Porto Alegre International Airport. > >A special bus service will be available from the airport to Gramado (on >Sunday 27th) and vice-versa (on Wednesday 30th and Thursday 1st). Travel >time is about 1,5 hours. You will find a welcome desk at the airport >arrival >zone on Sunday, 27th. > >Please do not forget to give the conference organization previous >information on your travel arrangements, so that the welcome desk and >the bus transportation can best match your plans. > > >GENERAL CHAIR > >Prof. Dr. Flavio Wagner >Univ. Fed. Rio Grande do Sul >Instituto de Informatica >Caixa Postal 15064 >91501-970 Porto Alegre RS >Brazil > >Phone (+55)51-336-8399 ext. 6166 (secr) or 6231 >Fax (+55)51-336-5576 >E-mail flavio@inf.ufrgs.br > > >PROGRAM CHAIR > >Prof. Dr. Franz J. Rammig >Univ.-GH Paderborn / FB 17 >33095 Paderborn >Germany >Phone (+49)5251-602069 >Fax (+49)5251-603427 >E-mail franz@uni-paderborn.de > > >REGISTRATION FORM > > >Name ..................................................... >Company / Affiliation .................................... >Position / Title .......................................... >Address ................................................... > ................................................... > ................................................... >Phone ..................................................... >Fax ....................................................... >E-mail .................................................... > >Arrival date ............................................. >Arrival flight number ..................................... >Departure date ............................................ >Departure flight number ................................... >(to allow organize welcome desk at the airport and bus transportation >to / from the hotel) > >Conference fee >( ) Member of a cooperating society U$ 380 (please indicate the > society and your membership number) >( ) Non-member U$ 450 > >The conference fee includes: >- bus transportation from / to the airport >- attendance to all sessions, including tutorials >- coffee breaks during the conference >- welcome cocktail and conference dinner >- participants edition >- final proceedings, to be published by Chapman & Hall >- full-board accomodation: 3 nights at the Hotel Serrano, including > breakfast, lunch and dinner > >( ) single room >( ) double room > >If you plan to stay longer than 3 nights, add U$ 57 for each additional >night. > >The payment order (cheques and credit cards cannot be accepted) should >be issued to > Account name: EDAF - IFIP > Account number: 300728-6 > Bank name: Banco do Brasil > Bank code (in Brazil): 001 > Agency name: Caminho do Meio, Porto Alegre > Agency code: 1249-1 > Porto Alegre, Brazil > >Please send the registration form >- either by e-mail to "lourdes@inf.ufrgs.br" >- or by fax to > Lourdes Tassinari > Fax number (+55)51-336-5576 > >Please fax a copy of the bank transfer remittance slip to > Lourdes Tassinari > Fax number (+55)51-336-5576 > > >-- >Franz J. Rammig >Univ. Paderborn/FB17 >33095 Paderborn >Germany >Tel. (+49)5251 602069 >Fax (+49)5251 603427 >e-mail franz@uni-paderborn.de ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From oulusoy@bilkent.edu.tr Fri Nov 18 15:24:55 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 18 Nov 94 15:24:48 -0600 Received: from canik.bcc.bilkent.edu.tr by cs.wisc.edu; Fri, 18 Nov 94 15:24:12 -0600 Received: from dicle.bcc.bilkent.edu.tr by bilkent.edu.tr (5.65c/IDA-1.4) id AA27270; Fri, 18 Nov 1994 10:08:07 +0300 Received: by dicle.bcc.bilkent.edu.tr (5.65c/1.4IDA) id AA00517; Fri, 18 Nov 1994 10:07:53 +0300 Date: Fri, 18 Nov 1994 10:07:53 +0300 From: oulusoy@bilkent.edu.tr (Ozgur Ulusoy) Message-Id: <199411180707.AA00517@dicle.bcc.bilkent.edu.tr> To: dbworld Subject: CFP: Special Issue on Real-Time Database Systems ------------------------------------------------------------------------------ Here is a call for papers for a special issue of Information Systems on Real- Time Database Systems. Please feel free to pass it on to interested colleagues. ------------------------------------------------------------------------------ CALL FOR PAPERS Information Systems Special Issue on Real-Time Database Systems Editors Patrick O'Neil Ozgur Ulusoy University of Massachusetts/Boston Bilkent University: Ankara, Turkey poneil@cs.umb.edu oulusoy@bilkent.edu.tr A real-time database system (RTDBS) is a database system which is designed to provide real-time response in data-intensive applications such as computer-in- tegrated manufacturing, airline reservation systems, the stock market, invest- ment analysis, banking, and command and control systems. Like a conventional real-time system, the update transactions and queries processed in a RTDBS have timing constraints, typically in the form of deadlines. What makes a RTDBS different from a conventional real-time system is the requirement to support appropriate transactional consistency (not necessarily full serializ- ability) while maintaining timeliness of data (temporal consistency). Current research efforts in RTDBSs focus on integration of scheduling concepts from database systems and real-time systems. This introduces a new dimension to both disciplines. Because of the widespread research activity in this topic, Information Systems is planning a special issue on Real-Time Systems for Winter 1995/96. The goal is to collect papers on recent important advances and put together a strong issue on the subject. Theoretical papers should include a solid motivation for why the stated results are applicable in real applications. Applied pa- pers that describe working systems in actual use are particularly solicited. Topics of interest include, but are not limited to, the following. - Real-time transaction scheduling and concurrency control algorithms (A number of excellent papers on real time transaction scheduling algorithms have appeared in the last few years, including numerous priority based heuristics and simulations comparing the different approaches. Strong original papers in this area are solicited, but any algorithm submitted should be accompanied by a persuasive argument why it will benefit a particular type of application. Contributions in some of the less explored fields below are particularly encouraged.) - Timeliness between updates and queries (Temporal Consistency) - General real-time query processing considerations - Handling overload situations - Dealing with constraints and triggers - Predictability of system service tasks: I/O, process switching, LAN or WAN Communication, etc. - Real-time database implications for various system architecture topics: symmetric multi-processors, distributed systems, fault tolerance, etc. In addition, the following motivating questions are proposed. 1. Is there a convincing dollar cost characterization of priorities and dead- lines in some class of canonical real-time database applications? An example of such a characterization to aid evaluation of a system service is the Five- Minute rule for disk buffering (Gray and Putzolu, 1987 SIGMOD). 2. Once entered into a database, data may become out-of-date if it is not up- dated in a certain period of time, a constraint known as "temporal consis- tency". (See "Real-Time Database Systems: A New Challenge," Sang H. Son, Quarterly Bulletin of IEEE Data Engineering, December 1990.) How can we model a system that will provide for the full life-cycle of data update and query, where different pieces of data may have different valid intervals and some pieces of data are derived from others? Further, can we characterize the rate with which some data loses validity as not being constant over time, but rather bounded by a function of other measurable parameters. 3. It has been suggested by Alex Buchmann that when a transactional deadline cannot be met for a complex query, the system might be able to execute a sim- pler "Caricature" transaction to provide an approximate answer. What methods for doing this exist that are convincing for canonical applications? Papers should be at most 30 pages long, double-spaced, in font size 10 or larger. Five copies of each paper should be sent to the following address: Patrick O'Neil Department of Mathematics and Computer Science UMASS/Boston Boston, MA 02125-3393 USA poneil@cs.umb.edu The following are important dates for this issue: Date Milestone ______________________________________________________________ 2/ 1/95 Deadline for submission of papers 5/15/95 Notification of 1st-round referee results 7/ 1/95 Deadline for submission of revised papers 9/15/95 Notification of final acceptance/rejection 10/ 1/95 Deadline for having final papers at the publisher ------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------