From terry@cs.concordia.ca Mon Mar 20 10:42:42 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Mon, 20 Mar 95 10:42:38 -0600; AA05063 Received: from Clyde.Concordia.CA by lucy.cs.wisc.edu; Mon, 20 Mar 95 10:42:33 -0600 Received: from cs.concordia.ca (90@manitou.cs.concordia.ca [132.205.4.3]) by clyde.concordia.ca (8.6.10/8.6.10) with SMTP id LAA26559 for ; Mon, 20 Mar 1995 11:42:31 -0500 Received: from scribe.cs.concordia.ca by manitou.cs.concordia.ca id aa08325; 20 Mar 95 16:42 GMT To: dbworld@lucy.cs.wisc.edu Cc: terry@cs.concordia.ca Subject: AMAST'95 Preliminary Program Date: Mon, 20 Mar 95 11:42:27 -0500 From: CZERNIENKO Terry Message-Id: <9503201642.aa08325@manitou.cs.concordia.ca> ********************************************* * ***************************************** * * * * * * * * * * * FOURTH INTERNATIONAL CONFERENCE ON * * * * * * * * * * * * ALGEBRAIC METHODOLOGY * * * * * * * * AND * * * * * * * * SOFTWARE TECHNOLOGY * * * * * * * * AMAST '95 * * * * * * * ***************************************** * ********************************************* July 3-7, 1995 Concordia University Montreal, Canada. Preliminary Program """"""""""""""""""""""""""""""""""""""""""""""" " " " AMAST'95 GOALS AND SCOPE OF THE CONFERENCE " " " """"""""""""""""""""""""""""""""""""""""""""""" A major goal of the AMAST Conference consists in putting software development technology on firm, mathematical foundations. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad-hoc approaches to software engineering. The benefits accruing from such formal foundations will be clearly wide reaching and both academia and industry are expected to benefit from this. The previous three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente, The Netherlands in 1993. During the previous three meetings, AMAST has attracted researchers and practitioners interested in algebra, logic, formal methods, specification and verification of concurrent and reactive systems, constraint programming, semantics, category theory, logic programming, process algebra, etc. Since 1993, an organizational novelty of AMAST has been to promote simultaneous co-operative effort between Europe and America in this venture, bringing the conference to a truly international level. In addition, the first day of the conference is dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fourth AMAST International Conference is to be held at Concordia University, Montreal, Canada, during July 3-7, 1995. Montreal is renowned for its cultural richness, numerous museums, and its unique multicultural setting, to name a few. Montreal offers a variety of attractions for tourists throughout the year. The highlights in July include the world-famous International Jazz Festival. ################################# # # # TECHNICAL PROGRAM AT A GLANCE # # # ################################# ___________________________________________________________________________________ """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" | Time | July 3 | July 4 | July 5 | July 6 | July 7 | |____________|_____________|____________|____________|_____________|______________| | | | | | | | |08:00-08:30 | | | | | | |____________| |Registration|____________|_____________|______________| | | | | | | | |08:30-08:45 |Registration | | | | | |____________| |____________| |_____________|______________| | | | | | | | |08:45-09:00 | | | | | | |____________|_____________| | |_____________|______________| | | | Welcome | | | | | | | | | | | |08:50-09:00 |Welcome | | K.R. Apt | | | |____________|_____________|____________| |_____________|______________| | | | | | | | |09:00-09:30 | | | |J.A. Goguen &| | |____________|David Gries |Ewa Orlowska|____________| |Rohit Parikh | | | | | |R. Diaconescu| | |09:30-10:00 | | | Discussion | | | |____________|_____________|____________|____________|_____________|______________| | | | | | | | |10:00-10:30 |Discussion |Discussion |Refreshments|Discussion |Discussion | |____________|_____________|____________|____________|_____________|______________| | | | |Session 4: | | | |10:30-11:00 |Refreshments |Refreshments|......... |Refreshments |Refreshemnts | |____________|_____________|____________| Logic |_____________|______________| | | | |Programming |Session 5: | | |11:00-11:30 | |Session 1: | & |.......... |Session 8: | |____________|J. Wing |.......... |Databases |Software |.......... | | | | | | |Concurrent | |11:30-12:00 | |Algebraic | |Technology |and Reactive | |____________|_____________|and Logical |____________|_____________|Systems | | | |Foundations | | |_____________ | |12:00-12:30 |Discussion | | | | LUNCH | |____________|_____________|____________|____________|_____________|______________| | | | |12:30-13:30 | L U N C H | |____________|_________________________'''''''''__________________________________| | | | | |13:30-14:00 | |Session 9: | |____________|______________ ____________ ____________ _____________|.......... | | | | | | | | |14:00-14:30 | |Session 2: |Research |Session 6: |Software | |____________|Dan Craigen |.......... | |.......... | | | | | |Prototype |Algebraic |Technology | |14:30-15:00 | |Concurrent | | | | |____________|______________| and |Demos |and Logical |_____________| | | |Reactive | | | | |15:00-15:30 |Discussion |Systems | |Foundations |Refreshments | |____________|______________|____________| |_____________|_____________| | | | | | |Session 10: | |15:30-16:00 |Refreshments |Refreshments| |Refreshments |........... | |____________|______________|____________|____________|_____________| | | | | | | |Algebraic | | | |Session 3: | |Session 7: | | |16:00-16:30 | |......... |Refreshments|.......... |and Logical | |____________|Ted Ralston | |____________|Concurrent | | | | |Software | | and |Foundations | |16:30-17:00 | |Technology | Demo | Reactive | | |____________|______________|____________| | |_____________| | | | |Presentation| Systems | | |17:00-17:30 |Discussion | | | | | |____________|______________|____________|____________|_____________|_____________| | | | Demo | | |17:30-18:30 | |Presentation | | |____________|________________________________________|_____________|_____________| | | | | | | | |19:00 | |Conference | | | | |____________|_______________| |____________|_____________|_____________| | | |Reception | | | | |19:30 | |.......... | | | | | | Advance | | Banquet | Concert | | |____________| | | & | |_____________| | | Registration |( U Q A M )| Dinner |(Order | | |21:00 | | | | Tickets) | | |____________| and |___________| La Centre |_____________|_____________| | | | | Sheraton | | | |21:30 | Get-together | | | | | |____________|_______________|___________|____________|_____________|_____________| ;;;;;;;;;;;;;;;;;;;;;; ; ; ; CONFERENCE VENUE ; ; ; ;;;;;;;;;;;;;;;;;;;;;; Invited Talks and Technical Sessions: Hall Building D.B. Clarke Theatre Concordia University 1455 de Maisonneuve Blvd. West Directions: (Guy-Concordia Metro Station) From the ground floor of the Hall Building take the stairs (near Copy Centre) down to the auditorium Tools & Demos: J.W. McConnell Library Building (opposite the Hall Building) Concordia University Department of Computer Science 1400 de Maisonneuve Blvd. West Room LB-922 (9th Floor) ========================================================================================== %%%%%%%%%%%%%%%%%%%%%%% % % % CONFERENCE TOPICS % % % %%%%%%%%%%%%%%%%%%%%%%% Algebraic and Logical Foundations algebraic logic algebraic methodologies for languages and systems logical frameworks for reasoning category theory relation algebra logics of programs Concurrent and Reactive Systems linear and modal logics algebraic approaches object oriented models modular verification Software Technology logic, functional, and object paradigms specification languages and tools formal specification case studies abstraction for software documentation and reuse theorem proving systems integration of pragmatic and formal methods Logic Programming and Databases semantics logic programming extensions constraints and concurrency program verification and transformation temporal and deductive databases ======================================================================================== ??????????????????????? ? ? ? INVITED SPEAKERS ? ? ? ??????????????????????? Education Day: July 3, 1995 David Gries Cornell University, USA Using Equational Logic as a Tool Jeannette M. Wing Carnegie Mellon University, USA Teaching Mathematics to Software Engineers Ted Ralston and Dan Craigen Ralston Research Associates and ORA Canada Corporation, USA and Canada The Role of Education and Training in Industrial Application of Formal Methods I & II Conference Days: July 4 - July 7, 1995 Ewa Orlowska Polish Academy of Science, Poland Information Algebras K.R. Apt CWI and University of Amsterdam, The Netherlands Verification of Logic Programs with Delay Declarations Joseph A. Goguen and Razvan Diaconescu Oxford University, UK An Introduction to Category-based Equational Logic Rohit Parikh Brooklyn College of CUNY and CUNY Graduate Center, USA Knowledge-Based Programming ============================================================================================= :::::::::::::::::::::::::::::: : : : ABSTRACTS OF INVITED TALKS : : : :::::::::::::::::::::::::::::: .................. : : : Education Day : :................: Using Equational Logic as a Tool David Gries Cornell University, USA Software tools and methods that approach being formal are not readily used by programmers, software engineers, and even most computer scientists. We conjecture that the reason for this is that the foundation of many formalisms - propositional and predicate logic - has been viewed not as a useful tool but as an object of study. Of course, there are avid users of mechanical verifiers and proof theorems, but they are in the minority. Logic is typically viewed as an object of study because that is the way it is taught. Few discrete math texts, for example, embrace logic as "the glue that binds together methods of reasoning, in all domains" and actually use it in discussing all other topics. We believe that logic CAN be taught as a useful mental tool, and in a way that imparts appreciation for logic and rigorous proof. We believe that this is more easily done with an equational logic - a logic based on substitution of equals for equals and the kinds of calculations that people in many scientific disciplines already perform - rather than on the more conventional natural deduction. This presentation will outline equational logic, explain its pedagogical advantages, and discuss its application in software methodology. Teaching Mathematics to Software Engineers Jeannette M. Wing Carnegie Mellon University, USA Based on my experience in teaching formal methods to practicing and aspiring software engineers, I present some of the common stumbling blocks faced when writing formal specifications. The most conspicuous prevalent problem is learning to abstract. I address all these problems indirectly by giving a list of hints to specifiers. Thus this paper should be of interest not only to teachers of formal methods but also to their students. The Role of Education and Training in Industrial Application of Formal Methods Ted Ralston and Dan Craigen Ralston Research Associates and ORA Canada Corporation, USA and Canada During two one-year studies (one at MCC and the other funded by government), data was collected on education and training background and requirements pertaining to a number of cases of transfer of formal methods to industry. This paper reports our observations and conclusions from these cases with reference to education and training issues. One of the purposes of the survey was to provide a more systematic record of industrial experiences on a number of alleged deficiencies with the application of formal methods. One of the alleged deficiencies we examined is that formal methods require prodigious mathematical education and talent for their successful use. Our interviews explored such issues as in-house company education, external education, differences in curricula between North America and Europe, profiles of personnel working on formal methods projects, and the role of tools as educational media. {{{{{{{{{{{{{{{{{{{ { } { Conference Days } { } {{{{{{{{{{{{{{{{{{{ Information Algebras Ewa Orlowska Polish Academy of Science, Poland Two paradigms of incompleteness of information are discussed manifested by indiscernibility and orthogonality. Classes of algebraic systems are presented that are models of the underlying information structures. The problem of informational representability of algebras from the given classes is formulated and discussed. An analogy is pointed out with information semantics of logical systems. Verification of Logic Programs with Delay Declarations K.R. Apt CWI and University of Amsterdam, The Netherlands We study correctness of logic programs augmented with delay declarations. These programs exhibit a highly involved control mechanism. In particular, we propose proof methods allowing us to deal with occur check freedom, absence of errors in presence of arithmetic operations, and absence of deadlock (sometimes called floundering). These methods turn out to be simple modifications of the corresponding methods dealing with Prolog programs. We also point out difficulties concerning proofs of termination. (joint work with I. Luitjes) An Introduction to Category-Based Equational Logic Joseph A. Goguen and Razvan Diaconescu Oxford University, UK This paper surveys category-based equational logic, which generalizes both the theoretical and computational aspects of equational logic and its model theory (general algebra) far beyond terms, so as to include: Horn clause logic, with and without equality; all variants of order and many sorted equational logic, including working modulo a set of axioms; constraint logic programming over arbitrary user-defined data types; and any combination of the above. This unifies several important computational paradigms, and opens the door to still further generalizations. Results include completeness of deduction, a Herbrand theorem, completeness of paramodulation, generic modularization techniques, and a model theoretic semantics for extensible constraint logic programming. Knowledge-Based Programming Rohit Parikh Brooklyn College of CUNY and CUNY Graduate Center, USA One of the reasons for studying the notion of knowledge is that it is expected to be of use in distributed systems. Of particular interest are programs which explicitly include tests for knowledge. These tests can be non-trivial since knowledge is defined relative to the set of all the worlds (runs) which are possible relative to a processor. This set is determined both by the local state of the processor and the global protocol (set of all possible runs). Hence the knowledge part of a knowledge based program can itself involve some computation. Nonetheless, such programs can express succinctly the intuition behind ordinary programs and give insight. Such programs, under the title of knowledge based protocols, were introduced by Halpern and Fagin and have been studied by various researchers since then, including Dwork, Moses, Tuttle and others. We give a brief survey of the existing literature and make a few suggestions of our own. =============================================================================================== +++++++++++++++++++++++++++++++ + + + EDUCATION DAY ACTIVITIES + + + +++++++++++++++++++++++++++++++ MONDAY, JULY 3, 1995 ~~~~~~~~~~~~~~~~~~~~ 08:30-8:50 Registration 08:50-09:00 Welcome 09:00-10:00 Invited Talk Using Equational Logic as a Tool David Gries Cornell University, USA 10:00-10:30 Discussion 10:30-11:00 Refreshment Break 11:00-12:00 Invited Talk Teaching Mathematics to Software Engineers Jeannette M. Wing Carnegie Mellon University, USA 12:00-12:30 Discussion 12:30-14:00 Lunch (on your own) 14:00-15:00 Invited Talk The Role of Education and Training in Industrial Application of Formal Methods Part I Dan Craigen ORA Canada Corporation, Canada 15:00-15:30 Discussion 15:30-16:00 Refreshment Break 16:00-17:00 Invited Talk The Role of Education and Training in Industrial Application of Formal Methods Part II Ted Ralston, Ralston Research Associates, USA 17:00-17:30 Discussion ================================================================================== ````````````````````````` ` CONFERENCE SCHEDULE ` ` ` ````````````````````````` MONDAY, JULY 3, 1995 ```````````````````` 19:30-21:30 Advance Registration for Conference Attendees and Informal get-together TUESDAY, JULY 4, 1995 ````````````````````` 08:00-08:45 Registration 08:45-09:00 Welcome Address 09:00-10:00 Invited Talk Information Algebras Ewa Orlowska, Polish Academy of Science, Poland 10:00-10:30 Discussion 10:30-11:00 Refreshment Break 11:00-12:30 Session 1 Algebraic and Logical Foundations Order-Sorted Algebraic Specifications with Higher-Order Functions Anne Elisabeth Haxthausen Technical University of Denmark Proving the Correctness of Behavioral Implementations Michel Bidoit, Rolf Hennicher LIENS-CNRS, ECole Normale Superie'ure and Ludwig-Maximilians-Universita"t Mu"nchen On the Decidability of Process Equivalences for the Pi-Calculus Mads Dam Swedish Institute of Computer Science 12:30-14:00 Lunch (on your own) 14:00-15:30 Session 2 Concurrent and Reactive Systems Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus Lalita Jategaonkar Jagadeesan and Radha Jagadeesan AT&T Bell Laboratories and Loyola College Verification in Continuous Time by Discrete Reasoning Luca De Alfaro and Zohar Manna Stanford University Dynamic Matrices and the Cost Analysis of Concurrent Programs GianLuigi Ferrari and Ugo Montanari Universita` di Pisa 15:30-16:00 Refreshment Break 16:00-17:00 Session 3 Software Technology On Mechanizing Proofs within a Complete Proof System for Unity Naima Brown and Abdelillah Mokkedem CRIN-INRIA-Lorraine Automated Reasoning about Parallel Algorithms using Powerlists Deepak Kapur and M. Subramaniam State University of New York 19:00-21:00 Conference Reception WEDNESDAY, JULY 5, 1995 ``````````````````````` 08:30-9:30 Invited Talk Verification of Logic Programs with Delay Declarations K.R. Apt CWI and University of Amsterdam, The Netherlands 09:30-10:00 Discussion 10:00-10:30 Refreshment Break 10:30-12:30 Session 4 Logic Programming and Databases An Algebraic Construction of the Well-Founded Model Rajiv Bagai and Rajshekhar Sunderraman Wichita State University Confluence and Concurrent Constraint Programming M. Falaschi*, M. Gabbrielli**, K. Marriott+, C. Palamidessi++ Univ. di Padova*, CWI**, Monash Univ.+, DISI, Univ. di Genova++ A Generic Algebra for Data Collections Based on Constructive Logic P. Rajagopalan and C.P. Tsang Curtin Univ. of Technology and Univ. of Western Australia Partial Order Programming (Revisited) B. Jayaraman, M. Osorio and K. Moon SUNY at Buffalo 12:30-14:00 Lunch (on your own) 14:00-16:00 Research Prototype Demonstrations 16:00-16:30 Refreshment Break 16:30-18:00 Demo Presentations 19:30-22:30 Conference Banquet and Dinner THURSDAY, JULY 6, 1995 `````````````````````` 09:00-10:00 Invited Talk An Introduction to Category-based Equational Logic Joseph A. Goguen and Razvan Diaconescu Oxford University, UK 10:00-10:30 Discussion 10:30-11:00 Refreshment Break 11:00-12:30 Session 5 Software Technology Representing Verifying and Applying Software Development Steps using the PVS System Axel Dold Universita"t Ulm An Algebraic Development Technique for Information Systems Martin Gogolla and Rudolf Herzig Bremen University A Framework for machine-assisted user Inferface P. Bumbulis*, P.S.C. Alencar+, D.D. Cowan*, C.J.P. Lucena++ University of Waterloo*, Universidade de Brasi'lia+, Pontifi'cia Universidade Cato'lica do Rio de Janeiro, Brazil++ 12:30-14:00 Lunch (on your own) 14:00-15:30 Session 6 Algebraic and Logical Foundations Detecting Isomorphisms of Modular Specifications with Diagrams Catherine Oriat LGI-IMAG Higher-Order Narrowing with Convergent Systems Christian Prehofer Technische Universita"t Mu"nchen Semantic Typing for Parametric Algebraic Specifications Maria Victoria Cengarle Universita"t Mu"nchen 15:30-16:00 Refreshment Break 16:00-17:30 Session 7 Concurrent and Reactive Systems Petri Nets, Traces, and Local Model Checking Allan Cheng University of Aarhus An Algebraic Framework for Developing and Maintaining Real-Time Systems Elizabeth Leonard and Amy E. Zwarico The Johns Hopkins University Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY Pierre Collette and E. Knapp University of Manchester 17:30- 18:30 Demo Presentations FRIDAY, JULY 7, 1995 ```````````````````` 09:00-10:00 Invited Talk Knowledge-Based Programming Rohit Parikh Brooklyn College of CUNY & CUNY Graduate Center, USA 10:00-10:30 Discussion 10:30-11:00 Refreshment Break 11:00-12:30 Session 8 Concurrent and Reactive Systems CPO Models for Infinite Term Rewriting A. Corradini and Fabio Gadducci Universita` di Pisa Completeness Results for Two-Sorted Metric Temporal Logics Angelo Montanari and Maarten de Rijke Universita` di Udine, Italy and CWI, The Netherlands 12:00-13:30 Lunch (on your own) 13:30-15:00 Session 9 Software Technology Specification of the Unix Filing System: A Comparative Case Study Maritta Heisel Technische Universita"t Berlin A Calculus of Countable Broadcasting Systems Y.Isobe, Y. Sato and K. Ohmaki Computer Science Division Electrotechnical Laboratory Symbolic Timing Devices Annie Bergeron LACIM, Universite' du Que'bec `a Montre'al 15:00-15:30 Refreshment Break 15:30-17:00 Session 10 Algebraic and Logical Foundations Context-Free Event Domains are Recognizable E. Badouel, P. Darondeau, J.-C.Raoult Universitaire de Beaulieu Encoding Natural Semantics in Coq Delphine Terrasse INRIA-Sophia-Antipolis Mongruences and Cofree Coalgebras Bart Jacobs CWI, The Netherlands ======================================================================================== ***************** * * * SOCIAL EVENTS * * * ***************** Monday, July 3, 1995 19:30-21:30 Advance Registration and Informal get-together J.W. McConnell Library Building Computer Science Department Room LB - 922 (9th Floor) Tuesday, July 4, 1995 19:00-21:00 Conference Reception Universite' du Que'bec `a Montre'al Wednesday, July 5, 1995 19:30-22:30 Conference Banquet and Dinner Le Centre Sheraton 1201 boul. Rene'-Le'vesque Thursday, July 6, 1995 T.B.A. Concert - Orchestre Symphonique de Montre'al Cost: $15.00 - $22.00 (taxes included) Order your tickets through: Brigitte Kerherve (Local Arrangements) tel (514) 987-6716 fax (514) 987-8477 e-mail: Kerherve.Brigitte@uqam.ca ======================================================================================= &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& & & & CONFERENCE REGISTRATION FORM & & & &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& AMAST'95 (July 3-7, 1995) """"""""""""""""""""""""" PLEASE PRINT Name: Title: Affiliation: Address: City: Telephone: E-mail Address: Conference Registration ------------------------- ---------------------------------- | Regular ^ | Students * | |--------------|-----------------| | | | Before June 5 | $ 300 | $ 150 | Fees: | | | After June 5 | $ 350 | $ 175 | | | | ---------------------------------- * includes a copy of proceedings and all coffee breaks. ^ includes a copy of proceedings, all coffee breaks, reception and banquet. Extra Banquet Tickets : $ 50 each. Extra Reception Tickets : $ 25 each. Make cheque (or money order or bank draft) payable to: AMAST'95 - Concordia University All payments must be made in Canadian dollars and drawn on a Canadian bank. Mail completed Conference Registration Form and your registration fee to: Dr. T. Radhakrishnan Finance Chair, AMAST'95 Department of Computer Science CONCORDIA UNIVERSITY LB 901 1455 de Maisonneuve Blvd. West Montreal, Quebec H3G 1M8 GENERAL INFORMATION """"""""""""""""""" Montreal A world fashion capital and creative centre for many of Canada's leading designers. Montreal is a shopper's dream. The underground city stretches over 18 miles of shop-lined pedestrian walkways linking major office towers, hotels and apartment blocks, department stores, restaurants and cafe's, subway stations and even rail and bus terminals. In fact, it's possible to live in the city below without ever having to face winter blizzards or summer heat waves. However, dedicated diners might want to emerge to sample one of the thousands of restaurants that have made Montreal a culinary capital on a par with European cities. Whether you're gourmet or gourmand, you have a choice of cuisine from 75 countries in a variety of settings, from grand hotel dining room to cosy cafe'. The International Jazz Festival (held in July) draws top artists and hundreds of thousands of their fans around Place des Arts. It is followed by the Just for Laughs comedy fest. For more information you may call or write: The Greater Montreal Convention and Tourism Bureau 1555 Peel Street, suite 600 Montreal, Quebec H3A 1X6 Tel: (514) 844-5400 or (800) 363-7777 ==================================================================================== @@@@@@@@@@@@@@@@@@@@@@@ @ @ @ HOTEL ACCOMMODATION @ @ @ @@@@@@@@@@@@@@@@@@@@@@@ """"""""""""""""""""""""""""""""" " McGill University Residences " " 3935 University Street " " Montreal, Quebec H3A 2B4 " """"""""""""""""""""""""""""""""" Accommodation: Single room with shared male or female wash-rooms. $36.75 per day: non-students (taxes included) $28.00 per day: students, seniors (taxes included valid ID required) Check in hours: for the Residences are 7:00 AM to 10:30 PM, weekdays and 8:00 AM to 10:00 PM, weekends Please note that arrangements will be made on an individual basis for those arriving outside of regular check in hours. Please be sure to state your expected arrival time below. Location: McGill's Coed Residences are located at 3935 University Street situated in the green spaces on Mount Royal, University Street. Reservations: Reservations can be made by detaching the slip below and returning it to: Summer Accommodations McGill University Residences File AMAST20 3935 University Street Montreal, Quebec Tel: (514) 398-6367 Fax: (514) 398-6770 Reservations are confirmed upon receipt of a $36.75 or $28.00 deposit per person, applicable towards the residence fee. We accept cheque, money orders, and VISA or Mastercard. This deposit is nonrefundable should you cancel. Please make cheque payable to McGill University. AMAST'95 July 2 to 8, 1995 Name of Participant: Female: [ ] Male: [ ]Organization Accompanying Person(s): Please reserve single accommodation in McGill Residences for [ ] person(s) from evening until morning. My expected arrival time is . I have enclosed a deposit payable to McGill University of VISA (card no. and expiry date) Mastercard (card no. and expiry date) -------------------------------------------------------------------------------------- ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, , , , Le Centre Sheraton , , 1201, Boulevard Ren-Lvesque , , Montreal, Quebec H3B 2L7 , , TEL: (514) 397-0717 , , FAX: (514) 878-8214 , , AMAST'95 (July 2-8, 1995) , ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, Please Reserve Accommodations: Name: Affiliation or Company: Address: Sharing room with: City/State/Zip: Signature: Postal Code: Please indicate if a room will be shared by a third person. Telephone: Please include a first night deposit to confirm and guarantee your reservation or indicate your credit card number. Make cheque or money order payable to: Le Centre Sheraton Montreal. Please do not send currency. CARD # EXPIRY DATE: Please circle preferred rate and category below. Accommodations Hotel CLUB ARRIVAL DATE: SINGLE One person (1 bed) $110. $155. ARRIVAL DATE: DOUBLE Two persons (1 bed) $110 $175. DEPARTURE DATE: TWO DOUBLE BEDS $110. $175. Third person in room +$25. +$25. SUITES (bedroom and parlor) $275 & UP $390 & UP (Refundable if reservation is cancelled 48 hours prior to arrival. Please retain cancelation number provided). Non guaranteed reservations held until 4:00 P.M. Maximum of four persons per room. Rates quoted in Canadian Dollars. ---------------------------------------------------------------------------------------------- :::::::::::::::::::::::::::::::::::::: : : : CHATEAU VERSAILLES : : 1659 Sherbrooke West : : Montreal, Quebec, H3H 1E3 : : TEL: (514) 933-3611 : : : : AMAST'95 (July 2-8, 1995) : : : :::::::::::::::::::::::::::::::::::::: Toll-Free: Canada: 1-800-361-7199 U.S. 1-800-361-3664 DATE: TO: Lisa Thorburn - Reservations Department FAX: (514) 933-6867 FROM: Name Surname Address Telephone RESERVATION FOR: Mr./Ms./Dr.: Please mark: [ ] Single occupancy [ ] Double occupancy with an "X" RATE: $85. single or double occupancy (inclusive of continental breakfast) in Tour Versailles. Arrival date: Departure date: Guaranteed by one of the following credit cards: VISA - AMEX - MASTER - DC No. of card: Expiry date: Card Holder: Please note that the GST of 7% as well as the QST of 6% are additional. If you must cancel, you must do so 24 hours prior to arrival date in order not to be penalized. The cut-off date to reserve is: June 20, 1995, after this date reservations will be accepted on an availability basis. Your signature: Hotel Confirmation: ======================================================================================= ++++++++++++++++++++++ + TRAVEL INFORMATION + ++++++++++++++++++++++ Air Travel: Montreal is served by two airports, Dorval and Mirabel. All international flights except those originating from USA arrive at Mirabel. Transportation from the airport: -------------------------------- Shuttle buses run between the airports and downtown hotels departing from the airports approximately every 15 to 20 minutes. All shuttle buses go directly to Queen Elizabeth Hotel, which is situated in downtown Montreal. Once you are there, take a taxi to your hotel. Alternatively, while boarding the bus at the airport inform the driver that you have reservations at one of the hotels (Chateau Versaille and Le Centre Sheraton) and you will be taken directly to your hotel. Shuttle bus fares are $ 9.00 from Dorval and $ 15.00 from Mirabel. You may also go to your hotel from the airport by taxi. The cost from Dorval is $ 25.00 and from Mirabel approximately $ 50.00. Local Transportation: --------------------- Montreal is well served by Metro (underground train service) and bus. The cost of one trip between any two points is $ 1.65. You may call (514) 288-6287 for more information regarding public transportation in Montreal. ======================================================================================== $$$$$$$$$$$$$$$$$$$$$$$$$$$ $ $ $ CONFERENCE SECRETARIAT $ $ $ $$$$$$$$$$$$$$$$$$$$$$$$$$$ Technical Program: Local Arrangements: Mrs. Terry Czernienko Ms. Angie De Benedictis E-mail: terry@cs.concordia.ca E-mail: angie@cs.concordia.ca Phone: (514) 848-3042 Phone: (514) 848-3053 Fax: (514) 848-2830 Fax: (514) 848-2830 Mailing Address: Concordia University Department of Computer Science LB-901 1455 De Maisonneuve Blvd. West Montreal, Quebec, H3G 1M8 ____________________ | | | IMPORTANT DATES | |____________________| Education Day: July 3, 1995 Conference Days: July 4-7, 1995 ''''''''''''''''''''''''' ' FURTHER INFORMATION ' ' ' ''''''''''''''''''''''''' For bulletins on current status of the conference: amast95-info@cs.concordia.ca Tools and Demos: grogono@cs.concordia.ca Registration: krishnan@cs.concordia.ca Local Arrangements: missaoui.rokia@uqam.ca For subscribing to AMAST'95 mailing list: amast95-request@cs.concordia.ca =========================================================================================== ##################################### # # # AMAST'95 CONFERENCE ORGANIZATION # # # ##################################### General Chair: Maurice Nivat Program Chair: V.S. Alagar Programme Committee Martin Abadi (USA) Gregor Bochmann (Canada) Chris Brink (South Africa) Pierre Deransart (France) Michael Ferguson (Canada) Kokichi Futatsugi (Japan) Armando Haeberer (Brazil) Nicolas Halbwachs (France) Jiawei Han (Canada) Michael Johnson (Australia) Deepak Kapur (USA) Helene Kirchner (France) Laks V.S. Lakshmanan (Canada) Giorgio Levi (Italy) Luigi Logrippo (Canada) Silvio Lemos Meira (Brazil) Jose Meseguer (USA) Hafedh Mili (Canada) Rokia Missaoui (Canada) Peter Mosses (Denmark) Istvan Nemeti (Hungary) Rocco De Nicola (Italy) Prakash Panangadan (Canada) Don Pigozzi (USA) R. Ramanujam (India) R.K. Shyamasundar (India) Andrzej Tarlecki (Poland) Frits Vaandrager (Netherlands) Martin Wirsing (Germany) Organizing Committee Chair: Teodor Rus (USA) Tools and Demos Chair: Peter Grogono (Canada) Finance Chair: T. Radhakrishnan (Canada) Publicity Chair: Charles Rattray (UK) Michel Bidoit (France) Pankaj Goyal (USA) Giuseppe Scollo (Netherlands) Ralph Wachter (USA) Local Arrangements Chair: Rokia Missaoui (Canada) Alain Abran (Canada) A. Das (Canada) Brigitte Kerherve (Canada) @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From malaika@VNET.IBM.COM Tue Mar 21 06:54:19 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Tue, 21 Mar 95 06:54:15 -0600; AA26736 Message-Id: <9503211254.AA11101@lucy.cs.wisc.edu> Received: from vnet.ibm.com by lucy.cs.wisc.edu; Tue, 21 Mar 95 06:54:13 -0600 Received: from WINVMC by VNET.IBM.COM (IBM VM SMTP V2R2) with BSMTP id 4198; Tue, 21 Mar 95 07:53:56 EST Date: Tue, 21 Mar 95 12:54:40 GMT From: "Susan Malaika" To: dbworld@lucy.cs.wisc.edu Subject: High Performance Transaction Systems Workshop, 17-20 Sep 95 CALL FOR PARTICIPATION Sixth International Workshop on High Performance Transaction Systems (HPTS) Asilomar Conference Center Pacific Grove, California September 17-20, 1995 ----------------------------------------------------------------------- ---> Deadline for your initial submission: 3 April 95 <--- ---> <--- ---> HPTS95 on WWW: http://www2.hursley.ibm.com/hpts95 <--- ---> <--- ---> The WWW page will be updated as information becomes available <--- ----------------------------------------------------------------------- The HPTS Workshop brings together leading architects, developers, practitioners, and researchers working on transaction systems. Topics of interest include: TP monitors, transaction models, advanced or very large scale transaction applications, and transactional aspects of data communications, databases, system architecture, performance, security, fault-tolerance, programming interfaces, and interoperability. The workshop will include discussion sessions based on position papers and a few presentations of full papers. Each participant must submit either a position paper or an abstract of a full paper on a topic of interest to the workshop. The submission should include the author's affiliation and areas of responsibility or research. A position paper may be a viewpoint on a controversial topic or a summary of lessons learned from recent research or practical experience. An abstract of a full paper may be a description of a new mechanism or architecture, a product or prototype, an application, or results of work-in-progress. Proposals for panel discussions or presentations are also welcome. Special consideration will be given to submissions on transaction system topics not commonly covered in other technical forums. Workflow, messaging paradigms, and object management are express topics of interest - though not limited to these. Attendance is limited to about 60 participants. Participants will be invited based on their submissions. Abstracts and position papers should be at most five pages. Please submit on 8.5x11. Submissions should be sent to Nancy Owens, IBM J07/A2, 555 Bailey Avenue, San Jose, CA 95141. Phone (408) 463-3285, FAX (408) 463-4101, INTERNET neowens@vnet.ibm.com General & Program Chair: Don Haderle IBM Corporation (J07/A1) 555 Bailey Ave. San Jose, CA 95141 Program Committee: E. Cobb (IBM) G. Copeland (IBM) S. DeFazio (Oracle) H. Garcia-Molina (Stanford) J. Eppinger (Transarc) J. Gray D. Gawlick (Oracle) K. Jacobs (Oracle) P. Helland (Microsoft) S. Malaika (IBM) R. MacBlane (Novell) D. Vaskevitch (Microsoft) A. Reuter (Stuttgart) IMPORTANT DATES Submission of manuscripts: April 3, 1995 Notification of Acceptance: June 5, 1995 Submission of camera-ready copy: August 18, 1995 ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From pedre@DI.UniPi.IT Tue Mar 21 08:26:34 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Tue, 21 Mar 95 08:26:30 -0600; AA28995 Received: from apollo.di.unipi.it by lucy.cs.wisc.edu; Tue, 21 Mar 95 08:26:09 -0600 Received: from igor.di.unipi.it by apollo.di.unipi.it with SMTP (1.37.109.4/16.2) id AA14370; Tue, 21 Mar 95 15:20:17 +0100 Organization: Dipartimento di Informatica - Universita' di Pisa - Italy Received: by igor (4.1/SMI-4.1) id AA25434; Tue, 21 Mar 95 15:20:15 +0100 Date: Tue, 21 Mar 95 15:20:15 +0100 From: pedre@DI.UniPi.IT Message-Id: <9503211420.AA25434@igor> To: terry@cs.concordia.ca Cc: dbworld@lucy.cs.wisc.edu In-Reply-To: <9503201642.aa08325@manitou.cs.concordia.ca> (message from CZERNIENKO Terry on Mon, 20 Mar 95 11:42:27 -0500) Subject: Re: AMAST'95 Preliminary Program ------------------------------------------------------------------------------- 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 welzer@uni-mb.si Tue Mar 21 11:55:41 1995 Received: from mhs-relay.cs.wisc.edu by sea.cs.wisc.edu; Tue, 21 Mar 95 11:55:35 -0600; AA01859 X400-Received: by mta mhs-relay.cs.wisc.edu in /PRMD=XNREN/ADMD= /C=US/; Relayed; Tue, 21 Mar 1995 11:54:57 +0000 X400-Received: by /PRMD=ac/ADMD=mail/C=si/; Relayed; Tue, 21 Mar 1995 11:51:04 +0000 X400-Received: by /PRMD=ac/ADMD=mail/C=si/; Relayed; Tue, 21 Mar 1995 11:51:49 +0000 X400-Received: by /PRMD=ac/ADMD=mail/C=si/; Relayed; Tue, 21 Mar 1995 11:51:49 +0000 Date: Tue, 21 Mar 1995 11:51:49 +0000 X400-Originator: welzer@uni-mb.si X400-Recipients: dbworld@sea.cs.wisc.edu (Originally To: /S=dbworld/OU=CS/O=UW-Madison/PRMD=xnren/ADMD= /C=us/ Redirected on Tue, 21 Mar 1995 11:55:00 +0000 To: Recipient MD Assigned Alternate Recipient) X400-Mts-Identifier: [/PRMD=ac/ADMD=mail/C=si/;<01HOEPAD1HS2000349@mbgw.izum.si] X400-Content-Type: P2-1984 (2) Content-Identifier: ICSQ-Internat... From: welzer@uni-mb.si Message-Id: <01HOEPAD1HS2000349@mbgw.izum.si> To: dbworld Subject: ICSQ-International Conference on Software Quality X-Vms-To: RFC::"dbworld@cs.wisc.edu" X-Vms-Cc: UELTAM01D Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE =46rom:=09RCUM::UEL116R7A "Janvid LAH" 20-MAR-1995 13:05:16.90 To:=09UELTAM01D CC:=09 Subj:=09konerenca +-------------------------------------------------+ =09 !=09=09=09=09=09=09 !=09 =09 ! =09=09 CALL FOR PAPERS=09=09 ! =09 !=09=09 ***************=09=09 ! =09 !=09=09=09=09=09=09 !=09 =09 ! International Conference on Software Quality=09 ! =09 !=09=09 ICSQ '95=09=09=09 ! =09 !=09=09=09=09=09=09 ! =09 !=09 November, 6 - 9 1995=09=09 ! =09 !=09=09Maribor, Slovenia=09=09 ! =09 !=09=09=09=09=09=09 !=09 =09 +-------------------------------------------------+ Organised by:=09University of Maribor =09=09=09Faculty of Electrical Engineering and Computer Science, =09=09=09Faculty of Business and Economics,=20 =09=09Slovenia Section IEEE, =09=09Association of Economics Maribor, =09=09Slovene Society Informatika OBJECTIVES The aim of ICSQ '95 is to provide a platform for technology and=20 knowledge transfer between academia, industry and research=20 institutions in the software quality field, by: - the introduction and discussion new research results in software = quality, - offering the practising quality engineers an insight into the res= ults of ongoing research, - acquainting the research community with the problems of practical= =20 application. TOPICS Some important topics for the Conference include, but are not limited to the following: - quality management systems (QMS),=09- metrics, - process improvement=09=09=09- risk Management, - methodologies, =09=09=09- verification & validation methods, - quality planning, =09=09=09- QMS tools, - total quality management (TQM), =09- audits systems, - human factors in quality management, =09- standards. =20 INSTRUCTIONS FOR AUTHORS Four copies (in English) of the original work, not longer than 4000 words (10 pages), should be submitted to the Scientific Conference= =20 Secretariat before May 15th, 1995. Papers should include a title, a= =20 short abstract and a list of keywords, the author's name, address and= =20 title should be on a separate page. All papers received will be refer= eed by the International Program Committee. The accepted papers will be= =20 published in the Conference Proceedings and will be available to the= =20 delegates at the time of registration. The language of the conference= =20 will be English.=20 IMPORTANT DATES May 15th, 1995=09=09Full paper June 30th, 1995=09=09Notification of final acceptance October 1st, 1995=09Camera Ready Copy CONFERENCE LOCATION The town Maribor was founded in the 12th century. Today it is the= =20 second largest town of Slovenia, located in its North, close to=20 the Austrian border. Many businessmen and tourists enjoy the variety = of =20 cultural, sports and gastronomic possibilities of the town. Maribor= =20 is surrounded by vineyards and has one of the largest =20 wine-cellars in this part of Europe. Maribor is easily accessible= =20 by international air lines from the airport of Brnik (Slovenia) and f= rom=20 Graz (Austria)=20 CONFERENCE ORGANISATION Organising Chairperson: Marjan Pivka =09=09=09Faculty of Business and Economics =09=09=09Razlagova 14, Maribor 62000 =09=09=09Slovenia =09=09=09Tel : ++ 386 62 224 611 =09=09=09Fax: ++386 62 227 056 =09=09=09Email: pivka@uni-mb.si =09=09 Programme Chairperson:=09Ivan Rozman =09=09=09Faculty of Electrical Engineering and Computer Science =09=09=09Smetanova 17, Maribor 62000 =09=09=09Slovenia =09=09=09Tel : ++ 386 62 25 461, ++ 386 62 221 112=20 =09=09=09Fax: ++386 62 227 056 =09=09=09Email: i.rozman@uni-mb.si=20 Conference Secretariat: Miss Cvetka Rogina =09=09=09Association of Economics Maribor =09=09=09Cafova ulica 7, 62000 Maribor =09=09=09Slovenia=20 =09=09=09Tel.: ++386 62 211 940 =09=09=09Fax: ++386 62 211 940 Programme Committee: Boris I. Cogan=09=09Institute for Automation and Control,=20 =09=09=09Vladivostok (Russia) Sa=E7a Dekleva =09=09DePaul University (USA) Matjaz Gams=09=09Institute J. Stefan, Ljubljana (Slovenia) Hannu Jaakkola=09=09Tampere University of Technology (Finland) Marjan Pivka=09=09University of Maribor (Slovenia) Heinrich C. Mayer=09University of Klagenfurt (Austria) Erich Ortner =09=09University of Konstanz (Germany) Ivan Rozman=09=09University of Maribor (Slovenia) Franc Solina=09=09University of Ljubljana (Slovenia) Stanislaw Wrycza=09University of Gdansk (Poland) Joze Zupancic=09=09University of Maribor (Slovenia) ------------------------------------------------------------------------------- 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 CHIKOFSKY@neu.edu Tue Mar 21 14:52:04 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Tue, 21 Mar 95 14:51:58 -0600; AA04503 Received: from nuhub.dac.neu.edu by lucy.cs.wisc.edu; Tue, 21 Mar 95 14:51:56 -0600 Received: from neu.edu by neu.edu (PMDF V4.3-7 #7628) id <01HOEJ3L36408YDWOA@neu.edu>; Tue, 21 Mar 1995 15:54:05 EST Date: Tue, 21 Mar 1995 15:54:05 -0500 (EST) From: Elliot Chikofsky Subject: BPR in the Public Sector To: dbworld@lucy.cs.wisc.edu Message-Id: <01HOEJ3L5B9U8YDWOA@neu.edu> X-Envelope-To: dbworld@cs.wisc.edu X-Vms-To: IN%"dbworld@cs.wisc.edu" Mime-Version: 1.0 Content-Transfer-Encoding: 7BIT (Please excuse us if you receive more than one copy due to multiple mail lists used.) r Workshop on e n BUSINESS PROCESS REENGINEERING e n e IN THE PUBLIC SECTOR g r i e n i g Friday April 14, 1995 - - - - - - - - - > Marriott Hotel Reengineering Salt Lake City, Utah ----------------->> in conjunction with STC 95, the U.S. Dept. of Defense joint services Software Technology Conference Sponsored by: Reengineering Forum In cooperation with: USAF Software Technology Support Center (STSC) Colorado State University - College of Business _______________________________________________________________________ For the public sector, reengineering of business processes has never been more critical. Many agencies need to revamp their work processes to meet growing and changing needs of clients and the general public for the mid-1990s. The introduction of new technologies and the change in business practices, whether by evolution or major overhaul, is fraught with peril and expense. How can agencies best learn from each other's experiences to avoid missteps and achieve results from successful reengineering? How can information technology (IT) and software be leveraged for best results? The one-day Workshop on Business Process Reengineering in the Public Sector brings together experienced users, leading consultants, and organizations presently engaged in reengineering projects, to discuss the successes, the failures, the opportunities, and the pitfalls. The overall theme focuses on the interface issues between software reengineering and business process reengineering. The Workshop is being held in conjunction with the week-long DoD joint service Software Technology Conference (STC 95) to enable interaction between general public sector organizations, DoD agencies, and the vendor community on these important issues. _______________________________________________________________________ 8:00 Overview: Jon Clark, Colorado State University, College of Business Elliot Chikofsky, DMR Group 8:15 Douglas L. Frederick, Director of Information Systems Support Boeing Commercial Airplane Group The Impacts of Business Process Management and Business Process Reengineering on Information Systems 9:00 John Tieso, US Department of Defense Innovative BPR in the DoD Experiences Techniques ----------- ---------- 10:00 Charles Schultz Iqbal Ali USAF Rome Laboratory Univ of Massachusetts - Amherst Rome Laboratory's Experience Synchronizing Organizational with Standards-Based Structure with Information and Architecture (SBA) Process Flows 10:30 James Ivie David Hoffman Syrius Research Univ of Alaska - Fairbanks Business Process Improvement Modeling Administrative Processes at Los Angeles AFB 11:15 Edwin Deagle Jr Dave Carter SRA Corporation DISA Telemedicine: Early Steps DoD BPR Lessons Learned 1:15 John Barnhart John Hoxmeier Nine Dot Consulting Colorado State University Obtaining Competitive Advantage Managing the Transition of Legacy through Reengineering Systems: Lessons Learned and Prescriptive Advice 1:45 Shawn Bohner Sig Haglund Mitre Corporation EDS Model-Based Software Performance Engineering Process Reengineering for Legacy Systems 3:00 Richard Wanner Corey Schou IIT Research Institute Idaho State University Applying Software Reverse Distributed Group Decision Engineering Technology to BPR Support and BPR 3:30 Nancy Lee Hutchin Paul Rehmet consultant Computer Command & Control Co Strategic Information Software Process Reengineering: Management: Integrating Toward a New Generation Process, Information, and of CASE Technology Systems Engineering 4:15 Joint Panel Discussion _______________________________________________________________________ For general info, contact Prof. Jon Clark, Colorado State University, 303-491-1618, fax 303-491-0596, jclark@vines.colostate.edu Registered attendees of STC can attend the BPR Public Sector Workshop without further registration (already included in STC fee). To register BY MAIL: Registration fee $110 must accompany registration, check payable to: "Utah State University / Reengineering Forum". Send your name, organization, address, telephone, fax, and internet address. Payment must be mailed no later than March 30th to: Utah State University STC/Reengineering Registration Logan, Utah 84322-5005 USA To register BY TELEPHONE: Telephone registrations $110 will be accepted until Tuesday, April 4. Cards accepted are Visa, Mastercard, Discover, Diners, and Amex. Call 1-800-538-2663 or 801-797-0423. To register BY PURCHASE ORDER (incl DD Form 1556): Mail your purchase order for $150 no later than March 30th to: "Reengineering Forum, P.O. Box 400, Burlington, MA 01803". Faxes of purchase orders will be accepted to April 4 at fax 617-272-8464. Questions on p.o. registration, contact 617-272-0049. Registration includes handout and breaks, but not lunch. All registrations, including by purchase order, are final. No refunds. Hotel reservations are handled by STC through the SLCVB/STC Housing Bureau, phone 801-521-9025, fax 801-355-0250. _______________________________________________________________________ Organizing Committee: Jon Clark, Colorado State University [General Chair] Elliot Chikofsky, DMR Group Inc. Philip Newcomb, Boeing Computer Services Chris Sittenauer, USAF Software Tech Support Center (STSC) ------------------------------------------------------------------------------- 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 icaza@cs.ualberta.ca Tue Mar 21 14:52:55 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Tue, 21 Mar 95 14:52:53 -0600; AA04510 Received: from scapa.cs.ualberta.ca by lucy.cs.wisc.edu; Tue, 21 Mar 95 14:52:50 -0600 Received: from stettler.cs.ualberta.ca by scapa.cs.ualberta.ca id <13085-6>; Tue, 21 Mar 1995 13:52:47 -0700 Subject: CFP ISACC95 -- Applied Corporate Computing From: Jose Icaza To: dbworld@lucy.cs.wisc.edu Date: Tue, 21 Mar 1995 13:52:39 -0700 (MST) X-Mailer: ELM [version 2.4 PL24] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 4577 Message-Id: <95Mar21.135247-0700_mst.13085-6+168@scapa.cs.ualberta.ca> ***Please note : Deadline: March 31 1995 ***Electronic submissions accepted Call for Papers I S A C C '9 5 Applications and Research in Software Engineering Management Information Systems, Distributed Computing Systems and High Performance Computing October 25-27, 1995 Monterrey, Mexico The Third International Symposium (ISACC) will be held in Monterrey, Mexico on October 25-27, 1995. This symposium is being organized by the Informatics Research Center and Information Systems Department at ITESM (Instituto Tecnologico y de Estudios Superiores de Monterrey) and is sponsored by ITESM in cooperation with Texas A&M University. SCOPE This symposium provides an international forum for presentation and discussion of practical applications and original research in: Software Engineering, Management Information Systems, Distributed Computing Systems and High Performance Computing. The areas of interest include, but are not limited to: Management Information Systems: Executive Information Systems Decision Support Systems Office Automation Multimedia Information Systems Collaborative Work Frameworks Object-Oriented Database Systems Data and Object Models for Information Systems Repository Management for Data and Objects Heterogeneous Systems Integration Digital Electronic Library Software Engineering: Software Engineering Methodologies Software Engineering Total Quality Management User Interfaces Rapid Prototyping Management and Control of Software Projects Object-Oriented Techniques in Information Systems Domain Analysis and Modeling Software Development Environments Software Reuse and Software Factories Distributed Computing Systems: Distributed Applications Design Real Time Distributed Systems Design and Development Client-Server Architectures:Implementation Aspects Distributed Systems Reliability Distributed Network Algorithms Network and Distributed Systems Management Distributed Databases Multimedia Distributed Systems Network Design and Planning ATM and Broadband Network Performance Issues in Internetworking High Performance Computing: Algorithms Applications Networks/Systems/Storage Interconnection Networks Software/Software Tools Visualization PAPERS Papers should be written in English and state the area to which they belong. Papers will be evaluated with respect to their originality, correctness, clarity and relevance. Send 5 copies of your paper with a maximum length of 10 double column pages (8x11 in. paper size), in size 10 seriff font. Postscript files will be accepted via electronic mail. Because the identity of the authors will not be revealed to the referees, author's names, phone number, fax, e-mail and affiliations should appear only on a cover sheet together with the paper's title. Authors should also avoid citations that make their identities obvious. TUTORIALS Proposals are solicited for organizing full-or half-day tutorials that will be held on the first day of the symposium. Proposals should include: tutorial title, a brief syllabus of the topic, and curriculum vitae of the proponent. BEST PAPER AWARD One of the major purposes of ISACC is to bridge the gap between academic research and real world application. An award of $1,000 USD will be given for the best paper addressing this symposium goal , in the judgement of the referees. Critical dates: Papers and tutorial proposals must be received by March 31, 1995. Authors will be notified of acceptance/rejection by June 9, 1995. A final copy, camera ready for publication in the proceedings, is due by July 14, 1995. Program Chair Tutorial Chair J. Raul Perez-Cazares Teresa Lucio-Nieto E-mail:rperez@campus.mty.itesm.mx E-mail: tlucio@campus.mty.itesm.mx Paper submission: isacc@dgicii.mty.itesm.mx Instituto Tecnologico y de Estudios Superiores de Monterrey Centro de Investigacion en Informatica Sucursal de Correos "J", Monterrey, N.L. Mexico C.P. 64849 Phone (52-8)358-2000 ext. 5082, 5076 Fax (52-8)328-4081 ------------------------------------------------------------------------------- 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 levy@research.att.com Tue Mar 21 16:29:32 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Tue, 21 Mar 95 16:29:29 -0600; AA07228 Received: from research.att.com by lucy.cs.wisc.edu; Tue, 21 Mar 95 16:29:26 -0600 Received: by research.att.com; Tue Mar 21 17:25 EST 1995 Received: from radish.research.att.com by hunny.research.att.com with smtp (Smail3.1.29.1 #2) id m0rrCMh-000G6pC; Tue, 21 Mar 95 17:25 EST Received: by radish.research.att.com (Smail3.1.28.1 #10) id m0rrCMg-000q4mC; Tue, 21 Mar 95 17:25 EST Message-Id: Date: Tue, 21 Mar 95 17:25 EST From: levy@research.att.com (Alon Levy) To: dbworld@lucy.cs.wisc.edu Subject: PODS-95 Abstracts online The PODS-95 program and paper abstracts are available online @ http://www.research.att.com/orgs/ssr/people/levy/pods/pods.html Alon Levy ------------------------------------------------------------------------------- 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 Wed Mar 22 03:01:22 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 03:01:18 -0600; AA10761 Message-Id: <9503220901.AA01291@lucy.cs.wisc.edu> Received: from jimi.CS.UNLV.EDU by lucy.cs.wisc.edu; Wed, 22 Mar 95 03:01:15 -0600 Received: from koko.CS.UNLV.EDU by JIMI.CS.UNLV.EDU id aa13794; 22 Mar 95 0:49 PST To: dbworld@lucy.cs.wisc.edu Cc: kia@koko.CS.UNLV.EDU Subject: Final Call For Papers For IC3N'95 Conference Date: Wed, 22 Mar 1995 00:49:33 -0800 From: Kia Makki This CFP has already appeared in the IEEE Computer (Jan. Issue), Communications of the ACM (Feb. Issue), and IEEE Communications (Feb. Issue). ---------------------------------------------------------------------------- IC3N'95 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 NASA, NSF, NIST, IEEE Computer Society, IEEE Communication Society and ACM (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 practitioners working in a wide variety of scientific R. Pickholtz, GWU areas with a common interest in improving K. Makki, UNLV Computer Communications and Networks. B. Ip, Siem. AG, Germany J.F. Chang, NTU, 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 Program Chair ------------- o Interoperability K. Makki, UNLV o Network Management Program Co-Chair o Intelligent Networks ---------------- N. Pissinou, CACS, USL o Network Security Program Vice Chairs o Reliable Networks ------------------- O. Frieder, GMU o Video-on-Demand I. Khan, SRI Int. W. Liu, BellSouth A.N. o Multimedia Human-Machine Interface European Coordinators o Internet Services/Applications --------------------- C. Fayet, INT, France o Real Time Communications A. Gaivoronski, ITALTEL, It. U. Krieger, DBP, Germany o LAN/WAN internetworking Program Committee o Personal Communication Services ----------------- M.H. Ammar, Georgia Tech o Wireless networks M. Bayoumi, CACS, USL S.K. Das, U. of N. Texas o Distributed Algorithms/Applications T.S. Dillon, La Trobe U., Au. K. Efe, CACS, USL A.K. Elmagarmid, Purdue Univ. o Multicast Protocols T.-Y. Feng, NSF/Penn State D. Fernadez-Beca, Iowa St. o Optical Networks F. Golshani, Arizona St. U. M. Gouda, UT Austin o Traffic Management M. Halem, NASA S. Hedetniemi, Clemson Univ. o High Speed Network OAM/Protocols P. Hunter, NASA Headquarters O. Ibarra, UC Santa Barbara o Performance Modeling/Analysis X. Jia, U. Queensland Aust. C. Kang. Hannam Univ. D. Kazakos, USL J. Kim, Bellcore S. S. Lam, UT. Austin Y. Lee, Univ. of Florida D. Lee, AT&T Bell Labs V. Li, USC M.T. Liu, Ohio State U. SUBMISSION: J.S. Meditch, U. Washing Authors are invited to submit complete and original M. Mizuno, Kansas State U. papers. Papers that may be submitted for considera- R. Miller, U. of Maryland tion include those that have not previously been W.M. Moh, San Jose S. U. published in another forum, or are not currently T. Nakassis, NIST being published or reviewed by another journal or S. Olariu, Old Dominion U. conference. All submitted papers will be refereed M.T. Ozsu, Univ. of Alberta for quality, correctness, originality and relevance M. Papazouglou, QUT, Austra. The program committee reserves the right to accept W. Peng, S. Texas St. Univ. a submission as long, short or poster presentation. K. Qiu, Acadia U. Canada Of particular interest are papers which address S. Sahni, Univ. of Florida experiences with concrete Computer Communications H. Saito, NTT, Japan and applications. All accepted papers will be M. Segal, Bellcore published in the conference proceedings. Authors H. Shi, AT&T Bell Labs 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. Some selected papers M. Singhal, Ohio State U. will be considered for publication in ACM WINET P. Srimani, Colorado State (Wireless Networks) journal, Computer Networks & T. Suda, UC Irvine ISDN Systems, International Journal of Computer J. Tsai, U. of Illinois Ch. Systems Science & Engineering, and Computer D.H.K. Tsang, Hong Kong Communications Journal. B. Wong, DISA J. Wu, Florida Atlantic Univ. 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 24, 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 Tel: (702) 895-4024; Fax:(702) 895-4156; kia@unlv.edu For more information about the conference (as opposed to paper submissions) please send email to ic3n@cacs.usl.edu or you can access World Wide Web (WWW) home page. It can be accessed via URL address: http://www.nscee.edu/~eugene/ic3n/ IMPORTANT DATES: ---------------- Paper submission deadline : March 24, 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 24, 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 ------------------------------------------------------------------------------- From NOUALI@IST.CERIST.DZ Wed Mar 22 05:02:36 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 05:02:30 -0600; AA24566 Received: from ist.cerist.dz by lucy.cs.wisc.edu; Wed, 22 Mar 95 04:59:59 -0600 Received: from IST.CERIST.DZ by IST.CERIST.DZ (PMDF V4.2-13 #5473) id <01HOFONXUJZK0009XY@IST.CERIST.DZ>; Wed, 22 Mar 1995 11:47:04 GMT Date: Wed, 22 Mar 1995 11:47:02 +0000 (GMT) From: NOUALI@IST.CERIST.DZ Subject: some helps please!! To: dbworld@lucy.cs.wisc.edu Message-Id: <01HOFOP4ISS20009XY@IST.CERIST.DZ> Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=US-ASCII Content-Transfer-Encoding: 7BIT I built a natural language interface. It interacts with DBASEIII applications. The interface is written in PASCAL. Once the natural language request is analyzed and translated into DBASEIII, the problem arises. Basically, when I call DBASEIII from my PASCAL program, the logo of DBASEIII appears on the screen. I want like to get rid of that. Any ideas? Thanks. Nouali. ------------------------------------------------------------------------------- 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 wagner@ifs.uni-linz.ac.at Wed Mar 22 08:18:46 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 08:18:43 -0600; AA29453 Received: from alijku04.edvz.uni-linz.ac.at by lucy.cs.wisc.edu; Wed, 22 Mar 95 08:18:36 -0600 Received: from ifs.uni-linz.ac.at (lion.ifs.uni-linz.ac.at) by alijku04.edvz.uni-linz.ac.at with SMTP id AA10573 (5.65c/IDA-1.4.4 for ); Wed, 22 Mar 1995 15:17:21 +0100 Received: from cobra by ifs.uni-linz.ac.at (4.1/SMI-4.1) id AA20459; Wed, 22 Mar 95 15:15:42 +0100 From: wagner@ifs.uni-linz.ac.at (Roland Wagner) Received: : by cobra (5.0/) id AA03866; Wed, 22 Mar 1995 15:16:10 --100 Date: Wed, 22 Mar 1995 15:16:10 --100 Message-Id: <9503221416.AA03866@cobra> To: dbworld@lucy.cs.wisc.edu Subject: FURTHER CALL FOR WORKSHOP PAPERS DEXA 95 X-Sun-Charset: US-ASCII Content-Length: 7032 FURTHER CALL FOR WORKSHOP PAPERS ************* *D E X A 95* ************* 6th International Conference and Workshop on Database and Expert Systems Applications Date: September 4-8, 1995 Location: London, United Kingdom *********** *********** *********** *********** The recent call for papers for the conference and workshop was very successful and we have decided to extend the workshop part of the conference to include extra parallel sessions. To be considered for the workshop, papers should be of a practical or pragmatic nature, or describe actual projects and work in progress in the following topic areas: * MultiMedia and Textual databases * KBS Applications * Object Database systems * Physical database architecture and design * Temporal and active database systems * Industrial/commercial database applications The workshop proceedings will be published separately and will be available at the conference. The registration covers participation at both the workshops and the conference. * Additionaly we are planning some poster sessions and a special session of interest to European delegates on funding and cooperation possibilities in the fourth framework programme (F IV) of the European Union. European scientists and practicioners who are interested in attending this part of DEXA are kindly asked to contact the General Chairman Prof. Roland Wagner by email. AIMS OF THE CONFERENCE AND WORKSHOP Usage and development of database and expert systems can be found in all fields of computer science. The aim of DEXA 95 is to present a wide spectrum of already implemented or ju st being developed database and expert systems. DEXA will offer the opportunity to discuss extensively requirements, problems, and solutions in the field. Contributions should cover new requirements, concepts for implementations(e.g. languages, models, storage structures), management of meta data,system archit ectures, and experiences gained by using databases and expert systems in diff erent areas of applications. The workshops and conference should inspire a fruitful dialogue between develo pers in practice, users of database and expert systems, and scientists working in the field. INFORMATION FOR AUTHORS Authors are invited to submit research contributions or experience reports in English for the workshops. Papers should be double-spaced and no longer than 5.000 words. Please submit four copies (with an abstract and key words) or an email version to: Prof. Dr. Roland Wagner "D E X A" Research Institute for Applied Knowledge Processing University of Linz A-4040 Linz, AUSTRIA e-mail: wagner@ifs.uni-linz.ac.at IMPORTANT DATES Workshop Papers due: April 15, 1995 Notification of acceptance: May 15, 1995 Camera-ready copies: June 15, 1995 All accepted papers of the workshop will be published in the DEXA-Workshop proceedings. _______________________________________________________________________ General Chairperson: R.R. Wagner, FAW, University of Linz, Austria Program Chairpersons: N. Revell, Middlesex University, UK A M. Tjoa, Technical University of Vienna, Austria Program Committee Members: H. Afsarmanesh, University of Amsterdam, The Netherlands H.J. Appelrath, University of Oldenburg, Germany K. Bauknecht, University of Zuerich, Switzerland T. Bench-Capon, University of Liverpool, UK J. Bing, NRCCL Oslo, Norway S. Christodoulakis, University of Crete, Greece B. Croft, University of Massachusetts, USA W.S. Cellary, Technical University of Poznan, Poland J. Debenham, University of Technology, Sydney, Australia S.M. Deen, Keele University, UK P. Drazan, RIKS Maastricht, The Netherlands J. Eder, University of Klagenfurt, Austria T. Eiter, Technical University of Vienna A.L. Furtado, University of Rio de Janeiro, Brazil G. Gardarin, INRIA, France C.A. Goble, University of Manchester, UK F. Golshani, Arizona State University, USA G. Gottlob, Technical University of Vienna, Austria A. Hameurlain, University of Toulouse, France I. Hawryszkiewycz, University of Technology, Sydney, Australia P. Henderson, University of Southampton, UK D. Hsiao, Naval Postgraduate School, USA M. Jarke, University of Aachen, Germany K.G. Jeffrey, Rutherford Appleton Laboratories, UK M. Kamel, Naval Postgraduate School, USA Y. Kambayashi, IMEEL, Japan G. Kappel, University of Linz, Austria D. Karagiannis, University of Vienna, Austria M.A. Ketabchi, Santa Clara University, USA P. Kroha, University of Chemnitz, Germany J. Lazansky, Czech Technical University, Czech Republic T.W. Ling, University of Singapore, Singapore V. Lum, Chinese University of Hong Kong, Hong Kong V. Marik, Czech Technical University, Czech Republic G. Mueller, University of Freiburg, Germany M. Murphy, San Francisco State University, USA M.-A. Neimat, HP Laboratories, USA E. Neuhold, GMD-IPSI, Germany T.W. Olle, T.W. Olle & Associates, UK G. Ozsoyoglu, University Case Western Research, USA G. Pangalos, University of Thessaloniki, Greece M. Papazoglou, Queensland University of Technology, Australia G. Quirchmayr, University of Vienna, Austria I. Ramos, Technical University of Valencia, Spain C. Rolland, University Paris I, France N. Roussopoulos, University of Maryland, USA A. Sernadas, University of Lisabon, Portugal J.C. Smith, University of British Columbia, Canada D. Specht, University of Cottbus, Germany R. Studer, University of Karlsruhe, Germany M. Takizawa, Tokyo Denki University, Japan K. Tanaka, Kobe University, Japan C. Thanos, IEI-CNR, Italy H.W. Thimbleby, Middlesex University, UK C.H. Thoma, Ciba-Geigy, Switzerland J. Vassiliou, University of Athens, Greece K. Vidyasankar, Memorial Univ. of Newfoundland, Canada __________________________________________________________________________ Conference Organisation Office: G. Wagner, FAW, University of Linz, Austria **************************************************** Gabriela Wagner Research Institute for Applied Knowledge Processing University of Linz A-4040 Linz, AUSTRIA Conference Organization Office "D E X A" Tel.: +43(732)244962 Fax: +43(732)243989 e-mail: gabriela@faw.uni-linz.ac.at **************************************************** __________________________________________________________________________ ------------------------------------------------------------------------------- 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 dsr@research.att.com Wed Mar 22 10:16:44 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 10:15:19 -0600; AA01067 Message-Id: <9503221615.AA18264@lucy.cs.wisc.edu> Received: from research.att.com by lucy.cs.wisc.edu; Wed, 22 Mar 95 10:15:15 -0600 From: dsr@research.att.com Received: by toucan; Wed Mar 22 11:04:25 EST 1995 To: pcte@bull.com, pseswg@cisco.nosc.mil, process-news@rmise.org, testing-research@ernie.cs.uiuc.edu, cdn-soft-eng@qucis.queensu.ca, swe@SST.NCSL.NIST.GOV, tgrm-active@acero.enet.dec.com, empirical-se@informatik.uni-kl.de, re-list@doc.ic.ac.uk, dbworld@lucy.cs.wisc.edu, ICSM95-7-list@csr.uvic.ca Subject: 17th International Conference on Software Engineering Signature: David S. Rosenblum, AT&T Bell Laboratories, Murray Hill, NJ Date: Wed, 22 Mar 95 11:04:24 EST Preliminary Program and Registration 17th International Conference on Software Engineering (ICSE-17) and Co-Located Events April 23-30, 1995 Westin Hotel Seattle, Washington, USA Featuring Keynote Talks by Frederick P. Brooks, Jr. University of North Carolina-Chapel Hill, USA Michael Cusumano MIT Sloan School of Management, USA Michael Jackson MAJ Consulting Ltd., UK Sponsored by ACM SIGSOFT IEEE Computer Society TCSE In cooperation with The International Software Process Association ======================================================================== The purpose of the International Conference on Software Engineering is to provide a forum within which to promote the development of software engineering as both an academic discipline and an industrial practice and to extend the frontier of both the state of the art and the state of the practice. We provide a variety of events to introduce new research results, to present practical experience with software engineering techniques and technologies, to expose problems areas in both research and practice, and to foster discussions among the various members of our field. ======================================================================== *** ADVANCE REGISTRATION DEADLINE IS APRIL 2 *** ======================================================================== FOR FURTHER INFORMATION Up to date information about ICSE-17 and the co-located events can be obtained via the World Wide Web at URL http://www.cs.washington.edu/research/se/icse17/, via anonymous FTP at host ftp.cs.washington.edu in directory pub/se/icse17, or from Dewayne Perry (phone +1 908.582.2529, email dep@research.att.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 pinciro1@elet.polimi.it Wed Mar 22 11:37:59 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 11:37:52 -0600; AA02775 Received: from ipmel2.elet.polimi.it by lucy.cs.wisc.edu; Wed, 22 Mar 95 11:37:17 -0600 Received: by ipmel2.elet.polimi.it (5.65/DEC-Ultrix/4.3A) id AA03580; Wed, 22 Mar 1995 18:35:59 GMT Message-Id: <9503221835.AA03580@ipmel2.elet.polimi.it> Subject: Informations about public domain database To: dbworld@lucy.cs.wisc.edu Date: Wed, 22 Mar 1995 18:35:56 +0000 (WET) From: "Stud. F. Pinciroli" X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 8bit Content-Length: 489 Milan 22-03-95 Hello! Excuse me for the trouble: I'm looking for public domain databases, running under DOS/Windows, available to capture or import images, available to connect to Internet too. I dont' know if this kind of software really exists, but I'd like more informations about public domain database. Also running under Unix (X-Windows)... Thank you for the informations. Very kind of yours. Gian Carlo Manzoni Politecnico di Milano Dipartimento di Bioingegneria Milano, Italia ------------------------------------------------------------------------------- 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 raghu@quarg.cs.wisc.edu Wed Mar 22 12:19:36 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 12:19:24 -0600; AA04101 Date: Wed, 22 Mar 95 12:19:14 -0600 From: raghu@quarg.cs.wisc.edu (Raghu Ramakrishnan) Message-Id: <9503221819.AA24838@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 22 Mar 95 12:19:14 -0600 To: dbworld@quarg.cs.wisc.edu Subject: Recent mailings There've been a few mailings again that are clearly inappropriate for this mailing list. Please note: The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. This list, which I set up as a small list facilitating the distribution of Sigmod/Pods conference announcements, has grown so large that such inappropriate postings cannot be avoided. I will take a shot at making this a MODERATED list very soon. However, please screen any mail you wish to post to reduce the volume of mail that *I* have to screen! Raghu Ramakrishnan aka dbowner ------------------------------------------------------------------------------- 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 laufmann@advtech.uswest.com Wed Mar 22 15:20:47 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 15:20:42 -0600; AA08285 Received: from uswat.advtech.uswest.com by lucy.cs.wisc.edu; Wed, 22 Mar 95 15:20:39 -0600 Received: from raven.advtech.uswest.com (raven.advtech.uswest.com [130.13.4.29]) by uswat.advtech.uswest.com (8.6.11/8.6.10) with SMTP id OAA29137 for ; Wed, 22 Mar 1995 14:20:38 -0700 Received: from localhost by raven.advtech.uswest.com (advtech.uswest.com) with SMTP id AA21844 (5.65/at-generic.8Nov93); Wed, 22 Mar 1995 14:20:14 -0700 Message-Id: <9503222120.AA21844@raven.advtech.uswest.com> To: dbworld@lucy.cs.wisc.edu Cc: laufmann@advtech.uswest.com Subject: CoopIS-95 Call for Participation Date: Wed, 22 Mar 95 14:20:13 -0700 From: laufmann@advtech.uswest.com X-Mts: smtp The attached is the Call for Participation for the Third International Conference on Cooperative Information Systems (CoopIS-95). It includes introductory notes, a complete preliminary program, registration materials and addresses, and detailed descriptions of the two pre-conference seminars being offered the day before the conference. Feel free to pass this along to others who may be interested in the subject matter of the conference. Regards, Steve Laufmann CoopIS-95 Program Co-chair (North and South America) -------------------------------------------------------- Third International Conference on Cooperative Information Systems (CoopIS-95) Call for Participation -------------------------------------------------------- May 9-12, 1995 Schloss Wilhelminenburg Hotel Vienna, Austria -------------------------------------------------------- ------------------------ An Evolving CIS Paradigm ------------------------ The paradigm for the next generation of information systems (ISs) will involve large numbers of ISs distributed over large, complex computer/communication networks. Such ISs will manage or have access to large amounts of information and computing services. They will support individual or collaborative human work. -------------- The Conference -------------- The CoopIS-95 conference will provide a forum for the presentation and dissemination of research and practical experience covering all aspects of CIS design, requirements, functionality, implementation, deployment, and evolution. The conference will be held in a retreat-like setting, providing a collegial atmosphere fostering discussion and interaction. The CoopIS-95 conference programme includes technical sessions, invited presentations, panels, and tutorials that deal with CISs and the integration of relevant technologies. In addition, CoopIS-95 is hosting two special pre-conference seminars. Further information about the conference and its program can be obtained from the CoopIS-95 General and Program Co-Chairs by email at coopis@cs.toronto.edu. ------------- General Chair ------------- Dimitris Karagiannis Dept. Knowledge Engineering University of Vienna Bruenner Str. 72 A-1210 Vienna, Austria email: dk@dke.univie.ac.at ----------------- Program Co-Chairs ----------------- America (North & South): Steven C. Laufmann (USA) U S WEST Technologies 4001 Discovery Drive Boulder, CO, 80303, USA laufmann@advtech.uswest.com Europe & Middle East: Stefano Spaccapietra (CH) EPFL-DI-LBD CH-1015 Lausanne Switzerland spaccapietra@di.epfl.ch Far East, Africa, & Australia: Toshio Yokoi (Japan) Japan Electronic Dictionary Research Institue Ltd. Mita-Kokusai 1-4-28 Mita, Minato-ku Tokyo 108, Japan yokoi@edr.co.jp ------------------ Steering Committee ------------------ Michael L. Brodie, GTE-Laboratories, USA Michael N. Huhns, MCC, USA Matthias Jarke, RWTH Aachen, Germany John Mylopoulos, University of Toronto, Canada Mike Papazoglou, Queensland Uni. Technology, Australia Gunter Schlageter, FU Hagen, Germany ----------------- Program Committee ----------------- Alexander Borgida (USA) Michael L. Brodie (USA) Umeshwar Dayal (USA) Misbah Deen (UK) Lois M. Delcambre (USA) Asuman Dogac (Turkey) Ahmed K. Elmagarmid (USA) Les Gasser (USA) J. L. Hainaut (Belgium) Yoshinori Hara (Japan) Igor Hawryszkiewycz (Australia) Michael N. Huhns (USA) Aranza Illaramendi (Spain) Toru Ishida (Japan) V. Jaganathan (USA) Matthias Jarke (Germany) Nick Jennings (UK) Leonid Kalinichenko (Russia) Yahiko Kambayashi (Japan) Hannu Kangassalo (Finland) Roger King (USA) Craig Knoblock (USA) Jacques Kouloumdjian (France) Eiji Kuwana (Japan) Maurizio Lenzerini (Italy) Michel Leonard (Switzerland) Victor Lesser (USA) Fred Lochovsky (Hong-Kong) Vincent Lum (Hong-Kong) Louis Marinos (Germany) Patrick Martin (Canada) Dennis McLeod (USA) Robert Meersman (Holland) Moira Norrie (ETHZ) Juzar Motiwalla (Singapore) John Mylopoulos (Canada) Erich Neuhold (Germany) Anne Ngu (Australia) Tamer Ozsu (Canada) Maurizio Panti (Italy) Mike Papazoglou (Australia) Charles Petrie (USA) Don Potter (USA) Andreas Reuter (Germany) Daniel Ries (USA) Marek Rusinkiewicz (USA) Felix Saltor (Spain) Gunter Schlageter (Germany) Sandip Sen (USA) Evangelos Simoudis (USA) Katsumi Tanaka (Japan) A Min Tjoa (Austria) Patrick Valduriez (France) Carson Woo (Canada) -------------------------------------------------------- Third International Conference on Cooperative Information Systems (CoopIS-95) Preliminary Program -------------------------------------------------------- ---------------------- Tuesday, May 9th, 1995 ---------------------- 8:00 - 9:00 registration 9:00 - 10:30 Seminar 1 "Computer Support Systems for Business Processes" - Giorgio De Michelis (University of Milan and RSO, Italy) [detailed information on this seminar is provided at the end of this posting.] 10:30 - 11:00 break 11:00 - 12:30 Seminar 1 (continued) 12:30 - 2:00 lunch 2:00 - 3:30 Seminar 2 "On The Design and Development of Large-Scale Cooperative Information Systems" - Michael Brodie (GTE Laboratories, USA) [detailed information on this seminar is provided at the end of this posting.] 3:30 - 4:00 break 4:00 - 5:30 Seminar 2 (continued) 6:00 - 8:00 Conference Reception ------------------------- Wednesday, May 10th, 1995 ------------------------- 8:00 - 9:00 registration 9:00 - 10:30 Keynote Speaker "Next Generation Workflow: Promises and Problems" - Clarence "Skip" Ellis (University of Colorado, USA) 10:30 - 11:00 break 11:00 - 12:30 Paper Session 1 -- Integration "Using Object Matching and Materialization to Integrate Heterogeneous Databases" - G. Zhou, R. Hull, R. King, and J. Franchitti "A Semantic-Discriminated Approach to Integration of Federated Databases" - M. Garcia-Solaco, M. Castellanos, and F. Saltor "Process-Oriented Integration of Tools in Distributed Modeling Environments" - M. Jarke, R. Domges, H. W. Nissen, and K. Pohl 12:30 - 2:00 lunch 2:00 - 3:00 Paper Session 2 "Partitioning information bases with contexts" - J. Mylopoulos and Renate Motschnig-Pitrik "Correctness of Asynchronous Distributed Cooperation" - J. R. Getta, L. A. Maciaszek, I. T. Hawryszkiewycz 3:00 - 3:30 break 3:30 - 5:30 Tutorial 1 "Agent Technologies" - Steven C. Laufmann (U S WEST Advanced Technologies, USA) and Michael Huhns (MCC, USA) Agents provide an intuitive abstraction for cooperating information systems, and have substantial potential in future software and network markets as new agent-based products become available. With suitable knowledge and assessment skills, individuals and organizations will be better prepared to assess the advantages and disadvantages of various agent-related technologies for specific applications. This tutorial describes the current state of research in agent technologies, and presents a framework by which current and future technologies may be evaluated. 6:00 - 9:00 IFCIS Business Meeting - International Foundation for Cooperative Information Systems ------------------------ Thursday, May 11th, 1995 ------------------------ 8:00 - 9:00 registration 9:00 - 10:30 Panel Session -- "Multiple Perspectives on Semantic Issues" - chair: Robert Meersman (Free University of Brussels, Belgium) Semantics capture the intentions of system designers. As such, they present some of the most difficult problems faced in the emerging field of cooperative information systems. This panel will discuss these issues from a number of diverse perspectives, seeking a better understanding of the complexities and possible solutions to the problems of semantic interoperability. Panelists will include industry and university leaders from Europe, America, and Asia/Pacific. 10:30 - 11:00 break 11:00 - 12:30 Paper Session 3 -- Workflow "Enforcing inter-task dependencies in transactional workflows" - J. Tang and J. Veijalainen "The workflow activity model WAMO" - J. Eder and W. Liebhart "Exotica/FMDC: Handling Disconnected Clients in a Workflow Management System" - G. Alonso, R. Gunthor, M. Kamath, D. Agrawal, A. El Abbadi, C. Mohan 12:30 - 2:00 lunch 2:00 - 3:00 Paper Session 4 -- Applications "Managing Concurrent Activities in Collaborative Environments" - D. Agrawal, J. L. Bruno, A. El Abbadi, V. Krishnaswamy "IRO-DB, a solution for computer integrated manufacturing applications" - A. Ramfos, J. Fessy, B. Finance, and V. Smahi 3:00 - 3:30 break 3:30 - 5:30 Tutorial 2 "Cooperative Information Systems: An Overview" - Mike Papazoglou (Queensland Univ. of Technology, Australia) Cooperative Information Systems (CIS) are an emerging interdisciplinary field. A CIS consists of many existing systems distributed widely over computer/communication networks. Such systems support individual or collaborative human work, and manage access to a large number of information and computing services. Computation is done concurrently over the network by cooperative database systems, expert systems, multi-agent planning systems, and other software application systems ranging from the conventional to the advanced. This tutorial looks at technological advances in a variety of fields - which all contribute to the CIS field - and presents a framework supporting the co-existence of these technologies. 6:00 - 8:00 Conference Banquet ---------------------- Friday, May 12th, 1995 ---------------------- 8:00 - 9:00 registration 9:00 - 10:30 Keynote Speaker "The Conceptual Technology for Mediation" - Gio Wiederhold (Stanford University, USA) 10:30 - 11:00 break 11:00 - 12:30 Paper Session 5 -- Queries "Using Heterogeneous Equivalences for Query Rewriting in Multidatabase Systems" - D. Florescu, L. Rachid, and P. Valduriez "Distributed semantic query processing in a cooperative information system" - J. Cardiff, T. Catarci, and G. Santucci "Universal Contextual Queries in Database Networks" - M.C. Norrie and D. Kerr 12:30 - 2:00 lunch 2:00 - 3:00 Paper Session 6 -- Modeling "From Organization Models to System Requirements: A 'Cooperating Agents' Approach" - E. Yu, P. Du Bois, E. Dubois, and J. Mylopoulos "CapBasED-AMS -- A Framework for Capability-Based and Event- Driven Activity Management System" - K. Karlapalem, H. P. Yeung, P. C. K. Hung 3:00 - 3:30 break 3:30 - 5:00 Panel Session "Interoperability in Multidatabase Systems" - chair: Felix Saltor (Universitat Politecnica de Catalunya, Spain) Interoperability in Multidatabase Systems (IMS) has been an important area of research for a number of years, and is reaching a degree of maturity. This panel will discuss: (1) Lessons learned from these years of research and development: - where it yielded tangible results, where it failed - the status of products - the nature of real life applications (2) Significant problems still open and the most promising lines of research in IMS for the next few years. Panelists will include industry and university leaders from Europe, America, and Asia/Pacific. -------------------------------------------------------- Third International Conference on Cooperative Information Systems (CoopIS-95) Registration Information -------------------------------------------------------- Pre-Conference Seminars: May 9, 1995 Conference: May 10-12, 1995 ------------------------ Registration Information ------------------------ General and student registration privileges include participation in tutorials as well as the technical program, copies of the conference proceedings, and tutorials notes for all tutorials. Seminar registration includes participation in one of the offered seminars and the seminar notes. One-day registration includes participation privileges for one day and a copy of the conference program or the tutorial notes. Please make check or bank draft payable to: University of Vienna, CoopIS-95, and mail to the following address: CoopIS-95 Registration Institut of Knowledge Engineering Bruenner Strasse 72 A-1210 Vienna Austria Mail your registration to the address above, Fax to (++43-1-291 28 264), or E-mail to coopis@dke.univie.ac.at Acknowledgment will be sent by E-mail to the address listed upon receipt of registration form and check/bank draft. Written requests for refunds must be sent to Gabriela Kaiser no later than April 15. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Students are required to show current picture ID cards at the registration desk. ----------------- Hotel Information ----------------- The Schloss Wilhelminenburg Hotel has reserved rooms for the conference until April 15. After this date, the rooms will be released and reservations will be on a first come, first serve basis. Book early. Please refer to the conference (CoopIS-95) when making your reservation. Schloss Wilhelminenburg Hotel, A-1160 Wien, Savoyenstrasse 2, Tel.: ++43-1-458 503. Fax: ++43-1- 454 876. Rate is 800 ATS/night ($80 US) for single-bed room and 1200 ATS/night ($120 US) for double-bed. And the rate for Herberge (belonging to the same hotel) 370 ATS ($37 US) for double-bed rooms. These prices include breakfast. --------------------------- CoopIS-95 Registration Form --------------------------- Last Name: __________________________________________ First Name: _________________________________________ Name for Badge: _____________________________________ Organization: _______________________________________ Address: ____________________________________________ City: _______________________________________________ Prov/State: _________________________________________ Zip Code: ___________________________________________ Tel: ________________________________________________ Fax: ________________________________________________ E-mail: _____________________________________________ REGISTRATION Advance Late (before April 21st) (after April 21st) -------------------------------------------------------------------- CONFERENCE -- MAY 10-12 ------------------------ Full Conference General ___ $340 US ___ $375 US ___ 3400 ATS ___ 3750 ATS Student* ___ $150 US ___ $190 US ___ 1500 ATS ___ 1900 ATS Conference - Single day ___ $150 US ___ $190 US ___ 1500 ATS ___ 1900 ATS -------------------------------------------------------------------- PRECONFERENCE SEMINARS -- MAY 9 ------------------------------- - Both Seminars - Pre-Conference Seminars ___ $225 US ___ $285 US ___ 2250 ATS ___ 2850 ATS - Single Seminar - Seminar 1 (morning) ___ $150 US ___ $190 US ___ 1500 ATS ___ 1900 ATS Seminar 2 (afternoon) ___ $150 US ___ $190 US ___ 1500 ATS ___ 1900 ATS -------------------------------------------------------------------- Total Amount: ______ ATS ______ US ******************************************* *** Payment may be made in either *** *** US dollars or *** *** Austrian schillings. *** ******************************************* * Proof of status is required. Photocopy of picture card and student ID number must accompany payment. -------------------------------------------------------- Third International Conference on Cooperative Information Systems (CoopIS-95) Seminars -------------------------------------------------------- ----------------------------------------------- Computer Support Systems for Business Processes Giorgio De Michelis University of Milan and RSO, Italy ----------------------------------------------- Motivations Business process reengineering is a popular topic today. Its fans seem convinced that it is the panacea for most of the problems organizations encounter today, while its opponents suspect that it is only a new way to justify reductions in the number of persons employed to perform a particular task. The latter ones claim that it is well known that business process reengineering frequently does not reach its goals; while the former ones recall the successful case histories that have been made popular in the managerial literature. The controversy reappears in similar terms if the issue of support systems for business processes is raised: workflow management systems, groupware systems, workgroup computing systems are in fact at the center of sharp discussions between those who think they are only new ways to automatize office work and those who are convinced they are the engines of a new industrial revolution. I don't want to enter into either of these controversies: my opinion is, in fact, that business process reengineering, moving the attention from the organizational structures where people work to the processual nature of what they do, offers an interesting occasion to rethink socio-technical systems analysis and design methods, deepening our understanding of organizational structures, professional roles, and computer-based technologies. This seminar proposes the conceptual framework to understand work processes and socio-technical systems that I have developed during my research activity at the University of Milan and my professional activity at RSO. My aim is to show how the understanding of the social complexity of organized work can be the basis for developing new insights into controversial organizational, managerial and technological issues. The seminar is oriented to both active researchers in the areas of organizational sciences, managerial disciplines, information system theories, and CSCW and professionals and managers dealing with business process performances within organizations. No magic solution will be provided! Outline Each section of the tutorial proposes some conceptual categories and applies them to the intepretation of real case histories. Most of the examples are dedicated to enterprises. They are chosen in such a way that they can easily be generalized to other types of organizations, such as public administrations. Introduction - What is Business Process Reengineering - Business Process Reengineering and Development - Why does Business Process Reengineering Fail? - Technologies for Business Process Reengineering Work Processes, Organizational Structures, Persons - Work Processes as Business Processes: a Relational Approach - Work Processes and Communities of Practices: Cooperation Forms - Work Processes and Communities of Practices: Responsibility and Professional Skill - The Complexity of a Work Process and its Cost - The Threshold of Sustainable Complexity - The Relation between Organizational Structures and Work Processes Supporting Work Processes - Workgroup Computing Systems as Enabling Artifacts - Workflow Management Systems and Cooperative Information Systems - Rationale for Work Process Support Systems - Towards a Support System for Work Processes: the Milano System Conclusion - A Research Agenda for Computer Support Systems for Business Processes Biography Giorgio De Michelis teaches Theoretical Computer Science at the University of Milano, where he has been working since 1972. He is carrying out research on models of concurrent systems (Petri Nets) and on Computer Supported Cooperative Work, where he is developing prototypes of support systems for cooperative processes (CHAOS, UTUCS, MILANO). He is responsible for the Cooperation Technologies Laboratory at the Dipartimento di Scienze dell'Informazione of the University of Milano; he is member of the PMC of the ESPRIT BRA Project, 6225, COMIC; he is chairman of the Management Committee of the COST 14 Action, CO-TECH. Giorgio De Michelis has repeatedly served as program committee member for both the CSCW and the ECSCW conferences. He has served as program committee chairman of the ECSCW'93 in Milano. He is author of more than sixty papers on the areas of his interest. Giorgio De Michelis is senior partner of RSO, an Italian consultancy firm specializing in change management with particular attention to professional exploitation systems, business process reengineering, and socio-technical systems design. In business process engineering, Giorgio De Michelis has guided various projects in the banking (Banca Popolare di Sondrio, Credito Emiliano) as well as in the industrial sector (various companies of the Fiat Group, Merloni). Moreover, he has authored some papers (both in Italian and English) on the use of workgroup computing systems within business process reengineering projects and he is member of the Program Committee of the ACM 1995 Conference on Organizational Computing Systems - Business Processes. Recent publications include - G. De Michelis, From the analysis of cooperation within work-processes to the design of CSCW Systems, in: Proceedings of the 15th Interdisciplinary Workshop on Informatics and Psychology: Interdisciplinary approaches to system analysis and design, Schaerding, Austria May 24 - 26, 1994. - G. De Michelis, M. A. Grasso, Situating conversations within the language/action perspective: the Milan Conversation Model. In Proceedings of the 5th Conference on CSCW. ACM, New York, 1994. - G. De Michelis, Computer Support for Cooperative Work: Computers between Users and Social Complexity, in S. Bagnara, S. Stucky, C. Zucchermaglio (editors), Organizational Learning and Technological Change, Springer Berlin 1995 (to appear). - A. Agostini, G. De Michelis, M. A. Grasso, S. Patriarca, Reengineering a business process with an innovative Workflow Management System: a Case Study, 'Collaborative Computing', 1995 (to appear). -------------------------------------------------------- On The Design and Development of Large-Scale Cooperative Information Systems Michael L. Brodie Senior Staff Scientist GTE Laboratories Incorporated, U.S.A. -------------------------------------------------------- Abstract Several factors dominate the design, development, and deployment of information systems (IS). The larger the IS, the greater the impact of these factors, which include: * business (vs. technology) orientation and business driven solutions * business requirements (e.g., cost reduction, customer focus, reduced time to market) * current revolutions in business (e.g., re-engineer, downsizing) * advances in technology (e.g., distributed computing, client/server, transaction processors, object-oriented technology) * legacy ISs that are the backbone of most organizations With these factors and a lack of successful experience in these areas, it is increasingly challenging to develop new information systems. Indeed, it is rare that a new information system can be built from scratch. Following the premise of interoperability between most ISs in an organization, most future ISs will be built as an extension of existing computing resources. This leads to the notion of the ISs of an organization forming a large-scale cooperative IS and then to the need for a vision or model of such an environment as well as concepts, tools, and methodologies to realize them. Distributed object computing (DOC) visions, such as underlies ISO's Open Distributed Processing (ODP) and OMG's Common Object Request Broker Architecture (CORBA ), are being realized as a basis for enterprise wide cooperative information systems. Yet, fundamental challenges are arising in these approaches. These challenges concern not just the core technology but the lack of a corresponding vision of the cooperative applications that they will support. For example, CORBA lacks a reference model that encompasses the infrastructure, for which it has a model, and the applications, for which it does not. That is, there is no application architecture or model of cooperative information systems. These DOC technologies may provide an infrastructure but they do not provide a basis for application interoperation, a key requirement of cooperative information systems. We may be on a new, wonderful DOC environment but we are being left with the age old problems, such as semantic interoperability, that will inhibit the realization of cooperative information systems. These challenges may be contributing to the slow adoption of DOC technology in industry. Although object-oriented technology and products, including CORBA, have been in existence for several years, few production ISs are being launched. This seminar addresses cooperative information systems from a variety of points of view, such as those mentioned above, including: * business motivations driving future information systems * technical challenges driving future information systems * principles underlying the new technology paradigms * the death of ISs, as we knew them * status and challenges facing OMG and proposed directions * towards a comprehensive reference model for DOC, including cooperative ISs * dealing with the legacy: an incremental migration methodology and state of the art review * new methodologies and technology in support of next generation (cooperative) ISs (e.g., integration frameworks, domain-based ontology-based modelling) * case study: DOC as a technology basis for corporate wide re-engineering * case study: design and development an enterprise-wide DOC computing architecture * case study: one of the worlds largest DOC applications * research challenges The presentation will address core technology, systems management, distributed computing architectures, engineering, standards, and methodologies. We hope to address such questions as: What does it mean to put object-oriented (OO) technology to work, on a massive scale. What are the problems? What is the progress to date? What are the challenges in designing a target environment and migrating from the current, legacy, non-OO, information systems infrastructure to the target? What are the business objectives? How are the business processes determined? How do you migrate an organization from its current state to that envisioned in the re-engineering plan? What is the role of information technology (IT) in establishing this vision and migrating to it? How does business requirements relate to IT pragmatics? How do you keep the corporation running while migrating the entire information systems infrastructure? How do you introduce or utilize object-orientation in a legacy environment? Dr. Michael L. Brodie is a Senior Staff Scientist at GTE Laboratories Inc., Waltham, Mass. His primary research focus is on Distributed Object Computing (DOC). Until 1994, he headed the Distributed Object Computing Department within GTE Labs' Computer and Intelligent Systems Laboratory. He received his B.Sc., M.Sc., and Ph.D.. from the University of Toronto, Canada. His research interests include: next generation computing and applications, and relevant emerging technologies such as distributed object computing, interoperability, cooperative information systems, database technology, artificial intelligence, programming languages, and computer communications/telecommunications. He has a major concern for the social responsibility of his own work and that of computer science as a whole. Michael has written and spoken out on this topic for many years. Michael is a on several boards including the VLDB Endowment, the ACM SIGMOD Advisory Committee, the Telecommunications Information Networking Architecture Scientific Committee (TINA), Cooperative Information Systems (CoopIS), and the International Foundation for Cooperative Information Systems (IFCIS). He has consulted to research advisory organizations of the governments of USA, Canada, France, Italy, Germany, Colombia, Brasil, Denmark, Australia, Russia, Ukraine, and the EEC. Michael has authored over 70 books, journal articles, and refereed conference papers. He has given invited lectures and short courses on Distributed Object Computing, Database Technology, Information Engineering, CASE, Integrating AI and Database Technologies, Intelligent Information Systems, and Next Generation Database Technology in over twenty five countries. His most recent book is Brodie, M.L., and M. Stonebraker, "Migrating Legacy Systems: Gateways, Interfaces, and the Incremental Approach", Morgan Kaufmann Publishers, San Francisco, CA (1995). ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From angie@cs.concordia.ca Wed Mar 22 15:44:18 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 15:44:04 -0600; AA08700 Received: from Clyde.Concordia.CA by lucy.cs.wisc.edu; Wed, 22 Mar 95 15:43:59 -0600 Received: from cs.concordia.ca (90@manitou.cs.concordia.ca [132.205.4.3]) by clyde.concordia.ca (8.6.10/8.6.10) with SMTP id QAA00604 for ; Wed, 22 Mar 1995 16:43:57 -0500 Received: from scribe.cs.concordia.ca by manitou.cs.concordia.ca id aa04671; 22 Mar 95 21:43 GMT To: dbworld@lucy.cs.wisc.edu Subject: Limited Term Appointment Date: Wed, 22 Mar 95 16:43:55 -0500 From: DE BENEDICTIS Angie Message-Id: <9503222143.aa04671@manitou.cs.concordia.ca> \magnification=\magstep1 \hoffset=0.0truein \voffset=0.00truein \hsize=6.5truein \vsize=9.truein \baselineskip=16truept \belowdisplayskip=24 truept plus 6 truept minus 18 truept \abovedisplayskip=24 truept plus 6 truept minus 18 truept \settabs 12 \columns \nopagenumbers % % \centerline{\bf CONCORDIA UNIVERSITY} \centerline{\bf Department of Computer Science} \vskip .5truein\noindent Applications are invited for several limited term appointments for the academic year 1995-1996. The duties will consist of the teaching of five one-semester courses over the period of one year. Applicants should have a Ph.D. degree in Computer Science or in a related field. \vskip 0.25truein\noindent Concordia university is located in downtown Montreal. The department has approximately 700 undergraduates, over 200 graduate students, and 28 full-time faculty members. The department has good teaching and research laboratories that are supported by a strong team of analysts and technicians. \vskip 0.25truein\noindent The department's principal research interests are artificial intelligence, combinatorics, computer algebra, data base, distributed computing, pattern recognition, programming languages, scientific computing, software engineering, and VLSI. It has established CENPARMI, the Center for Pattern Recognition and Machine Intelligence), and it is an active participant in two inter-university centers, namely CICMA, (Centre Interuniversitaire en Calcul Math\'ematique Alg\'ebrique), and GRIAO (Groupe de Recherche Interuniversitaire en Architecture de Haute Performance et VLSI). \vskip 0.25truein\noindent Concordia is committed to employment equity and encourages applications from women, aboriginal peoples, visible minorities and disabled persons. All other things being equal, priority will be given to women applicants. Interested persons should send a resume and the names of at least three referees to \vskip .25truein {\bf \+&&& Chair, Department of Computer Science \cr \+&&& Concordia University \cr \+&&& 1455 de Maisonneuve Blvd. West \cr \+&&& Montreal, Quebec, Canada \cr \+&&& H3G 1M8 \cr \+&&& \cr \+&&& Fax: & (514) 848-2830 \cr \+&&& email & hiring@cs.concordia.ca \cr } \vskip .25truein\noindent In accordance with Canadian immigration requirements, priority will be given to Canadian citizens and permanent residents of Canada. \vfill\eject \end ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From ged@cs.rmit.edu.au Wed Mar 22 16:26:54 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 16:26:44 -0600; AA09552 Received: from goanna.cs.rmit.EDU.AU by lucy.cs.wisc.edu; Wed, 22 Mar 95 16:26:32 -0600 Received: (from ged@localhost) by goanna.cs.rmit.edu.au (8.6.10/8.6.9) id JAA26758 for dbworld@cs.wisc.edu; Thu, 23 Mar 1995 09:26:30 +1100 From: Gerard Ellis Message-Id: <199503222226.JAA26758@goanna.cs.rmit.edu.au> Subject: Programme for ICCS'95: International Conference on Conceptual Structures To: dbworld@lucy.cs.wisc.edu (dbworld) Date: Thu, 23 Mar 1995 09:26:29 +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: 24089 Please find below the Programme and Registration form for ICCS'95. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/ICCS95/ICCS95.ps.Z Also the ICCS'95 home page on the World Wide Web is http://www.cs.rmit.edu.au/ICCS95/ Regards, Gerard -- Gerard Ellis ged@cs.rmit.edu.au ph:61-3-660-5090 FAX:61-3-662-1617 Rm:10.9.11 WWW: http://www.cs.rmit.edu.au/~ged Computer Science Dept, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA ______________________________________________________________ ADVANCE PROGRAMME 3rd International Conference on Conceptual Structures August 14-18, 1995 University of California, Santa Cruz Sponsored by: IBM, Santa Teresa Laboratory, San Jose. University of California at Santa Cruz. Royal Melbourne University of Technology, Australia. THEME Conceptual structures are a modern treatment of Charles Sanders Peirce's Existential Graphs which are a graphic notation for classical logic with higher order extensions developed in 1896. Peirce viewed existential graphs as ``his luckiest discovery'' and ``a logic of the future''. John Sowa showed that conceptual graphs can be mapped to classical predicate calculus or order sorted logic, and are thus seen as a (graphic) notation for logic. However, it is the topological nature of formulas (topology was a field Peirce helped develop) which conceptual graphs make clear, and which can be exploited in reasoning and processing. Conceptual graphs are intuitive because they allow humans to exploit their powerful pattern matching abilities to a larger extent than does the classical notation. Conceptual graphs can be viewed as an attempt to build a unified modelling language and reasoning tool. Conceptual graphs can model data, functional and dynamic aspects of systems. They form a unified diagrammatic tool which can integrate Entity-Relationship diagrams, Finite State Machines, Petri Nets, and Dataflow diagrams. ORGANISATION Program Chair Local Arrangements Chair Gerard Ellis Robert Levinson Royal Melbourne Univ of Technology Univ of California, Santa Cruz Australia USA ged@cs.rmit.edu.au levinson@cis.ucsc.edu Finance Chair Honorary Chair Bill Rich John Sowa IBM San Jose, California State University of New York USA USA billrich@vnet.ibm.com sowa@turing.pacss.binghamton.edu PROGRAM COMMITTEE Hassan Ait-Kaci (Canada) Dickson Lukose (Australia) Harmen van den Berg (Netherlands) Craig McDonald (Australia) Duane Boning (USA) Guy Mineau (Canada) Boris Carbonneill (France) Jens-Uwe Moeller (Germany) Michel Chein (France) Bernard Moulin (Canada) Key Sun Choi (Korea) Marie Laure Mugnier (France) Peter Creasy (Australia) Jonathan Oh (USA) Walling Cyre (USA) Heike Petermann (Germany) Harry Delugach (USA) Heather Pfeiffer (USA) Judy Dick (USA) James Slagle (USA) Peter Eklund (Australia) Bill Tepfenhart (USA) Bruno Emond (Canada) Eileen Way (USA) Norman Foo (Australia) Michel Wermelinger (Portugal) Brian Gaines (Canada) Mark Willems (Netherlands) Adil Kabbaj (Canada) Walter Wilson (USA) Fritz Lehmann (USA) Vilas Wuwongse (Thailand) Auxillary Reviewers Alex Bejan (Australia) Tao Lin (Australia) Phil Kime (UK) Maurice Pagnucco (Australia) INVITED TALKS Development and Implications of the CG Standards John F. Sowa SUNY Binghamton A proposed standard for conceptual graphs is being developed by ANSI Technical Committee X3T2. The standard is based on the common CG core that has been used and implemented in various projects since 1984. Some purists have insisted on perserving a minimal core that is simpler than the 1984 version and closer in spirit to C. S. Peirce's original existential graphs. Others have been trying to increase the expressive power of CGs to match the generalized quantifiers and referents of natural languages, but the various modifications and extensions have introduced incompatibilities. To accommodate both groups, the proposed CG standard will be based on a minimal core that has a simple mapping to predicate calculus and KIF. It will also have an extensibility mechanism for defining generalized quantifiers and referents in a controlled and systematic way. As far as possible, the 1984 syntax and features will be accommodated either by the core or by the extensibility mechanisms. But the extensions will also support some new representations that can be useful for NL semantics, object-oriented systems, and optimized computations. Graphical Logic Hassan Ait-Kaci Simon Fraser University This talk will discuss the graphical nature of structures used in knowledge representation and logic programming. It will draw from my work on the foundations of the LIFE programming language and will emphasize the graph-theoretic underpinnings of the notions of subsumption, approximation, and interpretation. Ontology Revision Norman Foo University of Sydney Knowledge systems are usually static in their ontlogical assumptions. To make them dynamic, there are several levels of theory change that can be considered. Change without the introduction of new concepts is subsumed under existing theories of belief revision. If new concepts have to be introduced, we are in the domain of ontology revision about which very little is known. This talk will briefly outline a widely accepted belief revision meta-logic, then move on to circumstances in which it can be shown that ontology revision is necessary. Connections will be made to classical results in recursion theory and the problem of theoretical terms. Type hierarchies will be used to illustrate some of the main points. Complex Dynamics in Computational Systems: Artificial Worlds at the Santa Fe Institute Roger Burkhart Deere & Company >From Dyadic to Triadic Concept Analysis Rudolf Wille Technische Hochschule Darmstadt (Germany) Formal Concept Analysis, as it has been developed during the last fifteen years, is based on a dyadic understanding of a concept constituted by its extension and its intension. It starts with the primitive notion of a formal (or dyadic) context which combines a set of (formal) objects, a set of (formal) attributes and a binary relation between those sets indicating when an object has a certain attribute. A formal concept of such a dyadic context is constituted by its extension formed by objects of that context and by its intension formed by attributes of that context. The formal concepts of a given formal context always form, with respect to the subconcept- superconcept-relation, a complete lattice which is called the concept lattice of the context. In more than 100 projects of application in numerous areas of interest, concept lattices have been activated for analysing and exploring data and knowledge. Recently, those experiences (but also philosophical considerations based on Peirce's pragmatic philosophy) have suggested a triadic approach to formal concept analysis. It starts with the notion of a triadic context combining (formal) objects, attributes and conditions under which objects may have certain attributes. By the Basic Theorem of Triadic Concept Analysis, it has been clarified what kind of structures are formed by the triadic concepts of triadic contexts. The representation of those structures by triadic diagrams has also been studied. Examples of the conceptual analysis of triadic data sets may demonstrate the usefulness of the new approach. Tutorial: Introduction to Conceptual Graphs Gerard Ellis, RMIT In this tutorial we will introduce conceptual graphs as a graphic notation for first order logic. We will illustrate how to define concepts and relationships, and construct concept and relation hierarchies. We will introduce the generalization hierarchy over conceptual graphs and the canonical formation rules which are the foundation of conceptual graph theory. We will examine advanced uses of conceptual graphs for object modelling and object systems. We will show how Peirce's inference rules can be used for reasoning in conceptual graphs. CONFERENCE OVERVIEW Sunday, August 13 Evening 5:30 - 7:30 Free Tutorial: Introduction to Conceptual Graphs Gerard Ellis (Australia) Monday, August 14 8:00 - 9:00 Registration 9:00 - 9:30 Welcome Address 9:30 - 10:30 Invited Talk - Roger Burkhart 11:00 - 12:00 Session 1: Applications 12:00 - 1:30 Lunch (Provided) 1:30 - 2:30 Session 2: Natural Language 3:00 - 4:30 Session 3: Natural Language 4:30 - 5:30 Panel Discussion - Natural Language and CGs 5:30 Reception Tuesday, August 15 8:00 - 9:00 Registration 9:00 - 10:15 Session 4: Natural Language / Programming in Conceptual Graphs 11:00 - 12:00 Invited Talk - Hassan Ait-Kaci 12:00 - 1:30 Lunch (Provided) 1:30 - 2:30 Session 5: Programming in Conceptual Graphs 3:00 - 4:45 Session 6: Machine Learning / Knowledge Acquisition 4:45 - 5:30 Panel Discussion - Role of Graph Theory in CGs Wednesday, August 16 8:00 - 9:00 Registration 9:00 - 10:30 Session 7: Hardware and Implementation 11:00 - 12:00 Invited Talk - Norman Foo 12:00 - 1:30 Lunch (Provided) 1:30 - 2:30 Session 8: Logic, Existential Graphs and Peirce 3:00 - 5:00 Session 9: Graph Operations Thursday, August 17 8:00 - 9:00 Registration/Officers Meeting 9:00 - 10:30 Session 10: Graph Matching / Knowledge Acquisition 11:00 - 12:00 Invited Talk - Rudolf Wille 12:00 - 1:30 Lunch (Provided) 1:30 - 3:00 Session 11: Ontologies and Theory 3:30 - 4:30 Invited Talk - John Sowa 4:30 - 5:00 General Meeting 5:30 Buffet Reception Friday, August 18 8:00 - 9:00 Registration 9:00 - 5:00 Workshop: Third PEIRCE Workshop: A Conceptual Graph Workbench CONFERENCE PROGRAM MONDAY August 14 8:00 - 9:00 Registration 9:00 - 9:30 Welcome Address and Conference Opening 9:30 - 10:30 Invited Talk - Roger Burkhart 10:30 - 11:00 Coffee Break Session 1: Applications 11:00 - 11:30 "Automatic Integration of Digital System Requirements using Schemata" R. Y. Kamath and W. R. Cyre, Virginia Tech (USA) 11:30 - 12:00 "Service Trading Using Conceptual Structures" A. Puder, S. Markwitz and F. Gudermann, University of Frankfurt (Germany) 12:00 - 12:15 "Automated Message Analysis Using the Conceptual Programming Environment, CP" Heather D. Pfeiffer (New Mexico State University, USA) and Bruce J. Waltar (Pacific Northwest Laboratory, Ft. Lewis, USA) 12:15 - 12:30 "Implementation of Multi Agent Systems using Conceptual Graphs for Knowledge and Message Representation: the CoGITo Platform" Ollivier Haemmerle, LIRMM (France) 12:00 - 1:30 Lunch (Provided) Session 2: Natural Language 1:30 - 2:00 "Sentence Generation from Conceptual Graphs" Nicolas Nicolov, Chris Mellish and Graeme Ritchie, University of Edinburgh (United Kingdom) 2:00 - 2:30 "A Pragmatic Representational Approach of Context and Reference in Discourses" Bernard Moulin, Laval University (Canada) 2:30 - 3:00 Coffee Break Session 3: Natural Language 3:00 - 3:30 "Using the Conceptual Graphs Operations for Natural Language Generation in Medicine" J. C. Wagner, R.H. Baud and J.-R. Scherrer, Hopital Cantonal Universitaire de Geneve (Switzerland) 3:30 - 4:00 "Table 10 left without paying the bill ! a good reason to treat metonymy with conceptual graphs" Tassadit Amghar, Francoise Gayral and Bernard Levrat, Universite de Paris-Nord (France) 4:00 - 4:15 "An Incremental Semantic Parser for Conceptual Graphs" J. T. Sykes, V. Konstantinou and P. L. R. Morse, The University of Westminster (United Kingdom) 4:15 - 4:30 "Modeling cognition with conceptual graphs: Exploring alternative cognitive architectures and modeling natural language processing" Bruno Emond, Universite du Quebec a Hull (Canada) 4:30 - 5:30 Panel Discussion: Conceptual Graphs in Natural Language 5:30 Reception TUESDAY August 15 8:00 - 9:00 Registration Session 4: Natural Language / Programming in Conceptual Graphs 9:00 - 9:30 "Discourse Spaces: A Pragmatic Interpretation of Contexts" Bernard Moulin, Laval University (Canada) 9:30 - 9:45 "A General Model of Behavior for Conceptual Graph Theory" Adil Kabbaj, Universite de Montreal (Canada) 9:45 - 10:00 "PhiLog: An Implementation of Formula Translator in a Sorted Logic Programming Language" Sait Dogru and James R. Slagle, University of Minnesota (USA) 10:00 - 10:15 "Operational KADS Conceptual Model using Conceptual Graphs and Executable Conceptual Structures" D. Lukose, T. Cross, C. Munday and F. Sobora, The University of New England (Australia) 10:15 - 11:00 Coffee Break 11:00 - 12:00 Invited Talk - Hassan Ait-Kaci 12:00 - 1:30 Lunch (Provided) Session 5: Programming in Conceptual Graphs 1:30 - 2:00 "Object Oriented Conceptual Graphs" Gerard Ellis, RMIT (Australia) 2:00 - 2:30 "A Direct Proof Procedure for Definite Conceptual Graph Programs" Bikash Chandra Ghosh and Vilas Wuwongse, Asian Institute of Technology (Thailand) 2:30 - 3:00 Coffee Break Session 6: Machine Learning / Knowledge Acquisition 3:00 - 3:30 "Conceptual Clustering of Complex Objects: A Generalization Space based Approach" Isabelle Bournaud and Jean-Gabriel Ganascia, Universite Paris 6 (France) 3:30 - 3:45 "Gabels: A Learning System Based on a Hypergraph Model" Olivier Brissac and Michel Liquiere, Universite La Reunion (France) 3:45 - 4:00 "Distributive Concept Exploration: A Knowledge Acquisition Tool in Formal Concept Analysis" Gerd Stumme, Technische Hochschule Darmstadt (Germany) 4:00 - 4:15 "Links between Electronic Documents and a Knowledge Base of Conceptual Graphs" Philippe Martin, INRIA (France) 4:15 - 4:45 "Using empirical subsumption to reduce the search space in learning" Marc Champesme, Laboratoire d'Informatique de Paris-Nord (France) 4:45 - 5:30 Panel Discussion - Role of Graph Theory in Conceptual Graphs WEDNESDAY August 16 8:00 - 9:00 Registration/Officers Meeting Session 7: Hardware and Implementation 9:00 - 9:30 "A New Parallelization of Subgraph Isomorphism Refinement for Classification and Retrieval of Conceptual Structures" James D. Roberts, University of California, Santa Cruz (USA) 9:30 - 10:00 "Transputer Network Implementation of a Parallel Projection Algorithm for Conceptual Graphs" Alfred Chan and P. Kocura, Loughborough (United Kingdom) 10:00 - 10:30 "Spanning Tree Representations of Graphs and Orders in Conceptual Structures" Andrew Fall, Simon Fraser University (Canada) 10:30 - 11:00 Coffee Break 11:00 - 12:00 Invited Talk - Norman Foo 12:00 - 1:30 Lunch (Provided) Session 8: Logic, Existential Graphs and Peirce 1:30 - 2:00 "Existential Graphs and Dynamic Predicate Logic" Harmen van den Berg, University of Twente (The Netherlands) 2:00 - 2:30 "Existential Graphs and Discourse Representation" Tim Fernando, Universitat Stuttgart (Germany) 2:30 - 2:45 "Conceptual Graphs and Peirce Logic" John E. Heaton and Pavel Kocura, Loughborough University of Technology (United Kingdom) 2:45 - 3:00 "The Philosophical Context of Peirce's Existential Graphs" Mary Keeler, Seattle (USA) 3:00 - 3:30 Coffee Break Session 9: Graph Operations / Other Representations 3:30 - 4:00 "On Implementing Contexts and Negation in Conceptual Graphs" John Esch, Unisys Government Systems Group (USA) and Robert A. Levinson, University of California, Santa Cruz (USA) 4:00 - 4:15 "Visual Structure Representation Language for Conceptual Structures" Andrew L. Burrow and Peter W. Eklund, University of Adelaide (Australia) 4:15 - 4:45 "A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test" Olivier Cogis and Olivier Guinaldo, LIRMM (France) 4:45 - 5:00 "Representing and Querying Complex Conceptual Structures in the Framework of NKRL, the ``Narrative Knowledge Representation Language'' Gian Piero Zarri, Centre National de la Recherche Scientifique (France) THURSDAY August 17 Session 10: Graph Matching / Knowledge Acquisition 9:00 - 9:30 "Projection and Unification for Conceptual Graphs" Mark Willems, Vrije Universiteit Amsterdam (The Netherlands) 9:30 - 10:00 "A Novel Algorithm for Matching Conceptual and Related Graphs" Jonathan Poole and J.A.Campbell, University College London (United Kingdom) 10:00 - 10:30 Limitations of Conceptual Structures and the Requirements of the Knowledge Modelling Community D. Lukose (Australia) and G.Mineau (Canada) 10:30 - 11:00 Coffee Break 11:00 - 12:00 Invited Talk - Rudolf Wille 12:00 - 1:30 Lunch (Provided) Session 11: Ontologies and Theory 1:30 - 2:00 "On the Ontology of Conceptual Graphs" C. Hoede, University of Twente (The Netherlands) 2:00 - 2:15 "From Machine Readable Dictionaries to a Lexical Knowledge Base of Conceptual Graphs" Caroline Barriere, Simon Fraser University (Canada) 2:15 - 2:30 "An Algebraic Definition of Conceptual Graphs" Guy W. Mineau, Denis Gauvreau (Universite Laval (Canada)) Rokia Missaoui (Universite du Quebex a Montreal (Canada)) 2:30 - 3:00 "Conceptual Graphs and First-Order Logic" Michel Wermelinger, University Nova de Lisboa (Portugal) 3:00 - 3:15 "Types, Type Hierarchies, and Canonical Graphs" Clark A. Sexton, Kansas State University (USA) 3:15 - 3:45 Coffee Break 3:45 - 4:45 Invited Talk - John Sowa 4:45 - 5:15 General Meeting 5:30 Buffet Reception FRIDAY August 18 8:00 - 9:00 Registration 9:00 - 5:00 Fourth PEIRCE Workshop: A Conceptual Graph Workbench Chair: Peter Eklund (Australia) PEIRCE is an international project, the purpose of which is to integrate conceptual graph tool and application development. We shall discuss implementation techniques for conceptual graphs, including databases, programs, language standards, workbench programming standards, dictionaries, and graphical user interfaces. Applications and requirements for natural language processing, information systems engineering, software engineering, and machine learning will be included as well. CONFERENCE LOCATION Santa Cruz is located on scenic Highway 1 at the North tip of beautiful Monterey Bay. San Francisco International Airport (75 min., 65 miles), San Jose International Airport (45 min., 33 miles) and Monterey Peninsula Airport (40 min., 35 miles) are all easy drives to Santa Cruz. ACCOMMODATIONS The conference facility is on the University of California Santa Cruz Campus. Family style apartments near the conference site will be available for participants. To make an apartment reservation please use the registration form on the next page. Additional "economy" rooms in Residence Halls are available through Campus Guest Housing (408)459-2611. Since major conference activities will be in the unique campus setting we highly recommend you arrange to stay on campus. However, local hotels (such as Holiday Inn: 426-7100, $82 and Babbling Brook Bed and Breakfast : 427-2437 $85-165 and others) are within 10-15 minutes of the campus center. Reservations at these or other alternative facilities should be made directly. ***************************************************************************** AIRPORT TRANSPORTATION Alpha Cab: 408-295-8001 Santa Cruz Airporter: (a shuttle) 408-423-1234 Auto Rental: Auto World: 408-423-9830 725 Soquel Ave. Santa Cruz. Budget Rent-A-Car: 408-425-1808 919 Ocean Street - Santa Cruz DIRECTIONS: 1. From San Francisco: Take 101 South to Highway 880 South which turns into Highway 17 at San Jose. You'll drive over the scenic Santa Cruz mountains on Highway 17 right into Santa Cruz. Exit onto Hiway 1 to Half Moon Bay - follow UCSC signs. 2. From San Jose. Take Highway 17 over the Santa Cruz Mountains into the heart of Santa Cruz. Exit onto Hiway 1 to Half Moon Bay - follow UCSC signs. 3. From Monterey. Take Highway 1 North through the fertile agricultural area of the Pajaro Valley to Santa Cruz. Follow UCSC signs after entering Santa Cruz. ***************************************************************************** ICCS'95 REGISTRATION FORM Name: ___________________________________________________ Affiliation: ________________________________________________ Address: _________________________________________________ _________________________________________________________ Telephone: ___________________________ Fax: ________________________________ e-mail: ______________________________ Please indicate which event(s) for which you are registering. Workshop registrants need not register for the Conference unless they wish to do so. ___ $250 Conference fee (excl. workshop) before 7/15/94 ___ $350 Conference fee (excl. workshop) after 7/15/94 ___ $100 Student fee (excl. workshop) before 7/15/94 ___ $150 Student fee (excl. workshop) after 7/15/94 ___ $50 PEIRCE Workshop ___ $40 PEIRCE Workshop, student ___ FREE Conceptual Graphs Tutorial Commuter Options: If not registering for UCSC housing (see below) you may register for: parking: all week ($10)? lunch: ($6/day) Specify days: 14? 15? 16? 17? 18? 3 meals: ($18/day) Specify days: 14? 15? 16? 17? 18? Amount Enclosed: $________________ MAKE CHECKS PAYABLE TO "UC REGENTS" Conference fee includes proceedings and receptions. Payment must accompany the registration form. Checks must be in US dollars only and payable to "UC REGENTS" Please do not send cash. CREDIT CARDS WILL NOT BE ACCEPTED. Students must provide a copy of a student I.D. card or a letter from an advisor for proof of student status. RETURN BY JULY 15, 1995 TO: ICCS95-registration Prof. Robert Levinson 225 Applied Sciences Building Department of Computer and Information Sciences. University of California at Santa Cruz Santa Cruz, CA 95060 408-459-2087 FAX: 408-459-4829 e-mail: levinson@cse.ucsc.edu **************************************************************************** APARTMENT RESERVATION FORM ICCS'95 August 14-18, 1995 University of California Santa Cruz Apartments Please reserve the following accommodations: [Base rates are per person/per room/per night.] ___ $70.25 Single Occupancy - basic $84.25 -deluxe (send $281.00) (send $337.00) ___ $58.25 Double Occupancy - basic $71.50 - deluxe (send $233.00) (send $286.00) Basic includes fresh towels and linens but no housekeeping. Deluxe includes full daily house-keeping. Housing includes 3 meals per day in dining hall. Arrival Date: ____________ Departure Date: ____________ ___ Smoking ___ Non-smoking Desired Roomate ____________ (if doubling). [Roommate will be assigned if not specified.] ___ Deposit check enclosed in the amount of $ ____________ (send amount indicated above.) Name: ___________________________________________ Affiliation: _________________________________________ Address: __________________________________________ __________________________________________________ Telephone: _________________________________________ Fax: ______________________________________________ All reservations must be accompanied by a deposit of four nights room rate: August 14,15,16,17 SEND BY JULY 15, 1994 TO: Housing Reservations Prof. Robert Levinson 225 Applied Sciences Building Department of Computer and Information Sciences. University of California at Santa Cruz Santa Cruz, CA 95060 408-459-2087 FAX: 408-459-4829 ------------------------------------------------------------------------------- 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 bojan@cs.uh.edu Wed Mar 22 18:14:00 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 18:13:53 -0600; AA11870 Received: from Masala.CC.UH.EDU by lucy.cs.wisc.edu; Wed, 22 Mar 95 18:13:50 -0600 Received: from hermes.cs.uh.edu by Masala.CC.UH.EDU with SMTP id AA21198 (5.67b/IDA-1.5 for ); Wed, 22 Mar 1995 18:13:46 -0600 Received: by hermes.cs.uh.edu (5.65/ -) id AA19599; Wed, 22 Mar 1995 18:15:28 -0600 From: bojan@cs.uh.edu ( Bojan Cukic ) Message-Id: <9503230015.AA19599@hermes.cs.uh.edu> Subject: CFP: Tools with AI '95 To: dbworld@lucy.cs.wisc.edu Date: Wed, 22 Mar 1995 18:15:27 -0600 (CST) Reply-To: bojan@cs.uh.edu X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 5789 CALL FOR PAPERS 7th IEEE International Conference on TOOLS WITH ARTIFICIAL INTELLIGENCE Nov. 5 (Sun), 1995 - Nov. 8 (Wed), 1995 Washington, D.C. area, Hyatt Dulles Sponsored by IEEE Computer Society This conference is envisioned to foster the creation and transfer of ideas relating to artificial intelligence among academics, industry, and government agencies. It focuses on methodologies that can aid the development of AI, as well as the demanding issues involved in turning these methodologies into practical tools. Thus, this conference encompasses the technical aspects of specifying, developing, and evaluating theoretical and applied mechanisms that can serve as tools for developing intelligent systems and pursuing artificial intelligence applications. Focal topics of interest include, but are not limited to, the following: - AI Paradigms - Knowledge-Based Systems - Artificial Neural Networks - Genetic Algorithms - Development Issues - Machine Learning - Logic and Constraint Programming - Inference Analysis - Information Modeling and Reasoning Technique - Uncertainty Management and Fuzzy Logic - AI Languages - Natural Language and Multimedia Interfaces - Adaptive AI Systems - Distributed and Parallel AI Systems - Software Engineering Strategies for AI Development - Reliability and Performance Assessment - Applications - Intelligent Vehicle Highway Systems - Intelligent Strategies for Scheduling and Planning - Robotics - Vision - Distributed and Cooperative AI, Multiagent coordination - Intelligent Agents, Databases, and Digital Libraries - Formal Methods, Software Engineering, CASE Tools - Intelligent Tutoring, Instruction, and Consulting Systems INFORMATION FOR AUTHORS There will be both academic and industry tracks. One-day workshops (Nov. 5) will precede the conference (Nov. 6-8). All submissions should include a cover page indicating (1) the conference track (academic/industry), (2) one to three areas most relevant to the submission, (3) title, (4) the names of all authors and their complete mailing addresses, e-mail addresses (VERY IMPORTANT - most correspondence will be via e-mail), and telephone & fax numbers, (5) clear identification of the contact author for multi-authored submissions, (6) an abstract not exceeding 200 words, and (7) 5 keywords. PAPERS should not exceed 20 pages, including figures and text (typed with 1.5 spacing and 12 point font). Papers published, accepted for publication, or under consideration elsewhere are not eligible. INDUSTRY TRACK submissions can be in the form of short papers (5 to 10 pages) or a set of viewgraphs or other audio-visual forms. They should focus on methodology and timely results on AI technological applications and problems. AWARD: The C.V. RAMAMOORTHY Best Paper Award will be given to the best paper accepted for the Conference. Submit 6 copies of papers by April 14, 1994 to: Farokh B. Bastani Department of Computer Science University of Houston Houston, TX 77204-3475 USA Phone: (713) 743-3354 Fax: (713) 743-3335 Email: coscfb@cs.uh.edu Further information about the CFP, program, registration form, hotel registration form, and general conference information may be obtained from tai95@cs.uh.edu and tai@cs.tulane.edu. For more information, please contact: General Chair Stephen Szygenda Dept. of ECE University of Texas Austin, TX 78712-1084 Phone: (512) 471-6179 Fax: (512) 471-0954 Email: szygenda@uts.cc.utexas.edu Steering Committee Chair Nikolaos G. Bourbakis Department of Electrical Engineering SUNY at Binghamton Binghamton, NY 13902 Phone: (607) 777-2165 Fax: (607) 777-4464 Email: bourbaki@bingvaxu.cc.binghamton.edu ===================================================================== COMMITTEE GENERAL CHAIR: Stephen Szygenda, U of Texas at Austin PROGRAM COMMITTEE CHAIR: Farokh B. Bastani, U of Houston VICE-CHAIRS: Rudiger Brause, Goethe Univ., Germany Nick Cercone, U of Regina, Canada Ing-Ray Chen, Nat. Cheng Kung Univ., Taiwan Betty H.C. Cheng, MSU, USA Christoph Eick, U of Houston, USA Jun Gu, U of Calgary, Canada Louis J. Hoebel, Griffiss AFB, USA S. Sitharama Iyengar, LSU, USA Akhtar Jameel, Xavier Univ., USA K.H. (Kane) Kim, UC-Irvine, USA James Mayfield, UM-BC, USA Daniel P. Miranker, UT-Austin, USA Goffredo Pieroni, U of Udine, Italy Niki Pissinou, USL, USA Atul Prakash, U of Michigan, USA Peter G. Selfridge, AT&T, USA Jaideep Srivastava, U of Minnesota, USA Ralf Steinmetz, IBM, Germany V.S. Subrahmanian, U of Maryland, USA Milind Tambe, USC, USA Murat Tanik, SMU, USA Eiji Uchino, Kyushu Inst. of Tech., Japan I-Ling Yen, MSU, USA John Yen, Texas A&M Univ., USA AWARD CHAIR: Shi-Kuo Chang, U of Pittsburgh, USA GOVERNMENT WORKSHOP CHAIR: Raymond Paul, CSTE-EZT, U.S. Army INDUSTRIAL WORKSHOP CHAIR: Jim Baker, Lockheed, USA PUBLICITY CHAIRS: Kazumasa Yokota, ICOT, Japan Shashi Shekhar, U of Minnesota, USA Alan Liu, Taiwan Aldo Franco Dragoni, U of Ancona, Italy Bojan Cukic, U of Houston, USA LOCAL ARRANGEMENTS CHAIR: D. Kavraki, Binghamton, USA (Email: INBS@Bingsuns.cc.Binghamton.edu) S. Mertoguno, SUNY-Binghamton, USA (Email: karno@rs1.ee.binghamton.edu) REGISTRATION CHAIR: J. Vassilopoulos, Tulane Univ., USA (Phone: (504) 586-3905 Email: jfv@rs1.tcs.tulane.edu) STEERING COMMITTEE Chair: Nikolaos G. Bourbakis, SUNY-Binghamton, USA Cris Koutsougeras, Tulane Univ., USA John Mylopoulos, U of Toronto, Ontario, Canada Jeffrey J.P. Tsai, U of Illinois at Chicago, USA Benjamin W. Wah, U of Illinois at Urbana-Champaign, 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 jao@itd.dsto.gov.au Wed Mar 22 19:46:35 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 19:46:31 -0600; AA13321 Received: from fang.dsto.gov.au by lucy.cs.wisc.edu; Wed, 22 Mar 95 19:46:22 -0600 Received: from cook.dsto.gov.au by fang.dsto.gov.au with SMTP (5.61+IDA+MU/DSTO-1.1) id AA21777; Thu, 23 Mar 1995 12:16:06 +0930 Received: from itd.dsto.gov.au (next) by cook (4.1/SMI-4.1) id AA29384; Thu, 23 Mar 95 11:46:13 EST Received: by itd.dsto.gov.au (NX5.67e/NX3.0S) id AA00836; Thu, 23 Mar 95 11:52:24 +1000 Message-Id: <9503230152.AA00836@itd.dsto.gov.au> Content-Type: text/plain Mime-Version: 1.0 (NeXT Mail 3.3 v118.2) Received: by NeXT.Mailer (1.118.2) From: John O'Neill Date: Thu, 23 Mar 95 11:52:23 +1000 To: dbworld@lucy.cs.wisc.edu Subject: AI95 Call for Papers ----------------------------------------------------------------------------- S E C O N D C A L L F O R P A P E R S *********************************************************************** * * * The Eighth Australian Joint Conference on Artificial Intelligence * * * * A I ' 9 5 * * * * 13 -- 17 November 1995 * * * *********************************************************************** Hosted by Department of Computer Science University College, The University of New South Wales Australian Defence Force Academy Canberra, ACT 2600, Australia About AI'95 ----------- AI'95 is the Eighth Australian Joint Conference on Artificial Intelligence. This annual conference is the largest Australian AI conference and also attracts many overseas participants. The main theme of AI'95 is ``bridging the gaps,'' i.e., bridging the gap between the classical symbolic approach and other subsymbolic approaches, such as artificial neural networks, evolutionary computation and artificial life, to AI, and bridging the gap between the AI theory and real world applications. The goals of the conference are to promote cross-fertilisation among different approaches to AI and provide a common forum for both researchers and practitioners in the AI field to exchange new ideas and share their experience. Tutorials and workshops on various topics of AI will be organised before the main conference. The keynote speakers of AI'95 include Professor Kenneth De Jong from George Mason University, who is one of the authorities in the field of evolutionary computation. Paper Submission ---------------- Authors are invited to submit papers describing both theoretical and practical work in any areas of artificial intelligence. (Papers accepted or under review by other conferences or journals are not acceptable.) Topics of interest include, but are not limited to: Artificial Life Automated Reasoning Autonomous Intelligent Systems Artificial Intelligence Applications Adaptive Behaviours Bayesian and Statistical Learning Methods Cognitive Modelling Computer Vision Distributed Artificial Intelligence Evolutionary Learning Evolutionary Optimisation Fuzzy Systems Group Decision Support Systems Hybrid Systems Image Analysis and Understanding Intelligent Decision Support Systems Knowledge-Based Systems Knowledge Acquisition Knowledge Representation Machine Learning Natural Language Processing Neural Networks Planning and Scheduling Pattern Recognition Philosophy of AI Robotics Speech Recognition Five hard copies of the completed paper must be received by the conference programme committee chair before or on *9 June 1995*. Fax and electronic submission are not acceptable. Papers received after 9 June 1995 will be returned unopened. A BEST STUDENT PAPER AWARD will be given at the conference. The first author of the paper must be a full-time student, e.g., a PhD, MSc, or Honours student. A letter from the head of the student's department, confirming the status of the student, must be submitted along with the paper in order to be considered for the best student paper award. The award includes a $A200 cheque and a certificate issued by the AI'95 Programme Committee. Send all paper submissions to: Dr Xin Yao (AI'95 Programme Committee Chair) Department of Computer Science University College, The University of New South Wales Australian Defence Force Academy Phone: +61 6 268 8819 Canberra, ACT 2600, Australia Fax: +61 6 268 8581 Email: xin@csadfa.cs.adfa.oz.au Preparation of Manuscript ------------------------- All five hard copies must be printed on 8.5 in x 11 in or A4 paper using 12 point Times. The left and right margin should be 25mm each. The top and bottom margin should be 35mm each. Each submitted paper must have a separate title page and a body. The title page must include a title, a 300-400 word abstract, a list of keywords, the names and addresses of all authors, their email addresses, and their telephone and fax numbers. The body must also include the title and abstract, but the author information must be excluded. The length of submitted papers (excluding the title page) must be no more than 8 single-spaced, single-column pages including all figures, tables, and bibliography. Papers not conforming to the above requirements may be rejected without review. Publication of Papers --------------------- The proceedings of AI'95 will be published by a recognised international publisher. Authors of all accepted papers must pre-register for and present their papers at the conference. The registration fee must be received by the conference organiser before or on 18 August 1995, i.e., the deadline for the camera-ready copy, in order for the paper to be included in the proceedings. Papers accepted for oral presentation will be allocated up to 8 pages in the proceedings. Papers accepted for poster presentation will be allocated 1 page in the proceedings. A separate proceedings for full-length (<=8 pages) poster papers will also be published. Conference Registration Fee --------------------------- Full Rate Early Bird (Before or on 18 August 1995) Normal $490 $400 Student $250 $200 Workshops/Tutorials ------------------- Workshops and tutorials on various topics of AI will be organised on 13 and 14 November 1995. Proposals for workshops/tutorials are solicited from prospective organisers and/or presenters. Tutorial presenters will be paid for their presentations. Details can be obtained from the Tutorial/Workshop Chair. Please send a two page proposal, including the title, duration, scope and estimated number of participants of the workshop/tutorial, and a brief biography of the organisers/presenters, to the following address no later than *7 April 1995*. Dr. J. R. Davis (AI'95 Tutorial/Workshop Chair) CSIRO Division of Water Resources Phone: +61 6 246 5706 P O Box 1666, Canberra City 2601, Australia Fax: +61 6 246 5800 Email: richardd@cbr.dwr.csiro.au Special Sessions on Real-World AI Applications ---------------------------------------------- Special sessions on real-world AI applications will be organised at AI'95. Prospective authors must submit a 2 page summary to the Special Sessions Chair, Mr Laurie Lock Lee (AI'95 Special Sessions Chair) Manager, R&D, BHP IT Advanced Systems Group Phone: +61 49 401 602 PO Box 216, Hamilton, NSW 2003, Australia Fax: +61 49 401 666 Email: laurie@cerberus.bhpese.oz.au by *26 May 1995*. Notification of acceptance/rejection will be sent out on 23 June 1995. Authors of an accepted paper must submit camera-ready copies of their 1 page abstract (to be published in the conference proceedings) and the full-length paper of no more than 8 pages (to be published in a separate proceedings along with poster papers) to the Programme Committee Chair by *18 August 1995*. Authors who wish to have their full-length paper considered for publication in the conference proceedings should submit their complete paper (not a summary) to the *Programme Committee Chair* according to the following schedule for normal papers. Important Dates --------------- 7 April 1995 Deadline for Workshop and Tutorial Proposals. NORMAL PAPERS 9 June 1995 Deadline for Paper Submission 21 July 1995 Notification of Acceptance 18 August 1995 Camera Ready Copy SPECIAL SESSIONS PAPERS 26 May 1995 Deadline for Two Page Summaries 23 June 1995 Notification of Acceptance 18 August 1995 Camera Ready Copy Conference Location ------------------- AI'95 will be held at the Australian Defence Force Academy (ADFA) in Canberra, the capital city of Australia. ADFA is located less than 5km from the CBD of Canberra. The University College within the ADFA is part of the University of New South Wales. It is responsible for providing university education to officer undergraduates and officer cadets of the Australian Defence Force in addition to carrying out research and other university activities. The University College has an active postgraduate research programme in many disciplines, e.g., computer science, etc., in which any people, either civilian or military, can be enrolled if they are considered appropriate by the university. Canberra is situated between Australia's two largest cities, Sydney and Melbourne. There are daily flights between Canberra and all the major cities in Australia. Canberra features a number of tourist attractions which are easily accessible by car, bus or even bike! There is an excellent cycle path system in Canberra. November is the last month of the spring in Australia. The weather in Canberra is generally very pleasant. Further Information ------------------- Further information about AI'95 can be obtained by emailing the following address (preferred): ai95@adfa.edu.au or by contacting the organising committee chair Dr. Bob McKay at the following address: Dr Bob McKay (AI'95 Organising Committee Chair) Department of Computer Science University College, The University of New South Wales Australian Defence Force Academy Phone: +61 6 268 8169 Canberra, ACT 2600, Australia Fax: +61 6 268 8581 Email: rim@csadfa.cs.adfa.oz.au ------------------------------------------------------------------------------- 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 jiro@softlab.is.tsukuba.ac.jp Wed Mar 22 21:45:02 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Wed, 22 Mar 95 21:44:52 -0600; AA14963 Received: from jp-gate.wide.ad.jp by lucy.cs.wisc.edu; Wed, 22 Mar 95 21:44:46 -0600 Received: from maple.is.tsukuba.ac.jp by jp-gate.wide.ad.jp (8.6.4+2.2W/2.8Wb-jp-gate/1.2) with SMTP id MAA01129; Thu, 23 Mar 1995 12:34:09 +0900 Return-Path: Received: from softlab-gw.is.tsukuba.ac.jp by maple.is.tsukuba.ac.jp (5.65/6.4J.6-7.2) id AA08314; Thu, 23 Mar 95 12:35:14 +0900 Received: from aria.softlab.is.tsukuba.ac.jp by greenwich.softlab.is.tsukuba.ac.jp (4.1/6.4J.6-1.4) id AA16655; Thu, 23 Mar 95 03:34:28 GMT From: jiro@softlab.is.tsukuba.ac.jp (Jiro Tanaka) Received: by aria.softlab.is.tsukuba.ac.jp (4.1/titcc-1.0/TM-softlab-1.2) id AA08054; Thu, 23 Mar 95 12:34:16 JST Date: Thu, 23 Mar 95 12:34:16 JST Message-Id: <9503230334.AA08054@aria.softlab.is.tsukuba.ac.jp> To: lics-email@cs.indiana.edu, gulp@DI.UniPi.it, compunode@ecrc.de, sicstus-users@sics.se, lprolog@central.cis.upenn.edu, dbworld@lucy.cs.wisc.edu, lpnmr-list@ms.uky.edu Subject: ICLP'95 Program I C L P ' 9 5 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING JUNE 13--18, 1995 Shonan Village Center Hayama-machi, Kanagawa 240-01, Japan The latest information on ICLP'95 will be found in the newsgroup comp.lang.prolog and also in the WWW page http://daigo.sfc.keio.ac.jp/iei/iclp95.html . MONDAY, JUNE 12 --------------- 17:00--21:30 Registration 19:00--21:30 Welcoming Reception TUESDAY, JUNE 13 ---------------- 9:00-- Registration 10:45--11:00 Opening 11:00--12:00 Invited Talk Current Status of FGCS Technology and its Future Directions Shunichi Uchida 13:30--15:00 Session 1A: Constraints I Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method C. K. Chiu and J. H. M. Lee Linear Equation Solving for Constraint Logic Programming Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, and Roland H. C. Yap A Generic Algorithm for CLP Analysis Nevin Heintze and Joxan Jaffar 13:30--15:00 Session 1B: Representing Actions in Logic Programming Variants of the Event Calculus Fariba Sadri and Robert A. Kowalski Combining Situation Calculus and Event Calculus Kristof Van Belleghem, Marc Denecker, and Danny De Schreye Efficient Implementation of the Event Calculus for Temporal Database Applications Suryanarayana M. Sripada 15:30--17:00 Session 2A: Constraints II Compiling and Executing Disjunctions of Finite Domain Constraints Bjorn Carlson and Mats Carlsson Finite Domain and Cutting Plane Techniques in CLP(PB) Peter Barth and Alexander Bockmayr A Reactive Constraint Logic Programming Scheme F. Fages, J. Fowler, and T. Sola 15:30--17:00 Session 2B: Databases On Coherence Approach to Logic Program Revision Li-Yan Yuan and Jia-Huai You Dynamic Deductive Data Bases With Steady Behaviour Michael Dekhtyar and Alexander Dikovsky Disjunctive Semantics based upon Partial and Bottom-Up Evaluation Stefan Brass and J\"urgen Dix 17:15--18:30 Advanced Tutorial 1A Pruning in Logic Programming Lee Naish 17:15--18:30 Advanced Tutorial 1B Oz: Concurrent Constraint Programming for Real Gert Smolka WEDNESDAY, JUNE 14 ------------------ 9:00--10:15 Advanced Tutorial 2A An Introduction to Inductive Logic Programming Stephen Muggleton 9:00--10:15 Advanced Tutorial 2B Applications of Constraint Logic Programming Helmut Simonis 10:45--12:15 Session 3A: Applications A Logic Programming Approach to Channel Routing Neng-Fa Zhou Relating Stable Models and AI Planning Domains V. S. Subrahmanian and Carlo Zaniolo Two Approaches for Finite-Domain Constraint Satisfaction Problems --- CP and CMGTP --- Yasuyuki Shirai and Ryuzo Hasegawa 10:45--12:15 Session 3B: Nonmonotonic Reasoning Experimenting with Nonmonotonic Reasoning Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, and Miroslaw Truszcynski Computing Prioritized Circumscription by Logic Programming Toshiko Wakaki and Ken Satoh A Modal Calculus of Partially Ordered Events in a Logic Programming Framework Iliano Cervesato, Luca Chittaro, and Angelo Montanari 13:45--15:15 Session 4A: Compiling WAMCC: Compiling Prolog to C Philippe Codognet and Daniel Diaz Incremental Global Compilation of Prolog with the Vienna Abstract Machine Andreas Krall and Thomas Berger Efficient Execution of HiLog in WAM-based Prolog Implementations Konstantinos Sagonas and David S. Warren 13:45--15:15 Session 4B: Abduction Reduction of Abductive Logic Programs to Normal Logic Programs Francesca Toni and Robert A. Kowalski The Effect of Partial Deduction in Abductive Reasoning Chiaki Sakama and Katsumi Inoue Integrating Abductive and Constraint Logic Programming A. C. Kakas and A. Michael 15:15--17:30 Poster Session (Poster Abstracts can be found below.) 17:30--18:30 ALP meeting 20:00--22:00 Music Session THURSDAY, JUNE 15 ----------------- 9:00--10:30 Session 5A: CC Languages NMCC Programming: Constraint Enforcement and Retracting in CC Programming Philippe Codognet and Francesca Rossi A Decision Graph Algorithm for CCP Languages Per Brand Operational Semantics of Constraint Logic Programs with Coroutining Andreas Podelski and Gert Smolka 9:00--10:30 Session 5B: Programming Techniques Representing Logic Program Schemata in l-Prolog Timothy S. Gegg-Harrison Projections of Logic Programs using Symbol Mappings Ashish Jain A Method for Implementing Equational Theories as Logic Programs M. H. M. Cheng, D. Scott Parker, and M. H. van Emden 11:00--12:00 Invited Talk ToonTalk---Concurrent Constraint Programming for Kids Ken Kahn 13:30--15:00 Session 6A: Concurrency Tempo: A Declarative Concurrent Programming Language Steve Gregory and Rafael Ramirez On Composing Concurrent Logic Processes Jean-Marie Jacquet and Koen De Bosschere Modeling OR-Parallel Execution of Prolog using CHOCS R. Barbuti, N. De Francesco, and A. Santone 13:30--15:00 Session 6B: Theory A New Procedural Interpretation of Horn Clauses with Equality Anatoli Degtyarev and Andrei Voronkov SLDNF, Constructive Negation and Grounding Vladimir Lifschitz Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance Berns Martens and John Gallagher 15:30--17:00 Session 7A: Parallel Implementation Determinacy Driven Optimizations of And-Parallel Prolog Implementations Enrico Pontelli, Gopal Gupta, and Dongxing Tang Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems M. Hermenegildo, D. Cabeza, and M. Carro Efficient Term Size Computation for Granularity Control M. Hermenegildo and P. Lopez Garcia 15:30--17:00 Session 7B: Program Manipulation On Extra Variables in (Equational) Logic Programming Michael Hanus A Transformation System for Modular CLP Programs Sandro Etalle and Maurizio Gabbrielli Efficient Tabling Mechanisms for Logic Programs I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, and David S. Warren 17:45 Banquet bus departs FRIDAY, JUNE 16 --------------- 9:00--10:15 Advanced Tutorial 3A Model Generation Theorem Provers and Their Applications Ryuzo Hasegawa 9:00--10:15 Advanced Tutorial 3B Strong Moding in Concurrent Logic/Constraint Programming Kazunori Ueda 10:45--12:15 Session 8A: Novel Formalisms A Statistical Learning Method for Logic Programs with Distribution Semantics Taisuke Sato Preference Logic Programming Kannan Govindarajan, Bharat Jayaraman, and Surya Mantha Two Aspects of Directional Types Johan Boye and Jan Maluszynski 10:45--12:15 Session 8B: Program Analysis Type Inferencing for Polymorphic Order-Sorted Logic Programs Christoph Beierle On the Practicality of Abstract Equation Systems Anne Mulkers, Wim Simoens, Gerda Janssens, and Maurice Bruynooghe Incremental Analysis of Logic Programs Manuel Hermenegildo, German Puebla, Kim Marriott, and Peter J. Stuckey 14:00--17:30 Lectures on ICOT Free Software POSTER ABSTRACTS ---------------- (Posters will be presented on Wednesday, June 14, 15:15--17:30, and will remain posted during the conference.) Shallow Backtracking Points in an Intelligent Backtracking Schema Ilyas Cicekli Hybrid Implementation Techniques in Erlang BEAM Bogumil Hausman Abduction with Clark Completion T. H. Fung Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus Keiji Hirata A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas Anna Formica, Michele Missikoff, and Roberto Terenzi Making Query Processing Goal-Directed in Disjunctive Logic Databases Yuka Shimajiri, Hirohisa Seki, and Hidenori Itoh Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language Hans Nilsson, Torbjorn Tornkvist, and Claes Wikstrom Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths Hideki Isozaki and Hirofumi Katsuno Type Synthesis for Logic Programs Jichang Tan and I-Peng Lin Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming Gopal Gupta, Vitor Santos Costa, and Enrico Pontelli Program Dependence Analysis of Concurrent Logic Programs and Its Applications Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima Situated Simplification Andreas Podelski and Gert Smolka Constructing Logic Programs with Higher-Order Predicates Jorgen Fischer Nilsson and Andreas Hamfelt An Analyzer for a Concurrent Constraint Language Dan Sahlin and Thomas Sjoland Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming Juan Jose Moreno-Navarro Semantical Properties of SLD-Resolution with Reflection Jonas Barklund, Pieragenlo Dell'Acqua, Stefania Constantini, and Gaetano A. Lanzarone A Concurrent Constraint Kernel Language based on Messages Laurent Perron WORKSHOPS --------- (The schedule will be finalized after accepted papers are decided.) Workshop number: W1 Date and time: Saturday, June 17, 8:30--17:30 Name of the workshop: Abstract Interpretation of Logic Languages Organizers: Maria Garcia de la Banda (Monash University, Australia), Gerda Janssens (K. U. Leuven, Belgium), Peter J. Stuckey (Univ. of Melbourne, Australia) Contact address: Gerda Janssens Dept. of Computer Science, K.U. Leuven Celestijnenlaan 200A, B-3001 Heverlee (Leuven), Belgium Phone: +32-16-327634 / Fax: +32-16-327996 Email: gerda@cs.kuleuven.ac.be Description: Abstract interpretation is a generic approach to data flow analysis. Its central concept is to approximate the concrete execution of a program using an abstract version of the execution. The importance of abstract interpretation comes from its ability to allow systematic design of correct data-flow analysis. Considerable research has been undertaken investigating the use of abstract interpretation for logic-based languages, in particular for (constraint) logic programming. Abstract interpretation is believed to be an essential part in developing efficient implementations which are able to bridge the gap between the high-level language and the machine. Most new logic-based language developments incorporate some form of abstract interpretation based data-flow analysis. The main purpose of this workshop is to bring together researchers using abstract interpretation in different areas of logic languages, and give the logic programming community an integrated idea of recent advances in the field. We would also like to encourage papers with a practical orientation. We take this to mean not only papers showing practical uses of abstract interpretation, but also those papers with an explicitly practical impact, e.g., those allowing an improvement in efficiency or accuracy, broadening the possibilities of abstract interpretation, defining new domains interesting for new applications. Workshop number: W2 Date and time: Saturday, June 17 or Sunday, June 18 Name of the workshop: Deductive Databases and Logic Programming Organizers: Ulrich Geske (GMD Berlin, Germany) Chiaki Sakama (ASTEM Kyoto, Japan) Dietmar Seipel (Univ. Tuebingen, Germany) Contact Address: Dietmar Seipel University at Tuebingen Sand 13, D - 72076 Tuebingen, Germany Phone: +49-7071-29-5993 / Fax: +49-7071-29-5958 Email: seipel@informatik.uni-tuebingen.de Description: The integration of techniques from deductive databases and logic programming leads to intelligent information systems. Techniques from deductive databases must be used to achieve efficient retrieval and reasoning in large knowledge bases. Logic programming provides a powerful declarative language for accessing and maintaining large amounts of knowledge. Traditionally, query and program optimization techniques play an important role in the deductive database technique. Recent research results in logic programming and non-monotonic reasoning are useful for extending the expressive power and the computational efficiency of such systems. Further suggested topics may be: disjunctive databases, incomplete and uncertain information, program transformation, object-orientation, constraint handling, active databases, updates, knowledge acquisition. Workshop number: W3 Date and time: Saturday, June 17--Sunday, June 18 (tentative) Name of the workshop: Abduction in Deductive Databases and Knowledge-Based Systems Organizers: Hendrik Decker (Siemens ZFE Muenchen, Germany) Antonis Kakas (University of Cyprus, Cyprus) Chiaki Sakama (ASTEM Kyoto, Japan) Toni Urpi (UPC Barcelona, Spain) Contact Address: Hendrik Decker (until 30 April 95:) LSI, Universitat Politecnica de Catalunya Pau Gargallo 5, E-08028 Barcelona, Spain Phone: +34-3-401-70-03 / Fax: +34-3-401-70-14 Email: hendrik@goliat.upc.es (from 1 May 95:) Siemens ZFE T SN 3 D-81730 M\"unchen, Germany Phone: +49-89-636-47533 / Fax: +49-89-636-48000 Email: hendrik@zfe.siemens.de Description: Besides deduction and induction, abduction has been identified by C.S. Peirce as one of three basic principles of formal reasoning. In a theory T, a set E of sentences is called an abductive explanation of an observation A if T U {E} is consistent and A is a logical consequence of T U {E}. From a rule A <- B, abduction generates hypothesis B to explain A. Also induction generates hypotheses, but does not generate explanations. Deduction can simulate abduction. Hence, deductive logic programming procedures can be used to implement abduction. In deductive databases, knowledge assimilation is perhaps the main application of abduction. Others are view updating; intensional query answering; incomplete, negative and default information; integrity maintenance; exception handling; diagnosis; truth maintenance; planning; belief revision; etc. Workshop number: W4 Date and time: Saturday, June 17, 9:00--17:00 (tentative) Name of the workshop: Inductive Logic Programming Organizers: Stephen Muggleton (Oxford University, UK) Fumio Mizoguchi (Science University of Tokyo, Japan) Koichi Furukawa (Keio University, Japan) Contact address: Fumio Mizoguchi Dept. of Inductrial Administration, Science University of Toyko Noda, Chiba 278, Japan Phone: +81-471-24-7802 / Fax: +81-471-25-8071 Email: mizo@ia.noda.sut.ac.jp Description: Inductive logic programming is a new research topics expanding rapidly on the intersection of logic programming and machine learning. It deals with supervised learning which produces a discrimination function to separate positive examples from negative examples. It is an extention of propositional logic based supervised machine learning systems such as ID3. The merit of the new approach is the capability of utilizing background knowledge related to the concept to be learned. The workshop stresses special attentions to the contribution of logic programming to machine learning as well as the opposite. It stresses also to applications of ILP technologies to a wide variety of problems. Any topics related to ILP are also welcome. Workshop number: W5 Date and time: Saturday, June 17, 9:30--17:30 (tentative) Name of the workshop: Parallel Logic Programming Organizers: Takashi Chikayama (ICOT, Japan) Hiroshi Nakashima (Kyoto University, Japan) Evan Tick (Univeristy of Oregon, USA) Contact address: Hiroshi Nakashima Dept. of Information Science, Faculty of Engineering Kyoto University Yoshida Honmachi, Sakyo-ku, Kyoto 606-01 Japan Phone: +81-75-753-5383 / Fax: +81-75-753-5379 Email: iclp-plpws@lab3.kuis.kyoto-u.ac.jp Description: As powerful multiprocessor computer systems have become much more easily accessible in recent years, general-purpose parallel processing is attracting wider interest in both theoretical and practical aspects. Parallel logic programming seems to provide one of the best frameworks for parallel processing with its declarative nature. This workshop is intended to bring researchers in the field together, in order to exchange ideas and experiences and discuss problems to be solved for opening the era of practical parallel logic programming. Topics of interest include, but are not restricted to implicit exploitation of parallelism, data parallel LP, concurrent LP, process-based parallel LP, new models for parallel LP, compile time analysis techniques, runtime systems, software environments, practical experiences, and applications. GENERAL INFORMATION ------------------- ABOUT THE CONFERENCE SITE The conference will be held at: Shonan Village Center Hayama-machi, Kanagawa 240-01, Japan Phone: +81-468-55-1810 / Fax: +81-468-55-1202 . Shonan Village Center is a new conference center with hotel accommodations. It is located on a hilltop of the Miura Peninsula to the south of Yokohama, looking over Sagami Bay. It takes an hour and a half from Tokyo, 45 minutes from Yokohama, and 30 minutes from Kamakura. Yokohama played a key role in the early phases of Japan's modernization. For many years, it was through Yokohama that much of Western culture, science and technology was introduced to Japan. Yokohama today is acknowledged as one of the most exciting port cities and attracts tourists from all over the world. We will have our banquet in the Chinatown of Yokohama. Kamakura, an ancient city where the nation's capital was settled in the 13th century, is also close to the Conference Site. Kamakura in June is especially charming with beautiful hydrageas (`ajisai' flowers) in many cozy temples. You can visit these cities and enjoy old and modern Japan before or after the conference. (See WWW pages for more information.) SOCIAL EVENTS All social events, except the banquet, will be held at the conference site, Shonan Village Center. Participants are cordially invited to the following social events: 1. Welcoming Reception: Monday, June 12, 7:00pm--9:30pm. This will be an opportunity to greet each other informally. Drinks and light meals will be served in the buffet style. 2. Music Session: Wednesday, June 14, 8:00pm--10:00pm. Koichi Furukawa, Conference Co-chair, will enchant you with his cello performance. Other participants are expected to join. If you are interested in joining the performance, please let the Local Arrangement Chair know. 3. Banquet in Yokohama Chinatown: Thursday, June 15, 7:00pm. The Banquet will be held at Kasei-rou, acknowledged as one of the most elegant restaurants in Yokohama Chinatown. Bus transportation will be provided from the conference site at 5:45pm. LECTURES ON ICOT FREE SOFTWARE Most of the software systems developed in 13 years of the Fifth Generation Computer Systems project and its follow-on project are publicly available as ICOT free software. Lectures sponsored by ICOT on the outlines of representative systems will be given by research leaders of the project in the afternoon of June 16. CURRENCY EXCHANGE Currency exchange service (from US dollars, cash or traveler's cheque, to Japanese yen) is provided at the Shonan Village Center at the same rate as bank rates. An automatic teller machine is also available for cash cards issued by Japanese banks, which will not accept credit cards issued outside Japan. WEATHER Weather in June in the Shonan area will be warm and pleasant, with the average temperature around 20 degrees centigrade, but it may cool down when it rains. Since the rainy season may have started, we recommend that you bring an umbrella and a light rain jacket with you. TRANSPORTATION Shonan Village Center is approximately 2.5 hours from Narita Airport by train and bus. Take JR (Japan Railway) from the Narita Airport station or the Airport Terminal 2 station (both under the terminal buildings) to Zushi, via Tokyo. At Zushi station, take a local bus bound for Shonan Village Center, or take a Taxi. Renting a car is not recommended. A JR ticket to Zushi will cost 2,160 yen. Only one-way tickets are available. JR serves two types of trains from the airport: Narita Express (N'EX) and Airport Narita. In general, whichever type of train you can catch first will take you to Zushi earliest. 1. N'EX is a limited express train bound for Shinjuku, Yokohama or Ofuna, departing every 30 minutes or an hour. Please take one for Yokohama or Ofuna. At the final stop, transfer to a JR Yokosuka-line local train to Zushi (7 stops from Yokohama, 3 stops from Ofuna). All N'EX seats need reservation. Please reserve a seat at a ticket counter when you buy a ticket to Zushi. A limited express supplement (2,250 yen) will be charged in addition to the basic fare. 2. Airport Narita, a JR Sobu & Yokosuka-line rapid ('kaisoku') train, departs hourly and most of the services go directly to Zushi in 2.5 hours. (Some go beyond Zushi to Yokosuka or Kurihama. Some go only to Tokyo or Ofuna, in which case please transfer to the next Yokosuka-line train at the final stop.) Airport Narita does not require supplement, but a suggestion to tourists is to take a Green Car (first-class accommodations) in the middle of a train and pay a supplement (1,590 yen) on board. The following figure will give you a general idea: Narita Airport Airport Terminal-2 Tokyo Yokohama Ofuna Zushi <- Northeast | | | | | | Southwest-> o- 2 min.-o- many stops -o-o-o-o-o-o-o-o-o-o-o-o-o- ... (To Yokosuka <---- JR Sobu line -----> <-- JR Yokosuka Line -- and Kurihama) (79.2km) (54.9km to Zushi) N'EX o---------o--------------o---------*-------* Yokosuka-line train o-o-o-o-o-o-o-o-o-*-o-o-*- ... Airport Narita o---------o-o-- ... -o-o-*-o-o-o-o-*-o-o-o-*-o-o-*- ... (o: train stops at this station; *: some trains may be bound for this station) The bus to Shonan Village Center departs almost hourly from the Bus Terminal 1 in front of JR Zushi Station. The bus fare is 330 yen, and the taxi fare is approximately 3,000 yen. For the detailed schedule of trains and buses, see the WWW page: http://daigo.sfc.keio.ac.jp/iei/iclp95.html . REGISTRATION ------------ Pre-registration will save you both time and money. Every person attending ICLP-95 activities must submit a registration form. Please print legibly or type all requested information. The registration fees are as follows (in Japanese yen; US$1 is around 90 yen as of March 1995): Conference before May 15 after May 15 ALP member 42,000 yen 48,000 yen Non-member 45,000 yen 51,000 yen Student 21,000 yen 24,000 yen Workshops ICLP'95 participants Non-participants 3,000 yen 6,000 yen The conference registration fee includes: - attendance to all technical sessions including advanced tutorials, - a copy of conference proceedings, - a welcoming reception on June 12, - four lunches on June 13--16, - refreshments during breaks, and - a banquet on June 15 (not included in the student fees). Banquet tickets for students and accompanying persons can be purchased at the Conference Registration Desk. Participants paying non-member or student registrations are given one year's free automatic membership to the Association for Logic Programming. All students must submit proof of full-time student status by enclosing a photocopy of student identification or a letter from the institutions or the advisors. Alternatively, please show your student identification at the Conference Registration Desk. For workshop registration, please specify the workshop you wish to attend on the registration form. The workshop fee for each workshop is 3,000 yen for ICLP'95 participants and 6,000 yen for workshop-only participants. PAYMENT Payment is accepted only in Japanese yen by: 1. credit card (VISA and Mastercard), 2. money transfer to ICLP95: Sakura Bank, Takadanobaba Branch, Shinjuku-ku, Tokyo, Japan, Account number 3775222 (deposit account). (Please attach a copy of your bank transfer order), or 3. cheque payable to ICLP95, written in Japanese yen, and drawable on a Japanese bank. Participants are encouraged to pay by credit card or, from inside Japan, by money transfer. SUBMISSION Please submit your registration form with payment in full to the Local Arrangement Chair, Dr. Mutsumi Imai, by one of the following three methods. To be eligible for reduced rates, it must be received no later than May 15. 1. By postal mail: send the registration form with payment to Dr. Mutsumi Imai Keio University at Shonan-Fujisawa 5322 Endoh, Fujisawa, Kanagawa, 252, Japan. 2. By e-mail: send a message requesting an electronic registration form to iclp95@tom.sfc.keio.ac.jp. Only credit-card payment is accepted for e-mail registration. 3. By fax: send the form to the fax number +81-466-47-5350. For fax registration, please provide credit-card information or attach a copy of the money transfer order. The Conference Registration Desk will be open on Monday, June 12, 5:00pm-9:30pm and during the conference. ACCOMMODATIONS Accommodations are available at Shonan Village Center for up to 140 people. The rooms have been reserved for the ICLP participants from Monday, June 12 until Sunday, June 18 (7 nights). The Center features Cafeteria "Oak", Restaurant "Katsura" (reservation required), and an indoor swimming pool with a Jacuzzi. Reservation should be made through the ICLP'95 Organizing Committee by filling out the relevant items in the registration form. Efforts will be made to meet participants' preferences on a first-come/first-served basis. In order to accommodate as many participants as possible at the conference site, we will not permit single occupancy of twin rooms. All rooms are equipped with private baths and toilets, telephones, cable televisions and refrigerators. The room rates are as follows: Single (50 rooms) 8,000 yen Economy Twin (30 rooms) 13,000 yen Standard Twin (12 rooms) 16,000 yen Maisonette Twin (3 rooms) 26,000 yen Tax (3%) and service charge (10%) will be added to your bill. Extra beds are not available. After accommodations at the Shonan Village Center are filled, we will assign to you one of the hotels of comparable price ranges near the Shonan Village Center. Transportation between the hotels and the conference site will be provided in the mornings and evenings during the conference period. Note: ----- Since the restaurant at the Center needs reservation, participants arriving later than June 12 and need dinner for the first evening are kindly asked to indicate so in the registration form. Please arrive before 9:00pm at the latest to have a dinner you have reserved. CONFIRMATION AND CANCELLATION You will receive a confirmation of your conference registration and hotel reservation, with details on the hotel and its location, by e-mail or fax as soon as they are processed. Written confirmation for registration received after May 31 will not be guaranteed. All inquiries, changes and cancellations of your conference registration and hotel reservation should be made by e-mail (iclp95@tom.sfc.keio.ac.jp) or fax (+81-466-47-5350). All requests for refunds must be received in writing no later than May 31, 1995 and will be subject to a 5,000 yen processing fee. There will be no refunds for cancellations after May 31, BUT THEY MUST STILL BE NOTIFIED IN ORDER TO CANCEL YOUR HOTEL RESERVATION. Changes and cancellations of your hotel reservation must be made through the Organizing Committee at least 7 days in advance; otherwise the hotels will charge you a cancellation fee. ------------------------------------------------------------------------------- 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 bhalla@u-aizu.ac.jp Thu Mar 23 03:31:45 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Thu, 23 Mar 95 03:31:36 -0600; AA18002 Received: from u-aizugw-hub.u-aizu.ac.jp by lucy.cs.wisc.edu; Thu, 23 Mar 95 03:31:32 -0600 Received: from pross63.u-aizu.ac.jp (pross63.u-aizu.ac.jp [163.143.162.100]) by u-aizugw1.u-aizu.ac.jp (8.6.9+2.4Wb/3.2W-u-aizugw.u-aizu.ac.jp03/30/94) with ESMTP id SAA03313 for ; Thu, 23 Mar 1995 18:31:29 +0900 Received: from localhost (localhost [127.0.0.1]) by pross63.u-aizu.ac.jp (8.6.10+2.4W/3.2W-rsvss2.u-aizu.ac.jp03/17/94) with ESMTP id SAA20924 for dbworld@cs.wisc.edu; Thu, 23 Mar 1995 18:31:28 +0900 Message-Id: <199503230931.SAA20924@pross63.u-aizu.ac.jp> To: dbworld@lucy.cs.wisc.edu Subject: 2nd Call for Papers - CISMOD 95 Date: Thu, 23 Mar 1995 18:31:27 +0900 From: Subhash Bhalla CALL for Papers - CISMOD 95 Conference The CISMOD 95 conference plans to publish its PROCEEDINGS in Springer-Lecture Notes in Computer Science series (LNCS). \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ For up-to-date information on Cismod95 conference : WWW : http://www.u-aizu.ac.jp/software/sw-db/cismod95 FTP : anonymous ftp to "ftp.u-aizu.ac.jp", look into directory u-aizu/Department/Software/Database-Lab for README, cismod95.tex(LaTeX), cismod95.ps(PostScript) and cismod95.txt files. \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ Call for Papers ---------------------------------------------- CISMOD 95 6th International Conference on Information Systems and Management of Data ---------------------------------------------- November 15 - 17,1995 Bombay (INDIA) AIMS OF THE CONFERENCE : The sixth CISMOD95 conference is being co-sponsored by IEEE India Council. It is aimed at bringing together researchers and practitioners in the information systems and database area. It will offer scientific program with paper presentations and tutorials aimed at transfer of information, and education. The conference will offer an opportunity to extensively discuss requirements, problems, and solutions in the field. Contributions should cover new requirements, concepts for implementation, management of meta-data, system architectures and experience gained in information systems and DBMSs. SUGGESTED TOPICS : The papers selected for the conference will cover all areas concerning database systems, including the following topics. Data security and Data Quality Management Parallel databases on supercomputers Deductive databases Data Modelling and Database design Database mining and knowledge discovery Distributed databases Engineering databases Temporal and active databases Hypertext/Visualization Multimedia databases Object-Oriented databases Office information systems Spatial databases Statistical and Scientific databases CASE tools and Database languages Process modelling Meta-CASE Methods engineering User interface design Requirements engineering Information systems in Health Care and other applications INFORMATION FOR AUTHORS : The conference plans to publish its proceedings in the Springer Lecture Notes in Computer Science (LNCS) series. Copies of the papers in English, should also include an abstract and a list of selected key words. The address, email and Fax Numbers of the authors should be indicated on the cover page. Submitted papers will be refereed by a panel of referees. Submit five copies of the manuscript in English (double space A4 size, 16 pages) to: SUBHASH BHALLA Database Systems Laboratory The University of Aizu Fukushima Ken, PO 965-80 (JAPAN) Phone: +(81)(242)37-2539 Fax: +(81)(242)37-2753 email: bhalla@u-aizu.ac.jp For latest information : WWW : http://www.u-aizu.ac.jp/software/sw-db/cismod95 FTP : anonymous ftp to "ftp.u-aizu.ac.jp", look into directory u-aizu/Department/Software/Database-Lab for README, LaTeX(cismod95.tex), PostScript(cismod95.ps) and Text only(cismod95.txt) files. TUTORIALS Tutorial proposals are also invited. Theses should be sent with title, abstract, level of audience expected and duration(half-day/ full-day). PROGRAM COMMITTEE : D. Agrawal, USA R. Agrawal, USA S. Bhalla, Japan (Chair) J. Biskup, Germany N. Bolloju, Hong kong J.A. Bubenko, Sweden A. Cavarero, France X. Castellani, France P. Constantopoulos, Greece U. Dayal, USA P. De, USA P. Dewan, USA V. Dhar, USA P. Dublish, India E.D. Falkenberg, The Netherlands S. Grumbach, France T. Halpin, Australia T. Ichikawa, Japan R. Jain, India H.V. Jagdish, USA S. Jajodia, USA M. Kitsuregawa, Japan M. Kobayashi, Japan P. Krishna Reddy, India A. Kumar, USA H.S. Kunii, Japan P. Loucopolous, UK A.K. Majumdar, India Peter McBrien, UK R. Mehrotra, USA S. Miranda, France I.S. Mumick, USA N. Parimala, India B. Pernici, Italy T.V. Prabhakar, India N. Prakash, India B.E. Prasad, USA S. Ram, USA M.P. Reddy, USA C. Rolland, France M. Saeki, Japan M. Scholl, Germany A. Solvberg, Norway S. Spaccapietra, Swiszerland M.V. Sreenivas, India Jaideep Srivastava, USA Vijay Kumar, USA B. Wangler, Sweden IMPORTANT DATES Papers due : May 1, 1995 Notification of acceptance : August 1, 1995 Camera-ready copies with Registration fee : August 21, 1995 Tutorial Proposal Due : August 1, 1995 Tutorial Acceptance Notification : September 1, 1995 For Further Information on Conference/Panel Participation/Industry Sponsored Tracks, contact : Organizing Secretary email : cismod95@dit.ernet.in OR Organizing Secretary email : cismod95%sirnetw@sirnetd.ernet.in +++++++++++++++++Please Cut from Here ++++++++++++++++++++++++++++++++ ------------------------------------------------------------------------------- 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 mikep@icis.qut.edu.au Thu Mar 23 20:54:18 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Thu, 23 Mar 95 20:54:11 -0600; AA11022 Received: from ovid.icis.qut.edu.au by lucy.cs.wisc.edu; Thu, 23 Mar 95 20:53:55 -0600 Received: from aristotle.icis.qut.edu.au (mikep@aristotle.icis.qut.edu.au [131.181.70.38]) by ovid.icis.qut.edu.au (8.6.9/8.6.9) with ESMTP id MAA21366 for ; Fri, 24 Mar 1995 12:53:49 +1000 Received: (from mikep@localhost) by aristotle.icis.qut.edu.au (8.6.9/8.6.9) id MAA12815; Fri, 24 Mar 1995 12:53:47 +1000 Date: Fri, 24 Mar 1995 12:53:47 +1000 From: Prof Mike Papazoglou Message-Id: <199503240253.MAA12815@aristotle.icis.qut.edu.au> To: dbworld@lucy.cs.wisc.edu Subject: O-O ER95 CFP CALL FOR PAPERS The Fourteenth International Conference on OBJECT-ORIENTED & ENTITY RELATIONSHIP MODELLING (FORMERLY THE ENTITY-RELATIONSHIP CONFERENCE) Application of Entity-Relationship & Object-Oriented Technology to Information Systems Modelling. December 13-15, 1995 Bond University, Gold Coast, Queensland, Australia THE CONFERENCE -------------- The objective of the Object-Oriented Entity-Relationship (O-O ER) Conference is is to provide a forum for researchers and practitioners in the area of conceptual modelling to interact, present existing results and explore directions that will affect the current and future generation of information systems. The conference has been renamed to encompass current technological thrusts and directions in the area of conceptual modelling and to provide a broader forum for researchers and practitioners to exchange ideas and report on progress. This year's theme will be dedicated to the Application of Object-Oriented/Entity-Relationship Technologies to Information Systems Modelling. The Entity-Relationship approach has been extensively used in many database system and information system design methodologies. Recently, Object-Oriented Technology has drawn tremendous interest not only from the research community but it has also moved into mainstream industrial software design and development. The O-O ER conference provides an opportunity towards integrating these two technologies and opens new opportunities for modelling by promoting better understanding of applications, cleaner design practices, more updatable and maintainable systems and provides a basis for re-using and retrofitting existing systems and technology. The topic of the conference is of tremendous interest to both academia and industry and one where technological advances in conceptual modelling can have a profound impact on how organisations will model and meet future business objectives and cope with an evolving technology. TOPICS OF INTEREST (not limited to:) ------------------ Original papers are solicited on, and should clearly emphasize, describe the role of modelling tools and methodologies based on the O-O and/or ER approaches. The topics of interest include: o Integrating the ER & O-O technologies, o Comparing the power and methodologies of O-O and ER modelling, o Design Methodologies for Object-Oriented Information Systems, o Re-Engineering of Database Systems, o Business Process Modelling, o Enterprise Modelling, o Active Databases, o Workflows & Flexible Transaction Models, o Intelligent Object-Oriented Systems, o View Mechanisms, o Object Dynamics, o Temporal Databases, o Geographic Information Systems, o Secure Databases, o Schema evolution, o Interoperable Information Systems, o Object-oriented Multi-media Databases, o Advanced Query Interfaces, o CASE Environments, o Expert Systems and Applications. For the purposes of O-O ER'95 modelling will be considered in a broad sense and can cover any theoretical as well as practical issue. Practitioner's papers reporting on actual experience are particularly welcome and will be reviewed in a separate category. INFORMATION FOR AUTHORS ----------------------- Five copies of original and compelling unpublished papers up to 5000 words that are not under consideration for publication elsewhere during the reviewing period should be sent to the Program Committee Chair. Submissions must include contact information (contact name, postal and e-mail address, and phone number), a 100-word abstract, and explicitly indicate the paper area. The edited proceedings of O-O ER'95 will be published by Springer-Verlag as part of the Lecture Notes in Computer Science (LNCS) series. IMPORTANT DATES (Regular papers) ------------------------------- Paper, Tutorial & Panel Submission: 21 April, 1995. Notification of Acceptance: 26 June, 1995. Camera Ready Papers due: 27 August, 1995. O-O ER'95 INDUSTRIAL & EXHIBITS PROGRAM --------------------------------------- In addition to its research related program the the OO-ER'95 conference plans an expanded industrial program which emphasizes the theme of the conference. The industrial program comprises industrial paper sessions and panels as well as industrial exhibits. O-O ER'95 INDUSTRIAL TRACK -------------------------- O-O ER'95 solicits submissions focusing on industrial experience with modelling methods applied to requirements elicitation, information architecture and system design for information systems. Industry and practitioner papers on other topics of interest to the conference are also welcomed. Topics include technical innovations in commercial products, reports on experience with using modelling tools, case studies from practitioners, comparative studies and evaluations using O-O & ER modelling technology in industrial settings. Submissions should take the form of an extended abstract (max. 2 pages) and will be evaluated by the industrial papers chair. Authors of accepted submissions will be invited to give a presentation of approx. 30 mins in the Industrial Track of the conference and will have their extended abstract included in the O-O ER'95 proceedings. An extended version of these abstract (max 8 pages) will be published in a separate proceedings available during the conference. Proposals for industrial panels should be submitted to the appropriate panel chair. EXHIBITS PROGRAM ---------------- The Exhibits Program will primarily consist of demonstrations of software tools/products and prototypes from industrial companies and research laboratories related to O-O ER design and modelling. Demonstration proposals should be submitted to the Demonstrations Chair and should include a brief description (up to 2 pages) of products/tools. Demonstrators will be expected to display up to two A1 (or four A2) sized posters for display in the exhibition area. In addition, publishers are invited to exhibit books and related journals. INDUSTRIAL & EXHIBITS SUBMISSION DEADLINES ------------------------------------------ Industrial abstracts submitted by 17 July 1995 will be evaluated for inclusion in the conference proceedings published by Springer-Verlag AG. Industrial papers submitted by 18 September 1995 will be considered for inclusion in the industrial proceedings together with full versions of the industrial abstracts published in the conference proceedings. Please, submit three hard copies of your summary which should not exceed two pages to the appropriate chair. Submissions must include contact information (contact name, postal address, and phone number). and should be sent to the appropriate chair by the following dates: industrial abstracts: 17 July 1995. industrial full papers: 18 September 1995. exhibition abstracts: 18 September 1995. industrial panels: 18 September 1995. notification of acceptance - abstracts: 4 August 1995. camera ready abstracts: 27 August 1995. notification of acceptance - industrial exhibits: 23 October, 1995. GENERAL CONFERENCE CHAIR ------------------------ Fred Lochovsky, Dept. of Computer Science, Hong-Kong Univ. of Science & Technology, Clear Water Bay, Kawloon, Hong-Kong tel. +852- 358-6996 fax. +852- 358-1477 e-mail: fred@cs.ust.hk PROGRAM COMMITTEE CHAIR ----------------------- Mike Papazoglou, Queensland Univ. of Technology, School of Information Systems, GPO Box 2434, Brisbane 4001, Australia tel. +61-7-864 1972, fax. nr. +61-7-864 1969. e-mail: mikep@icis.qut.edu.au ORGANIZING CHAIR ----------------- Zahir Tari Queensland Univ. of Technology, School of Information Systems, GPO Box 2434, Brisbane 4001, Australia tel. +61-7-864 1945, fax. nr. +61-7-864 1969. e-mail: zahirt@icis.qut.edu.au TUTORIAL CHAIR -------------- Makoto Takizawa (Tokyo Denki Univ.) Tokyo Denki Univ., Dept. of Computers & Systems Engineering, Ishizaka, Hatoyama, Saitama 350-03, Japan e-mail: taki@takilab.k.dendai.ac.jp PANEL CHAIR ---------- Leszek Maciaszek (Macquarie Univ., Sydney) Macquarie University Department of Computing E6A-319, Herring Rd, North Ryde Sydney, NSW 2109 Australia email: leszek@mpce.mq.edu.au INDUSTRY PAPER CHAIRS: --------------------- ER stream submissions: C.N.G. (Kit) Dampney Department of Computing School of MPCE, Building E6A Macquarie University Sydney, NSW 2109 ph: (02) 850-9514 fax: (02) 850-9551 email: cdampney@mpce.mq.edu.au O-O stream submissions: Julian Edwards Object Oriented Pty Ltd POBox 1826 North Sydney, NSW 2059 ph: (02) 956-5089 fax: (02) 957-1092 email: jedwards@oose.com.au PUBLICITY & DEMONSTRATIONS CHAIR: -------------------------------- Edward Lindsay Sun Microsystems Australia Pty Ltd Level 10, 80 Albert st, Brisbane Qld 4002 ph. (07) 221 2899 fax. (07) 221 2680 PROGRAM COMMITTEE ----------------- Peter Apers (Twente Univ., Holland) Janis Bubenko (SISU, Sweden) Athman Bouguettaya (QUT, Australia) Tiziana Catarci (Univ. of Rome, Italy) Sang Cha (Seoul National University, Korea) Chin-Wan Chung (KAIST, Korea) David Edmond (QUT, Australia) Ramez ElMasri (Univ. of Texas, Arlington, USA) Opher Etzion (Technion, Israel) Joseph Fong (City Polytechnic of Hong-Kong) Terry Halpin (Univ. of Queensland, Australia) Jean-Luc Hainaut (Univ. of Namur, Belgium) Igor Hawryszkiewycz (Univ. of Technology, Sydney) Yahiko Kambayashi (Koyoto Univ., Japan) Dimitris Karagiannis (Univ. of Vienna, Austria) Roger King (Univ. of Colorado, USA) Qing Li (HKUST, Hong-Kong) Tok Wang Ling (NUS, Singapore) Peri Loucopoulos (UMIST, UK) Robert Meersman (Univ. of Tilburg, Holland) John Mylopoulos (Univ. of Toronto, Canada) Erich Neuhold (GMD-IPSI, Germany) Anne Ngu (UNSW, Australia) Oscar Nierstrasz (Bern Univ., Switzerland) Marian Nodine (Brown Univ., USA) Christine Parent (Univ. of Burgundy, France) Niki Pissinou (Univ. of SouthWestern Louisiana, USA) Sudha Ram (Univ. of Arizona, USA) Gunter Schlageter (Fern Univ. Hagen, Germany) Arie Segev (Berkeley Univ., USA) Graeme Shanks (Monash Univ., Australia) Amit Sheth (Univ. of Georgia, USA) Arne Solvberg (Univ. of Trondheim, Norway) Stefano Spaccapietra (EPFL, Switzerland) A. Min Tjoa (Technical Univ. of Vienna, Austria) Kazumasa Yokota (ICOT, Japan) Kyu Whang (KIST, Korea) Carson Woo (Univ. of British Columbia) John Zeleznikow (La Trobe Univ., Australia) Up-to-date information is also available in the World Wide Web: http://www.icis.qut.edu.au/~er95 ------------------------------------------------------------------------------- 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 Mar 24 00:49:35 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Fri, 24 Mar 95 00:49:29 -0600; AA12811 Message-Id: <9503240649.AA07081@lucy.cs.wisc.edu> Received: from jimi.CS.UNLV.EDU by lucy.cs.wisc.edu; Fri, 24 Mar 95 00:49:27 -0600 Received: from koko.CS.UNLV.EDU by JIMI.CS.UNLV.EDU id aa18281; 23 Mar 95 22:47 PST To: mikep@icis.qut.edu.au Cc: Multiple recipients of list , kia@koko.CS.UNLV.EDU Subject: Re: O-O ER95 CFP In-Reply-To: Your message of "Fri, 24 Mar 1995 12:53:47 +1000." <199503240253.MAA12815@aristotle.icis.qut.edu.au> Date: Thu, 23 Mar 1995 22:47:21 -0800 From: Kia Makki This is not PDCS rather SPDC it is called symposium not conference. As I said this is the Symposium of Bahrooz Shirazy that you met in Chicago. It is a good Symposium and two years ago I had a paper there. Finish your proof and we send your paper there to Sahni and tell acceopt it and then you come there which is very close to Louisiana where the Niki teaches. Then we go there together. May be I can send the MUTX paper there. Take Care, - Kia ------------------------------------------------------------------------------- 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 laender@dcc.ufmg.br Fri Mar 24 15:54:16 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 24 Mar 95 15:53:28 -0600; AA02655 Received: from caxambu.dcc.ufmg.br by cs.wisc.edu; Fri, 24 Mar 95 15:46:32 -0600 Received: from topazio.dcc.ufmg.br by dcc.ufmg.br (4.1/SMI-4.1) id AA12804; Fri, 24 Mar 95 18:43:48 EST Received: from rubi.dcc.ufmg.br by topazio.dcc.ufmg.br (4.1/SMI-4.1) id AA27196; Fri, 24 Mar 95 18:43:28 EST Date: Fri, 24 Mar 95 18:43:28 EST From: laender@dcc.ufmg.br Message-Id: <9503242143.AA27196@topazio.dcc.ufmg.br> To: dbworld Subject: CFP - Special Issue on Databases JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (JBCS) ================================================ CALL FOR PAPERS =============== Special issue on Databases (APRIL 1996) The Journal of the Brazilian Computer Society (JBCS) is planning a Special Issue on Databases for April 1996. This Special Issue of the JBCS welcomes papers describing original ideas and new results in the area of databases. Papers may be practical or conceptual in nature. Suggested topics include but are not limited to: Active Databases Concurrency Control Cooperative Databases Data Modelling and Database Design Database Languages Deductive Databases Distributed Databases Federated and Heterogenous Databases Integrity and Security Object-Oriented Databases Performance Evaluation Query Optimization Rules and Constraints in Databases Spatial and Temporal Databases Transaction Management INSTRUCTIONS FOR AUTHORS =========== === ======= Please submit 5 copies of your paper to the Special Issue Guest Editor Alberto H. F. Laender DCC - ICEx - UFMG Caixa Postal 702 30161-970 - Belo Horizonte - MG Brasil Email: laender@dcc.ufmg.br Fax: +55-31-448-5858 Contributions will be considered for publication in JBCS if they have not been published previously and are not under consideration for publication elsewhere. Acceptance of papers for publication is subject to a peer review procedure and is conditional on revisions being made given comments from referees. Details of format for final submission will be provided for accepted papers. Authors must submit the final version in electronic format and should provide hard-copy versions for refereeing. Submitted papers are to be written in English and typed double-spaced on one side of white A4 sized paper. Each paper should be no more than 20 pages long, including all text, figures and references. The final manuscript should be approximately 8000 words in length. The first page should contain the article title (not more than 15 words), author(s)' name(s) and affiliation(s), and the name and complete mailing address (both postal and email) of the person to whom correspondence should be sent, as well as a short abstract. All contributions will be acknowledged and refereed. IMPORTANT DATES =============== Submission deadline October 2, 1995 (PAPERS MUST BE RECEIVED BY THIS DATE - THIS A FIRM DEADLINE) Notification of acceptance December 15, 1995 Electronic camera ready version January 29, 1996 For additional information on the Journal, and on how to submit papers in order to speed up final processing, contact the Editor-in-Chief Claudia Bauzer Medeiros DCC - IMECC - UNICAMP Caixa Postal 6065 13081-970 - Campinas - SP Brasil Email: cmbm@dcc.unicamp.br Fax: +55-192-397470 or use www page http://www.dcc.unicamp.br/~jbcs. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From agrawal@cs.ucsb.edu Fri Mar 24 16:22:40 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Fri, 24 Mar 95 16:22:34 -0600; AA03049 Received: from hub.ucsb.edu by lucy.cs.wisc.edu; Fri, 24 Mar 95 16:22:23 -0600 Received: from eci1.ucsb.edu by hub.ucsb.edu; id AA13223 sendmail 4.1/UCSB-2.1-sun Fri, 24 Mar 95 14:22:15 PST for dbworld@cs.wisc.edu Received: from gull.cs.ucsb.edu by eci1.ucsb.edu (1.38.193.5/UCSB-v3) id AA23507; Fri, 24 Mar 1995 14:22:12 -0800 Received: by gull (4.1/UCSB-v2) id AA03564; Fri, 24 Mar 95 14:22:12 PST Date: Fri, 24 Mar 95 14:22:12 PST From: agrawal@cs.ucsb.edu (Divyakant Agrawal) Message-Id: <9503242222.AA03564@gull> To: dbworld@lucy.cs.wisc.edu Subject: Special Issue of Information Systems CALL FOR PAPERS Information Systems Special Issue on Disaster Recovery in Database Systems D. Agrawal A. El Abbadi Department of Computer Science University of California Santa Barbara, CA 93106 Databases have become a crucial component for the survival of most organizations. Inaccessibility to the data and more importantly loss of the data may seriously jeopardize the well-being of such organizations. These considerations make disaster recovery an essential component of any database architecture. Because of the importance of this area, Information Systems is planning a special issue on Disaster Recovery for Summer 1997. The goal is to collect papers on recent important advances and to 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 papers that describe working systems in actual use are particularly solicited. Topics of interest include, but are not limited to, the following. - Novel implementations of the traditional systems-pair approach (i.e., primary-backup). - Coding-theory techniques for redundancy and disaster recovery. - Cost-effective replication mechanisms for normal operations as well as disaster recovery (note that the replication here is primarily to restore data after failures rather than for availability) - disaster recovery in LANs and WANs - requirements for innovative applications that need support for disaster recovery, e.g., libraries, telecommunications, utility distribution, life-critical applications etc. 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: Divyakant Agrawal Department of Computer Science University of California, Santa Barbara Santa Barbara CA 93106-4321 USA agrawal@@cs.ucsb.edu The following are important dates for this issue: Date Milestone ______________________________________________________________ 11/1/95 Deadline for submission of papers 3/1/95 Notification of 1st-round referee results 5/15/96 Deadline for submission of revised papers 8/15/96 Notification of final acceptance/rejection 11/1/96 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 vng@gudivada.cs.ohiou.edu Fri Mar 24 17:34:42 1995 Received: from fyvie.cs.wisc.edu by sea.cs.wisc.edu; Fri, 24 Mar 95 17:34:35 -0600; AA04967 Received: from oucsace.cs.ohiou.edu by fyvie.cs.wisc.edu; Fri, 24 Mar 95 17:34:33 -0600 Received: from himalaya.cs.OhioU.Edu (himalaya.cs.ohiou.edu [132.235.1.232]) by oucsace.cs.ohiou.edu (8.6.10/8.6.6) with SMTP id SAA00372 for ; Fri, 24 Mar 1995 18:34:28 -0500 Date: Fri, 24 Mar 1995 18:34:28 -0500 Message-Id: <199503242334.SAA00372@oucsace.cs.ohiou.edu> X-Sender: vng@gudivada.cs.ohiou.edu Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" To: dbworld@fyvie.cs.wisc.edu From: vng@gudivada.cs.ohiou.edu (Venkat N. Gudivada) Subject: Graduate and Research Assistantships - Multimedia and Database Systems X-Mailer: Ohio University Department of Electrical Engineering and Computer Science Athens, OH 45701 U.S.A. Graduate and Research assistantships are available in the Computer Science division of Electrical Engineering and Computer Science (EECS) department at Ohio University. Preference will be given to Ph.D. students. However, we also encourage M.S. students to apply. For M.S. degree, thesis is mandatory. Interested candidates are requested to first send an email message to the following indicating their research interests and academic credentials. Candidates with research interests in multimedia and database systems, contact Dr. Venkat N. Gudivada (vng@gudivada.cs.ohiou.edu). Candidates with research interests in compiling for massively parallel multicomputers, program partitioning and scheduling, contact Dr. Santosh S. Pande (sspande@monsoon.cs.ohiou.edu). About the Department: The EECS department is the largest department in the College of Engineering and has about 32 faculty members. It offers B.S., M.S., and Ph.D. programs. Active research programs in Computer Science division include Multimedia and Database Systems, Parallel and Distributed Computing, Internetworking, and Complexity Theory. About the University: Ohio University (OU) is the first institution of higher learning in the northwest territory and was chartered by the state of Ohio in 1804. OU is a major comprehensive state university in Ohio and offers undergraduate degrees in 250 majors in ten colleges. There are about 19,000 students enrolled in the main campus (Athens). About 3,000 students enroll in a variety of master's and doctoral programs and the College of Osteopathic Medicine. OU is designated as a level 2 research university (Carnegie designation). About the City: OU is located in Athens. Athens is the second oldest settlement in Ohio and is located in the scenic Appalachian hill country of southeastern Ohio. The community has a population of approximately 21,000, and provides an exceptionally pleasing atmosphere for University life. ------------------------------------------------------------------------------- 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 mjcho@spatios.cs.pusan.ac.kr Fri Mar 24 20:27:23 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Fri, 24 Mar 95 20:27:19 -0600; AA07353 Received: from garam.kreonet.re.kr by lucy.cs.wisc.edu; Fri, 24 Mar 95 20:27:13 -0600 Received: from hyowon.cc.pusan.ac.kr (hyowon.cc.pusan.ac.kr [164.125.9.3]) by garam.kreonet.re.kr (8.6.9H1/8.6.9) with SMTP id LAA14936 for ; Sat, 25 Mar 1995 11:30:04 +0900 Posted-Date: Sat, 25 Mar 1995 11:30:04 +0900 Received: from spatios.cs.pusan.ac.kr by hyowon.cc.pusan.ac.kr (5.0/Hyowon-MX-1.0) id AA11775; Sat, 25 Mar 1995 11:25:30 +0900 Received: by spatios.cs.pusan.ac.kr (4.1/SMI-4.1) id AA07540; Sat, 25 Mar 95 10:24:23 KST Date: Sat, 25 Mar 95 10:24:23 KST From: mjcho@spatios.cs.pusan.ac.kr (Cho Moon Jung) Message-Id: <9503250124.AA07540@spatios.cs.pusan.ac.kr> Apparently-To: Content-Length: 0 ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From rundenst@eecs.umich.edu Sat Mar 25 17:55:29 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Sat, 25 Mar 95 17:55:22 -0600; AA26750 Received: from berlin.eecs.umich.edu by lucy.cs.wisc.edu; Sat, 25 Mar 95 17:55:20 -0600 Received: from localhost.eecs.umich.edu (localhost.eecs.umich.edu [127.0.0.1]) by berlin.eecs.umich.edu (8.6.10/8.6.10) with SMTP id SAA12431 for ; Sat, 25 Mar 1995 18:55:18 -0500 Message-Id: <199503252355.SAA12431@berlin.eecs.umich.edu> X-Authentication-Warning: berlin.eecs.umich.edu: Host localhost.eecs.umich.edu didn't use HELO protocol To: dbworld@lucy.cs.wisc.edu Subject: ADL - ADVANCES IN DIGITAL LIBRARIES ( Date: Sat, 25 Mar 1995 18:55:17 -0500 From: "Elke A. Rundensteiner" ------------------------------------------------------------------- Elke A. Rundensteiner | Elect. Engineering & Computer Science Dep. rundenst@eecs.umich.edu| Software Systems Research Laboratory tel (313) 936-2971 | University of Michigan, Ann Arbor fax (313) 763-1503 | 1301 Beal Ave; Ann Arbor, MI 48109-2122 ------------------------------------------------------------------- ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From rundenst@eecs.umich.edu Sat Mar 25 17:57:19 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Sat, 25 Mar 95 17:57:16 -0600; AA26768 Received: from berlin.eecs.umich.edu by lucy.cs.wisc.edu; Sat, 25 Mar 95 17:57:13 -0600 Received: from localhost.eecs.umich.edu (localhost.eecs.umich.edu [127.0.0.1]) by berlin.eecs.umich.edu (8.6.10/8.6.10) with SMTP id SAA12441 for ; Sat, 25 Mar 1995 18:57:12 -0500 Message-Id: <199503252357.SAA12441@berlin.eecs.umich.edu> X-Authentication-Warning: berlin.eecs.umich.edu: Host localhost.eecs.umich.edu didn't use HELO protocol To: dbworld@lucy.cs.wisc.edu Subject: ADVANCES IN DIGITAL LIBRARIES (preliminary program and registration) Date: Sat, 25 Mar 1995 18:57:11 -0500 From: "Elke A. Rundensteiner" PRELIMINARY PROGRAM ADL'95 A Forum on Research and Technology Advances in Digital Libraries McLean Hilton at Tysons Center, Virginia Monday, May 15, 7:00pm - 9:30pm - Reception (McLean Hilton) Tuesday, May 16, 8:30am - 5:00pm and Wednesday, May 17 8:30am - 5:00pm SPONSORED BY: NASA-GSFC IN COOPERATION WITH: ACM, ARPA, IEEE Computer Society, NIST-CAIT NSF, Purdue University, Rutgers-CIMIC and UMBC CORPORATE SUPPORT FROM: AT&T and Bellcore HONORABLE CHAIR: Michael R. Nelson, Special Asst. to the President for Information Technology, The White House GENERAL CHAIR: Milton Halem, NASA-GSFC STEERING COMMITTEE: A. Aho, Columbia University; D. Atkins, Univ. of Michigan; W. Day, Prodigy; L. Holcomb, NASA; S. Howe, NCO/HPCC; D. Tiedeman, AT&T; J. Ullman, Stanford Univ. PROGRAM CO-CHAIRS: Nabil R. Adam, Rutgers Univ.; Bharat Bhargava, Purdue Univ.; Yelena Yesha, UMBC/NASA PROGRAM COMMITTEE: L. Baron, Univ. of Toronto; T. Finin, UMBC; P. Hunter, NASA; P. Kanellakis, Brown Univ.; M. Lesk, Bellcore; C. Pu, OGI; D. Rosenkrantz, Univ. at Albany-SUNY; J. Schwartz, NYU; J. Slonim, IBM Canada; H. Stone, NEC; H. Wactlar, CMU; R. Wilensky, UC Berkeley INTERNATIONAL CO-COORDINATORS: Erich Neuhold, GMD-IPSI, Germany; Shigeo Sugimoto, Univ. of Library & Info. Science, Japan PUBLICITY CO-CHAIRS: Susan Hoban, NASA-GSFC; Elke Rundensteiner, University of Michigan EXHIBIT CHAIR: Susan Hoban, NASA-GSFC This forum is intended to bring together researchers from universities, industry and government to discuss evolving research issues and applications in digital libraries. Invited speakers will share their experiences in building and using prototype systems, present their vision for the future, and address applied and theoretical research related to such areas as: capturing, and organizing data, management of heterogeneous databases and knowledge bases, and effective use of multimedia databases and knowledge bases available on various national and international networks. =============================================================================== Monday, May 15, 1995 5:30-7:00pm - Poster Session 7:00pm - 9:30pm - Reception (McLean Hilton) =============================================================================== Tuesday, May 16, 1995 8:30-9:00 Registration and Coffee 9:00-9:15 Welcome Remarks Dr. M. Halem, Chief, Space Data and Computing Division, Goddard Space Flight Center, NASA 9:15-10:00 Keynote Speaker Dr. Cordova, Chief Scientist, NASA 10:00-10:20 BREAK 10:20-11:40 Session#1.1: VISUALIZATION IN DIGITAL LIBRARIES 1. Video as Scholarly Material in the Digital Library W. Wolf, B. Liu, M. Yeung, B. Yeo, and D. Markham (Princeton Univ.) 2. Digital Libraries for Electronic News M. A. Shepherd (Dalhousie Univ., Canada), C.R. Watters (Acadia Univ., Canada), and F.J. Burkowski (Univ. of Waterloo, Canada) 3. The Visual Analysis of Textual Information: Browsing Large Document Sets J. Thomas, K. Pennock, T. Fiegel, J. Wise, M. Pottier, A. Schur, D. Lantrip, and V. Crow (Battelle, Pacific Northwest Laboratory) 4. WebJounal: Visualization of a Web Journey B. C. Dasai and S. Swiercz (Concordia Univ., Canada) 11:40-1:00 LUNCH 1:00-2:20 Forum Discussion #1 ``Research Issues in Digital Libraries'' Chair: A. Aho (Columbia University) Rapporteur: TBA 2:20-2:35 BREAK 2:35-3:05 Invited Speaker#1.1 3:05-3:35 Invited Speaker#1.2 3:35-3:50 BREAK 3:50-5:30 Session#2.1: DOCUMENT HANDLING AND INFORMATION RETRIEVAL IN DIGITAL LIBRARIES 1. Uniform Structured Document Handling Using a Constraint-based Object Approach A. Nica and E. A. Rundensteiner (Univ. of Michigan) 2. Digital Software and Data Repositories for Support of Scientific Computing R. Boisvert (NIST), S. Browne (Univ. of Tennessee), J. Dongarra (Univ. of Tennessee and Oak Ridge National Lab.), and E. Grosse (AT&T Bell Laboratories) 3. Semantic Hypermedia Retrieval in Digital Libraries S. Wiesener (Bayerisches Forschungszentrum Fur Wissensbasierte Sys., Germany), W. Kowarschick, P. Vogel, and R. Bayer (Univ. of Munchen, Germany) 4. Fuzzy Multilinkage Thesaurus Builder in Multimedia Information Systems Y. J. Gao, J.J. Lim, and A.D. Narasimhalu (National Univ. of Singapore) 5. Fuzzy Full-Text Searches in OCR Databases A. Myka and U. Guntzer (Univ. of Tubingen, Germany) 6:30-7:30 Cocktail Hour and Informal Question and Answer Session with Representatives from: ARPA, NASA and NSF 7:30- Banquet Speaker Dr. L. Smarr, Director, National Center for Supercomputing Applications. =============================================================================== Wednesday, May 17, 1995 8:30-9:00 Registration and Coffee 9:00-9:15 Welcome Remarks Dr. M. R. Nelson, Special Asst. to the President for Information Technology, The White House 9:15-10:00 Keynote Speaker The Honorary J. Billington, The Librarian of Congress 10:00-10:20 BREAK 10:20-11:40 Forum Discussion #2 ``Economic Issues in Digital Libraries'' Chair: M. Lesk, Bellcore Rapporteur: TBA 11:40-1:00 LUNCH 1:00-1:30 Invited Speaker#2.1 1:30-2:00 Invited Speaker#2.2 2:00-2:15 BREAK 2:15-3:35 Session#2.1: NETWORK-BASED INFORMATION AND RESOURCE DISCOVERY 1. Data Discovery in Large Scale Heterogeneous and Autonomous Databases S. Milliner and A. Bouguettaya (Queensland Univ. of Technology, Australia) 2. An Intelligent Agent for the K-12 Educational Community M. E. Rorvig (NASA), M. W. Hutchison (Science Applications International Corporation), R. O. Shelton (NASA), S. L. Smith (Hernandz Engineering Incorporared), and M. E. Yazbeck (LinCom Corporation) 3. Interface Issues for Interactive Multimedia Documents R. B. Allen (Bellcore) 4. Searching and Discovery of Resources in Digital Libraries N. Gershon, W. Ruh, J. LeVasseur, J. Winstead, and A. Kleiboemer (MITRE Corp.) 2:15-3:35 Session#2.2: DESIGN ISSUES AND PROTOTYPING IN DIGITAL LIBRARIES 1. The Almaden Distributed Digital Library System D.Choy, R. Dievendorff, C. Dwork, J. B. Lotspiech, R. T. Morris, L. C. Anderson, A. E. Bell, S. K. Boyer T. D. Griffin, B. A. Hoenig, J. M. McCrossin, A. M. Miller N. J. Pass, F. Pestoni, and D. S. Picciano (IBM, Almaden Research Center and Institute of Scientific Information) 2. The Alexandria Rapid Prototype: Building A Digital Library for Spatial Information J. Frew, M. Aurand, B. Buttenfield, L. Carver, P. Chang, R. Ellis, C. Fischer, M. Gardner, M. Goodchild, G. Hajic, M. Larsgaard, K. Park, M. Probert, T. Smith, and Q. Zheng (Univ. of California at Santa Barbara) 3. The ELINOR Electronic Library D. Zhao (Information Center, De Montfort Univ., UK) 4. Dienst: Building a Production Technical Report Server J. Davis, D. Krafft and C. Lagoze (Cornell Univ.) 3:35-3:50 BREAK 3:50-5:10 Forum Discussion #3 "Global Telecommunications Issues for Digital Libraries" Chair: Burton Edelson, GWU Rapporteur: TBA 5:10-5:30 Forum Issues and Responses : Recap ============================================================================= ************************* *REGISTRATION INFORMATION ************************* Please complete this form (TYPE or PRINT), and return with your payment to: Ms. Kelly Whetzel, Jorge Scientific, 7500 Greenway Center Dr.#1130, Greenbelt, MD 20770. Phone:(301)220-1701, Fax:(301)220-1704. ============================================================================== (Dr/Mr/MS/Prof.): First Name:________________Last Name:_______________________ Company/Univ.:_______________________________ Dept.:__________________________ Address:______________________________________________________________________ City:_________________________ State:_____________ Zip/Postal Code:___________ Country:____________________ Phone:________________________________ Fax:_________________________________ E-mail:_________________________________ ADVANCE (Received by May 1, 1995): ========================================== Reg. Fee ACM/IEEE ______Member($220) ______Non-Member($250) ______Student ($75) LATE/ONSITE (Received AFTER May 1, 1995): ================================================ Reg. Fee ACM/IEEE ______Member($250) ______Non-Member($280) ______Student($100) Signature:_____________________________________ Date:______________________ ************* **CCOMMODATION ************* All attendees are welcome to stay at the McLean Hilton at Tysons Corner, VA 22102-3308 (703)761-5111, Fax(703):. A block of rooms is reserved at a special rate of \$118 (single) and \$128 (double) per night (ask for the Digital Libraries Group). Reservation must be made before April 18, 1995. ====================================================== URL: http://sdcd.gsfc.nasa.gov/ISTO/DLT/ADL/ ------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------