From laks@cs.concordia.ca Mon Jan 16 10:01:33 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 16 Jan 95 10:01:30 -0600 Received: from Clyde.Concordia.CA by cs.wisc.edu; Mon, 16 Jan 95 10:01:27 -0600 Received: from cs.concordia.ca (90@manitou.cs.concordia.ca [132.205.4.3]) by clyde.concordia.ca (8.6.7/8.6.6) with SMTP id LAA11808 for ; Mon, 16 Jan 1995 11:01:25 -0500 Received: from pandora.cs.concordia.ca by manitou.cs.concordia.ca id aa10246; 16 Jan 95 15:59 GMT To: dbworld Subject: Call for Papers for TCS Journal Special Issue on Uncertainty Date: Mon, 16 Jan 95 10:59:38 -0500 From: "Laks V.S. Lakshmanan" Message-Id: <9501161559.aa10246@manitou.cs.concordia.ca> Our apologies if you receive this announcement more than once. ******************* * CALL FOR PAPERS * ******************* SPECIAL ISSUE OF THEORETICAL COMPUTER SCIENCE JOURNAL On UNCERTAINTY IN DATABASES AND DEDUCTIVE SYSTEMS IMPORTANT NOTE: Submission to this special issue of TCS is OPEN TO ALL and is *not* restricted to attendees of the post-ILPS'94 WUDDS Workshop. OBJECTIVES: Most real-life applications require an ability to represent, manage, and reason with uncertain knowledge. Examples include diagnostic applications; data mining; image, scientific, and genome databases; and legal and military applications. Numerous formalisms for dealing with uncertainty have been studied over the years, several of which are in the context of logic programming and deductive databases. A special issue of the THEORETICAL COMPUTER SCIENCE Journal will be devoted to papers describing original research of VERY HIGH QUALITY, in all aspects of uncertainty in database systems and in deductive systems such as logic programming. The research described must have ADEQUATE THEORETICAL DEPTH together with a clear indication of the USEFULNESS and APPLICABILITY of the results, to practice. The topics include, but are not limited to, the following: UNCERTAINTY FORMALISMS * numerical approaches: probabilistic, fuzzy sets, Dempster-Shafer, possibilistic, etc. * non-numerical approaches: lattice theoretic, multivalued logics, etc. * hybrid approaches SEMANTICS * uncertainty in higher order logic systems * managing uncertainty in different data models (e.g. uncertain OODBs) * reasoning with uncertainty in the presence of incompleteness and/or inconsistency QUERY PROCESSING * complexity and termination issues * query processing and optimization * constraints and uncertainty EMERGING AREAS * foundations of data mining using uncertainty reasoning * uncertainty reasoning in scientific and genome databases * uncertainty reasoning in medical research Submissions should be no more than about 30 doublespaced pages (each page having about 40 lines of text with about 75 characters per line). Papers must be original and must not have been previously published or simultaneously submitted for publication elsewhere. The papers will be reviewed based on their merit, originality and technical quality, relevance to the special issue theme, and the extent to which they will advance the frontiers of knowledge in this area. In addition, the traditional standards of quality control refereeing for TCS will apply. The approximate publication date targeted is Spring 1996. Submit 4 copies of a full paper NO LATER THAN March 15, 1995, to: Laks V.S. Lakshmanan -- TCS Special Issue Department of Computer Science Concordia University LB 941 - 11 1400 De Maisonneuve Blvd West Montreal, Quebec CANADA H3G 1M8 email: laks@cs.concordia.ca Phone: (514) 848 - 3018 Fax : (514) 848 - 2830 IMPORTANT DATES: Submissions of full papers due: March 15, 1995 Notification of acceptance/rejection: August 15, 1995 Revised final manuscripts due: October 15, 1995 Authors of accepted papers will be expected to sign the copyright form of the TCS journal. Queries concerning this special issue are welcome and should be addressed to the email address above. ------------------------------------------------------------------------------- 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 sigmpods@alpha.ces.cwru.edu Mon Jan 16 16:00:03 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 16 Jan 95 15:59:58 -0600 Received: from yalcin.CES.CWRU.Edu by cs.wisc.edu; Mon, 16 Jan 95 15:59:55 -0600 Received: by yalcin.CES.CWRU.Edu (5.64+/ane.09.11.90.2) id AA00749; Mon, 16 Jan 95 17:00:15 -0500 Date: Mon, 16 Jan 95 17:00:15 -0500 From: Meral Ozsoyoglu Message-Id: <9501162200.AA00749@yalcin.CES.CWRU.Edu> To: dbworld Subject: ACM SIGMOD'95, List of Accepted Papers Cc: billchu@uncc.edu, ozsoy@ces.cwru.edu PAPERS ACCEPTED FOR 1995 ACM SIGMOD CONFERENCE Enhancing Database Correctness: a Statistical Approach (Hou, Zhang) Merging Large Databases in Parallel (Stolfo, Hernandez) Copy Detection Mechanisms for Digital Documents (Brin, Davis, Garcia-Molina) Parallel Evaluation of Multi-join Queries (Wilschut, Flokstra, Apers) Towards an Effective Calculus for Object Query Languages (Fegaras, Maier) The SPIFFI Scalable Video-on-Demand System (Freedman, DeWitt) Implementing Crash Recovery in QuickStore: A Performance Study (White, DeWitt) Incremental Maintenance of Views with Duplicates (Libkin, Griffin) Topological Relations in the World of Minimum Bounding Rectangles: a Study with R-trees (Papadias, Theodoridis, Sellis, Egenhofer) A Database Interface for File Updates (Milo, Abiteboul, Cluet) Dynamic Resource Brokering for Multi-User Query Execution (Davison, Graefe) Hypergraph Based Reorderings of Outer Join Queries with Complex Predicates (Bhargava, Goel, Iyer) View Maintenance in a Warehousing Environment (Zhuge, Hammer, Widom, Garcia-Molina) Applying Update Streams in a Soft Real-Time Database System (Adelberg, Garcia-Molina, Kao) OODB Indexing by Class-Division (Kanellakis, Ramaswamy) Broadcast Disks: Data Management for Asymmetric Communications Environments (Franklin, Acharya, Alonso, Zdonik) FastMap: A Fast Algorithm for Indexing, Data-Mining and Visualization of Traditional and Multimedia Datasets (Lin, Faloutsos) Reducing Multidatabase Query Response Time by Tree Balancing (Shan, Dayal, Du) An Effective Hash Based Algorithm for Mining Association Rules (Park, Chen, Yu) The Lyric Language: Constraining Objects (Brodsky, Kornatzky) Fault Tolerant Design of Multimedia Servers (Muntz, Berson, Golubchik) Join Queries with External Text Sources: Execution and Optimization Techniques (Chaudhuri, Dayal, Yan) Efficient Maintenance of Materialized Mediated Views (Lu, Moerkotte, Schu, Subrahmanian) A Critique of Ansi SQL Isolation Levels (O'Neil, Berenson, O'Neil, Gray, Melton) A General Solution of the N-dimensional B-tree Problem (Freeston) Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks (Adya, Gruber, Liskov, Maheshwari) Semantic Assumptions and Query Evaluation in Temporal Databases (Bettini, Wang, Bertino, Jajodia) Nearest Neighbor Queries (Roussopoulos, Kelley, Vincent) Temporal Conditions and Integrity Constraints in Active Database Systems (Sistla, Wolfson) The Handwritten Trie: Indexing Electronic Ink (Aref, Vallabhaneni, Barbara') Recovery Protocols for Shared Memory Database Systems (Molesky, Ramamritham) OFL: A Functional Execution Model for Object Query Languages (Gardarin, Machuca, Pucheral) Adapting Materialized Views after Redefinitions (Gupta, Mumick, Ross) Adaptive Parallel Aggregation Algorithms (Shatdal, Naughton) Balancing Histogram Optimality and Practicality for Query Result Size Estimation (Ioannidis, Poosala) An Online Video Placement Policy based on Bandwith to Space Ratio (BSR) (Sitaram, Dan) ------------------------------------------------------------------ For pointers to up-to-date online information on ACM SIGMOD/PODS'95, send a (nonempty) email message to sigmpods95@ces.cwru.edu ------------------------------------------------------------------ and email message to sigmpods95@ces.cwru.edu ------------------------------------------------------------------------------- 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 somasekh@fiu.edu Mon Jan 16 17:26:45 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 16 Jan 95 17:26:40 -0600 Received: from ns.fiu.edu by cs.wisc.edu; Mon, 16 Jan 95 17:26:38 -0600 Received: from solix.fiu.edu by rottweiler.fiu.edu; (5.65/1.1.8.2/26Aug94-0438PM) id AA13307; Mon, 16 Jan 1995 18:23:01 -0500 Date: Mon, 16 Jan 1995 18:23:01 -0500 From: Manjunath B Somasekhar Message-Id: <9501162323.AA13307@rottweiler.fiu.edu> To: dbworld Subject: Recruitment FLORIDA INTERNATIONAL UNIVERSITY School of Computer Science and High Performance Database Research Center. Database researchers of outstanding ability are invited to apply for our tenure track faculty positions at the level of Assistant Professor. A Ph.D. in computer science or related area is required. The successful candidates must be committed to excellence in developing a high quality, externally supported program of research. Our salary packages are highly competitive. The School of Computer Science is a designated program of excellence at F.I.U. and enjoys strong support from the University administration. It has 24 faculty members and offers B.S., M.S. and Ph.D. degrees in computer science. The current enrollment is approximately 500 undergraduate and 68 graduate students. The School of Computer Science operates a large a network of state-of-the-art workstations and also shares in the significant computing resources maintained on campus. Applications, including a letter of interest, curriculum vita, e-mail address, and the names of three references, should be sent to: Dr. Raimund K. Ege, Chairperson, Recruitment Committee, School of Computer Science, Florida International University, University Park, Miami, FL 33199. Applications must be postmarked no later than January 19, 1995. If you may be interested in the database researcher position but cannot submit an application by that time, please e-mail a pro-forma application statement, addressed to Dr. Ege, to somasekh@solix.fiu.edu by 1.19.95. Further information can be obtained by phone at (305) 348-2744, via e-mail from recruit@scs.fiu.edu, or on the WWW at http://www-cs.fiu.edu/. Florida International University is a member of the State University System of Florida and is an equal opportunity/affirmative action/equal access employer. =============================================== High-performance Database Research Center Naphtali D. Rishe, Director Mission The High-performance Database Research Center (HPDBRC) conducts research on database management systems and various applications, leading to the development of new types of database systems and refinement of existing database systems. The HPDBRC, a research division of the Florida International University School of Computer Science, has a strong commitment to training graduate students and preparing them for their future roles as scholars and specialists employed by industry. Funding The HPDBRC is funded by government agencies and industry. At $3.8 million, NASA currently provides the largest amount of funding for the Center. Other sponsors include: National Science Foundation, U.S. Department of Defense (BMDO, ARO, USAF, and DISA), U.S. Department of the Interior, U.S. Information Agency, NATO, Florida Department of Commerce, Florida Department of Education, Baxter Corporation. Research Scope The HPDBRC is developing a highly parallel database machine based on the semantic/object-oriented approach. Our research aims to significantly improve the usability and efficiency of highly parallel database computers and machine clusters (tightly networked groups of machines). We are developing algorithms and a prototype database management system that will have substantial advantages over current database machines. Our object-oriented system is based on the Semantic Binary Model of databases. Recent results in database theory and applications show considerable advantages of the Semantic Binary Model in comparison to the Relational Data Model. A semantic database system will have better logical properties: (1) friendlier and more intelligent generic user interfaces based on the stored meaning of the data, (2) comprehensive enforcement of integrity constraints, (3) greater flexibility, and (4) substantially shorter application programs. Our system will also provide (5) higher efficiency for both small and massive numbers of processors and (6) will allow better exploitation of parallelism for data storage and processing. The Center also conducts research on such theoretical and applied issues as database design methodology, database design tools, information analysis, multi-media databases, distributed databases, database languages, data compression, and spatial databases. In addition, the Center designs specific database systems for highly-complex applications. We are presently developing database systems for the Everglades National Park and NASA that are intended for storage and processing of large amounts of earth science observations. Staff Professors: Y. Deng, C. Orji, N. Rishe (Director), W. Sun (Associate Director) Research assistants: M. Alexopoulos, K. Beznosov, I. Bluvstein, S. Chen, W. Du, S. Graham, S. Guo, S. Hong, Y. Ivanov, R. Kallem, V. Ladyzhets, Y. Ling, L. Loureiro, S. Lu, T. Riley, Z. Rong, A. Shaposhnikov, T. Shoshkina, M. Somasekhar Please address inquires about the Center to: Manjunath B. Somasekhar School of Computer Science, FIU, University Park, Miami, FL 33199 Day: (305)348-3743, evening: 553-4059, beeper: 615-8635 Fax: 348-3549, Internet: somasekh@fiu.edu ------------------------------------------------------------------------------- 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 Mon Jan 16 23:44:11 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 16 Jan 95 23:44:07 -0600 Received: from ovid.icis.qut.edu.au by cs.wisc.edu; Mon, 16 Jan 95 23:44:02 -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 PAA01830 for ; Tue, 17 Jan 1995 15:43:53 +1000 Received: (from mikep@localhost) by aristotle.icis.qut.edu.au (8.6.9/8.6.9) id PAA02883 for dbworld@cs.wisc.edu; Tue, 17 Jan 1995 15:43:52 +1000 Date: Tue, 17 Jan 1995 15:43:52 +1000 From: Prof Mike Papazoglou Message-Id: <199501170543.PAA02883@aristotle.icis.qut.edu.au> To: dbworld Subject: O-O ER95 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 --------------- Paper, Tutorial & Panel Submission: 21 April, 1995. Notification of Acceptance: 26 June, 1995. Camera Ready Papers due: 27 August, 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.) PANEL CHAIR ---------- Leszek Maciaszek (Macquarie Univ., Sydney) 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) ------------------------------------------------------------------------------- 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 Tue Jan 17 01:09:26 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 17 Jan 95 01:09:22 -0600 Received: from u-aizugw-hub.u-aizu.ac.jp by cs.wisc.edu; Tue, 17 Jan 95 01:09:17 -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 QAA07075 for ; Tue, 17 Jan 1995 16:09:14 +0900 Received: from localhost (bhalla@localhost) by pross63.u-aizu.ac.jp (8.6.5+2.3W/3.2W-rsvss2.u-aizu.ac.jp03/17/94) id QAA16749 for dbworld@cs.wisc.edu; Tue, 17 Jan 1995 16:09:13 +0900 Date: Tue, 17 Jan 1995 16:09:13 +0900 From: Subhash Bhalla Message-Id: <199501170709.QAA16749@pross63.u-aizu.ac.jp> To: dbworld 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 technical paper presentations as well as 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 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 Knowledge base systems 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 aims at bringing out its full proceedings (to be published by a publisher). 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 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 P. Dublish, India E.D. Falkenberg, The Netherlands 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. 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 : OR Organizing Secretary email : cismod95@dit.ernet.in C/O Prof. Naveen Prakash Delhi Institute of Technology(DIT) Kashmere Gate, Delhi 110 006, INDIA. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ------------------------------------------------------------------------------- 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 sigmpods@alpha.ces.cwru.edu Tue Jan 17 15:45:39 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 17 Jan 95 15:45:34 -0600 Received: from yalcin.CES.CWRU.Edu by cs.wisc.edu; Tue, 17 Jan 95 15:45:31 -0600 Received: by yalcin.CES.CWRU.Edu (5.64+/ane.09.11.90.2) id AA01124; Tue, 17 Jan 95 16:46:03 -0500 Date: Tue, 17 Jan 95 16:46:03 -0500 From: Meral Ozsoyoglu Message-Id: <9501172146.AA01124@yalcin.CES.CWRU.Edu> To: dbworld Subject: ACM PODS'95, Accepted Papers Cc: ozsoy@ces.cwru.edu PAPERS ACCEPTED FOR 1995 ACM PODS CONFERENCE Sequences, Datalog and Transducers (Giansalvatore Mecca, Anthony J. Bonner) On the Complexity of Bounded-Variable Queries (Moshe Y. Vardi) Using Witness Generators to Support B-directional Update Between Object-Based Databases (Ti-Pin Chang, Richard Hull) Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data (Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher) Measuring Infinite Relations (Jan Chomicki, Gabriel Kuper) Structural Totality and Constraint Stratification (Kenneth A. Ross) The Chronicle Data Model (H.V. Jagadish, Inderpal Singh Mumick, Abraham Silberschatz) Scheduling Problems in Parallel Query Optimization (Chandra Chekuri, Waqar Hasan, Rajeev Motwani) Semantic Query Optimization in Datalog Programs (Alon Y. Levy, Yehoshua Sagiv) Answering Queries Using Views (Alon Y. Levy, Alberto O. Mendelzon. Yehoshua Sagiv, Divesh Srivastava) Similarity-Based Queries (H. V. Jadadish, Alberto O. Mendelzon, Tova Milo) Normalizing Incomplete Databases (Leonid Libkin) Space-Bounded FOIES (Guozhu Dong, Jianwen Su) Dense-Order Constraint Databases (Stephane Grumbach, Jianwen Su) The Reliability of Queries (Michel de Rougemont) Semantics and Expressiveness Issues in Active Databases (Philippe Picouet, Victor Vianu) Finite Queries do not Have Effective Syntax (Alexei P. Stoloboushkin, Michael A. Taitslin) On Lower Bounds for Window Query Perfomance in Spatial Data Structures (Bernd-Uwe Pagel, Jans-Werner Six, Mario Winter) Increasing the Resilience of Atomic Commit at No Additional Cost (Idit Keidar, Danny Dolev) The Size of a Revised Knowledge Base (Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf) Query Optimization for Limited Operation Sets (Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman) Applying an update method to a set of receivers (Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche) Magic Factoring of Closure Programs (Peter T. Wood) Safe Locking Policies for Dynamic Databases (Vinay K. Chaudhri, Vassos Hadzilacos) Algebras for Querying Text Regions (Mariano P. Consens, Tova Milo) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ For pointers to up-to-date online information on ACM SIGMOD/PODS'95 (which is available via ftp, www, and gopher) send an email message to sigmpods95@ces.cwru.edu +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ------------------------------------------------------------------------------- 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 roddick@unisa.edu.au Wed Jan 18 02:11:30 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Wed, 18 Jan 95 02:11:22 -0600 Received: from LV.Levels.UniSA.EDU.AU by cs.wisc.edu; Wed, 18 Jan 95 02:11:17 -0600 Received: from [130.220.18.143] ("port 36769"@UNISA201562.Levels.UniSA.Edu.Au) by Levels.UniSA.Edu.Au (PMDF V4.3-13 #6043) id <01HM02UBG28090PADH@Levels.UniSA.Edu.Au>; Wed, 18 Jan 1995 18:40:55 +1030 Date: Wed, 18 Jan 1995 18:40:07 +0930 From: roddick@unisa.edu.au (John Roddick) Subject: ACSC'95/ADC'95 Programme X-Sender: cisjfr@lv.levels.unisa.edu.au To: dbworld Message-Id: <01HM02UYF3KO90PADH@Levels.UniSA.Edu.Au> X-Envelope-To: dbworld@cs.wisc.edu Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable THE COMPUTER SCIENCE ASSOCIATION Presents ACSC'95 18TH AUSTRALASIAN COMPUTER SCIENCE CONFERENCE 1 - 3 FEBRUARY 1995 ADC'95 6TH AUSTRALASIAN DATABASE CONFERENCE 30 - 31 JANUARY 1995 The Ramada Grand Hotel, Glenelg, Adelaide, Australia PROGRAMME The Computer Science Association is pleased to present the Eighteenth Australasian Computer Science Conference, ACSC'95, and the Sixth Australasian Database Conference, ADC'95, to be jointly hosted by the =46linders University of South Australia, the University of Adelaide and the University of South Australia. The aim behind both conferences is to stimulate the exchange of ideas and information among computer scientists, especially those working in academic and research institutions in Australia and New Zealand. The proceedings of both conferences will be published as issues of the Australian Computer Science Communications. AUSTRALASIAN DATABASE CONFERENCE ADC'95 - Monday, 30 January 1995 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D 8.30 a.m. - 9.00 a.m. - Registration 9.00 a.m. - 9.30 a.m. - Welcome and Opening, Hon. John Olsen MP, Minister for Industry, Manufacturing, Small Business and Regional Development Session Chair: Chris Marlin, Flinders U. 9.30 a.m. - 10.30 a.m. - Plenary session, "Databases in Machine Perception", Prof. Mary O'Kane, The University of Adelaide Session Chair: Ron Sacks-Davis, CITRI 10.30 a.m. - 11.00 a.m. - Morning Tea 11.00 a.m. - 12.30 p.m. - Document Databases and Hypermedia Session Chair: Janet Verbyla, Flinders U. "The ELF data model and SGQL query language for structured document databases", T. Arnold-Moore, M. Fuller, B. Lowe, J. Thom and R. Wilkinson, R.M.I.T. "A connectionist view on document classification", Dieter Merkl, U. Vienna "Declarative link specifications for reuse of hypermedia", Stephen T. Hood, D.S.T.O. 12.30 p.m. - 1.30 p.m. - Lunch Break - own arrangements 1.30 p.m. - 3.00 p.m. - Interoperability and Re-engineering Session Chair: Peter Bernus, Griffith U. "Schema analysis: methodology, techniques and prototype", Jian Yang, U.N.S.W., Pin Chen, Aust.Nat.U., and Mike Papazoglou, Queensland U.T. "Reverse engineering using verbalization techniques", Linda Campbell, U. Queensland 1.30 p.m. - 3.00 p.m. - Security Session Chair: Ian McDonald, Otago U. "A cryptographic solution to discretionary access control in structurally object-oriented databases", Ahmad Baraani-Dastjerdi, Janusz R. Getta= , Josef Pieprzyk and Reihaneh Safavi-Naini, U. Wollongong "Information security in mobile databases", Thomas Hardjono and Jennifer Seberry, U. Wollongong "Sanitisation as a constraint on multilevel secure relational databases", Janet Aisbett and Greg Gibbon, D.S.T.O. 3.00 p.m. - 3.30 p.m. - Afternoon Tea 1.30 p.m. - 3.00 p.m. - Spatial databases and types Session Chair: John Roddick, U.South Aust. "Representation and manipulation of data collections using generic types", P. Rajagopalan, Curtin U., and C.P. Tsang, U. Western Aust. "Spatial joins by precomputation of approximation", Hongjun Lu, Rong-Hui Luo and Beng Chin Ooi, Nat.U.Singapore "Modeling highly variable spatio-temporal data", T.-S. Yeh and B. de Cambray, PRISM 1.30 p.m. - 3.00 p.m. - Distributed Databases Session Chair: Bala Srinivasan, Monash U. "A critical analysis of distributed database recovery protocols", V. Constantinidis, Monash U. "Parallel query processing in object-oriented database systems", C.H.C. Leung and D. Taniar, Victoria U.T. "Managing persistent objects in a distributed environment", Atma Beeharry, Alex Delis and Athman Bouguettaya, Queensland U.T. 6.30 p.m. - 10.30 p.m. - Conference Dinner, Flinders University ADC'95 - Tuesday, 31 January 1995 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 9.30 a.m. - 10.30 a.m. - Plenary session, "Nontraditional Databases", Prof. Hanan Samet, The University of Maryland Session Chair: Justin Zobel, R.M.I.T. 10.30 a.m. - 11.00 a.m. - Morning Tea 11.00 a.m. - 12.30 p.m. - Algorithms Session Chair: James Harland, R.M.I.T. "Logging in main memory databases", Margaret H. Eich and Xi Li, Southern Methodist U. "Adaptive buffer allocation", Hongjun Lu and Kian-Lee Tan, Nat.U.Singapore "A feedback mechanism for query by navigation", F.C. Berger and Th.P. van der Weide, U. Nijmegen 12.30 p.m. - 1.30 p.m. - Lunch Break 1.30 p.m. - 3.00 p.m. - Deductive Databases and their Applications Session Chair: Guozhu Dong, U. Melbourne "Constructing a legal database on Quixote", Chie Takahashi, JIPDEC, and Kazumasa Yokota, ICOT "Partial view materialisation in deductive databases---An empirical study", W.-C. Wong, Cal State U., and L. Bic, U. California "Issues in active databases", James A. Bailey and Kotagiri Ramamohanarao, U. Melbourne 1.30 p.m. - 3.00 p.m. - Query Processing Session Chair: Millist Vincent, U.South Aust. "Computer supported query formulation in an evolving context", A.H.M. ter Hofstede, U. Nijmegen, H.A. Proper, U. Queensland, and Th.P. van der Weide, U. Nijmegen "Mapping relational queries to network queries", P. Bernus, R.W. Topor and R.Wong, Griffith U. "Improved inverted file processing for large text databases", Alistair Moffat, U. Melbourne, Justin Zobel, R.M.I.T., and Shmuel T. Klein, Bar=1EIlan U. 5.30 p.m. - 7.30 p.m. - ACSC'95 Registration, Ramada Grand Hotel, Ballroom ACSC'95 Reception, Ramada Grand Hotel, Poolside AUSTRALASIAN COMPUTER SCIENCE CONFERENCE ACSC'95 - Wednesday, 1 February 1995 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 8.30 a.m. - 9.00 a.m. - Registration 9.00 a.m. - 9.30 a.m. - Welcome and Opening, Hon. Dean Brown MP, Premier of South Australia Session Chair: Chris Marlin, Flinders U. 9.30 a.m. - 10.30 a.m. - Plenary session, "New Modes of Interaction: Embodied Systems", Prof. Rodney Brooks, Massachusetts Institute of Technology Session Chair: Ramamohanarao Kotagiri, U. Melbourne 10.30 a.m. - 11.00 a.m. - Morning Tea 11.00 a.m. - 12.30 p.m. - Environments I Session Chair: Stefan Landher, D.S.T.O. "Behavioural retrieval from class libraries", Steven Atkinson and Roger Duke, U. Queensland "Towards a formal description of tool integration frameworks", Jennifer G. Harvey, U. South Aust., and Chris D. Marlin, Flinders U. "Integrating links and versioning in document management", Chuen Y. Lo, R.M.I.T. 11.00 a.m. - 12.30 p.m. - Artificial Intelligence Session Chair: John Debenham, U.T., Sydney "The BeBOP system", Jason Lee, U. Queensland, and Andrew Davison, U. Melbourne "A nonmonotonic reasoning belief revision system", Simon Dixon, Flinders U., and Wayne Wobcke, U. Sydney "Multi-agent real-time 3D tracking in robot vision", Tak Keung Cheng, Leslie Kitchen and Zhi=1EQiang Liu, U. Melbourne 11.00 a.m. - 12.30 p.m. - Architecture I Session Chair: Neil Bergmann, Flinders U. "Multiphase multirate arrays", Patrick M. Lenders, U. New England, and Sanjay Rajopadhye, IRISA "Optimal algorithms for constrained reconfigurable meshes", B. Beresford-Smith, O. Diessel and H. ElGindy, U. Newcastle "Divide-and-conquer mapping of parallel programs onto hypercube computers"= , Sam Lor, Hong Shen and Piyush Maheshwari, Griffith U. 12.30 p.m. - 1.30 p.m. - Lunch Break 1.30 p.m. - 3.00 p.m. - Parsers Session Chair: Michael Groves, Flinders U. "Composing grammar transformations to construct a specification of a parser", Luke Wildman and Ian Hayes, U. Queensland "LRNL(1): LR(1) with nonterminal lookaheads and its benefits for incremental parsing", Warren X. Li, Richard Thomas and Chris=20 McDonald, U. Western Aust. "A two-stack (bottom-up) parser construction: Beyond LR parsing without backtracking", Bob Buckley, U. South Aust., and Michael Oudshoorn, U. Adelaide 1.30 p.m. - 3.00 p.m. - Abstracting Knowledge Session Chair: David Powers, Flinders U. "Abstraction of business rules in object-oriented design", Hirotaka Sakai, Chuo U. "Efficient modelling of domains for computer tutoring systems", S.P. Smith and R.H. Kemp, Massey U. "Engineering the knowledge base", John Debenham, U.T., Sydney 1.30 p.m. - 3.00 p.m. - Panel: Innovative teaching of computing Session Chair: Jenny Edwards, U.T., Sydney Panelists to include:, Bob Cohen, U. Newcastle Andrew Lister, U. Queensland Chris Marlin, Flinders U. Rodney Topor, Griffith U. 3.00 p.m. - 3.30 p.m. - Afternoon Tea 3.30 p.m. - 5.00 p.m. - Plenary session, Annual Meeting of the Computer Science Association Session Chair: Chris Barter, U. Adelaide 6.30 p.m. - 11.00 p.m. - Conference Gourmet Barbeque, Flinders University ACSC'95 - Thursday, 2 February 1995 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 9.30 a.m.-10.30 a.m. - Plenary session, "Modular Supercomputing", Forest Baskett, Silicon Graphics Session Chair: Chris Barter, U. Adelaide 10.30 a.m.- 11.00 a.m. - Morning Tea 11.00 a.m. - 12.30 p.m. - Logic Programming Languages Session Chair: John Staples, U. Queensland "Implementation and development issues for the linear logic programming language Lygon", Michael Winikoff, U. Melbourne and James Harland, R.M.I.T. "A simple semantics for logic programming languages with dynamic scheduling", Kim Marriott, Monash U., Moreno Falaschi, U. Padova, Maurizio Gabbrelli, CWI, and Catuscia Palamidessi, U. Genova "Mercury, an efficient purely declarative logic programming language", Z. Somogyi, F.J. Henderson and T.C. Conway, U. Melbourne 11.00 a.m. - 12.30 p.m. - Persistent Systems Session Chair: Fred Brown, U. Adelaide "Reducing the extent of cascadable operations in stable distributed persistent stores", Rasool Jalili and Frans A. Henskens, U. Sydney "Persistence in the Grasshopper kernel", Anders Lindstr=F6m, Rex di Bona, U. Sydney, Alan Dearle, U. Stirling, Stephen Norris, John Rosenberg, U. Sydney, and Francis Vaughan, U. Adelaide "Naming and causal delivery in the Grasshopper operating system", Rex di Bona, U. Sydney, Alan Dearle, U. Stirling, David Hulse, U. Adelaide, Anders Lindstr=F6m, John Rosenberg, U. Sydney, and Francis Vaughan, U. Adelaide 11.00 a.m. - 12.30 p.m. - Fault Tolerance Session Chair: John Hurst, Monash U. "An orthogonal classification of multicast mechanisms", Xiaohua Jia, U. Queensland and Jiannong Cao, U. Adelaide "The design and implementation of Moony: a fault tolerant distributed shared memory system", Yen-Wen Lin, Nat. Taiwan U., Deron Liang, Academia Sinica, Shyan-Ming Yuan, Nat.Chiao Tung U., and Feipei Lai, Nat.Taiwan U. "Fault tolerant real-time communication with reduced resource overhead", Cheryl Pope and Jay Yantchev, U. Adelaide 12.30 p.m. - 1.30 p.m. - Lunch Break 1.30 p.m. - 3.00 p.m. - Visual Programming Session Chair: Paul Calder, Flinders U. "Parallel programming languages: the visual advantage", Nicole Harvey and John Morris, U. Tasmania "Unparsing flowcharts from abstract syntax trees in a multiple view software development environment", David Jacobs and Chris Marlin, Flinders U. "Parsing visual languages", Sitt Sen Chok and Kim Marriott, Monash U. 1.30 p.m. - 3.00 p.m. - Security I Session Chair: George Mohay, Queensland U.T. "Security enhanced direct store delivery system", Nitin Devikar and Yuliang Zheng, U. Wollongong "Generalized cumulative arrays and their applications to secret sharing schemes", Chris Charnes and Josef Pieprzyk, U. Wollongong "The ring based conference authentication service", Damien de Paoli and Andrzej Goscinski, Deakin U. 1.30 p.m. - 3.00 p.m. - Architecture II Session Chair: Todd Rockoff, Flinders U. "The 2D wavelet transform on a SIMD torus of scanline processors", R. Lang= , A. Spray and H. Schr=F6der, U. Newcastle "Monash secure RISC multiprocessor: performance simulation", V.J. Fazio, R.D. Pose and J.R. Wells, Monash U. "Thetis: a parallel processor leveraging commercial technology", R.R. Gregg, D. Herbert, J. McCoull and J. Morris, U. Tasmania 3.00 p.m. - 3.30 p.m. - Afternoon Tea 3.30 p.m. - 5.00 p.m. - Layout Session Chair: Geoff Roy, Murdoch U. "Requirements of layout creation methods for diagram user interfaces", Tao Lin, C.S.I.R.O. and Peter Eades, U. Newcastle "An integrated approach to the floorplanning, placement and routing of hierarchical designs", M. Saheb Zamani and G.R. Hellestrand, U.N.S.W= .. "CIGRAPHS: a new graph model", Wei Lai, Edith Cowan U. and Peter Eades, U. Newcastle 3.30 p.m. - 5.00 p.m. - Distributed Systems Session Chair: Andrew Lister, U. Queensland "A LAN-based comparison of IPC abstractions", Stephen Milliner and Alex Delis, Queensland U.T. "Efficient recognition of events in a distributed system", John Gough and Glenn Smith, Queensland U.T. "Load balancing and workstation autonomy on Amoeba", W. Zhu, C.F. Steketee, U. South Aust., and B. Muilwijk, Delft U.T. 3.30 p.m. - 5.00 p.m. - Formal Methods Session Chair: Doug Grant, Swinburne U.T. "Algebraic semantics of imperative statements", A.V. Zamulin, U. Sains Malaysia "Program verification in a transformational environment", Andrew D. McGettrick, U. Strathclyde and Owen Traynor, U. Queensland "Extending Z with modules", Owen Traynor, Ed Kazmierczak, Peter Kearney, Li Wang, U. Queensland and Einar Karlsen, U. Bremen 6.30 p.m. - 11.00 p.m. - Conference Dinner, Hardy's Winery, Reynella After dinner speaker, "What is Experimental Computer Science?", Prof. Larry Snyder, University of Washington Session Chair: Chris Marlin, Flinders U. ACSC'95 - Friday, 3 February 1995 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 9.30 a.m.-10.30 a.m. - Plenary session, "The Digital Library System OMNIS/Myriad", Rudolf Bayer, Technical University of Munich Session Chair: John Rosenberg, U. Sydney 10.30 a.m.- 11.00 a.m. - Morning Tea 11.00 a.m. - 12.30 p.m. - Environments II Session Chair: Andrew Wendelborn, U. Adelaide "Improving editing environments by integrating attribute grammars and relations", Warren Li and Chris McDonald, U. Western Aust. "A simple implementation of divide and conquer parallelism (expressed in Haskell)", Paul Roe, Queensland U.T. "State in functional programming: a survey", Nigel Perry and Neil Leslie, Massey U. 11.00 a.m. - 12.30 p.m. - Databases Session Chair: Chi-Ping Tsang, U. Western Aust. "GB-ordering: a dynamic and efficient 2-d spatial access method", W.W. Read, James Cook U. "Insertion anomalies and the justification for 4NF in relational databases", Millist W. Vincent, U. South Aust. "Identity preservation and normal forms in relational databases", Millist W. Vincent, U. South Aust. 11.00 a.m. - 12.30 p.m. - VLSI Session Chair: George Milne, U. South Aust. "Using soliton circuits to build molecular computers", M.P. Groves and C.D. Marlin, Flinders U. "Asynchronous logic techniques for data-rate matching and area-time reduction", Neil W. Bergmann, Flinders U. "Bounding the expected size of irredundant forms", Luke O'Connor, U. Queensland 12.30 p.m. - 1.30 p.m. - Lunch Break 1.30 p.m. - 3.00 p.m. - Language Implementation Session Chair: Michael Oudshoorn, U. Adelaide "Register allocation in the Gardens Point compilers", J. Gough and J. Lederman, Queensland U.T. "Evaluation of automatically-generated compilers", Anthony M. Sloane, James Cook U. "Exploring the boundaries of static safety in persistent application systems", R.C.H. Conner, Q.I. Cutts, G.N.C. Kirby and R. Morrison, U. St.Andrews 1.30 p.m. - 3.00 p.m. - Security II Session Chair: Andrezej Goscinski, Deakin U. "Keyboard user verification: towards an accurate, efficient and ecologically valid algorithm", Ren=E8e Napier, William Laverty, Doug Mahar, Ron Henderson, Michael Hiron and Michael Wagner, Aust.Nat.U. "New normal sequences of length 25", M. Gysin and J. Seberry, U. Wollongong "On the automation of GNY logic", A.M. Mathuria, R. Safavi-Naini and P.R. Nickolas, U. Wollongong 1.30 p.m. - 3.00 p.m. - Strings and Compression Session Chair: Richard Brent, A.N.U. "The theory of termination orderings on strings: exposition and examples", U. Martin, U. St.Andrews "Limited-memory predictive compression for Chinese text", Phil Vines and Justin Zobel, R.M.I.T. "Practical length-limited coding for large alphabets", Andrew Turpin and Alistair Moffat, U. Melbourne 3.00 p.m. - 3.30 p.m. - Afternoon Tea 3.30 p.m. - 5.00 p.m. - Polymorphic Programming Languages Session Chair: Ron Morrison, U. St.Andrews "Bounded-space tagless garbage collection for first order polymorphic languages", Mike McGaughey, Monash U. "A polymorphic language with first-class modules", J.L. Ophel, La Trobe U. "Polynomial polymorphism", C. Barry Jay, U.T., Sydney 3.30 p.m. - 5.00 p.m. - Concurrency Session Chair: Rhys Francis, C.S.I.R.O. "Program parallelization based on an abstract computational tuple-space model", Pin Chen, E.V. Krishnamurthy, Aust.Nat.U., and Jian Yang, U.N.S.W. "Process algebras and the rapid simulation of highly concurrent systems", Martin Bate, Alex Cowie, George Milne U. South Aust., and Gordon Russell, U. Strathclyde "Implementation and performance of the MPI message passing interface on the Fujitsu AP1000 multicomputer", David Sitsky, David Walsh, Chris Johnson, Aust.Nat.U. 3.30 p.m. - 5.00 p.m. - Algorithms Session Chair: Alistair Moffat, U. Melbourne "An optimal parallel algorithm for the Euclidean TSP on EREW PRAM", Shao Dong Chen, Hong Shen and Francis Sureweera, Griffith U. "Simple parallel algorithms for the replacement edge problem and related problems on spanning trees", Jyrki Katajainen and Jesper Larsson Traff, Copenhagen U. "On the computational complexity of matching on chordal and strongly chordal graphs", Elias Dahlhaus, U. Sydney, and Marek Karpinski, U. Bonn AUSTRALASIAN COMPUTER ARCHITECTURE WORKSHOP This workshop will be held at Flinders University at the same time as ADC'95. For further details please contact the convenor, Dr Todd Rockoff, on (08) 201 3639 or rockoff@cs.flinders.edu.au. LOCATION In 1995, these conferences will be held outside a university campus for the first time, at the Ramada Grand Hotel in the South Australian seaside suburb of Glenelg. The Ramada Grand, occupying a spectacular beach front site, is one of South Australia's newest hotels, built in the tradition of the truly grand hotels of 19th Century Europe. Glenelg is South Australia's premier seaside resort and is 15 minutes by car or 25 minutes by tram from Adelaide's city centre. The weather in Adelaide in late January and early February is dry, sunny and warm to hot, although the humidity is normally fairly low. TRAVEL Adelaide International Airport is within 5km of the conference venue and the accommodation. During the conferences, all transport is either arranged or easily accessible. For example, coaches have been organised for the conference dinners and the Glenelg Tram runs frequently to and from the heart of Adelaide. ACCREDITATION The Australian Computer Society has accredited ACSC'95 with 18 Practising Computer Professional (PCP) points and ADC'95 with 12 Practising Computer Professional (PCP) points. SOCIAL ACTIVITIES Adelaide and the surrounding districts are among Australia's foremost holiday destinations. In particular, South Australia boasts five of Australia's finest wine making regions. The conference dinner for the Australasian Computer Science Conference has been arranged at one of South Australia's leading wineries. In addition, the Database Conference Dinner and a gourmet barbeque during the Computer Science Conference will be held at the picturesque Bedford Park Campus of Flinders University, overlooking Adelaide and the sea. While you are here, we hope you will also take the opportunity to sample some of the many delights South Australia has to offer and the conference secretariat would be happy to arrange further accommodation either side of the conference dates, should you require this. COMMUNICATIONS Throughout the conference, a number of Internet-connected X servers will be available for the use of conference participants. ACCOMMODATION Glenelg offers many accommodation options for delegates attending ADC'95 and ACSC'95. The following are conveniently located. VENUE RATING COST PER NIGHT The Ramada Grand 5-star $145 The conference venue, On beachfront, Several restaurants, Tea making facilities, Pool/Sauna/Gym, Room service, Car parking. Patawalonga Motor Inn 3-star $84 (standard) 4-star $130 (deluxe) 10 minutes to Ramada Grand, 7 minutes walk to beach, Restaurant, Tea making, Pool, Room service, Car parking. Haven Motor Inn 3-star $87 10 minutes walk to Ramada Grand, 7 minutes to beach, Restaurant, Tea making, Pool/Sauna, Room service, Car parking. Ensenada Motor Inn 3-star $73 (single executive) $69 (single standard) $77 (twin executive) $73 (twin standard) 1 minute walk to Ramada Grand, 1 minute to beach, Restaurant, Tea making, Room service, Car parking. Buffalo Motor Inn 3-star $66.50 5 minutes walk to Ramada Grand, 3 minutes to beach, Tea making, Room service, Car parking. Atlantic Tower Motor Inn 3-star $60 (twin/double) $50 (single) $80 (executive double) $70 (executive single) 5 minutes walk to Ramada Grand, 3 minutes to beach, Tea making, Room service, Restaurant. CURRENT SPONSORS Australian Computer Society Inc. Australian Information Technology Engineering Centre Computer Science Association Key Centre for Knowledge Based Systems, RMIT and The University of Melbour= ne Silicon Graphics Tektronix in association with Labtam Telecom Australia The Flinders University of South Australia The University of Adelaide The University of South Australia HOSTS Department of Computer Science, Flinders University of South Australia School of Computer and Information Science, University of South Australia Department of Computer Science, University of Adelaide ACSC'95 PROGRAMME COMMITTEE CHAIR Professor Ramamohanarao Kotagiri, University of Melbourne Email: acsc95@cs.mu.oz.au ADC'95 PROGRAMME COMMITTEE CHAIRS Professor Ron Sacks-Davis and Dr Justin Zobel, Royal Melbourne Institute of Technology Email: adc95@kbs.citri.edu.au ORGANISATION COMMITTEE CHAIR Professor Chris Marlin, Flinders University of South Australia Email: marlin@cs.flinders.edu.au REGISTRATION =46ull and member registration includes admission to all sessions, one copy of the proceedings, handbook, morning and afternoon tea and tickets to all social functions. Please note that lunches are not provided as Glenelg offers a variety of venues at which to eat. Student registration excludes the conference dinners and gourmet barbeque. Discount registration is available to members of the Computer Science Association and the Australian Computer Society. REGISTRATION FORMS You may register by completing the registration form at the end of this email message and forwarding it to: ACSC'95 / ADC'95 Registrations SAPMEA Conventions 80 Brougham Place North Adelaide 5006 South Australia Ph: (08) 239 1515, Fax: (08) 239 1566 Alternatively registration forms are available by contacting: By post: ACSC'95 or ADC'95 Discipline of Computer Science Flinders University GPO Box 2100, Adelaide 5001. South Australia. By phone: +61-8-201-2662 By fax: +61-8-201-3626 By email: acsc95@cs.flinders.edu.au OR adc95@cs.flinders.edu.au By WWW: http://www.cs.flinders.edu.au/events DISCLAIMER Every effort has been made to present, as accurately as possible, all the information contained in this brochure. The Organising Committee, the South Australian Postgraduate Medical Education Association Incorporated, its Agents or Servants or the Sponsors will not be held responsible for any changes in the structure or the content of the technical programme, registration fees, accommodation costs and any general or specific information contained in this brochure. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D REGISTRATION FORM (Please Print) Name __________________________________ Department __________________________________ Organisation __________________________________ Address __________________________________ City _________________ Postcode _______ Country __________________________________ Telephone __________________________________ =46ax __________________________________ Email __________________________________ Name for Badge __________________________________ Special Dietary Needs ___________________________ REGISTRATION(Tick one circle) ACSC'95 ADC'95 BOTH =46ull Registration o $240 o $180 o $390 Member Registration o $200 o $150 o $320 Student Registration o $100 o $75 o $160 ACS Membership Number ___________________________ STUDENT REGISTRATION Name of Supervisor ___________________________ Supervisor's Signature _______________ Date _____ LATE REGISTRATION o Late Fee if registering after 1 December add $40 Registration Subtotal $______ SOCIAL FUNCTIONS o Extra ADC Dinner tickets @ $60 $______ o Extra ACSC Gourmet Barbeque tickets @ $35 $______ o Extra ACSC Dinner tickets @ $60 $ $______ Social Function Subtotal $______ ACCOMMODATION Preference 1 ________________________________ $______ Preference 2 ________________________________ $______ Preference 3 ________________________________ $______ Arrive ______________ Depart ___________________________ Number of Nights _______ Single, Double or Twin ______ Sharing with _________________________________________ Delegates are requested to include one night's accommodation fee as a deposit to secure the booking. Accommodation Deposit $______ PAYMENT Payment of all fees should be made in Australian Dollars, payable to SAPMEA. A refund, less an administration charge of $40, will be made on cancellation provided that it is received by 1 December 1994. Thereafter, the full amount will be forfeited. o I enclose a cheque / money order made payable to SAPMEA for $______ o I wish to pay by credit card. Visa o Mastercard o Diners Club o Amex o Bankcard o Expiry date ___/___ Name (exactly as on card) ______________________________ Card Number ____________________________________________ Cardholder's Signature ________________________________ Date ____________________________________________ ---------------------------------------------+-------------------------- Dr John Roddick | Rm. MC3-22, The Levels Head | Ph. (08) 302 3463 School of Computer and Information Science | Int. +61 8 302 3463 University of South Australia | Fax. +61 8 302 3988 The Levels SOUTH AUSTRALIA 5095 | Net. roddick@unisa.edu.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 karen@MCC.COM Wed Jan 18 11:05:11 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Wed, 18 Jan 95 11:05:06 -0600 Received: from alexandria.mcc.com by cs.wisc.edu; Wed, 18 Jan 95 11:05:01 -0600 Received: from MAMMUTHUS.MCC.COM by ALEXANDRIA.MCC.COM via INTERNET with SMTP id 48035; 18 Jan 1995 09:49:24-0600 Date: Wed, 18 Jan 1995 09:50-0600 From: Karen Pittman Subject: Job -- C/LISP, KR, NL: Austin, TX To: dbworld, comp-ai@cs.utexas.edu Message-Id: <19950118155029.8.KAREN@MAMMUTHUS.MCC.COM> Cycorp is seeking enthusiastic, highly-motivated multi-talented people for positions in software development, ontological engineering, and natural language processing. Each of these involves working with and extending the Cyc technology -- an immense, broad, multi-contextual knowledge base and inference engine which our group has developed over the last eleven years. Cyc already contains a useful selection of fundamental human knowledge: facts, rules of thumb, and heuristics for reasoning about the objects and events of modern everyday life. Cyc enables a multitude of knowledge-intensive products and services which could revolutionize the way in which people use and interact with computers, and Cycorp is dedicated to making this happen. To date, Cyc has made possible ground-breaking pilot applications in the areas of heterogeneous database browsing and integration, captioned image retrieval, and natural language processing. We are looking for a few individuals to join us in this challenging enterprise. Software Development -------------------- o C applications programming expertise (Unix, Macintosh, PC) o Preferably some Common Lisp programming experience o Database theory and application development (Oracle, DB2) o Formal logic (predicate calculus) and deductive theorem proving o Inference engine design, implementation, and maintenance Ontological Engineering ----------------------- o Facility with formal logic (predicate calculus) o Preferably some background in AI, esp. knowledge representation o Programming ability is a plus, but not required Natural Language Processing --------------------------- o Familiarity with NL parsing theory (including statistical and/or corpus-based parsing methods and other methods) o Experience in designing, building, and extending parsers o Facility with predicate calculus, and some knowledge of mathematical methods in linguistics o Familiarity with linguistic theory, esp. morphology and syntax; knowledge of pragmatics and/or discourse theory a plus o Ability to think procedurally and concretely (thus, programming skills would be a plus) For immediate consideration, send your resume and a cover letter to: Doug Lenat Cycorp, Inc. 3500 West Balcones Center Drive Austin, Texas 78759 FAX: 512-338-3858 E-MAIL: doug@cyc.com Cycorp is an Equal Opportunity Employer ------------------------------------------------------------------------------- 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 cm1914@scitsc.wlv.ac.uk Thu Jan 19 06:13:34 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 19 Jan 95 06:13:30 -0600 Received: from scitsc.wlv.ac.uk by cs.wisc.edu; Thu, 19 Jan 95 06:13:13 -0600 Received: by scitsc.wlv.ac.uk (UK-Smail 3.1.28.1/27) id ; Thu, 19 Jan 95 12:13 GMT Message-Id: From: cm1914@scitsc.wlv.ac.uk (M.S.Jackson) Subject: NDISD 95 To: dbworld (dbworld List Server) Date: Thu, 19 Jan 1995 12:12:59 +0000 (GMT) X-Mailer: ELM [version 2.4 PL23] Content-Type: text Content-Length: 8258 UNIVERSITY OF WOLVERHAMPTON, UK School of Computing and Information Technology Seminar Series on NEW DIRECTIONS IN SOFTWARE DEVELOPMENT 1995 In association with The British Computer Society The seminar series comprises of 3 one day events. The topics and dates selected for the seminars are: 1. The World-Wide Web Wednesday 8th March 1995 2. RAD - How Rapid is Rapid? Wednesday 5th April 1995 3. Objects and Data - Chalk and Cheese? Wednesday 10th May 1995 ____________________________________________________________ A postscript version of this booking form can be obtained via anonymous ftp from: scitsc.wlv.ac.uk in file: /pub/ndisd/ndisd95.ps ____________________________________________________________ General Information The School of Computing & Information Technology at The University of Wolverhampton is organising, in conjunction with the BCS, a seminar series on the general topic of "New Directions in Software Development". The aims are to provide at a reasonable cost: i) a forum for the presentation and discussion of current ideas of software development; ii) an exhibition area for informal presentation of relevant research projects. Leading figures from each of the three fields have been invited to speak. The speakers have been chosen from both industry and academia. The aim of each seminar is to present views on both current commercial practice and leading edge research. At each seminar there will be an exhibition of current software products and research projects relevant to the topic of the talks. 1. The World-Wide Web Wednesday 8th March 1995, 11.00 am - 4.30 pm. The World-Wide Web has the potential to revolutionise the way in which handle information. It presents a wealth of new possibilities for information management and provision, but brings with it a range of problems, some old, some new. This seminar aims to explore some of the issues and opportunities that the Web involves. "Information Visualisation, Browsing and Sharing in Populated Information Terrains" Dr Steve Benford - University of Nottingham "Linking the World-Wide Web and Microcosm" Prof. Wendy Hall - University of Southampton "Oh what a tangled web......" Prof. Michael G. Hinchey - University of Cambridge Computing Lab & The New Jersey Institute of Technology "Information Provision On WWW: From HTML Documents to Virtual Documents" Brian Kelly - University of Leeds 2. RAD - How Rapid is Rapid? Wednesday 5th April 1995, 11.00 am - 4.30 pm The timely development of computer systems which fulfil their objectives has been the impossible dream of systems designer's since the computer became a business tool. Rapid Applications Development (RAD) is yet another set of techniques said to achieve this goal. This seminar will explore just how far RAD really does meet its stated objectives. "Rapid Application Development - Concept, Methodology or What?" Peter Bates - University of Wolverhampton "Dynamic Systems Development Method" Peter Constable - Technical Co-ordinator, DSDM Consortium "RAD - Development or Delivery?" Susan Folkes - James Martin & Co. "A RAD approach for Distributed Systems Development" Lydia Patterson - Select Software Tools "RAD - A solution for the ills of the IT industry?" Keith Rapley - British Airways 3. Objects and Data - Chalk and Cheese? Wednesday 10th May 1995, 11.00 am - 4.30 pm Object-oriented programming has proved to be a very powerful technique. The success of object-orientation in the programming world has led to its application in other areas of computing. This seminar seeks to discuss whether object- orientation is desirable in the database world. "Using ObjectStore in Real Projects" Garry Bulmer - Parallax Solutions Ltd "OO and Oracle" Dai Clegg - Oracle U.K. "The Third Manifesto" Hugh Darwen - IBM "Databases are not Programming Languages" Mike Jackson - University of Wolverhampton "Persistent Programming Systems: The Future of Databases" Ron Morrison - University of St Andrews Administrative Information * The registration fee includes the cost of coffee, tea, a buffet lunch and printed material. * The organisers reserve the right to make alterations to seminar programmes should the need arise. * The registration fee is not returnable; however delegates may make substitutions. * Payment must be made at the time of booking. The venue The seminars will be held in the Molineux Conference Centre. This is situated 10 minutes walk from Wolverhampton Railway Station and close to the town centre. Limited car parking facilities are available at the Conference Centre. Wolverhampton is easily accessible: * by rail - on major Intercity routes * by road - close to the M6 and M5 motorways * by air - easy links from Birmingham Airport. The organisers Mary Garvey Mike Jackson Jon Wallis For further details, please contact: NDISD95 School of Computing & Information Technology University of Wolverhampton Wolverhampton WV1 1SB Tel. No. 01902-322397 Fax. No. 01902-322680 e-mail: ndisd@ccub.wlv.ac.uk ____________________________________________________________ Booking Form New Directions in Software Development 1995 Name ______________________________________________________ Organisation ______________________________________________ BCS membership no. if applicable __________________________ Address ___________________________________________________ ___________________________________________________________ ___________________________________________________________ Tel. No. __________________________________________________ Please reserve a place for me at: Seminar One: Wednesday 8th March 1995 The World-Wide Web BCS members #75 ________ Non-members #90 ________ Seminar Two: Wednesday 5th April 1995 RAD - How Rapid is Rapid? BCS members #75 ________ Non-members #90 ________ Seminar Three: Wednesday 10th May 1995 Objects and Databases - Chalk and Cheese? BCS members #75 ________ Non-members #90 ________ All three seminars BCS members #185 ________ Non-members #225 ________ Total Booking Fee #________ Costs are UK pounds Please tick the box if a vegetarian meal is required ___ All charges are inclusive of VAT (No. 489 5956 61) The registration fee includes lunch, tea, coffee and printed material. Please note that payment must be made at the time of booking. Make cheques payable to "Wolverhampton Polytraining Ltd" or tick box if you require an Invoice ___ Return completed booking form to: NDISD95 School of Computing & Information Technology University of Wolverhampton Wolverhampton WV1 1SB Tel. No. 01902-322397 Fax. No. 01902-322680 -- ***************************************************************** * * * Mike Jackson * * Reader in Software Engineering * * School of Computing and Information Technology * * University of Wolverhampton * * Wulfruna St. Phone: +44 902 322194 * * Wolverhampton WV1 1LY Fax: +44 902 322268 * * UNITED KINGDOM e-mail: mj@scitsc.wlv.ac.uk * * * * WWW: http://www.scit.wlv.ac.uk/~cm1914/home.html * * * ***************************************************************** ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From zicari@informatik.uni-frankfurt.de Thu Jan 19 16:22:02 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 19 Jan 95 16:21:59 -0600 Received: from atlas.rbi.informatik.uni-frankfurt.de by cs.wisc.edu; Thu, 19 Jan 95 16:21:52 -0600 Received: by atlas.rbi.informatik.uni-frankfurt.de (1.38.193.4/16.2) id AA03319; Thu, 19 Jan 1995 23:21:38 +0100 From: zicari@informatik.uni-frankfurt.de Posted-Date: Thu, 19 Jan 1995 23:21:38 +0100 (MEZ) Received-Date: Thu, 19 Jan 1995 23:21:38 +0100 Message-Id: <9501192221.AA03319@atlas.rbi.informatik.uni-frankfurt.de> Subject: CFP: Tapos Special Issue on Type Systems To: dbworld (dbworld) Date: Thu, 19 Jan 1995 23:21:38 +0100 (MEZ) X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Content-Length: 1919 Call for Papers Special Issue of Theory and Practice of Object Systems (TAPOS) John Wiley, New York on TYPE SYSTEMS Guest Editors: Jens Palsberg and Michael Schwartzbach The development and use of type systems for object-oriented languages continues to be important and exciting. In the first half of the 1990s, there have been many suggestions for type systems, new languages developed around a notion of type, faster algorithms for type checking and type inference, and better tools based on type information. Type systems are now used in single- and multiple-dispatch languages, concurrent languages, and others. The aim of the special issue is to present significant recent develop ments. We invite papers on all aspects of type systems for object-oriented languages. Every variety of object-oriented language can be addressed, and topics of interest include, but are not limited to: o New notions of type. o Subtyping o Mathematical properties of types. o Language designs based on types. o Type checking and type inference algorithms. o Comparison of known type systems. o Use of type information in compilers, programming environments, etc. The deadline for submission is May 15th, 1995. More information is available from WWW URL: ftp://ftp.ccs.neu.edu:/pub/journals/tapos/call-for-papers. Send your submission to Michael Schwartzbach, preferably by sending a Postscript file, prefixed by a plain text abstract, to mis@daimi.aau.dk, or else by sending five copies of the paper to the address below. Address: Michael I. Schwartzbach BRICS, Dept. of Computer Science University of Aarhus Ny Munkegade, Building 540 8000 Aarhus C Denmark Phone: +45 8942 3374 Fax: +45 8942 3255 ------------------------------------------------------------------------------- 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 rmarcus@atc.boeing.com Thu Jan 19 22:53:13 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Thu, 19 Jan 95 22:53:10 -0600 Received: from atc.boeing.com by cs.wisc.edu; Thu, 19 Jan 95 22:53:09 -0600 Received: by atc.boeing.com (5.57) id AA02789; Thu, 19 Jan 95 20:57:14 -0800 Date: Thu, 19 Jan 95 20:57:14 -0800 From: Bob Marcus Message-Id: <9501200457.AA02789@atc.boeing.com> To: dbworld Subject: OOPSLA 95 Workshops Announcement OOPSLA 1995 WORKSHOPS ANNOUNCEMENT This announcement is a call for workshop proposals for OOPSLA 95 in Austin. Let me know if you would be interested in leading a workshop in some area. All workshops will have multiple coordinators and I can help you with logistics. I am particularly interested in putting together a series of synergistic workshops in the area of complex adaptable systems engineering. These could include: Semantic Data Modeling and Object-oriented Technology Heterogeneous Database Integration and Object-oriented Technology Legacy Systems and Object-oriented Technology Frameworks and Object-oriented Technology Agents and Object-oriented Technology Scripting Languages and Object-oriented Technology Reliable Distributed Computing and Object-oriented Technology Enterprise Workflow and Object-oriented Technology Complexity and Coordination in Object-oriented Technology Software Adaptability and Reusability World Wide Web and Object-oriented Technology In my opinion, complex adaptable systems, are the most important future challenge for software engineering. Object technology represents an initial step in this direction that must be extended to handle complex large-scale heterogeneous dynamic evolving environments. I recommend the submission of proposals at your earliest convenience to allow time for coordinating and fine tuning workshops. Proposals should be up to two pages in length and include a description of the themes, problems to be addressed, proposed agenda and references to other papers, workshops and forums if appropriate. The proposal should include names, affiliations, addresses, phone, fax, and e-mail addresses of all prospectives co-organizers, indicating a primary contact. I can send you an extensive OOPSLA Workshop Organizer's Guide from last year if you would like more information before submitting a final proposal. Proposals should be submitted BEFORE March 1 to rmarcus@atc.boeing.com. (OOPSLA="Object-Oriented Programming Systems, Language and Applications" will be held in Austin, Texas from October 15-19.) Bob Marcus rmarcus@atc.boeing.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 schek@inf.ethz.ch Fri Jan 20 08:30:56 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 20 Jan 95 08:30:54 -0600 Received: from bernina-rz-fddi.ethz.ch by cs.wisc.edu; Fri, 20 Jan 95 08:30:51 -0600 Received: from apollo-gw.inf.ethz.ch (actually apollo-ifw.inf.ethz.ch) by bernina.ethz.ch with SMTP inbound; Fri, 20 Jan 1995 15:30:23 +0100 Received: from localhost (schek@apollo-infzeus.inf.ethz.ch [129.132.14.2]) by apollo-gw.inf.ethz.ch (8.6.9/8.6.9) with ESMTP id PAA07421; Fri, 20 Jan 1995 15:30:23 +0100 Message-Id: <199501201430.PAA07421@apollo-gw.inf.ethz.ch> X-Mailer: exmh version 1.5 11/22/94 To: dbworld Cc: schek@inf.ethz.ch Subject: Professor in Computer Science at ETH Zurich Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 20 Jan 1995 15:30:22 +0100 From: Hans-Joerg Schek The Swiss Federal Institute of Technology in Zurich (ETH Zurich) invites applications for the new position of a PROFESSOR IN COMPUTER SCIENCE (Information Systems) in the Department of Computer Science (Informatics). The new professor will extend and complement the established information- system areas of Application Development, Database Systems and Information Retrieval in the direction of either - Knowledge Engineering (knowledge acquisition; integration of distributed knowledge bases; management, evolution and maintenance of knowledge bases; deductive databases; application of expert systems, for example, configuration, diagnosis and planning); or - Distribution and Parallelism (architecture, implementation and performance of operation, communication and storage systems for information systems within networked and multi-processor compute systems; load balancing, parallelization and optimization of throughput in distributed systems). Applications are solicited from candidates with internationally recognized research credentials and proven teaching ability and should be sent with a curriculum vitae, list of publications, the names of at least three references, and a short overview of the research interests no later than February 15, 1995, to the President of ETH Zurich, Prof. J. Nuesch, ETH Zentrum, CH-8092 Zurich. In view of the current composition of its faculty, the ETH Zurich specifically encourages female candidates to apply. For further information please contact Prof. C.A. Zehnder, Head, Departement Informatik, CH-8092 Zurich (e-mail: zehnder@inf.ethz.ch). ------------------------------------------------------------------------------- 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 lazar@ibspan.waw.pl Fri Jan 20 09:33:50 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 20 Jan 95 09:33:45 -0600 Received: from sunic.sunet.se by cs.wisc.edu; Fri, 20 Jan 95 09:33:42 -0600 Received: from cocos.fuw.edu.pl by sunic.sunet.se (8.6.8/2.03) id QAA18921; Fri, 20 Jan 1995 16:33:33 +0100 Received: from ibspan.waw.pl (ibs1.ibspan.waw.pl) by cocos.fuw.edu.pl (4.1/SMI-4.1) id AA08625; Fri, 20 Jan 95 16:33:17 +0100 Received: from pc34.ibspan.waw.pl ([148.81.23.93]) by ibspan.waw.pl (4.1/SMI-4.1) id AA03617; Fri, 20 Jan 95 16:31:29 +0100 Organization: Systems Research Institute, Polish Academy of Sciences Address: ul. Newelska 6, 01-447 Warsaw, Poland Message-Id: <9501201531.AA03617@ibspan.waw.pl> X-Sender: lazar@ibs1.ibspan.waw.pl X-Mailer: Windows Eudora Version 1.4.3 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 20 Jan 1995 16:31:28 +0100 To: Multiple recipients of list From: lazar@ibspan.waw.pl (Waldemar Dobrzynski) Subject: Job -- C/LISP, KR, NL: Austin, TX Cycorp is seeking enthusiastic, highly-motivated multi-talented people for positions in software development, ontological engineering, and natural language processing. Each of these involves working with and extending the Cyc technology -- an immense, broad, multi-contextual knowledge base and inference engine which our group has developed over the last eleven years. Cyc already contains a useful selection of fundamental human knowledge: facts, rules of thumb, and heuristics for reasoning about the objects and events of modern everyday life. Cyc enables a multitude of knowledge-intensive products and services which could revolutionize the way in which people use and interact with computers, and Cycorp is dedicated to making this happen. To date, Cyc has made possible ground-breaking pilot applications in the areas of heterogeneous database browsing and integration, captioned image retrieval, and natural language processing. We are looking for a few individuals to join us in this challenging enterprise. Software Development -------------------- o C applications programming expertise (Unix, Macintosh, PC) o Preferably some Common Lisp programming experience o Database theory and application development (Oracle, DB2) o Formal logic (predicate calculus) and deductive theorem proving o Inference engine design, implementation, and maintenance Ontological Engineering ----------------------- o Facility with formal logic (predicate calculus) o Preferably some background in AI, esp. knowledge representation o Programming ability is a plus, but not required Natural Language Processing --------------------------- o Familiarity with NL parsing theory (including statistical and/or corpus-based parsing methods and other methods) o Experience in designing, building, and extending parsers o Facility with predicate calculus, and some knowledge of mathematical methods in linguistics o Familiarity with linguistic theory, esp. morphology and syntax; knowledge of pragmatics and/or discourse theory a plus o Ability to think procedurally and concretely (thus, programming skills would be a plus) For immediate consideration, send your resume and a cover letter to: Doug Lenat Cycorp, Inc. 3500 West Balcones Center Drive Austin, Texas 78759 FAX: 512-338-3858 E-MAIL: doug@cyc.com Cycorp is an Equal Opportunity Employer ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 lazar@ibspan.waw.pl Fri Jan 20 09:36:45 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Fri, 20 Jan 95 09:36:43 -0600 Received: from sunic.sunet.se by cs.wisc.edu; Fri, 20 Jan 95 09:36:40 -0600 Received: from cocos.fuw.edu.pl by sunic.sunet.se (8.6.8/2.03) id QAA19492; Fri, 20 Jan 1995 16:36:29 +0100 Received: from ibspan.waw.pl (ibs1.ibspan.waw.pl) by cocos.fuw.edu.pl (4.1/SMI-4.1) id AA08713; Fri, 20 Jan 95 16:36:11 +0100 Received: from pc34.ibspan.waw.pl ([148.81.23.93]) by ibspan.waw.pl (4.1/SMI-4.1) id AA03633; Fri, 20 Jan 95 16:34:22 +0100 Organization: Systems Research Institute, Polish Academy of Sciences Address: ul. Newelska 6, 01-447 Warsaw, Poland Message-Id: <9501201534.AA03633@ibspan.waw.pl> X-Sender: lazar@ibs1.ibspan.waw.pl X-Mailer: Windows Eudora Version 1.4.3 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 20 Jan 1995 16:34:22 +0100 To: Multiple recipients of list From: lazar@ibspan.waw.pl (Waldemar Dobrzynski) Subject: Professor in Computer Science at ETH Zurich The Swiss Federal Institute of Technology in Zurich (ETH Zurich) invites applications for the new position of a PROFESSOR IN COMPUTER SCIENCE (Information Systems) in the Department of Computer Science (Informatics). The new professor will extend and complement the established information- system areas of Application Development, Database Systems and Information Retrieval in the direction of either - Knowledge Engineering (knowledge acquisition; integration of distributed knowledge bases; management, evolution and maintenance of knowledge bases; deductive databases; application of expert systems, for example, configuration, diagnosis and planning); or - Distribution and Parallelism (architecture, implementation and performance of operation, communication and storage systems for information systems within networked and multi-processor compute systems; load balancing, parallelization and optimization of throughput in distributed systems). Applications are solicited from candidates with internationally recognized research credentials and proven teaching ability and should be sent with a curriculum vitae, list of publications, the names of at least three references, and a short overview of the research interests no later than February 15, 1995, to the President of ETH Zurich, Prof. J. Nuesch, ETH Zentrum, CH-8092 Zurich. In view of the current composition of its faculty, the ETH Zurich specifically encourages female candidates to apply. For further information please contact Prof. C.A. Zehnder, Head, Departement Informatik, CH-8092 Zurich (e-mail: zehnder@inf.ethz.ch). ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------