From ged@cs.rmit.edu.au Sun Dec 18 00:43:42 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Sun, 18 Dec 94 00:43:36 -0600 Received: from goanna.cs.rmit.EDU.AU by cs.wisc.edu; Sun, 18 Dec 94 00:43:32 -0600 Received: (from ged@localhost) by goanna.cs.rmit.edu.au (8.6.9/8.6.9) id RAA23419 for dbworld@cs.wisc.edu; Sun, 18 Dec 1994 17:43:29 +1100 From: Gerard Ellis Message-Id: <199412180643.RAA23419@goanna.cs.rmit.edu.au> Subject: 2nd CFP: KRUSE Symposium: Knowledge Retrieval, Use and Storage for Efficiency To: dbworld (dbworld) Date: Sun, 18 Dec 1994 17:43:28 +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: 5908 Please find below the 2nd CFP for KRUSE. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/peirce/KRUSE.ps.Z Also the KRUSE home page on the World Wide Web is http://www.cs.rmit.edu.au/KRUSE/ 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 International KRUSE Symposium ___ Knowledge Retrieval, Use, and Storage for Efficiency ___ University of California, Santa Cruz August 11-13 1995 IMPORTANT DATES submission postmark deadline February 13, 1995 notification of acceptance April 12, 1995 camera-ready copy June 12, 1995 THEME The symposium will provide a forum for exploring current research in artificial intelligence, cognitive science, and databases that pertains to the organization, encoding and retrieval of logical and complex objects. The symposium will draw together researchers from diverse disciplines as well as practitioners engaged in developing real object-oriented term classification systems. Mathematical and Graph-Theoretic approaches will be favoured over those approaches based on analogy with human cognitive processes, though mathematical discussions of such processes will be appropriate. The basic questions to be addressed include o classification of objects in a taxonomy: systemic classification, semantic indexing, partial-order sorting, description identification, and taxonomy maintenance. o efficient order, lattice, graph, and code theoretic operations on objects: subsumption, generalization, specialization, least common generalization, and greatest common specialization. o advanced uses of taxonomies: knowledge compression, knowledge compilation, and knowledge evolution. o using classified knowledge: classification as problem solving, classification as constraint satisfaction, and exploiting abstraction. o scalable techniques for large object databases o integration of data and knowledge base technologies The symposium will maintain a balance between theoretical issues and descriptions of implemented systems providing a balance between theory and practice. The focus of the symposium is on efficiency of retrieval, use and storage. AUTHORS' INFORMATION Papers may not exceed 15 pages. Shorter, substantive papers are welcome. Authors are requested to submit five (5) copies of their paper. Alternatively, electronic submissions (by ftp or email) of papers (postscript output) are encouraged. Submission by ftp: please place in ftp.cs.rmit.edu.au incoming directory. 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 FEBRUARY 13, 1995. Address: KRUSE 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 ORGANIZING COMMITTEE: Veronica Dahl (Co-Chair) Gerard Ellis, RMIT (Program Chair) Director, Logic and Functionall Computer Science Dept. Programming Group Royal Melbourne Univ of Technology Professor, Computing Sciences Dept. GPO Box 2476, Melbourne, VIC 3001 Simon Fraser University Australia Burnaby, B.C. V5A 1S6 CANADA veronica@cs.sfu.ca ged@cs.rmit.edu.au Phone (604) 291-3372 Phone: 61-3-660-5090 Fax (604) 291-3045 Fax: 61-3-662-1617 Andrew Fall (Co-Chair) Robert Levinson (Local Arrangements Chair) School of Computing Science Dept. of Computer & Information Sciences Simon Fraser University 229 Applied Sciences Building Burnaby, B.C. V5A 1S6 CANADA University of California fall@cs.sfu.ca Santa Cruz, CA 95064 U.S.A. Phone: (604) 291-4302 levinson@cis.ucsc.edu Fax: (604) 291-3045 Phone: (408) 429-2087 Fax: 459-4829 PROGRAM COMMITTEE: Mohan Ahuja (USA) Robert Levinson (USA) Hassan Ait-Kaci (Canada) Patrick Lincoln (USA) Franz Baader (Germany) Robert MacGregor (USA) Yves Caseau (France) Deborah McGuinness (USA) Darrell Conklin (Canada) Guy Mineau (Canada) Veronica Dahl (Canada) Werner Nutt (Germany) Francesco Donini (Italy) Peter Patel-Schneider (USA) Gerard Ellis (Australia) Raghu Ramakrishnan (USA) Andrew Fall (Canada) Manfred Schmidt-Schauss (Germany) Brian Gaines (Canada) James Schmolze (USA) Jim Hendler (USA) Gert Smolka (Germany) Fritz Lehmann (USA) Leon Sterling (USA) Maurizio Lenzerini (Italy) SYMPOSIUM LOCATION The symposium 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 KRUSE can be found in the World Wide Web under http://www.cs.rmit.edu.au/KRUSE/ ------------------------------------------------------------------------------- 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 Mon Dec 19 05:05:18 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 19 Dec 94 05:05:03 -0600 Message-Id: <9412191104.AA14480@cs.wisc.edu> Received: from apollo.di.unipi.it by cs.wisc.edu; Mon, 19 Dec 94 05:04:52 -0600 Received: from pedreschi.di.unipi.it by apollo.di.unipi.it with SMTP (1.37.109.4/16.2) id AA11167; Mon, 19 Dec 94 11:47:50 +0100 Organization: Dipartimento di Informatica - Universita' di Pisa - Italy Date: Mon, 19 Dec 94 11:47:50 +0100 X-Sender: pedre@macmailer.di.unipi.it Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="========================_7383852==_" To: "MARIK VLADIMIR" , seyr@vexpert.dbai.tuwien.ac.at, nik@si.deis.unical.it, leone@vexpert.dbai.tuwien.ac.at, sacca@ccusc1.unical.it, sacca@si.deis.unical.it, greco@si.deis.unical.it, stephane.grumbach@inria.fr, grumbach@db.toronto.edu, zlacroix@tacos.inria.fr, 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, dbworld, 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, 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 - Technical Program --========================_7383852==_ Content-Type: text/plain; charset="us-ascii" Dear colleague: please find enclosed information on the forthcoming workshop on ADVANCES IN LOGIC-BASED DATABASE LANGUAGES Prague, January 9, 1995 including the technical program of the event and the registration/accommodation procedure. Apologies for receiving this message more than once. Regards, Dino Pedreschi --========================_7383852==_ Content-Type: text/plain; name="Prague.final"; charset="us-ascii" Content-Disposition: attachment; filename="Prague.final" ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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 Commission of the European Communities (DGIII) 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). * Detailed technical program 9:00 - 9:30 D. Pedreschi (Univ. Pisa) "An overview of DEUS EX MACHINA" 9:30 - 10:10 V. Vianu (Univ. of California at San Diego) "A tutorial on rule-based languages" 10:10 - 10:50 C. Zaniolo (Univ. of California at Los Angeles) "AI Planning and database updates" 10:50 - 11:20 Coffee break 11:20 - 12:00 VS Subrahmanian (Univ. Maryland) "The HERMES Heterogeneous Database and Reasoning Mediator System" 12:00 - 12:30 S. Greco (Univ. Calabria) "Programming with non-determinism" 12:30 - 14:00 Lunch break 14:00 - 14:40 M. Kifer (Univ. of New York at Stony Brook) "Concurrent Transaction Logic: a logic for programming database dynamics" 14:40 - 15:20 J. Su (Univ. of California at Santa Barbara) "Non-determinism in incremental query evaluation" 15:20 - 16:00 T. Eiter (Vienna Univ. of Tech.) "Disjunctive Datalog" 16:00 - 16:30 Coffee break 16:30 - 17:00 S. Grumbach, Z. Lacroix (INRIA) "Generalized implicit definitions" 17:00 - 17:30 D. Aquilino, P. Asirelli (CNUCE-CNR, Pisa), C. Renso, F. Turini (Univ. Pisa) "An operator for composing DDB's with theories of constraints" 17:30 - 18:30 Panel discussion: "The future of logic-based database languages" Chair: D. Sacca` (Univ. Calabria) * 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 andthe 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: _________ --========================_7383852==_-- ------------------------------------------------------------------------------- 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 mzemanko@nsf.gov Mon Dec 19 17:13:58 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 19 Dec 94 17:13:52 -0600 Received: from note1.nsf.gov by cs.wisc.edu; Mon, 19 Dec 94 17:13:50 -0600 Received: from [128.150.136.112] (cise00103.cise.nsf.gov) by note1.nsf.gov with SMTP id AA32162 (5.65c/IDA-1.4.4 for ); Mon, 19 Dec 1994 18:14:43 -0500 Message-Id: <199412192314.AA32162@note1.nsf.gov> X-Sender: mzemanko@note1.nsf.gov Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Mon, 19 Dec 1994 18:14:24 -0500 To: dbworld From: mzemanko@nsf.gov (Maria Zemankova) Subject: NSF Multidisciplinary Challenge Announcement Dear Colleague: The National Science Foundation (NSF) intends to announce opportunities for support of multidisciplinary group-oriented research for Fiscal Year 1995 in connection with the U.S. High Performance Computing and Communications (HPCC) Program, including the new Information Infrastructure Technology and Applications (IITA) component and the National Information Infrastructure (NII). This activity builds on the success of the Grand Challenge Application Groups and National Challenge Groups competitions held previously to include five distinct but interrelated components: GRAND CHALLENGES: to prepare the groundwork for the HPCC goal of sustained teraflop computing on important application problems utilizing parallel, distributed and heterogeneous computing systems and high performance networks; NATIONAL CHALLENGES: to demonstrate the solution of problems beneficial to a broad spectrum of society which contain an extensive information processing component, and which could benefit greatly by building an underlying information infrastructure; ENABLING TECHNOLOGIES: to accelerate progress in developing those technologies that will enable the community to take full advantage of high performance computing and communications systems in solving problems represented by the Grand Challenges and Natonal Challenges. Computer Science Challenges: focus is on the development of computing technology ranging from computer architecture through systems software to algorithms. Mathematical Sciences Challenges: focus is on advances in the mathematical sciences ranging from algorithms through the development of tools to the essential use of computation in extending mathematical frontiers. Problem Solving Environments: focus is on the development of computational environments that take advantage of unique characteristics of specific problems in order to shorten the problem solving cycle. Pre-proposals will be required. It is anticipated that deadline for submission of pre-proposals will be February 13, 1995. Details will be given in the announcement which will be available on STIS shortly; it will be referenced in the NSF Mosaic home page accessible via http://www.nsf.gov. Until then, inquiries should be directed to Robert G. Voigt, rvoigt@nsf.gov. Robert G. Voigt Acting HPCC Coordinator The National Science Foundation (NSF) provides awards for research in the sciences and engineering. The awardee is wholly responsible for the conduct of such research and preparation of the results for publication. The Foundation, therefore, does not assume responsibility for such findings and their interpretation. The Foundation welcomes proposals on behalf of all qualified scientists and engineers, and strongly encourages women, minorities and persons with disabilities to compete fully in any of the research and research-related programs described in this document. In accordance with Federal statutes and regulations and NSF policies, no person on grounds of race, color, age, sex, national origin, or disability shall be excluded from participation in, denied the benefits of, or be subject to discrimination under, any program or activity receiving financial assistance from the National Science Foundation. Facilitation Awards for Handicapped Scientists and Engineers provide funding for special assistance or equipment to enable persons with disabilities (investigators and other staff, including student research assistants) to work on an NSF project. See program announcement NSF 91-54, or contact the Facilitation Awards Coordinator, Directorate for Education and Human Resources, Washington, DC 20550, (703) 306-1636. The Foundation has TDD (Telephonic Device for the Deaf) capability, which enables individuals with hearing impairment to communicate with the Division of Personnel and Management about NSF programs, employment, or general information. The telephone number is (703) 306-0090 This program is described in the Catalog of Federal Domestic Assistance categories: 47.074, BIO; 47.070, CISE; 47.041, ENG; 47.049, MPS; and 47.075, SBE. Electronic Dissemination You can get information fast through STIS (Science and Technology Information System), NSF's online publishing system, described in NSF 94-4 the "STIS flyer" (elsewhere in this publication). To get more copies of the flyer, call the NSF Publications Section at (703) 306-0214. For an electronic copy, send an e-mail message to stisfly@nsf.gov . Ordering by Electronic Mail If you are a user of electronic mail and have access to the Internet, you may order publications electronically by sending requests to pubs@nsf.gov. In your request, include the NSF publication number and title, number of copies, your name, and a complete mailing address. Publications should be received within three weeks after placement of your order. ------------------------------------------------------------------------------- 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 hull@kibblesnbits.cs.colorado.edu Mon Dec 19 17:25:02 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 19 Dec 94 17:24:51 -0600 Received: from kibblesnbits.cs.colorado.edu by cs.wisc.edu; Mon, 19 Dec 94 17:24:48 -0600 Received: (from hull@localhost) by kibblesnbits.cs.colorado.edu (8.6.9/8.6.9) id QAA16548; Mon, 19 Dec 1994 16:24:13 -0700 Date: Mon, 19 Dec 1994 16:24:13 -0700 From: Rick Hull Message-Id: <199412192324.QAA16548@kibblesnbits.cs.colorado.edu> To: dbworld, THEORY-A%NDSUVM1.BITNET@bitnet.gateway.colorado.edu, lics-email@cs.indiana.edu, finite-model-theory@informatik.rwth-aachen.de Subject: book announcement (This announcement is posted to several lists -- we apologize if you receive multiple copies) *******BOOK ANNOUNCEMENT******** FOUNDATIONS OF DATABASES Serge Abiteboul, Richard Hull, Victor Vianu This database theory book provides a focused presentation of the core material on relational databases, and presents a number of advanced topics in a unified framework. Some of the advanced material has never before been presented in book form. The style is rigorous, with detailed proofs and many exercises. The text and numerous examples highlight the intuition underlying the development. As a textbook, the book is aimed at graduate students and seniors who would use it as the main text in a database theory course, or as complementary material in a database systems course. It can also serve as a reference for database researchers and for other computer scientists interested in databases. The book is published by Addison-Wesley and available wherever technical books are sold. To order the book directly from the publisher, call 1-800-447-2226 or 617-944-3700. Please supply the complete ISBN No. 0-201-53771-0 when ordering. AUTHOR INFORMATION Serge Abiteboul, Institut National de Recherche en Informatique et Automatique Rocquencourt, France Serge.Abiteboul@inria.fr Richard Hull University of Southern California and University of Colorado, Boulder hull@cs.colorado.edu Victor Vianu University of California, San Diego vianu@cs.ucsd.edu TABLE OF CONTENTS PART A -- Antechamber 1 Database Systems 1.1 The Main Principles 1.2 Functionalities 1.3 Complexity and Diversity 1.4 Past and Future 1.5 Ties with this Book Bibliographic Notes 2 Theoretical Background 2.1 Some Basics 2.2 Languages, Computability, Complexity 2.3 Basics from Logic 3 The Relational Model Bibliographic Notes PART B -- Basics: Relational Query Languages 4 Conjunctive Queries 4.1 Getting Started 4.2 Logic-based perspectives 4.3 Query composition and views 4.4 Algebraic perspectives 4.5 Adding union Bibliographic Notes Exercises 5 Adding Negation: Algebra and Calculus 5.1 The Relational Algebras 5.2 Nonrecursive Datalog with Negation 5.3 The Relational Calculus 5.4 Syntactic Restrictions for Domain Independence 5.5 Digression: Finite Representations of Infinite Databases Bibliographic notes Exercises 6 Static Analysis and Optimization 6.1 Issues in Practical Query Optimization 6.2 Global Optimization 6.3 Static Analysis of the Relational Calculus 6.4 Computing with Acyclic Joins Bibliographic Notes Exercises 7 Notes on Practical Languages 7.1 SQL: The Structured Query Language 7.2 Query-By-Example and Microsoft Access 7.3 Confronting the Real World Bibliographic Notes Exercises PART C -- Constraints 8 Functional and Join Dependency 8.1 Motivation 8.2 Functional and Key Dependencies 8.3 Join and Multivalued Dependencies 8.4 The Chase Bibliographic Notes Exercises 9 Inclusion Dependency 9.1 Inclusion Dependency in Isolation 9.2 Finite vs. Infinite Implication 9.3 Non-axiomatizability of fds + inds 9.4 Restricted Kinds of Inclusion Dependency Bibliographic Notes Exercises 10 A Larger Perspective 10.1 A Unifying Framework 10.2 The Chase Revisited 10.3 Axiomatization 10.4 An Algebraic Perspective Bibliographic Notes Exercises 11 Design and Dependencies 11.1 Semantic Data Models 11.2 Normal Forms 11.3 Universal Relation Assumption Bibliographic Notes Exercises PART D -- Datalog and Recursion 12 Datalog 12.1 Syntax of Datalog 12.2 Model-Theoretic Semantics 12.3 Fixpoint Semantics 12.4 Proof-Theoretic Approach 12.5 Static Program Analysis Bibliographic Notes Exercises 13 Evaluation of Datalog 13.1 Semi-naive Evaluation 13.2 Top-down Techniques 13.3 Magic 13.4 Two Improvements Bibliographic Notes Exercises 14 Recursion and Negation 14.1 Algebra + {\pem { while 14.2 Calculus + Fixpoint 14.3 Datalog with Negation 14.4 Equivalence 14.5 Recursion in Practical Languages Bibliographic Notes Exercises 15 Negation in Datalog 15.1 The Basic Problem 15.2 The Stratified Semantics 15.3 The Well-Founded Semantics 15.3.1 A Declarative Semantics for datalog$^\neg $ 15.3.2 A Fixpoint Definition 15.3.3 Well-founded and Stratified Semantics Agree 15.4 Expressive Power 15.5 Negation as Failure in Brief Bibliographic Notes Exercises PART E -- Expressiveness and Complexity 16 Sizing Up Languages 16.1 Queries 16.2 Complexity of queries 16.3 Languages and Complexity Bibliographic Notes Exercises 17 First-Order, Fixpoint and While 17.1 Complexity of the First-Order Queries 17.2 Expressiveness of the First-Order Queries 17.3 The Fixpoint and While Queries 17.4 The Impact of Order Bibliographic Notes Exercises 18 Highly Expressive Languages 18.1 While$_N$ -- while with Arithmetic 18.2 While$_{new}$ -- while with New Values 18.3 While$_{uty}$ -- an Untyped Extension of while Bibliographic Notes Exercises PART F -- Finale 19 Incomplete Information 19.1 Warm up 19.2 Weak Representation Systems 19.3 Conditional Tables 19.4 The Complexity of Nulls 19.5 Other Approaches Bibliographic Notes Exercises 20 Complex Values 20.1 Complex Value Databases 20.2 The Algebra 20.3 The Calculus 20.4 Examples 20.5 Equivalence Theorems 20.6 Fixpoint and Deduction 20.7 Expressive Power and Complexity 20.8 A Practical Query Language for Complex Values Bibliographic Notes Exercises 21 Object Databases 21.1 Informal Presentation 21.2 Formal Definition of an OODB Model 21.3 Languages for OODB Queries 21.4 Languages for Methods 21.4.1 A Model with Imperative Methods 21.4.2 Method Schemas 21.5 Further Issues for OODBs Bibliographic Notes Exercises 22 Dynamic Aspects 22.1 Update Languages 22.2 Transactional Schemas 22.3 Updating Views and Deductive Databases 22.4 Updating Incomplete Information 22.5 Active Databases 22.6 Temporal Databases and Constraints Bibliographic Notes Exercises Bibliography Index ------------------------------------------------------------------------------- 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 ami@aviv.isse.gmu.edu Mon Dec 19 18:02:59 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 19 Dec 94 18:02:47 -0600 Received: from aviv.isse.gmu.edu by cs.wisc.edu; Mon, 19 Dec 94 18:02:44 -0600 Received: by aviv.isse.gmu.edu (4.1/SMI-4.1) id AA08002; Mon, 19 Dec 94 14:23:27 EST Date: Mon, 19 Dec 94 14:23:27 EST From: ami@aviv.isse.gmu.edu (Amihai Motro) Message-Id: <9412191923.AA08002@aviv.isse.gmu.edu> To: dbworld Subject: FINAL CFP: NGITS-95 Cc: ngits-org, ngits-pc ***** SUBMISSION DEADLINE: December 31 1994 (see details below) ***** The workshop will feature invited talks by + Mark Fox, University of Toronto + Ben Schneiderman, University of Maryland + Carlo Zaniolo, UCLA ______________________________________________________________________________ Call for Papers NGITS '95 The Second International Workshop on Next Generation Information Technologies and Systems 27 - 29 June 1995 Hotel Carlton, Naharia, ISRAEL Supported by the Technion - Israel Institute of Technology and the Neaman Institute As information technology advances, requirements of and expectations from information systems change rapidly. This requires researchers and developers to continuously focus on the next generation of information systems. The NGITS Workshop provides an international forum for discussing issues and solutions related exclusively to next generation information systems and the technologies that would make them possible. These issues include, but are not limited to: o Data and knowledge base challenges: advanced models and languages, data integrity and quality, management of uncertainty and inconsistency, information security and privacy, management of spatial and temporal data o Software architectures for information systems: object-orientation, agent-orientation, extensibility, groupware, software repositories, application generators o Integration: intelligent integration and interchange of information, interoperability and cooperation among heterogeneous information systems, information mediation and brokering, standardization o AI techniques: knowledge management, knowledge representation and reasoning, knowledge discovery, information extraction and filtering, coordination technologies and agent architectures o Human-computer interaction: advanced user interfaces, computer-supported cooperative work, information visualization, visual information seeking o The impact of new technologies: multi-media, mobile computing, very high speed networks, etc. o Challenging applications: services and tools to support information infrastructure ("information super-highways"), digital libraries, large scientific and geographical databases, health care (medical) information systems, information systems for advanced manufacturing We solicit contributions of three kinds: * Full research papers * Short position papers * Proposals for panel discussions All contributions must emphasize their relevance to issues of next generation information technologies and systems, and must be addressed to an audience of diverse background and interests. The category of "research papers" is intended for technical papers describing research accomplishments. The category "position papers" is intended for papers that discuss new challenges and visionary solutions. Proposals for panels should include an abstract of the subject and likely participants. The workshop will feature paper sessions, panel discussions and talks by invited speakers. All accepted papers will appear in a workshop proceedings. Selected papers will be published in a special issue of the Journal of Intelligent Information Systems. ________________________ Program Committee Chairs ________________________ Ami Motro Moshe Tennenholtz Department of Information and Faculty of Industrial Engineering Software Systems Engineering and Management George Mason University Technion - Israel Institute of Technology Fairfax, Virginia 20030 Haifa, 32000 USA ISRAEL ngits@isse.gmu.edu ngits@ie.technion.ac.il _______________________ Information For Authors _______________________ For research papers authors should submit extended abstracts of 2000 words or less; the full papers that will appear in the proceedings are limited to 5000 words. Position papers are limited to 2000 words. We shall attempt to handle the submission and review processes by electronic mail and request that you submit your contributions by mailing a PostScript version of your paper to BOTH co-chairs at the above e-mail addresses. Otherwise, please send 3 copies of your paper to BOTH co-chairs at the above postal addresses. The organizers request advance notification of your intention to submit a paper: please send an e-mail message to both co-chairs giving the names of the authors and the title or subject of the submission. _______________ Important dates _______________ 31 October 1994 Intent-to-submit statements due 31 December 1994 Extended abstracts (for full papers), position papers, and panel proposals due 28 February 1995 Notification of acceptance 15 April 1995 Camera-ready manuscripts due 27-29 June 1995 The workshop _________________________ Location and Travel Funds _________________________ The workshop will take place in Naharia, a picturesque resort town on the Mediterranean sea, 30 kilometers north of Haifa. Limited travel funds will be available to assist some of the participants. ______________ General Chairs ______________ Opher Etzion Arie Segev Technion - Israel Institute of University of California at Berkeley Technology and Lawrence Berkeley Laboratories ISRAEL USA __________________ Program Committee _________________ Serge Abiteboul, INRIA, France Ron Ashany, National Science Foundation, USA Hagit Attiya, Technion, Israel Dan Berry, Technion, Israel Elisa Bertino, U. Milano, Italy Yitzhak Birk, Technion, Israel Yuri Breitbart, U. Kentucky, USA Alex Brodsky, George Mason U., USA Peter Buneman, U. Pennsylvania, USA Wesley Chu, U. California, Los Angeles, USA Alessandro D'Atri, U. L'Aquila, Italy Ed Durfee, U. Michigan, USA Dov Dori, Technion, Israel Oren Etzioni, U. Washington, USA Christos Faloutsos, U. Maryland, USA Mark Fox, U. Toronto, Canada Ophir Frieder, George Mason U., USA Les Gasser, U. Southern California, USA Yossi Gil, Technion, Israel Tomasz Imielinski, Rutgers U., USA Alfons Kemper, U. Passau, Germany Fred Lochovsky, U. of Science and Technology, Hong Kong Dennis McLeod, U. Southern California, USA John Mylopoulos, U. Toronto, Canada Gregory Piatetsky-Shapiro, GTE Laboratories, USA Jeff Rosenschein, Hebrew U., Israel Doron Rotem, Lawrence Berkeley Laboratories, USA Amit Sheth, U. Georgia, Athens, USA Peretz Shoval, Ben Gurion U., Israel Avi Silberschatz, U. Texas, Austin and AT&T Bell Labs, USA Ouri Wolfson, U. Illinois, Chicago, 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 oulusoy@cs.bilkent.edu.tr Tue Dec 20 02:16:02 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 20 Dec 94 02:15:57 -0600 Received: from gordion.cs.bilkent.edu.tr by cs.wisc.edu; Tue, 20 Dec 94 02:15:02 -0600 Received: from capadoce.cs.bilkent.edu.tr by cs.bilkent.edu.tr (5.65c/IDA-1.4) id AA28722; Tue, 20 Dec 1994 10:11:51 +0300 Received: by capadoce.cs.bilkent.edu.tr (5.65c/1.4IDA) id AA14201; Tue, 20 Dec 1994 10:15:12 +0300 Date: Tue, 20 Dec 1994 10:15:12 +0300 From: oulusoy@cs.bilkent.edu.tr (Ozgur Ulusoy) Message-Id: <199412200715.AA14201@capadoce.cs.bilkent.edu.tr> To: dbworld Subject: CFP: Special Issue on Real-Time Databases ------------------------------------------------------------------------------ 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/15/95 Deadline for submission of papers 6/ 1/95 Notification of 1st-round referee results 7/15/95 Deadline for submission of revised papers 10/ 1/95 Notification of final acceptance/rejection 10/15/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 ------------------------------------------------------------------------------- From tagriff@sna.co.umist.ac.uk Wed Dec 21 08:16:26 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Wed, 21 Dec 94 08:16:21 -0600 Received: from chippy.sna.co.umist.ac.uk by cs.wisc.edu; Wed, 21 Dec 94 08:16:12 -0600 Received: (from tagriff@localhost) by chippy.sna.co.umist.ac.uk (8.6.9/8.6.9) id OAA20630 for dbworld@cs.wisc.edu; Wed, 21 Dec 1994 14:10:49 GMT Date: Wed, 21 Dec 1994 14:10:49 GMT From: Thomas Anthony Griffiths Message-Id: <199412211410.OAA20630@chippy.sna.co.umist.ac.uk> To: dbworld Does any one out there have any idea of how to get hold of a copy of yacc++ and lex++. I've seen writeups of the above in the Sun C++ programmers reference manual, but I can't find the actual software. Failing this, does any one know how to call C++ from a yacc generated C parser (or from any C source code for that matter). I'm trying to write an sql parser, but I need to link in some C++ source code, but as the parser is the controling module I need to call the C++ from within C. If I try compiling the C generated parser file under C++ I get page after page of warnings and parse errors, hence if yacc++ does what I think it does the problem will hopefully go away. Thanks in advance Tony Griffiths UMIST UK ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From mb@informa0.ulb.ac.be Thu Dec 22 10:20:21 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 22 Dec 94 10:20:17 -0600 Received: from rc1.vub.ac.be by cs.wisc.edu; Thu, 22 Dec 94 10:20:08 -0600 Received: from informa1.ulb.ac.be by rc1 (8.6.8.1/3.3.1 (Antoon Pardon)) id RAA03667; Thu, 22 Dec 1994 17:22:41 +0100 Received: by informa1.ulb.ac.be (4.1/ULB.920908) id AA14924; Thu, 22 Dec 94 17:20:52 +0100 Date: Thu, 22 Dec 94 17:20:52 +0100 From: mb@informa0.ulb.ac.be (Marianne Baudinet) Message-Id: <9412221620.AA14924@informa1.ulb.ac.be> To: dbworld Subject: CFP: Workshop on Executable Temporal Logics CALL FOR PAPERS AND PARTICIPATION Workshop on Executable Temporal Logics to be held as part of IJCAI-95 Montreal, Canada. 19th, 20th or 21st August 1995 INTRODUCTION ------------ The direct execution of logical statements, through languages such as Prolog, has been influential within both Computer Science and Artificial Intelligence. Such languages have been used not only for applications such as the animation of logical specifications, the characterisation of database queries and knowledge representation, but also as high-level programming languages in their own right. In recent years, however, the requirement for greater expressive power has meant that languages based on first-order logic have been found wanting. In particular, since the concept of time is important in an increasingly wide range of applications, including the representation of time-dependent data and the specification and verification of concurrent and distributed systems, logics where temporal notions are central are beginning to be applied in these areas. Not surprisingly, executable forms of these temporal logics have been proposed in order to provide system developers with access to more appropriate logical techniques. Just as the development of sophisticated theorem-proving techniques for first-order logic led to executable forms, such as Prolog, so theorem-proving techniques for temporal logics are being used in the development of executable forms of these logics. However, each particular executable temporal logic combines not only a logical perspective, but also an operational model, drawn from its intended application areas. Thus a wide range of languages have appeared, exhibiting a variety of characteristics and execution mechanisms. Consequently, these languages have a wide range of application areas, including temporal databases, temporal planning, animation of temporal specifications, hardware simulation, and distributed AI. WORKSHOP AIMS ------------- The aim of this workshop is to provide a forum both for the exchange of ideas and for the identification of the potential roles and nature of the emerging paradigm of Executable Temporal Logics. Our aim is that the workshop will bring together workers in this area, to identify common ground, differing approaches, experiences, applications, open problems and possible future developments. In particular, we wish to encourage cross-fertilisation between different approaches. WORKSHOP FORMAT --------------- This workshop will build upon the success of the 1993 Workshop on Executable Modal and Temporal Logics that we organised as part of IJCAI-93, the proceedings of which are published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series (vol. 897). The workshop will last for one day, and will consist of presented papers, group discussions and invited talks. We intend that the workshop will cover topics ranging from considerations of the state of the art, through to speculation on future developments. We will therefore solicit papers describing work in this area, including original ideas, new results, comparative studies and applications of Executable Temporal Logics. AREAS OF INTEREST ----------------- Topics of interest include, but are not limited to, * theoretical issues in executable temporal logics * design of executable temporal logics * relationship between execution and temporal theorem-proving * operational models and implementation techniques * programming support and environments * comparative studies of languages * relationship of executable temporal logics to (temporal) databases * applications and case studies WORKSHOP PARTICIPATION ---------------------- To encourage informal interaction and the exchange of ideas, attendance will be limited to approximately 30 invited participants. Those wishing to attend are encouraged to submit either (a) an extended abstract (of no more than 5000 words) describing relevant preliminary or completed work to be presented at the workshop, or, (b) single page descriptions of research interests and current work, to be used to demonstrate the ability of the non-presenting participants to contribute to the discussions. Selected participants will be asked to provide complete papers to be distributed as preprints to the workshop participants. SUBMISSION DETAILS ------------------ All submissions should include: author's name(s), affiliation, (complete) mailing address, phone and fax number, e-mail address and an abstract of not more than 300 words. Electronic submission is strongly encouraged (either as self-contained LaTeX, or postscript) and this, or five (5) copies of submitted papers should be sent, by March 1st 1995, to: Michael Fisher Department of Computing Manchester Metropolitan University Chester Street Manchester M1 5GD United Kingdom Email: M.Fisher@doc.mmu.ac.uk Telephone: (+44) 61-247-1488 Fax: (+44) 61-247-1483 Papers will be refereed and notification of acceptance will be given by April 1st. Authors of accepted papers will be given the opportunity to revise their papers prior to the production of the workshop notes (due May 1st). Important Dates: Submissions received by: March 1st, 1995 Author notification by: April 1st, 1995 Revised papers due: May 1st, 1995 Copies of accepted papers will be provided as a pre-proceedings at the workshop itself. Information about the workshop, together with abstracts of accepted papers, will be available via the WWW page: http://www.doc.mmu.ac.uk/RESEARCH/extol95.html PUBLICATION ----------- The 1993 IJCAI Workshop on Executable Modal and Temporal Logics is published by Springer-Verlag as a volume in the Lecture Notes in Artificial Intelligence series. Our intention is to again publish polished versions of papers from the workshop proceedings. Selected papers may also be considered for publication in a special issue of either the Journal of Logic and Computation or the Journal of Applied Non-Classical Logics. WORKSHOP PROGRAMME COMMITTEE ---------------------------- Michael Fisher [Organiser] (details as above) Marianne Baudinet Universite Libre de Bruxelles Informatique, C.P. 165 50 Avenue F.D. Roosevelt 1050 Brussels, Belgium Email: mb@cs.ulb.ac.be Christoph Brzoska SFB 314 University of Karlsruhe P.O.Box 69 80 D - 76128 Karlsruhe 1, Germany Email: brzoska@ira.uka.de Shinji Kono Sony Computer Science Laboratory, Inc. Japan Email: kono@csl.sony.co.jp Ben Moszkowski Department of Electrical and Electronic Engineering University of Newcastle Newcastle upon Tyne NE1 7RU, U.K. Email: Ben.Moszkowski@ncl.ac.uk Mehmet Orgun Department of Computing Macquarie University Sydney NSW 2109, Australia Email: mehmet@mpce.mq.edu.au ------------------------------------------------ N.B., All workshop participants will be required to register for the **** main conference. NO ATTENDANCE TO A WORKSHOP WILL BE ACCEPTED WITHOUT REGISTRATION TO IJCAI. Information about IJCAI-95 can be accessed via the IJCAI home page: http://ijcai.org/ ---------------------------------------------------------------- ------------------------------------------------------------------------------- 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 garzotto@elet.polimi.it Thu Dec 22 11:54:26 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 22 Dec 94 11:54:20 -0600 Received: from ipmel2.elet.polimi.it by cs.wisc.edu; Thu, 22 Dec 94 11:54:15 -0600 Received: by ipmel2.elet.polimi.it (5.65/DEC-Ultrix/4.3A) id AA06179; Thu, 22 Dec 1994 18:41:14 GMT Message-Id: <9412221841.AA06179@ipmel2.elet.polimi.it> X-Sender: garzotto@ipmel2.elet.polimi.it Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Thu, 22 Dec 1994 18:44:29 +0100 To: dbworld From: garzotto@elet.polimi.it (Franca Garzotto) Subject: CFP - Workshop on Hypermedia Design X-Mailer: --- CALL FOR PAPERS --- IWHD'95 I N T E R N A T I O N A L W O R K S H O P ON H Y P E R M E D I A D E S I G N June 1 - June 2 1995 Montpellier (France) Organized by : LIRMM / CNRS UM-II In cooperation with : (Cooperation requested from:) ACM SIGLINK, INRIA, CWI, ERCIM SCOPE IWHD'95 is the second in a series of International Workshops which aim at promoting activities related to Hypermedia Design. The first workshop was co-located with ACM ECHT'94, the European conference on Hypermedia Technology. IWHD'95 provides researchers as well as professional designers with an opportunity to meet, present position papers, discuss their methods, models, tools, experiences and ongoing projects on Hypermedia Design. Reducing the production cost of hypermedia applications, reducing design delays, improving the quality of hypermedia products, enforcing usability is an important challenge for Information Industry. Increasing the efficiency of design environments, evaluating the effectiveness of the design methods on which they are based and of the applications produced with them requires mastering and tuning-up design methods, as well as proposing new methods and tools. This is an important R&D activity that is becoming increasingly visible within hypermedia and WWW communities. The two-days workshop aims at studying problems, comparing approaches, mixing experiences, and cross-fertilizing knowledge on hypermedia design among researchers and practitioners. TOPICS You are invited to participate in IWHD'95 and to submit short (3000 words) or long (6000 words) papers. Topics appropriate for the workshop include but are not limited to: Hypermedia applications design - Design methods and models - Experiences in Designing - Designing Hypermedia Applications on the Internet - Experiences in teaching Hypermedia Design Hypermedia applications evaluation - Methods for Evaluation - Evaluating Hypermedia Applications on the Internet - How to Evaluate Commercial products - Hypermedia and the Electronic Publishing Market - Hypermedia Usability and Hypermedia Ergonomics Hypermedia Engineering - Specifying Hypermedia Applications - Design Standards and Portability - Authoring Environments and Frameworks for Design - Tools for designing Hypermedia on the Internet - Computer-Aided Design, Collaborative Design. Specific Design Application Areas - Hypermedia Cultural Applications - Technical Documentation Hypermedia - Educational Hypermedia, Teaching with Hypermedia - Hypermedia and Advertising - Distributed Hypermedia Application Design DEADLINES March 1st 1995 Submission: Full papers, in English, short (3000 words) or long (6000 words) should be received by the conference secretariat, both in paper and electronic form. Detailed specifications for submission are available by sending E-mail to iwhd95@lirmm.fr with IWHD95 Guidelines Request in the subject line. Or browse WWW at URL: http://www.lirmm.fr/~mnanard/iwhd95/workshop.html April 15 1995 Notification of acceptance. May 10th 1995 Final copy of papers received by the conference secretariat for publication in the proceedings. Proceedings will be proposed to Springer Verlag Workshop Series for publication. IWHD'95 CONFERENCE Secretariat Corine Zicler LIRMM, 161 rue Ada, 34392 Montpellier cedex 5, France E-mail: zicler@lirmm.fr Voice: (33) 6741 8503 Fax: (33) 6741 85 00 IWHD'95 CONFERENCE Co-CHAIRS Marc Nanard, Jocelyne Nanard LIRMM, CNRS & UniversitI de Montpellier II, France Voice: (33) 67 41 85 17 Fax: (33) 67 41 85 85 E-mail: mnanard@lirmm.fr PROGRAM COMMITTEE CHAIR Franca Garzotto Dipartimento di Elettronica, Politecnico di Milano, Italy Voice: (39) 2-23993520 Fax: (39) 2-23993411 E-mail: garzotto@elet.polimi.it US COORDINATION Tomas Isakowitz Information Systems Department, Stern School of Business New York University, NY 10012, USA Voice: (1) 212-998-0833 Fax: (1) 212-995-4228 E-mail: tisakowi@stern.nyu.edu PROGRAM COMMITTEE Bob Allen Bellcore (USA) Hugh Dubberly Apple (USA) Bob glushko Passage Systems (USA) Wendy Hall Southampton Univ. (United Kingdom) Lynda Hardman CWI (The Netherlands) Blake Ives S. M. Univ. Dallas, Tx (USA) Paul D. Kahn Dynamic Diagrams (USA) Cathy Marshall Texas A&M University (USA) Ryuichi Ogawa NEC (Japan) Kasper Osterbye Aalborg Univ.(Denmark) Paolo Paolini Univ. of Lecce & Politecnico di Milano(Italy) Vincent Quint INRIA(France) Antoine Rizk Euroclid (France) Wolfgang Schuler GMD (Germany) Daniel Schwabe PUC (Brazil) Jack Shiff Siemens (Germany) Manfred Thuring Empirica CTR (Germany) Christine Vanoirbeek EPFL(Switzerland) ---- HOW to SUBMIT ---------- The workshop will consider two kinds of papers : long papers,) (about 5000 words), and shorter papers (about 3000 words). English is the official language. Any topic concerning methodologies or environments for designing or evaluating hypermedia applications, or experience in these domains are welcome for the workshop. All submissions to IWHD must be received by the secretariat before March 1st, both in electronic form and in paper form. A separate cover page with - the title of the paper, - the author list, - the affiliation, - the address including full postal address, phone number (voice and Fax) E-Mail address, if any. - an abstract (200 words), - a list of relevant keyword, should be added to the submission. Five copies of the submitted paper should be sent to : IWHD'95 CONFERENCE Secretariat Corine Zicler LIRMM, 161 rue Ada, 34392 Montpellier cedex 5, France E-mail: zicler@lirmm.fr Voice: (33) 6741 8503 Fax: (33) 6741 85 00 An electronic version of the paper ***which is strictly mandatory too*** must also be received by the secretariat at the same date. It must contain: - the ascii text of the cover page, sent directly as textual content of an E-Mail sent to : iwhd95@lirmm.fr with the subject line : IWHD95-abstract. - the formatted submitted document itself. The best way is to send the it as an Eudora attachment to an E-Mail sent to : iwhd95@lirmm.fr with the subject line : IWHD95-submission. If you have problems with your mail server when sending large files, you may use FTP as an alternate solution. A drop-in directory named 'iwhd95.drop-in' is available in the ftp server of LIRMM. - The hostname is: ftp.lirmm.fr - Its internet address is: 193.49.104.10 - The local pathname of the directory is: incoming/iwhd95.drop-in - The local pathname of the directory might be subject to changes due to reorganizing the ftp directory. So, if needed, explore! You must uuencode or binhex your file and put it in the drop-in directory. Use binary mode for transfer. The electronic version may be in either of the 4 following forms : - Microsoft Word for Mac or for PC - RTF - Latex - Postscript. Microsoft Word for Mac is the preferred one. Presentation rules: The proceedings will be produced from camera ready copies. In order to have a consistent presentation, very precise guidelines will be provided for producing the final version. Nevertheless, the Program Committee will appreciate that submissions be already presented according to the guidelines. A file named IWHD.MSWord.Template.hqx is located in the ftp directory iwhd95. You may get it by ftp anonymous. Then convert it with the binhex4 converter to obtain a MSWord file that you can use an a model for presenting your paper. Remark : the file IWHD.MSWord.Template.hqx will be available on the ftp site only after January 15 1995 Explicit data about the formatting will be placed on the web as soon as possible on the URL: http://www.lirmm.fr/lirmm/manifs/manifs.html ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From gupta@cs.nmsu.edu Thu Dec 22 13:02:54 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 22 Dec 94 13:02:15 -0600 Received: from dns1.NMSU.Edu by cs.wisc.edu; Thu, 22 Dec 94 13:02:12 -0600 Received: from cs by NMSU.Edu (8.6.8.1/NMSU-1.18) id LAA13733; Thu, 22 Dec 1994 11:57:52 -0700 Date: Thu, 22 Dec 1994 11:57:51 -0700 Message-Id: <199412221857.LAA13733@NMSU.Edu> Received: from san-patricio (san-patricio.CS.NMSU.Edu) by cs (4.1/SMI-4.1) id AA17734; Thu, 22 Dec 94 11:57:49 MST Received: by san-patricio (4.1/SMI-4.1) id AA16957; Thu, 22 Dec 94 11:57:49 MST From: gupta@cs.nmsu.edu (Gopal Gupta) To: POPX@vax.ox.ac.uk, ai@uk.ac.qmw.dcs, 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, compsci@uk.ac.aston.mail.demon.co.uk, compulog-list@cwi.nl, compulog@doc.imperial.ac.uk, compunode-exec@ecrc.de, compunode@ecrc.de, concurrency@cwi.nl, costa@cs.bris.ac.uk, dbworld, digest@uk.ac.ed.aiva.ed.ac.uk, epontell@NMSU.Edu, fds@ciup1.ncc.up.pt, gulp@apollo.di.unipi.it, gulp@di.unipi.it, gupta@nmsu.edu, herme@sol.dia.fi.upm.es, lprolog@central.cis.upenn.edu, mcc@ciup1.ncc.up.pt, nl-kr@cs.rpi.edu, parforce@ecrc.de, prolia@tlxf.geomail.org, prolog-vendors@sics.se, quintus-users@quintus.com, sepia_users@ecrc.de, sicstus-users@sics.se, warren@cs.bris.ac.uk, x3j17@ai.sri.com Subject: Special Issue of JLP: Call for Papers Apologies if you get this mail twice. Latex version of the call is enclosed at the end. Please print it and post it. The Journal of Logic Programming Editor-in-Chief: M. Bruynooghe Founding Editor: J.A. Robinson Special Issue on High Performance Implementations of Logic Programming Systems Guest Editors: Gopal Gupta & Mats Carlsson Call For Papers The Journal of Logic Programming is planning a special issue on High Performance Implementations of Logic Programming Systems, tentatively to appear in early 1996. High-quality original research papers are invited on all aspects of high performance sequential and parallel implementations of logic programming languages. Topics include, but are not limited to, o compilation technology for logic programming languages, o runtime implementation techniques and implementation optimizations, o parallel, concurrent, and distributed implementations, o principles and practice of logic programming implementation technology, and o performance analysis of logic programming implementations. Short papers (5 to 8 pages) describing important past implementation efforts (which have not been published in archival journal papers) are also solicited. Revised and enhanced versions of papers published in conferences that have not appeared in archival journals are also eligible for submission. Please send six copies of your paper, by March 1st, 1995, to Gopal Gupta Guest co-editor Laboratory for Logic, Databases, and Advanced Programming Department of Computer Science, New Mexico State University Box 30001/CS, Las Cruces, NM 88003, USA Email: jlpspi@cs.nmsu.edu JLP Latex style files will be made available. Authors are encouraged to use them to speed up the production process. Postscript files over email will also be accepted. Authors are required to email a title and a four or five line abstract to arrive by February 15th, 1995, at jlpspi@cs.nmsu.edu to facilitate assignment of reviewers in advance. NORTH-HOLLAND ------------- \documentstyle[12pt]{article} \setlength{\oddsidemargin}{0in} \setlength{\evensidemargin}{0in} \setlength{\textwidth}{16cm} \setlength{\topmargin}{-0.5in} \setlength{\headsep}{0.5in} \setlength{\textheight}{23cm} \hbadness=10000 \pagestyle{empty} \begin{document} \Huge \begin{center} \underline{{\bf The Journal of Logic Programming}} \end{center} \small \begin{flushright} {\bf Editor-in-Chief:} M. Bruynooghe \\ {\bf Founding Editor:} J.A. Robinson \end{flushright} \LARGE \begin{em} \begin{center} Special Issue on High Performance Implementations of Logic Programming Systems \end{center} \begin{center} Guest Editors: Gopal Gupta \& Mats Carlsson \end{center} \end{em} \large \medskip \begin{center} {\bf Call For Papers} \end{center} \noindent \normalsize The Journal of Logic Programming is planning a special issue on High Performance Implementations of Logic Programming Systems, tentatively to appear in early 1996. High-quality original research papers are invited on all aspects of high performance sequential and parallel implementations of logic programming languages. Topics include, but are not limited to, \begin{itemize} \item compilation technology for logic programming languages, \item runtime implementation techniques and implementation optimizations, \item parallel, concurrent, and distributed implementations, \item principles and practice of logic programming implementation technology, and \item performance analysis of logic programming implementations. \end{itemize} \noindent Short papers (5-8 pages) describing important past implementation efforts (which have not been published in archival journal papers) are also solicited. Revised and enhanced versions of papers published in conferences that have not appeared in archival journals are also eligible for submission. \noindent Please send six copies of your paper, by March 1st, 1995, to \begin{quote} Gopal Gupta\\ Guest co-editor\\ Laboratory for Logic, Databases, and Advanced Programming\\ Department of Computer Science, New Mexico State University\\ Box 30001/CS, Las Cruces, NM 88003, USA \\ Email: jlpspi@cs.nmsu.edu \end{quote} \noindent JLP \LaTeX ~style files will be made available and authors are encouraged to use them to speed up the production process. Postscript files over email will also be accepted. Authors are {\em required} to email a title and a 4-5 line abstract to arrive by February 15th, 1995, at jlpspi@cs.nmsu.edu to facilitate the assignment of reviewers in advance. \vspace{1cm} \Huge \begin{center} \underline{\bf North-Holland} \end{center} \end{document} ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From icde95@watson.ibm.com Thu Dec 22 15:06:35 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 22 Dec 94 15:06:28 -0600 Message-Id: <9412222106.AA20458@cs.wisc.edu> Received: from watson.ibm.com by cs.wisc.edu; Thu, 22 Dec 94 15:06:25 -0600 Received: from YKTVMV by watson.ibm.com (IBM VM SMTP V2R3) with BSMTP id 3735; Thu, 22 Dec 94 16:06:22 EST Date: Thu, 22 Dec 94 16:05:37 EST From: icde95@watson.ibm.com To: dbworld Subject: advance program ICDE-11, March 6-10, 1995, Taipei, Taiwan C A L L F O R P A R T I C I P A T I O N ------------------------------------------- I C D E - 1 1 Eleventh International Conference on Data Engineering Sponsored by IEEE Computer Society Technical Committee on Data Engineering and Providence University The Grand Hotel, Taipei, Taiwan March 6-10, 1995 This document includes: - Conference Description - Registration Forms - Preliminary Program SCOPE OF THE CONFERENCE ----------------------- Data Engineering deals with the modeling and structuring of data in the development and use of information systems, as well as with relevant aspects of computer systems and architecture. The 11th Data Engineering Conference will provide a forum for the sharing of original research results and engineering experiences among researchers and practitioners interested in automated data and knowledge management. The purpose of the conference is to examine problems facing the developers of future information systems, the applicability of existing research solutions and the directions for new research. TECHNICAL PROGRAM HIGHLIGHTS ---------------------------- Research papers on Data Mining and Information Discovery, Performance Evaluation, Query Processing in Object-Oriented Database Management Systems, Active Databases, High Performance and Parallel Systems, Change Management, Query Optimization, Temporal and Sequence Databases, Integration of Heterogeneous Systems, Application Systems, Transaction Management, Access Methods and Caching, Fuzzy and Proximity Query, Database Modelling, Multimedia Servers, Logic and Artificial Intelligence, Interoperable Systems, Sampling and Compression, and Object-Oriented Systems. Invited keynote speeches by Prof. Hector Garcia-Molina (Stanford University): "Challenges and Pitfalls on the Way to the Digital Library of the Future", and by Dr. Won Kim (UniSQL): "On Object-Relational Database Technology". Panel discussions on Document Repositories, Information Resource Discovery, the Futures of Active Databases and Workflow Automation. Industrial sessions with practice-oriented presentations of applications of database technologies. TUTORIAL PROGRAM ---------------- 1) Arif Ghafoor (Purdue University), "Multimedia Database Systems," Monday, March 6, 1995, 9:00 a.m. - 12:00 noon 2) C. Mohan (IBM Almaden), "High Performance Transaction Processing," Monday, March 6, 1995, 9:00 a.m. - 12:00 noon 3) Christos Faloutsos (University of Maryland), "Indexing Multimedia Databases," Monday, March 6, 1995, 1:30 p.m. - 4:30 p.m. 4) Ming-Syan Chen, Hui-I Hsiao (IBM Watson) "Query Processing in Parallel Database Systems," Monday, March 6, 1995, 1:30 p.m. - 4:30 p.m. 5) Dik L. Lee (Ohio State University and Hong Kong University of Science and Technology), "Implementation of Document Retrieval Systems," Tuesday, March 7, 1995, 9:00 a.m. - 12:00 noon 6) Amit Sheth (University of Georgia), "Multidatabase Interoperation: Perspectives of Researchers and Practitioners," Tuesday, March 7, 1995, 9:00 a.m. - 12:00 noon 7) Hanan Samet (University of Maryland), "Spatial Databases," Tuesday, March 7, 1995, 1:30 p.m. - 4:30 p.m. 8) JiaWei Han (Simon Fraser University, Canada), "From Database Systems to Knowledge-Base Systems: An Evolutionary Approach," Tuesday, March 7, 1995, 1:30 p.m. - 4:30 p.m. LOCAL ARRANGEMENTS ------------------ The 11th ICDE will be held at the Grand Hotel in Taipei, Taiwan. Taipei is the principal cultural, economic, and political center of Taiwan. This metropolis is one of the most fascinating in all of Asia. The Grand Hotel, the official conference site, is a major landmark in Taipei, commanding a panoramic view of the city. Designed after the Forbidden City of Peiking, the Grand is symbolic of ancient architectural grandeur. HOTEL ACCOMMODATION ------------------- Please make your hotel reservations directly with the Grand Hotel, No. 1, Chung Shan North Road, Section 4, Taipei, Taiwan, FAX (886-2-5948243). The special conference rates are (various rates with various views): (1 US$ approximately equals 26 NT$) Single: 1,620 NT$, 2,200 NT$, 3,200 NT$ Double: 1,800 NT$, 2,400 NT$, 3,400 NT$ You must mention you are attending the ICDE95 conference to obtain the special rate. The cut-off date for guaranteed guest room reservation is Jan. 15, 1995. TRANSPORTATION -------------- AIR TRANSPORTATION You or your travel agent should make Chiang Kai-Shek (CKS) International Airport, Taiwan, as your final destination. GROUND TRANSPORTATION Taxi: Taxis to the hotel are readily available directly outside the airport terminals. Taxi fare from the airport to the Grand Hotel is 1,000 NT$ (approximately 40 US$). Shuttle service: The Grand Hotel offers service between the airport and the hotel. FAX 886-2-5948243 for detailed information and reservations. LOCAL ATTRACTION Local attractions range from the National Palace Museum, where you can visit the world's largest and most priceless collection of Chinese art treasures, to night markets, where you can explore the flavor of the Taipei city from up close. VISA INFORMATION ---------------- A 120-hour free transit visa is honored in Taiwan, which is available only for the following nations: U.S.A., Canada, Japan, Great Britain, France, Germany, Austria, Holland, Belgium, Luxamburg, Australia, and New Zealand. If you plan to stay in Taiwan longer than 120-hour, you have to obtain a visitor visa before entering Taiwan. Extension cannot be applied if entering on a free transit visa. For visitors from all other nations, a visitor visa is required. Visitor visas for Taiwan can be obtained from its diplomatic and consular offices in your country. You can contact your local travel agents for visa application information. It is encouraged that visa applications should be made as early as possible. Note that for visitors with People's Republic of China (PRC) passports, it requires longer visa processing time (approximately 3 months). If you have any question regarding visa application, please contact the local arrangement chair, Allen Wu (chunghaw@cs.nthu.edu.tw). WEATHER In March, we will be on the verge of spring. Expect cool comfortable temperatures with nice sunny days and cool breezy nights. The average temperature will be between 16C (60F) to 25C (78F). SOCIAL EVENTS Welcome Reception will be held for the participants on Wednesday evening, March 8, 1995, from 18:00 to 20:00 p.m. at the Grand Hotel. Banquet will be held at the Grand Hotel on Thursday evening, March 9, 1995, from 18:00 to 21:00 p.m. Banquet ticket can be purchased on site or through advance registration for 40 US$. LOCAL INFORMATION ICDE95 Local Arrangement Staffs Computer Science Department Tsing Hua University Hsinchu, Taiwan 300 Fax: 886-35-723694 Email: icde95@cs.nthu.edu.tw Allen C.-H. Wu Computer Science Department Tsing Hua University Hsinchu, Taiwan 30043 Fax: 886-35-723694 Email: chunghaw@cs.nthu.edu.tw Organizing Committee -------------------- General Chairs R.C.T. Lee, Providence University C. V. Ramamoorthy, University of California at Berkeley Program Chairs Philip S. Yu, IBM T. J. Watson Research Center Arbee L.P. Chen, National Tsing Hua University Steering Committee Chair Benjamin W. Wah, University of Illinois at Urbana-Champaign Industrial Program Chairs Ahmed Elmagarmid and Omran Bukhres, Purdue University Panel Program Chair Maria Zemankova, MITRE Tutorial Program Chair Yao-Nan Lien, ITRI/CCL Program Committee ------------------- Serge Abiteboul, INRIA Rafael Alonso, MITL Lougie Anderson, Sequent Computer Systems Peter Apers, Univ. Of Twente Francois Bancilhon, O2 Technology Daniel Barbara, MITL Elisa Bertino, Univ. of Genoa Yuri Breitbart, Univ. of Kentucky Chin-Chen Chang, National Chung Cheng Univ. (V. Chair, Data Consistency) Ming-Syan Chen, IBM T.J. Watson Research Center Wesley Chu, UCLA Umesh Dayal, HP Labs Margaret Eich, Southern Methodist Univ. (V. Chair, Engineering Databases) Ramez Elmasri, Univ. of Texas, Arlington Piero Fraternali, Politecnico di Milano at Como Chirstosph Freytag, Humboldt Univ. of Berlin Oris Friesen, Bull HN Infor. Systems Hector Garcia-Molina, Stanford Univ. Goetz Graefe, Portland State Univ. Laura Haas, IBM Almaden Research Center JiaWei Han, Simon Fraser Univ. (V. Chair, AI and Knowledge-Based Systems) Eric Hanson, Univ. of Florida Yannis Ioannidis, Univ. of Wisconsin H.V. Jagadish, AT&T Bell Labs (V. Chair, Extensible and Temporal Databases) Christian Jensen, Aalborg Univ. Hiroyuki Kitagawa, Univ. of Tsukuba Masaru Kitsuregawa, Univ. of Tokyo (V. Chair, High Performance DB Systems) Chiang Lee, National Chen-Kung Univ. David Lomet, DEC CRL (V. Chair, Access Method and Query Optimization) Hongjun Lu, National Univ. of Singapore Vincent Lum, Chinese Univ. of Hong Kong Akifumi Makinouchi, Kyushu Univ. Richard Muntz, UCLA John Mylopoulos, Univ. of Toronto Sham Navathe, Georgia Institute of Technology Erich Neuhold, GMD-IPSI Moira Norrie, ETH Zurich Tadashi Ohmori, Kyoto Univ. Edward Omiecinski, Georgia Institute of Technology Meral Ozsoyoglu, Case Western Reserve Univ. Mike Papazoglou, Queensland Univ. of Technology Sakti Pramanik, Michigan State Univ. Calton Pu, Oregon Graduate Institute (V. Chair, Heterogeneous Systems) Raghu Ramakrishnan, Univ. of Wisconsin Krithi Ramamritham, Univ. Massachusetts (V. Chair, Transaction Management) Andreas Reuter, Univ. of Stuttgart Doron Rotem, Lawrence Berkeley Lab Marek Rusinkiewicz, Univ. of Houston Betty Salzberg, Northeastern Univ. Hanan Samet, Univ. of Maryland Peter Scheuermann, Northwestern Univ. Gunter Schlageter, Univ. of Hagen (V. Chair, Database Design and Modelling) Donovan Schneider, HP Labs Timos Sellis, National Technical Univ. of Athens Amit Sheth, Univ. of Georgia Sang Son, Univ. of Virginia Jaideep Srivastava, Univ. of Minnesota Makoto Takizawa, Tokyo Denki Univ. Jeffery Tsai, Univ. of Illinois at Chicago Susan Urban, Arizona State Univ. Gerhard Weikum, Univ. of the Saarland (V. Chair, Performance Evaluation) Kyu-Young Whang, Korea Advanced Inst. Sci. & Tech. (V. Chair, OO Databases) Jennifer Widom, Stanford Univ. Kun-Lung Wu, IBM T.J. Watson Research Center Clement Yu, Univ. of Illinois at Chicago European Coordinator Elisa Bertino, Univ. of Genoa Far East Coordinators Makoto Takizawa, Tokyo Denki University Mike Papazoglou, Queensland Univ. of Technology Financial Chairs Steve Y.L. Lin, National Tsing Hua Univ. Jeffrey Tsai, Univ. of Illinois at Chicago Publicity Chairs Abdelsalam Helal, Univ. of Texas at Arlington Chiang Lee, National Cheng-Kung Univ. Publication Chair Kun-Lung Wu, IBM T. J. Watson Research Center Local Arrangements Allen Wu, National Tsing Hua Univ. Chen-Pang Lin, III Registration Chuan-Yi Tang, National Tsing Hua Univ. ------------------------------------------------------------------------------- ICDE'95 REGISTRATION FORM ----------------------------- Please complete this form (TYPE or PRINT), and return with your payment. Dr./Mr./Mrs./Ms./Prof._________________________________________(For Name Badge) Title:_________________________________________________________ Author?________ Affiliation:___________________________________________________(For Name Badge) Address:_______________________________________________________________________ _______________________________________________________________________________ _______________________________________________________________________________ Country________________________________________________________________________ Phone:_________________________________________________________________________ Fax:_____________________________ Email:_______________________________________ REGISTRATION FEE Includes welcome reception, refreshment breaks and proceedings. Before After February 6 February 6 Amount Conference Fee Non-IEEE Members 190 US$ 230 US$ ________ Conference Fee IEEE Members 150 US$ 180 US$ ________ Conference Fee IEEE Student Members 50 US$ 60 US$ ________ Tutorial Fee (each half-day), please circle which tutorials 1 2 3 4 5 6 7 8 Non-IEEE Members Number of Tutorials ______ 65 US$ 75 US$ ________ Tutorial Fee (each half-day), please circle which tutorials 1 2 3 4 5 6 7 8 IEEE Members Number of Tutorials ______ 50 US$ 60 US$ ________ Banquet Tickets Number of Tickets ______ 40 US$ 40 US$ ________ Extra Proceedings Number of Proceedings ______ 35 US$ 35 US$ ________ Total ________ IEEE Member Number: #___________________________________________________ Make your check (U.S.Dollars) payable to ``PROVIDENCE UNIVERSITY(ICDE'95)'' Or provide credit card number: #_________________________________________ Master Card:_____ VISA:_____ Expiration Date: _____________/_____________ Signature:_______________________________________________________________ MAIL THIS FORM TO: ICDE95 c/o Chuan-Yi Tang Department of Computer Science National Tsing Hua University Hsinchu, Taiwan 300 If you have any further questions regarding registration, please contact Chuan-Yi Tang at icde95@cs.nthu.edu.tw or FAX 886-35-723694. ----------------------------------------------------------------------------- HOTEL RESERVATION FOR ICDE'95 ----------------------------- The tutorial and conference will be held in The Grand Hotel, Taipei, Taiwan. The prices indicated below are in NT$ (New Taiwan Dollars) (1 US$ approx. equals 26 NT$) per/room/night. Room Type Special Rate for Single/Double 1. Inside room without view 1,620 NT$ / 1,800 NT$ in Main Building 2. Outside room in Main 3,200 NT$ / 3,400 NT$ Building 3. Room in Chi-Lin Pavilion 2,200 NT$ / 2,400 NT$ Guest Name:_______________________ Fax NO.:______________________________ Arrival Date:____________________ Flight NO.:___________________________ Departure Date:__________________ Flight NO.:____________________________ Please send the above form to our Reservation Office before January 15, 1995 by fax (886-2-594-8243) or by airmail (Address: No. 1, Chung Shan North Road Sec. 4, Taipei, Taiwan) ------------------------------------------------------------------------------- Other hotels in the area: 1. The Ambassador Hotel fax:+886-2-5617883 2. The Imperial Hotel fax:+886-2-5927506 3. The Royal Hotel fax:+886-2-5434897 4. The Fortuna Hotel fax:+886-2-5619777 ----------------------------------------------------------------------------- A D V A N C E P R O G R A M ----------------------------- |||||||||||||||||||||||||||| | Wednesday, March 8th | |||||||||||||||||||||||||||| 09:00-09:30 Opening 09:30-10:30 Keynote Speech: "Challenges and Pitfalls on the Way to the Digital Library of the Future", Hector Garcia-Molina (Stanford U.) 10:30-11:00 Break 11:00-12:30 Three Parallel Sessions (1A, 1B, 1C) Session 1A. Data Mining and Information Discovery CHAIR: Kun-Lung Wu - "Mining Sequential Patterns," R. Agrawal and R. Srikant - "The Design and Experimental Evaluation of an Information Discovery Mechanism for Networks of Autonomous Database Systems," D. McLeod and A. Si - "Set-Oriented Mining for Association Rules in Relational Databases," M. Houtsma and A. Swami Session 1B. Performance Evaluation CHAIR: Masaru Kitsuregawa - "A High Performance Configurable Storage Manager," A. Biliris and E. Panagos - "Performance Evaluation of Load Balancing Techniques for Multicomputer Database Systems," K. A. Hua, W. Tavanapong and H. C. Young - "A Trace-Based Simulation of Pointer Swizzling Techniques," M. L. McAuliffe and M. H. Solomon Session 1C. Industrial Session on Distributed and Heterogeneous Systems CHAIR: Amit Sheth - "Enterprise Workflow Architecture," W. Du, S. Peterson and M-C. Shan - "Toward Scalable and Interoperable of Heterogeneous Information Sources," S. Dao - "The Design and Implementation of a Full-Fledged Multiple DBMS," S-C. S. Su, C.-S. Yu, Y-Y. Yao, S-Y. Hwang and B. P. Lin 12:30-14:00 Lunch 14:00-15:30 Three Parallel Sessions (2A, 2B, 2C) Session 2A. Query Processing in OODBMS CHAIR: Wesley Chu - "Semantic Query Optimization for Methods in Object-Oriented Database Systems," K. Aberer and G. Fischer - "The AQUA Approach to Querying Lists and Trees in Object-Oriented Databases," B. Subramanian, T. W. Leung, S. L. Vandenberg and S. B. Zdonik - "Translation of Object-Oriented Queries to Relational Queries," C. Yu, Y. Zhang, W. Meng, W. Kim, G. Wang, T. Pham and S. Dao Session 2B. Active Databases CHAIR: Sharma Chakravarthy - "Active Database Management of Global Data Integrity Constraints in Heterogeneous Database Environments," L. Do and P. Drew - "A Transaction Transformation Approach to Active Rule Processing," D. Montesi and R. Torlone - "Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions," A. P. Buchmann, J. Zimmermann, J. A. Blakeley and D. L. Wells Session 2C. Panel on "Document Repositories: Databases or Information Retrieval Systems (are we reinventing the wheels?" Moderator: Daniel Barbara (MITL) Panelists: Alex Buchmann (Darmstad U.) Christos Faloutsos (U. of Maryland) Hector Garcia-Molina (Stanford U.) 15:30-16:00 Break 16:00-17:30 Three Parallel Sessions (3A, 3B, 3C) Session 3A. Fuzzy and Proximity Query CHAIR: Wei-Pan Yang - "Efficient Processing of Nested Fuzzy SQL Queries," Q. Yang, C. Liu, J. Wu, C. Yu, S. Dao and H. Nakajima - "Context-Dependent Interpretations of Linguistic Terms in Fuzzy Relational Databases," W. Zhang, C. Yu, R. Reagan and H. Nakajima - "Efficient Processing of Proximity Queries for Large Databases," W. G. Aref, D. Barbara, S. Johnson and S. Mehrotra Session 3B. Change Management CHAIR: Kien Hua - "Axiomatization of Dynamic Schema Evolution in Objectbases," R. J. Peters and M. T. Ozsu - "A Transparent Object-Oriented Schema Change Approach Using View Evolution," Y-G. Ra and E. A. Rundensteiner - "A Common Framework for Classifying and Specifying Deductive Database Updating Problems," E. Teniente and T. Urpi Session 3C. Industrial Session on Database Server CHAIR: Jaideep Srivastava - "Navigation Server: A Highly Parallel DBMS on Open Systems," R-C. Hu and R. Stellwagen - "Scalable Parallel Query Server for Decision Support Applications," J-Y. Chung 18:00-20:00 Reception ||||||||||||||||||||||||||| | Thursday, March 9th | ||||||||||||||||||||||||||| 09:00-10:00 Keynote Speech: "On Object-Relational Database Technology," Won Kim (UniSQL) 10:00-10:30 Break 10:30-12:00 Three Parallel Sessions (4A, 4B, 4C) Session 4A. Query Optimization CHAIR: Sakti Pramanik - "Optimizing Queries with Materialized Views," S. Chaudhuri, R. Krishnamurthy, S. Potamianos and K. Shim - "Praire: A Rule Specification Framework for Query Optimizers," D. Das and D. Batory - "Pushing Semantics Inside Recursion: A General Framework for Semantic Optimization of Recursive Queries," L. V. S. Lakshmanan and R. Missaoui Session 4B. Temporal and Sequence Databases CHAIR: Clement Yu - "Computing Temporal Aggregates," N. Kline and R. T. Snograss - "SEQ: A Model for Sequence Databases," P. Seshadri, M. Livny and R. Ramakrishnan - "A Version Numbering Scheme with a Useful Lexicographical Order," A. M. Keller and J. D. Ullman Session 4C. Panel on "The Future of Active Database Systems: SQL Triggers, Knowledge-Based Rule Processing, and Beyond" Moderator: Sharma Chakravarthy (U. of Florida) Panelists: Alex Buchmann (Darmstad U.) Umesh Dayal (HP Lab) Klaus Dittrich (U. of Zurich) Tore Risch (Linkpoping U.) Elke Rundensteiner (U. of Michigan) Arie Segev (U. of California, Berkeley) 12:00-13:30 Lunch 13:30-15:00 Three Parallel Sessions (5A, 5B, 5C) Session 5A. Interoperable Systems CHAIR: Calton Pu - "Object Exchange Across Heterogeneous Information Sources," Y. Papakonstantinou, H. Garcia-Molina and J. Widom - "A Universal Relation Approach to Federated Database Management," J. L. Zhao, A. Segev and A. Chatterjee - "Query Interoperation Among Object-Oriented and Relational Databases," X. Qian and L. Raschid Session 5B. Application Systems CHAIR: Margaret Eich - "Design, Implementation and Evaluation of SCORE (a System for COntent based REtrieval of Pictures), Y. A. Aslandogan, C. Thier, C. T. Yu, C. Liu and K. R. Nair - "RBE: Rendering By Example," R. Krishnamurthy and M. Zloof - "Improving SQL with Generalized Quantifiers," P.-Y. Hsu and D. S. Parker Session 5C. Panel on "Information Resource Discovery: The Torch in the Deep Darkness of Information Superhighway?" Moderator: Amit Sheth (U. of Georgia) Panelists: Hector Garcia-Molina (Stanford U.) JiaWei Han (Simon Fraser U.) Eric Neuhold (GMD-Darmstadt) Yoshifumi Masunaga (U. of Library & Info. Science) 15:00-15:30 Break 15:30-17:00 Three Parallel Sessions (6A, 6B, 6C) Session 6A. Transaction Management CHAIR: Krithi Ramamritham - "Transactions in the Client-Server EOS Object Store," A. Biliris and E. Panagos - "Object Locking in OODBMS Client Supported Nestd Transactions," L. Daynes, O. Gruber and P. Valduriez - "Disk Read-Write Optimizations and Data Integrity in Transaction Systems Using Write-Ahead Logging," C. Mohan Session 6B. Object-Oriented Systems CHAIR: Kyu-Young Whang - "Proxy Mechanisms for Object-Oriented Databases," Z. Peng and Y. Kambayashi - "ECA Rule Integration into an OODBMS: Architecture and Implementation," S. Chakravarthy, V. Krishnaprasad, Z. Tamizuddin and R. H. Badani Session 6C. Industrial Session on Global Infobusiness in Asia CHAIR: Ming-Chien Shan - "Infobusiness Issues in ROC," L.-L. Liu - "Singapore NII : Building the Electronic Universe," M. Yap - "Practical Issues for RDBMS Application Development," K.-J. Farn and S.-L. Hu 18:00-21:00 Banquet |||||||||||||||||||||||||| | Friday, March 10th | |||||||||||||||||||||||||| 09:00-10:30 Keynote Panel Moderator: C.V. Ramamoorthy 10:30-11:00 Break 11:00-12:30 Three Parallel Sessions (7A, 7B, 7C) Session 7A. High Performance and Parallel Systems CHAIR: Honesty C. Young - "The Impact of Declustering on Global Memory Management for Parallel OODBMS," S. Venkataraman, M. Livny and J. F. Naughton - "A Heuristic Information Retrieval Model on Massively Parallel Processor," I. Syu, S. D. Lang and K. A. Hua - "A Similarity Graph-Based Approach to Declustering Problems and Its Application towards Paralleling Grid Files," D.-R. Liu and S. Shekhar Session 7B. Database Modelling CHAIR: Gunter Schlageter - "Record Subtyping in Flexible Relations by Means of Attribute Dependencies," C. Kalus and P. Dadam - "Modeling Scientific Experiments with an Object Data Model," I.M. A. Chen and V. M. Markowitz - "Object-Oriented Conceptual Modeling of Video Data," Y. F. Day, S. Dagtas, M. Iino, A. Khokhar and A. Ghafoor Session 7C. Access Methods and Caching CHAIR: Elizabeth Fong - "CCAM: A Connectivity-Clustered Access Method for Aggregate Queries on Transportation Networks---A Summary of Results," S. Shekhar and D.-R. Liu - "Generalized Partial Indexes," P. Seshadri and A. Swami - "Two-Level Caching of Composite Object Views of Relational Databases," C. Hamon and A. M. Keller 12:30-14:00 Lunch 14:00-15:30 Three Parallel Sessions (8A, 8B, 8C) Session 8A. Multimedia Servers CHAIR: Ming-Syan Chen - "Buffer management for Video Database Systems," D. Rotem and J. L. Zhao - "A Cost-effective Near-line Storage Server for Multimedia System," S. W. Lau, J. C. S. Lui and P. C. Wong - "A Video Storage System for On-Demand Playback," Y-J. Oyang, M-H. Lee, C-H. Wen and C.-Y. Cheng Session 8B. Logic and AI CHAIR: Jia Wei Han - "Bottom-Up Evaluation of Logic Programs Using Binary Decision Diagrams," M. Iwaihara and Y. Inoue - "A New Recursive Subclass of Domain Independent Formulas based on Subimplication," J. Sung and L. J. Henschen - "Ternary Relationship Decomposition Strategies Based on Binary Imposition Rules," I-Y. Song and T. H. Jones Session 8C. Panel on "Workflow Automation" Moderator: Marek Rusinkiewicz (U. of Houston) Panelists: Umesh Dayal (HP Lab) Mei Hsu (EDS) C. Mohan (IBM Almaden) Andreas Reuter (U. of Stutgart) 15:30-16:00 Break 16:00-17:30 Three Parallel Sessions (9A, 9B, 9C) Session 9A. Integration of Heterogeneous Systems CHAIR: Abdelsalam Helal - "Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases," S. Agarwal, A. M. Keller, G. Wiederhold and K. Saraswat - "A Structure Based Schema Integration Methodology," M. Garcia-Solaco, F. Saltor and M. Castellanos - "A Uniform Framework for Integrating Knowledge in Heterogeneous Knowledge Systems," S. Adali and R. Emery Session 9B. Sampling and Compression CHAIR: Chiang Lee - "Sampling-Based Selectivity Estimation for Joins Using Augmented Frequent Value Statistics," P. J. Haas and A. N. Swami - "A Comprehensive Evaluation of Sampling-Based Size Estimation Methods in Database Systems," Y. Ling and W. Sun - "Relational Database Compression Using Lossless Vector Quantization," W. K. Ng and C. V. Ravishankar Session 9C. Industrial Session on Information Software CHAIR: Yao-Nan Lien - "OCAM: A Collaborative System for Multimedia Applications," H. Mountassir, S. Serre - "An Industrial Perspective of Software Architecture," C. Hofmeister, R. L. Nord and D. Soni - "An International Masters in Software Engineering: Experience and Prospects," A. Apostolico, G. Bilardi, F. Bombi and R. De Millo ------------------------------------------------------------------------------- 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 ef@cs.kun.nl Fri Dec 23 03:22:27 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 23 Dec 94 03:22:13 -0600 Received: from zeus.cs.kun.nl by cs.wisc.edu; Fri, 23 Dec 94 03:22:10 -0600 Received: from GUESSWHO by zeus.cs.kun.nl via jove.cs.kun.nl [131.174.33.147] with SMTP id KAA03320 (8.6.9/2.2 for ); Fri, 23 Dec 1994 10:21:50 +0100 Date: Fri, 23 Dec 1994 10:21:50 +0100 Message-Id: <199412230921.KAA03320@zeus.cs.kun.nl> To: dbworld From: ef@cs.kun.nl Subject: ISCO3 Call for Participation ************ C A L L F O R P A R T I C I P A T I O N ************ ******** Including Call for Posters and Registration Form ******** International Working Conference on I N F O R M A T I O N S Y S T E M C O N C E P T S TOWARDS A CONSOLIDATION OF VIEWS (ISCO3) Organised by: The International Federation for Information Processing (IFIP) Working Group 8.1 (Design and Evaluation of Information Systems) In co-operation with: The German Society for Informatics (Gesellschaft fuer Informatik e.V., GI) Working Group 2.5.2 (Fachgruppe EMISA) University of Marburg/Lahn, Germany 28-30 March 1995 ********************************************************************* LOCATION ======== The conference will be held in the ancient, idyllic university town of Marburg in the geographical centre of Germany. It will be hosted by the more than 400 years old university founded by Landgraf Philipp. All plenary sessions will take place at the Alte Aula, the university's most representative lecture hall situated in the centre of Marburg. THEME ===== In the field of Information Systems widely diverging views abound. Whilst it is acknowledged that there may be good reasons for applying different views or modelling paradigms to different sorts of information systems, most of these differences are unmotivated and generally not well justified; they are the historical products of different research cultures and schools of thought. Even more regrettable are the differences caused by one school ignoring the work of others, or resulting from deliberate "productdifferentiation" by method and tool vendors in the information system field. For the future of our field, it is desirable to encourage a harmonisation of views. The current work of the IFIP WG 8.1 Task Group FRISCO ("FRamework of Information System Concepts") is a major step in this direction. After the successful ISCO conferences in Namur (An In-depth Analysis) and Alexandria (Improving the Understanding), this third ISCO conference is being organised with harmonised convergence as its prime aim. PRELIMINARY PROGRAM =================== * FRISCO Presentation (Tuesday morning) --------------------- The conference will start with a report on the work done by the task group since ISCO2. (B. Nilsson, Sweden) * Topics and Selected Papers ---------------------------- (Dates, times and discussants to be announced) General Issues and Problems in the Information System Field ----------------------------------------------------------- The discipline of information systems: Let many flowers bloom! D.E. Avison, J. Nandhakumar (UK) Limitations of information systems theory and practice Ch. Avgerou, T. Cornford (UK) Theories of meaning and different perspectives on information systems P. Holm, K. Karlgren (Sweden) A systems approach to information system development L.D. Xu (USA) Frameworks for Harmonising Information System Modelling Approaches ------------------------------------------------------------------ A unifying framework for conceptual data modelling concepts P.J.M. Frederiks, A.H.M. ter Hofstede, E. Lippe (Netherlands) A metamodel transformation approach towards harmonisation in information system modelling J.L.H. Oei (Netherlands) Fundamentals of Conceptual Modelling ------------------------------------ A semiotic approach to object abstraction B.A. Calway (Australia) The distinction between abstraction and realization: Implicationsfor system descriptions and theoretical frameworks J. Kaasboell (Norway) Defining quality concepts for conceptual models J. Krogstie, O.I. Lindland, G. Sidre (Norway) Anything, everything and things playing roles P. Lindgreen (Denmark) Analysis and Improvements of Conceptual Modelling Approaches ------------------------------------------------------------ Multiple relationships: an analysis of their semantics and their modelling D.J. Flynn, D.R. Knight (UK), A.H.F. Laender (Brazil) What's in a relationship? On distinguishing property holding and object binding S. Kelly (Finland) English grammar as a sentence model for conceptual modelling using NIAM J.A. Sykes (Australia) Business Modelling Issues and Approaches ---------------------------------------- How should business professionals analyse information systems for themselves? S. Alter (USA) Business model representations A.A. Verrijn-Stuart (Netherlands) Modelling Methods and Facilities -------------------------------- A self-descriptive conceptual schema modelling facility, its implementation and extension M. Bjoern, H.K. Kim, R. Hotaka (Japan) A user-centred method for the development of data-intensive dialogue systems B. Schewe, K.-D. Schewe (Germany) Evolution of the Information System Field ----------------------------------------- About a framework for information and information processing of learning systems M. Rauterberg (Switzerland) From information systems to knowledge systems G. Wagner (Germany) POSTER SESSIONS =============== In order to enrich the discussions, participants who will not present a paper are invited to actively participate in the poster sessions. An abstract not longer than two A4-pages about your poster proposal, e.g. an approach to or ideas about some aspects of the conference theme should be sent to the Program Committee Chairman: Prof. Dr. E. D. Falkenberg Department of Informatics, University of Nijmegen Toernooiveld 1, NL - 6525 ED Nijmegen, The Netherlands E-mail: ef@cs.kun.nl Fax: +31-80-553450 Accepted poster abstracts will be included in the pre-prints. Abstract due: 27 January 1995 Notification of acceptance or rejection: 6 February 1995 Poster in final form due: 28 March 1995 (at the beginning of the conference) PANEL DISCUSSION (Thursday afternoon) ================ How far harmonization? (Panellists to be announced) SOCIAL PROGRAM ============== On Tuesday evening, a reception of the City Council of Marburg will be organised at the City Hall of Marburg. On Wednesday evening, a buffet dinner and chamber concert will be arranged in the Fuerstensaal of Marburg Castle. TUTORIAL ON OBJECT ORIENTED ANALYSIS AND SPECIFICATION ====================================================== Prior to the conference (on Monday afternoon), there will be a tutorial presented by Dr. James Odell (Odell & Associates, Ann Arbor, USA) on Object Oriented Analysis and Specification. This is not part of the conference and has to be booked separately (cf. attached forms). SCIENTIFIC SESSION OF IFIP WG 8.1 ================================= On Friday 31 March, there will be an IFIP WG 8.1 scientific session on the work of the FRISCO task group. Interested conference participants are welcome as guests. GENERAL CONFERENCE CHAIR Antoni Olive, University of Catalunya, Spain PROGRAM COMMITTEE CHAIR: Eckhard Falkenberg, University of Nijmegen, Netherlands PROGRAM COMMITTEE F. van Assche, Belgium D. Avison, U.K. P. Creasy, Australia W. Hesse, Germany R. Hotaka, Japan M. Jarke, Germany L. Kalinichenko, Russia P. Kerola, Finland U. Lipeck, Germany P. Loucoupulos, U.K. K. Lyytinen, Finland H.C. Mayr, Austria B. Nilsson, Sweden J. Odell, U.S.A. N. Prakash, India C. Rolland, France H. Sol, Netherlands R. Stamper, Netherlands R. Studer, Germany R. Traunmueller, Austria T. Tse, Hong Kong A. Verrijn-Stuart, Netherlands D. Vogel, U.S.A. K. Voss, Germany Y. Wand, Canada S. Wrycza, Poland ORGANISING COMMITTEE CHAIR Wolfgang Hesse, Philipps Universitaet Marburg, Germany ORGANISING COMMITTEE MEMBERS Juergen Vaupel, Philipps Universitaet Marburg, Germany Barbara Dinklage, Marlies Benner ISCO3 Conference Secretariat University of Marburg Fb. 12; Fg. Informatik Hans-Meerwein-Strasse D - 35032 Marburg / Lahn GERMANY Email: isco3@informatik.uni-marburg.de or: sek@informatik.uni-marburg.de Phone: +49-(0)6421-2854-50/80 Fax: +49-(0)6421-285419 REGISTRATION ============ For registration, the attached email registration form is recommended. Reduced fees apply for early registration (until 15 February 1994), for IFIP and GI members, and for students. The registration fee includes participation at all technical sessions, the reception, dinner and concert, a set of paper pre-prints distributed at the conference, and (except for student registrants) a copy of the conference proceedings to be posted in summer 1995. For the tutorial on Monday afternoon, an additional fee is required. PAYMENT ======= There are three options for payment: * By credit card: The following credit cards are accepted: VISA, Eurocard/Mastercard Please specify card type, number, expiry date and name of card holder on the registration form. * By bank transfer: Please transfer to Prof. Dr. W. Hesse, "ISCO-3 Tagung" Sparkasse Marburg-Biedenkopf Acc. No. 10 000 02 123 BLZ 533 500 00 * By eurocheque: If the amount exceeds 400 DM, you have to send two cheques. Please state "ISCO-3 Tagung, Juergen Vaupel" as recipient and mark cheque "Not Negotiable" ("Zur Verrechnung"). TRANSPORT AND ACCOMMODATION =========================== Marburg can be reached by plane through Frankfurt Airport and a 1-hour train ride from Frankfurt. There are good hourly train connections from the North (through Kassel-Wilhelmshoehe) and South (through Frankfurt/Main). Marburg offers good accommodation facilities of all categories. Accommodation will be organized by the Marburg Tourist Office. Please use the attached form. Visitors coming by car are advised to avoid the city centre hotels because of the lack of parking spots. IMPORTANT DATES =============== 27 January 1995 Deadline for poster submission 15 February 1995 Deadline for early registration 28 March 1995 Deadline for late registration TUTORIAL ON MONDAY, 27 MARCH ============================ Advanced Object-Oriented Analysis and Specification: In the last few years, many books have appeared on the topic of OO analysis and design. These books explore the basic issues and techniques for developing systems using an OO approach. This presentation begins by examining the fundamental notions common to all OO approaches. Using this foundation, then, the following topics will be discussed: - event networks - meta- and hypermodel construction - business rules - constraint specification - power types - a taxonomy of composition About the speaker: ------------------ James Odell provides consulting and training in object-oriented analysis and design and the application of CASE technology. Since 1968, he has been heavily involved in developing better methods to manage, understand, and express system requirements. He was one of the early innovators of information engineering methodologies. James Odell was formerly the principal consultant for KnowledgeWare where he pioneered and taught the concepts of data modelling and information strategy planning. Now, he is one of the first practical implementors of object-oriented specification-consulting to major companies worldwide. He is a very experienced and highly-regarded educator. He is a columnist for the Journal of Object-Oriented Programming and has recently co-authored books with James Martin entitled Object-Oriented Analysis and Design (Prentice-Hall, 1992) and Object-Oriented Methods: A Foundation (Prentice-Hall, 1994). ********************************************************************* ********************* ISCO3 Registration Form ********************* to be returned to the Conference Secretariat: isco3@informatik.uni-marburg.de Name:________________________________________________________________ Title:_______________________________________________________________ Affiliation:_________________________________________________________ Address:_____________________________________________________________ _____________________________________________________________ _____________________________________________________________ Post Code:___________________________________________________________ Country:_____________________________________________________________ Phone:_______________________________________________________________ Fax:_________________________________________________________________ E-Mail:______________________________________________________________ Registration fee: (all prices in DM, please mark) ================= Early Late (until 15 February 95) (after 15 February 95) Full registration 600 700 IFIP/GI member 500 600 Student 100 100 Tutorial on 27 March 100 150 --------------------------------------------------------------------- Total: ===================================================================== * Credit Card Data: ------------------- Total Amount:________________________________________________________ Credit card type:____________________________________________________ Credit card number:__________________________________________________ Expiry date:_________________________________________________________ Address of cardholder:_______________________________________________ ********************************************************************* ------------------------------------------------------------------------------- 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 qian@csl.sri.com Fri Dec 23 16:26:32 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 23 Dec 94 16:26:25 -0600 Received: from csl.sri.com by cs.wisc.edu; Fri, 23 Dec 94 16:26:23 -0600 Received: from pinto.csl.sri.com.csl.sri.com (pinto.csl.sri.com) by csla.csl.sri.com with SMTP id AA25337 (5.67b/IDA-1.4.3.12 for dbworld@cs.wisc.edu); Fri, 23 Dec 1994 14:26:21 -0800 Date: Fri, 23 Dec 1994 14:26:21 -0800 From: Xiaolei Qian Message-Id: <199412232226.AA25337@csla.csl.sri.com> Received: by pinto.csl.sri.com.csl.sri.com (4.1/SMI-4.1) id AA03855; Fri, 23 Dec 94 14:26:20 PST To: dbworld Subject: job opening Job Opening Computer Science Laboratory SRI International The Computer Science Laboratory at SRI International invites applications for permanent positions on its research staff in the area of database systems. The successful candidate will be expected to participate in existing research projects on database interoperability, and to perform independent research in schema translation/integration, query mediation/optimization, and conflict resolution in the interoperation of heterogeneous databases. Candidates must have a PhD degree in computer science, and a demonstrated strong potential for excellence in research. Working knowledge of Lisp and relational/object-oriented databases is necessary. Experience in schema integration and query optimization is highly desirable. The Computer Science Laboratory consists of over 30 professionals plus 10 students and visitors. Its main areas of concentration are formal methods, software architecture, databases, networking, distributed parallel processing, computer security, and integrated circuit design. The laboratory's computing base includes over 50 Sun workstations, 3 large file servers, and a high-speed ATM network. SRI International is located in the San Francisco Bay Area, specifically in Menlo Park, California, near Silicon Valley and Stanford University. Send resume to: recruiting@csl.sri.com ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From kia@koko.CS.UNLV.EDU Fri Dec 23 17:06:54 1994 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 23 Dec 94 17:06:45 -0600 Message-Id: <9412232306.AA16505@cs.wisc.edu> Received: from jimi.CS.UNLV.EDU by cs.wisc.edu; Fri, 23 Dec 94 17:06:39 -0600 Received: from koko.CS.UNLV.EDU by JIMI.CS.UNLV.EDU id aa02978; 23 Dec 94 15:00 PST To: dbworld Subject: CFP - Commmunications and Networks Date: Fri, 23 Dec 1994 15:00:06 -0800 From: Kia Makki IC3N'95 PRELIMINARY CALL FOR PAPERS FOURTH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS September 20 -- 23, 1995, Las Vegas, Nevada, USA Sponsored by USC Communication Sciences Institute, SRI International, and Datatech In cooperation with IEEE Computer Society, ACM, and IEEE Communication Society (Pending approval) Steering Committee ------------------- V. Li (chair), USC The objective of this conference is to provide T. Suda, UC Irvine an effective forum for original and fundamental J.W. Wong, U. Waterlo advances in Computer Communications and Networks and S. S. Lam, UT. Austin to foster communication among researchers and J.S. Meditch, U. Washing practioners working in a wide variety of scientific R. Pickholtz, GWU areas with a common interest in improving K. Makki, UNLV Computer Communications and Networks. Therefore B. Ip, Siem. AG, Germany J.F. Chang, NCU, Taiwan SCOPE B.G. Lee, SNU, Korea The primary focus of the conference is on new and original research results in the areas of design, implementation and applications of Computer Communications and Networks. We solicit the submission of papers that address novel, challenging and innovative results. Therefore, the topics that will be addressed include, but are not limited to: o ATM Networking Conference Chair o Distributed Multimedia Applications ----------------- E.K. Park, Naval Academy o Quality of Services (QoS) Issues o Interoperability Program Chair o Network Management -------------- K. Makki, UNLV o Intelligent Networks Program Co-Chair o Network Security ----------------- N. Pissinou, CACS/USL o Reliable Networks Program Vice Chairs o Video-on-Demand -------------------- O. Frieder, GMU o Multimedia Human-Machine Interface I. Khan, SRI Int. o Internet Services?Applications W. Liu, UMBC o Real Time Communications European Coordinators ---------------------- C. Fayet, INT, France o Personal Communication Services A. Gaivoronski, ITA, Italy o Wireless networks U. Krieger, DBP, Germany o Multicast Protocols o LAN/WAN internetworking Program Committee o Optical Networks ------------------ M.H. Ammar, Georgia Tech o High Speed Network OAM/Protocols S.K. Das, U. of N. Texas T.-Y. Feng, NSF/Penn State o Traffic Management D. Fernadez-Beca, Iowa St. o Performance Modeling/Analysis F. Golshani, Arizona St. U. M. Gouda, UT Austin O. Ibera, UC Santa Barbara SUBMISSION X. Jia, U. Queensland Authors are invited to submit complete and original D. Kazakos, USL papers. Papers that may be submitted for considera- J. Kim, Bellcore tion include those that have not previously been S. S. Lam, UT. Austin Y. Lee, U. Florida published in another forum, or are not currently D. Lee, AT&T Bell Lab being published or reviewed by another journal or V. Li, USC M.T. Liu, Ohio State U. conference. All submitted papers will be refereed J.S. Meditch, U. Washing M. Mizuno, Kansas State U. R. Miller, U. Maryland for quality, correctness, originality and relevance W.M. Moh, San Jose S. U. The program committee reserves the right to accept M.T. Ozsu, Univ. of Alberta a submission as long, short or poster presentation. M. Papazouglou, Queensl. U. W. Peng, S. Texas St. U. Of particular interest are papers which address K. Qiu, Acadia U. Canada experiences with concrete Computer Communications S. Sahni, U. Florida and applications. All accepted papers will be H. Saito, NTT, Japan published in the conference proceedings. Authors H. Shi, AT&T will be interested to know that special issues of S.Y. Shin, S.Dakoda St.U. journals containing outstanding papers from the A. Silberschatz, AT&T Bell conference are being planned. M. Singhal, Ohio State U. T. Suda, UC Irvine J. Tsai, UIC D.H.K. Tsang, Hong Kong Others Publicity Chair Registration Chair --------------- ------------------ M. Mizuno, Kansas State U. S. Busovaca, Cal. State Univ. Sac. Local Arrang. Chairs: B. Nassersharif, NSCEE and E. Salehi, UNLV --------------------- Manuscripts should include an abstract and be limited to 5000 words. Submissions should include the title, author(s), author's affiliation, e-mail address, fax number and postal address. In case of multiple authors , an indication of which author is responsible for correspondence and preparing the camera ready paper for the proceedings should also be included. SIX copies of the manuscript should be submitted by FRIDAY, MARCH 17, 1995 to Dr. Kia Makki, the Program Chair: Professor Kia Makki c/o Ms Chris Nienaber National Supercomputing Center For Energy and the Environment 4505 Maryland Parkway Box 454028 Las Vegas, Nevada 89154-4028, USA (kia@unlv.edu) Tel: (702) 895-4024. Fax:(702) 895-4156 For more information about the conference (as opposed to paper submissions) please send e-mail to ic3n@cacs.usl.edu. IMPORTANT DATES: ---------------- Paper submission deadline : March 17, 1995 Notification of acceptance: May 30, 1995 Camera ready papers due : June 26, 1995 Workshops and Tutorials: ------------------------ Proposals are solicited for organizing workshops and tutorials. Please send your proposal by March 17, 1995 to Professor Niki Pissinou, the Program Co-Chair, The Center for Advanced Computer Studies, The University of Southwestern Louisiana, Lafayette, LA 70504, USA (pissinou@cacs.usl.edu, Tel: (318) 482-6604, Fax: (318) 482-5791). ------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------