From raghu@cs.wisc.edu Mon Jul  1 10:55:39 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA13947 for <dbworld@sea.cs.wisc.edu>; Mon, 1 Jul 1996 10:55:31 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA15428 for dbworld; Mon, 1 Jul 1996 10:55:30 -0500
Date: Mon, 1 Jul 1996 10:55:30 -0500
From: Gio Wiederhold <gio@DB.Stanford.EDU>
Message-Id: <199607011555.KAA15428@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Intelligent DBers,
   Kluwer is making the double issue on `Intelligent Integration of
Information' of the Journal on Intelligent Information Systems (Vol.6,
ns. 2-3) available in bookform.

It provides an overview of several projects that try to add value to
traditional database and web acess.
It contains the following papers 
 
1. Editor's Foreword; G. Wiederhold.  *
2. Query Reformulation for Dynamic Information Integration; Y. Arens. 
3. Information Mediation in Cyberspace: Scalable Methods for 
      Declarative Information Networks; S. Dao, B. Perry. 
4. An Approach to Information Mediation in the Industrial Domain; 
	A. Goldschmidt. 
5. NCL: A Common Language for Achieving Rule-Based Interoperability 
	Among Heterogeneous Systems; S.W. Su, et al. 
6. Generating Data Integration Mediators that Use Materialization; 
	G. Zhou, et al. 
7. CoBase: A Scalable and Extensible Cooperative Information System; 
	W.W. Chu, et al. 
8. Integrating Information via Matchmaking; D. Kuokka, L. Harada. 
9. Glossary; G. Wiederhold.   *
   * available on my home page:
	http://www-db.stanford.edu/pub/gio

Information:
Kluwer Academic Publishers, Boston  MA
Date of publishing: July 1996 
216 pp. Hardbound 
ISBN: 0-7923-9726-6 
Prices: NLG: 250.00, USD: 135.00, GBP: 95.95 

I wish it were less costly, but it does provide a useful reference,
a snapshot of the field, and the concepts in mediated architectures. 

 Gio

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Mon Jul  1 11:03:16 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA14168 for <dbworld@sea.cs.wisc.edu>; Mon, 1 Jul 1996 11:03:08 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id LAA15442 for dbworld; Mon, 1 Jul 1996 11:03:08 -0500
Date: Mon, 1 Jul 1996 11:03:08 -0500
From: sobol@cobweb.crd.ge.com (Michael Sobolewski)
Message-Id: <199607011603.LAA15442@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Subject: Concurrent Engineering 96: Call for Participation

INTERNATIONAL CONFERENCE ON CONCURRENT ENGINEERING 96

Call for Participation

University of Toronto, Toronto, Ontario, Canada
25-29 August 1996

The ISPE International Conference on Concurrent Engineering 96 is the major
forum for the international scientific exchange of research results in 
the development and application of information technologies and business 
practices in achieving concurrency and integration in engineering.  

Topics include: Planning & Scheduling,Collaborative Decision Making, 
Information Modelling, Teaming & Sharing, Networking & Distribution, 
Organisation & Management, Reasoning & Negotiation, and Practical
Applications. For more information access our web site at
http://www.novator.com/ce96/

Conference Chair: Mark S. Fox, University of Toronto, Canada
(msf@ie.utoronto.ca)
Conference Program Chair: Michael Sobolewski, General Electric CR&D, USA
(sobol@crd.ge.com)

Conference Schedule

25 Aug 96: Tutorials
        * Concurrent Engineering Fundamentals, B. Prasad, General Motors
        * Status & Challenges for Multi-Agent Coordination Technology, M.
Klein,
          Penn State Univ.
        * Enterprise Modelling for Concurrent Engineering, M.Fox, M.Gruninger,
          T. Bilgic, Univ. of Toronto

26 Aug 96: Conference Day 1
        Invited Speakers:
                * Naomasa Nakajima, Tokyo University, Japan
                * Mark Cutkosky, Stanford University, USA
        Sessions
                * Collaborative Work
                * Planning and Scheduling
                * Product and Process Integration
                * Organization and Management
                * Information and Process Modeling

27 Aug 96: Conference Day 2
        Invited Speaker:
                * Richard Weston, Loughborough University, UK
        Sessions:
                * Collaborative Work II
                * Planning and Scheduling II
                * Product and Process Integration II
                * Organization and Management II
                * Information and Process Modeling II

28 Aug 96: Conference Day 3
        Invited Speaker:
                * Pradeep Khosla, ARPA, USA
        Sessions:
                * Collaborative Work III
                * Data Exchange
                * Organization and Management III
                * Practical Applications

Registration

You can register online at http://www.novator.com/ce96/, or

You can

       fax this form to +1-416-971-2479, or
       email it to adonald@ie.utoronto.ca, or
       mail this form with your payment (credit card, cheque or money order
- please
       make cheque or money order out in the name of "University of
Toronto") to :

       Alison Donald, CE96
       University of Toronto,
       Dept. of Mechanical and Industrial Engineering
       4 Taddle Creek Road,
       Toronto, ON  M5S 3G9
       Canada

       email: adonald@ie.utoronto.ca
       tel: +1-416-978-6823
       fax: +1-416-971-2479

       ---------------------------------------------------------------------

       Registrant Information:

        First Name:

        Last Name:

        Address:

        City:

        State/Province:

        Country:

        Zip/Postal Code:

        Email Address:

        Daytime Telephone:

        Fax Number:

        Credit Card:      Visa                  MasterCard
        (circle one)

        Card Number:

        Exp. Date:

        Name on Credit Card:

        Signature:


---------------------------------------------------------------------

        Registration Fee (Check the fee the applies)

           _____ Advance registration (before July 26th) - CDN $500

           _____ Regular registration (after July 26th) - CDN $560

           _____ Author registration - CDN $450

           _____ Student registration - CDN $350

        ---------------------------------------------------------------------


         Tutorial Registration (Check the fee that applies)

        _____ Concurrent Engineering Fundamentals,
                        Sunday, July 25th - full day,
                        CDN $220 before July 26th, CDN $260 thereafter

        _____ Status & Challenges for Multi-Agent Coordination Technology,
                        Sunday, July 25th - half day, morning,
                        CDN $90 before July 26th, CDN $110 thereafter.

        _____ Enterprise Modelling for Concurrent Engineering,
                        Sunday, July 25th - half day, afternoon,
                        CDN $90 before July 26th, CDN $110 thereafter.

        ---------------------------------------------------------------------


         Optional Activities (Check the optional activities you wish to
register for)

         _____ Full day excursion to Niagara Falls, August 29th - CDN $75

         _____ Bring guest to Reception on August 25th - CDN $70

         _____ Bring guest to Dinner at CN Tower - CDN $100



+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ Mark S. Fox                                                     + tel:
+1-416-929-4283
+ Fox-Novator Systems Ltd.                            + fax: +1-416-944-3276
+ 48 Admiral Road                                            + email:
msf@novator.com
+ Toronto, Ontario M5R 2L5 Canada            + http://www.novator.com/novator/
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++










-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Mon Jul  1 17:07:14 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id RAA19820 for <dbworld@sea.cs.wisc.edu>; Mon, 1 Jul 1996 17:07:07 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id RAA16017 for dbworld; Mon, 1 Jul 1996 17:07:06 -0500
Date: Mon, 1 Jul 1996 17:07:06 -0500
From: Ramesh Venkataraman <venkatar@umbc.edu>
Message-Id: <199607012207.RAA16017@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Folks:

The Call for Papers for SIGMOD'97 is currently available from the 
SIGMOD'97 web page.

http://mundos.ifsm.umbc.edu/~ramesh/sigmod97/info.html

The CFP for PODS will be added to the web site within a week or so. 

-ramesh
=======================================================================
Ramesh Venkataraman, Ph.D. 
Assistant Professor
Department of Information Systems
University of Maryland Baltimore County
5401 Wilkens Ave
Baltimore, MD 21228

410-455-3937 (O)
410-203-0248 (H)
410-455-1073 (fax)



-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-

From raghu@cs.wisc.edu Mon Jul  1 19:09:42 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id TAA21433 for <dbworld@sea.cs.wisc.edu>; Mon, 1 Jul 1996 19:09:35 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id TAA16140 for dbworld; Mon, 1 Jul 1996 19:09:34 -0500
Date: Mon, 1 Jul 1996 19:09:34 -0500
From: Radek Vingralek <radek@lilac.eecs.nwu.edu>
Message-Id: <199607020009.TAA16140@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

                        CALL FOR PAPERS
                             for
                            RIDE'97

    Seventh International Workshop on Research Issues in Data Engineering: 
    High Performance Database Management for Large Scale Applications 

			 April 7-8, 1997 
			Birmingham, England

                          Sponsored by
       IEEE Computer Society Technical Committee on Data Engineering 
                       (pending approval) 

         http://www.shu.ac.uk/schools/cms/events/RIDE97.html


SCOPE
-----
This is the seventh in a series of annual workshops held in connection
with the IEEE International Conference on Data Engineering. RIDE'97
will bring together researches, developers and users working on issues
related to high performance database management for large scale
applications. The Internet and its underlying infrastructure, e.g. the
WWW, is restructuring the way in which we interact with service
providers- banks, retail stores, government agencies and professional
and social organizations. With this growth come new opportunities and
challenges to create middleware services and higher level services
which will enable millions of clients to make efficient and
intelligent use of massive amounts of data. On one hand, electronic
commerce will require support for billions of transactions per second;
on the other hand, applications involving complex decision making
and/or finding relevant patterns, such as those encountered in data
mining and data warehousing, will require access to billions of bytes
coming from many sources.



TOPICS OF INTEREST
------------------
We solicit papers that deal with performance issues enabling the
support of database management for large scale applications, in
particular for the following:

    	database systems and the WWW  
    	electronic commerce
    	data warehousing              
    	data mining 

Topics of interest include, but are not limited to:

Databases and the WWW
    Distributed Middleware Services 
    Prefetching and Speculative Services 
    Brokerage and Resource Management Services 
    Scalable, Distributed File Structures 
    Query Processing on the WWW 
    Scalable Multimedia Servers 

Electronic Commerce 
    Security and Privacy of Transactions 
    Global Directory Services 
    Extended Transaction Models and Workflow Processes 
    Intelligent Agents and Browsers 

Data Warehousing 
    Complex Query Optimization 
    Intelligent Query Cache Management 
    Efficient Query Subsumption Testing 
    Warehouse Refreshing 
    Indexing and Access Methods 	  

Data Mining 
    Efficiency and Scalability Issues in Data Mining 
    Parallel and Distributed Data Mining Techniques 
    Integrating Data Mining with Data Warehousing 
    High Performance Mining of Text, Spatial and Multimedia Data 




PAPER SUBMISSION
----------------
Five copies of an extended abstract (at most 12 double-spaced pages in
fonts not smaller than 11pt or 3000 words) should be received no later
than October 1, 1996 by the program chairman: 

    Peter Scheuermann                  
    Dept. of Electrical and Computer Engineering	  
    Northwestern University 
    Evanston, IL 60208 
    USA 
    email: peters@ece.nwu.edu 
    tel:   (847) 491 7141 
    fax:   (847) 491 4455 

In addition, the authors should submit electronically to ride97@ece.nwu.edu
a cover page containing the paper title, authors' names, contact author and 
full address (including e-mail and fax) and an abstract of up to 100
words. 

In order to encourage closer interaction between the industrial and research 
communities we are particularly interesting in receiving industrial 
contributions which address the issues outlined above from a commercial point
of view and describe actual products or prototypes. The authors should indicate
whether their papers should be considered as regular papers or industrial 
papers.



IMPORTANT DATES
---------------
    Deadline for submission:         October 1, 1996
    Notification of acceptance:      December 15, 1996   
    Final papers due:                January 15, 1996     



ORGANIZING COMMITTEE
--------------------
General Co-Chairs:
Jon Kerridge          
Department of Computer Studies  
Napier University               
219 Colinton Road
Edinburgh, EH14 1DJ
UK
email: j.kerridge@dcs.napier.ac.uk
tel: +(0) 131 455 4395                  
fax: +(0) 131 455 4552                  

Yuri Breitbart
Department of Computer Science
University of Kentucky
Lexington, KY 40506
USA
e-mail: yuri@cs.engr.uky.edu
tel: (606) 257-3678
fax: (606) 323-1971


Program Chair:
Peter Scheuermann             
Deptartment of Electrical and Computer Engineering         
Nothwestern University
Evanston, IL 60208
USA
email: peters@ecs.nwu.edu 
tel: (847)-491-7141         
fax: (847)-491-4455


Program Committee:
Serge Abiteboul     (INRIA, France)
Daniel Barbara 	    (Bellcore, USA)
Azer Bestavros 	    (Boston University, USA)
Stephen Blott       (ETH, Switzerland)
Michael Carey       (IBM Almaden, USA)
Stefano Ceri        (Politecnico di Milano, Italy)
Misbah Deen 	    (Keele University, UK)
Klaus Dittrich      (University of Zurich, Switzerland)
Shahram Ghandeharizadeh (University of Southern California, USA)
Jiawei Han  	    (Simon Fraser University, Canada)
Mathias Jarke 	    (RWTH-Aachen, Germany)
Martin Kersten 	    (CWI, The Netherlands)
Masaru Kitsuregawa  (University of Tokio, Japan)
Simon Lavington     (University of Essex, United Kingdom)
Witold Litwin 	    (University of Paris 9, France)
Patrick O'Neil 	    (University of Massachussets, USA)
M. Aris Ouksel 	    (University of Illinois at Chicago, USA)
Tamer Ozsu  	    (University of Alberta, Canada)
Rajeev Rastogi 	    (AT&T Bell Labs, USA)
Nick Roussopoulos   (University of Maryland, USA)
Doron Rotem 	    (Lawrence Berkeley Lab, USA)
Timos Sellis 	    (National Technical University of Athens, Greece)
Oded Shmueli 	    (Technion, Israel)
S. Sudarshan 	    (IIT Bombay, India)
Gerhard Weikum 	    (University of Saarbrucken, Germany)
Yelena Yesha 	    (NASA CESDIS, USA)
Clement Yu  	    (University of Illinois at Chicago, USA)


Steering Committee:
Ahmed Elmagarmid, co-chair  (Purdue University, USA)
John Urban, co-chair 	    (Arizona State University, USA)
Yahiko Kambayashi   	    (Kyoto University, Japan)
Marek Rusinkiewicz  	    (MCC, USA)


Publication Chair:
Sharad Mehrotra     (University of Illinois at Urbana-Champaign, USA)

Publicity Co-Chairs:
Innes Jelly 	    (Sheffield Hallam University, UK)   
Radek Vingralek     (Northwestern University, USA)

American Coordinator:
Chris Clifton       (MITRE Corp., USA)

European Coordinator:
Michael Arentoft    (European Commission, Belgium)

Far East Coordinator:
Ian Gorton  	    (CSIRO, Australia)

Local Arrangements: 
Alex Sexton 	    (University of Birmingham, UK) 

Financial Chair: 
Jim Griffioen 	    (University of Kentucky, USA)

Registration Chair: 
Mary Garvey 	    (University of Wolverhampton, UK)






-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Tue Jul  2 11:15:20 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA03831 for <dbworld@sea.cs.wisc.edu>; Tue, 2 Jul 1996 11:15:13 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id LAA16779 for dbworld; Tue, 2 Jul 1996 11:15:12 -0500
Date: Tue, 2 Jul 1996 11:15:12 -0500
From: dimitris@gte.com (Dimitrios Georgakopoulos)
Message-Id: <199607021615.LAA16779@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

                      Advanced Systems Laboratory
                     GTE Laboratories Incorporated
                             Waltham, MA

The Distributed Object Management project has an opening for a skilled and
motivated individual to perform research in advanced distributed object 
management and distributed database systems.
The position involves designing, and developing novel prototype software
systems employing state-of-the-art software technology.  A background  in
distributed programming environments (e.g., DCE or CORBA), object-oriented
programming, Internet applications, and/or database systems  (particularly
object database systems) is essential. Strong software development skills
are a must. Knowledge of telephony, emerging network and services, as well
as their operations and management is highly desirable.

EDUCATION

Ph.D. or M.S. in Computer Science or related discipline, or equivalent
qualification.

EXPERIENCE

Recent Ph.D.'s may qualify. MS with at least 5 years experience in the research 
subject areas.

HOW TO APPLY 

Please (e)mail your resume to:

Cheryl Richards
GTE Laboratories Incorporated
40 Sylvan Road
Waltham, MA 02254
E-mail: clr0@gte.com

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-

From raghu@cs.wisc.edu Tue Jul  2 15:54:45 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id PAA08974 for <dbworld@sea.cs.wisc.edu>; Tue, 2 Jul 1996 15:54:35 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id PAA17066 for dbworld; Tue, 2 Jul 1996 15:54:35 -0500
Date: Tue, 2 Jul 1996 15:54:35 -0500
From: "Svein-Olaf Hvasshovd FOU.TD" <Svein-Olaf.Hvasshovd@tfdt.nta.no>
Message-Id: <199607022054.PAA17066@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

			CALL FOR PARTICIPATION 
			     (EARLY WARNING)

		                Seminar on 
          Advanced Methods for Transaction Management and Workflow Systems,
                                 held at 
               Norwegian University of Science and Technology
                      September 9th and 10th 1996.
                        
The seminar is arranged in cooperation with Telenor Research and
Development, Trondheim and is financed by the Norwegian Research
Council.

The lectures will be given by C. Mohan, Ph.D. IBM Almaden Research
Center.  Mohan is a leading expert in database technology, transaction
systems, and workflow technology. He is an elected member of IBM
Academy of Technology and he is an editor of VLDB Journal.  He has
conducted several tutorials, workshops, and seminars in these areas.

The seminar will be of special interest to doctoral students and
professionals working with advanced transaction systems and workflow
systems. The seminar is free of charge. Meals, social events, etc.
will be charged.

This is an early warning making it easier to fit the seminar into your
schedule. Please announce your interest in participating to the email
address below.

The detailed program, where to meet, etc. will be ready in August.

Prof. Svein-Olaf Hvasshovd
Prof. Kjell Bratbergsengen
Seminar committee

Email: svein-olaf.hvasshovd@fou.telenor.no
Fax:   +47 73528590

--- Status ON-mail ---
/home/manuel/cms5/cms/sophus/lms/h-000002/hdr-76.b01:	English text


-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Wed Jul  3 09:21:19 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id JAA24222 for <dbworld@sea.cs.wisc.edu>; Wed, 3 Jul 1996 09:21:13 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA17798 for dbworld; Wed, 3 Jul 1996 09:21:12 -0500
Date: Wed, 3 Jul 1996 09:21:12 -0500
From: Isaac Balbin <isaac@cs.rmit.edu.au>
Message-Id: <199607031421.JAA17798@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Department of Computer Science
Faculty of Applied Science

Professor and Head of Department

The Department of Computer Science at RMIT University (Royal Melbourne
Institute of Technology) intends to appoint a new Head of Department,
for January 1997. The Department is one of the largest computer science
departments in Australia with approximately 50 academic staff members
across its central City and Bundoora campuses, and offers a number of
courses and research programs to PhD level. The Department has
established research groups in Artificial Intelligence, Database
Systems, Distributed Systems, Document Management and Software
Engineering, and is involved in collaborative ventures with other
institutions in Melbourne.

The successful candidate will be expected to provide broad academic
leadership. Experience in one of the established research areas of the
Department is preferred but not mandatory. The candidate will also be
expected to support the Department's commitment to close links with
industry, and to provide the vision and leadership to maintain the
Department's innovative outlook into the coming century. It is expected
that the appointment will be made at the Professorial level.

Interested candidates can view the position description on the WWW
using the following URL

		http://www.cs.rmit.edu.au/HoD/

Other URL's which may be of interest include

		http://www.cs.rmit.edu.au/

		http://www.rmit.edu.au/

Any further enquiries should be addressed to the Dean,
Faculty of Applied Science via email as:

		terry.roberts@rmit.edu.au

-------------------------
Note: The closing date is Friday, August 16, 1996.
-------------------------

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Wed Jul  3 09:21:47 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id JAA24227 for <dbworld@sea.cs.wisc.edu>; Wed, 3 Jul 1996 09:21:43 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA17803 for dbworld; Wed, 3 Jul 1996 09:21:42 -0500
Date: Wed, 3 Jul 1996 09:21:42 -0500
From: Jean-Luc Hainaut <jlh@info.fundp.ac.be>
Message-Id: <199607031421.JAA17803@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+
I                                                             I
I                  CONFERENCE PRE-ANNOUNCEMENT                I
I                                                             I
I                THE FUTURE OF INFORMATION SYSTEMS            I
I                   CHALLENGES AND PITFALLS                   I
I                                                             I
I                                                             I
I                  Institute of Informatics                   I
I               The University of Namur (FUNDP)               I
I                          Belgium                            I
I                    25 - 26 October 1996                     I
I                                                             I
+=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=

The Institute of Informatics of the University of Namur (Facult=E9s
Universitaires Notre-Dame de la Paix), Belgium, is celebrating its 25th
anniversary.  The scientific events organized at this occasion will end in=
=20
October 1996 with an international two-day conference on "The Future of
Information Systems : Challenges and Pitfalls". =20


MOTIVATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Faced with dramatic changes in their environment, organizations are forced
to adapt their enterprise strategies and to shift to new organizational
paradigms.  In addition, the constant evolution of the information
technology can enable these changes, but, at the same time, can induce too
strong a pressure on the organization capability to evolve. This situation
is true not only for private=20
organizations but also for public ones.   As a strategic asset of the
enterprise, the information system should support these changes and smoothe
their impact.  However, the current information=20
systems suffer from such deficiencies, such as their rigidity, that they
sometimes prevent that organizational evolution.  Hence the need for better
information systems.
The conference is intended to analyse the organizational and technological
stress put on today's and future enterprises, the way they are supported by
current information systems, and what future information systems should be.

Seven of the most renowned international experts have been invited to
present their views and to share their experience with the participants. =20


PROGRAMME
=3D=3D=3D=3D=3D=3D=3D=3D=3D

* Introduction - A Position paper,=20
  F. Bodart,=20
  Institute of Informatics, the University of Namur (FUNDP)

* The future of IS in supporting changes in the business=20
  environment and enterprise strategies,=20
  M. S. Scott Morton,=20
  Sloan School of Management, MIT, Cambridge, Massachusetts

* Emerging IT and new networked organization possibilities, =20
  B. Konsynski,=20
  Emory Business School, Atlanta, Georgia

* The future of IS in supporting new organizational paradigm,=20
  C. Ciborra,=20
  University of Bologna and Theseus Institute at Sophia Antipolis

* A business value framework for emergent uses of IS
  Y. Pigneur,=20
  HEC, University of Lausanne

* The future of information and communication technologies=20
  for the development of IS,=20
  Y. Rene de Cotret,=20
  Head of Multimedia DG III, European Commission, Brussels

* The future of IS engineering,=20
  A. S=F8lvberg,=20
  Norwegian Institute of Technology, University of Trondheim

* The evaluation of investments in IS: in search of the philosopher's stone,=
 =20
  R. Welke,=20
  Georgia State University, Atlanta, Georgia


SESSION CHAIRS and RAPPORTEURS
=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

       Michel L=E9onard, University of Geneva
       J-P de Jamblinne, Comparex Information Systems, Brussels



(Details of the final programme and registration information will be
distributed later.  WWW pages are in preparation.)


CONTACT
=3D=3D=3D=3D=3D=3D=3D

Jean-Luc Hainaut               Francois Bodart
professor                      professor
            Institut d'Informatique
            The University of Namur
            rue Grandgagnage, 21
            B-5000 Namur (Belgium)
            Fax  +32 (0)81 / 72.49.67
tel. +32 (0)81 / 72.49.96      tel. +32 (0)81 / 72.49.72
jlh@info.fundp.ac.be           fbo@info.fundp.ac.be




-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-

From raghu@cs.wisc.edu Thu Jul  4 19:22:58 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id TAA15418 for <dbworld@sea.cs.wisc.edu>; Thu, 4 Jul 1996 19:22:52 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id TAA18960 for dbworld; Thu, 4 Jul 1996 19:22:51 -0500
Date: Thu, 4 Jul 1996 19:22:51 -0500
From: Isaac Balbin <isaac@cs.rmit.edu.au>
Message-Id: <199607050022.TAA18960@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Dear Colleagues,

This notice serves as both a reminder and encouragement for you to submit 
a paper to the Fifth International Conference On Database Systems for 
Advanced Applications --- DASFAA '97, to be held on  April 1 - 4, 1997 in
Melbourne, Australia.

Information about the conference can be obtained via the WWW using the URL

		http://www.mds.rmit.edu.au/dasfaa97/

Further enquiries:

Tori KENNEDY
RMIT Research Centre
723 Swanston Street
Carlton, Victoria,  3053
Australia.
Fax:  +61-3-9282-2444
E-mail:  dasfaa97@mds.rmit.edu.au


---------------------------------------------------------------------
Important Dates:

 Paper submission due:
                         August 30, 1996
 Panel & Tutorial proposals due:
                         September 15, 1996
 Notification of acceptance:
                         November 30, 1996
 Camera-ready copies due:
                         December 31, 1996

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Fri Jul  5 10:25:12 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA24604 for <dbworld@sea.cs.wisc.edu>; Fri, 5 Jul 1996 10:25:05 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA19483 for dbworld; Fri, 5 Jul 1996 10:25:04 -0500
Date: Fri, 5 Jul 1996 10:25:04 -0500
From: Masaru Kitsuregawa <kitsure@tkl.iis.u-tokyo.ac.jp>
Message-Id: <199607051525.KAA19483@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

                               CALL FOR PAPERS

             #####################################################
             1997 ACM SYMPOSIUM ON APPLIED COMPUTING (ACM SAC '97)
                  SPECIAL TRACK ON DATABASE TECHNOLOGY

                          February 28-March 2, 1997
              the Hyatt St. Claire, San Jose, California, U. S. A.
             #####################################################

Web page for this CFP: http://www.tkl.iis.u-tokyo.ac.jp/sac/cfp.html

SAC '97
=======

Over the past ten years, the ACM Symposium on  Applied  Computing has become a
primary forum for applied computer scientists and application developers  from
around the world to interact and present their work.  SAC '97 is sponsored  by
the ACM Special Interest Groups SIGAda, SIGAPP, SIGBIO,  SIGCUE,  and
SIGICE.

Authors are invited to contribute original papers or abstracts for a poster
session in all areas of experimental computing and application development for
the technical sessions.  Panel and workshop proposals which deal with the 
symposium themes are encouraged.  The special tracks form the heart of the 
symposium.  Papers and poster abstracts relating to the specific tracks should
be mailed to the respective track chairs.

In addition to the topics covered by the tracks listed below, papers and
posters are solicited in geographic information systems, image processing, 
biomolecular computing, cognitive science, biology, chemistry, physics, 
geosciences, electronic libraries, office automation and other areas of 
applications development.  Papers or posters not relating to a specific 
track or spanning more than one track should be mailed to the Program Chair.

Look for additional information in SIG newsletters or contact the individuals 
listed below. Also check the SAC WWW page:
http://www.acm.org/conferences/sac/


Special Track on Database Technology
====================================
A special track on Database Technology will be held in SAC '97.   It
will be a forum for engineers, researchers and practitioners to share
technical ideas and experiences relating to implementation and application
of database technologies.   Topics of interest include, but are not
limited to:

           Advanced applications            Distributed databases
           Object-oriented databases        Multimedia databases
           Active databases                 Mobile databases
           WWW-based databases              Textual databases
           Information discovery            Cooperative databases
           Data Mining                      Data Warehouse
           OLAP                             Workflow Management
           DB issues on CSCW                Ubiquitous Databases
           DB issues on Hyper Text          Digital Library
           Video Server                     Video Authoring System
           Tertiary Storage System          Disk Arrays


PAPERS
======

Original papers dealing with any aspect of computing applications will be 
considered for presentation and publication in the SAC '97 Proceedings.  This 
includes three categories of submissions:  1) original and unpublished 
research; 2) reports of innovative computing applications in the arts, 
sciences, engineering, business, government, education and industry; and, 
3) reports of successful technology transfer to new problem domains.  Each 
category of submissions will be reviewed by peer groups appropriate to that 
category.  Accepted papers in all categories will be published in the 
conference proceedings.  Expanded versions of selected papers from all 
categories will be considered for publication in the ACM/SIGAPP quarterly 
Applied Computing Review or one of the other participating SIGs' publications.

Submission guidelines must be strictly followed:

* Mail six (6) copies of the paper to the appropriate Track Chair.  

* The author(s) name(s) and address(es) must not appear in the body of the 
  paper; self-reference should be in the third person.  This is to facilitate 
  blind review.

* The body of the paper should not exceed 4000 words (about  15 pages, double-
  spaced).

* A separate cover sheet included with the submission should show the title of
  the paper, the author(s) name(s) and affiliation(s), and the address 
  (including e-mail, telephone, and fax) to which correspondence should be
  sent.

* All submissions must be received by AUGUST 15, 1996.


Direct correspondence, inquiries and submissions relating to this special
track to:

               Dr. Masaru Kitsuregawa
               (SAC '97 DATABASE TECHNOLOGY Track Chair)
               Institute of Indsutrial Science
               University of Tokyo
               Roppongi 7-22-1, Minato-ku,
               Tokyo	    		
               Japan

               Phone: +81-3-3402-6231 ex.2356
               Fax:  +81-3-3479-1706
               Email:   Sac97DB-secretariat@tkl.iis.u-tokyo.ac.jp


Important Dates
===============
             August 15, 1996        Papers and Proposals Due
             November 1, 1995       Notification of Acceptance
             December 15, 1995      Camera-Ready Paper Due



SAC '97 CONFERENCE OFFICIALS
============================

Symposium Chair
---------------

Jim Hightower
Department of Management Science and Information Systems
California State University-Fullerton
Fullerton, CA  92634-9480, U. S. A.
E-mail: hightower@acm.org
Tel: +1 714 773 2221, FAX: +1 714 449 5940

Symposium Co-Chair
------------------

K. M. George
Department of Computer Science, MS 218
Oklahoma State University
Stillwater, OK  74078, U. S. A.
E-mail: kmg@a.cs.okstate.edu
Tel: +1 405 744 5221, FAX: +1 405 744 9097

General Program Chair
---------------------

Barrett R. Bryant
Department of Computer and Information Sciences
The University of Alabama at Birmingham
1300 University Blvd.
Birmingham, AL  35294-1170, U. S. A.
E-mail: bryant@cis.uab.edu
Tel: +1 205 934 2213, FAX: +1 205 934 5473


TRACKS AND TRACK CHAIRS
=======================

Ada and Software Engineering	Steve Grimaldi, UHD (USA)
				steveg@uhd2.uhd.com

Artificial Intelligence		Robert Inder, University of Edinburgh (UK)
				robert@cogsci.edinburgh.ac.uk

Biomedical Computing            Donna Mooney, Univ. Arkansas for Med. Sci.
(USA)                                dmmooney@care.ach.uams.edu

Computational Logic and         Ralph Wilkerson, Univ. of Missouri-Rolla (USA)
Logic Programming               ralphw@cs.umr.edu

Computer and                    Mohammad S. Obaidat, City Univ. New York (USA)
Telecommunication Networks      obaidat@ees1s0.engr.ccny.cuny.edu

Computer Uses in Education      Jim Hightower, Calif. St. Univ.-Fullerton(USA)
                                hightower@acm.org

Database Technology             Masaru Kitsuregawa, Univ. of Tokyo(Japan)
				Sac97DB-secretariat@tkl.iis.u-tokyo.ac.jp
                                kitsure@tkl.iis.u-tokyo.ac.jp

Fuzzy Applications              E. Damiani, Telnet (Italy)
                                edamiani@telnetwork.it

Genetic Algorithms              Roger Wainwright, University of Tulsa (USA)
                                rogerw@tusun2.mcs.utulsa.edu
 
Mobile Computing Systems        Dorota M. Huizinga, Calif. St. U-Fullerton
(USA)and Applications                dorota@titan.fullerton.edu
 
Multimedia Systems              B. Panda, Alababama A&M University (USA)
                                aambnp01@asnaam.aamu.edu
 
Parallel and Distributed 	Gary Lamont, Air Force Institute of Tech. (USA)
Algorithms 			lamont@afit.af.mil

Programming Languages		Hisham Al-Haddad, Marshall University (USA)
				haddad@acm.org

Scientific Computing		S. Lakshmivarahan, University of Oklahoma (USA)
				varahan@uokmax.ecn.uoknor.edu

Small Computing Systems		Hossein Saiedian, University of Nebraska (USA)
				hossein@unocss.unomaha.edu

Direct general inquiries to the Symposium Chair or the Program Chair.



-----------------------------------------------------------------------


Please complete the following form and return it to sac@cis.uab.edu.


I plan to submit a paper to SAC '97  _____

Topic area of submitted paper _________________________________________



Name:     __________________________

Address:  __________________________

          __________________________

          __________________________

E-mail:   __________________________


-----------------------------------------------------------------------

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-

From raghu@cs.wisc.edu Fri Jul  5 13:53:09 1996
Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id NAA27515 for <dbworld@sea.cs.wisc.edu>; Fri, 5 Jul 1996 13:52:57 -0500
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id NAA19711 for dbworld; Fri, 5 Jul 1996 13:52:56 -0500
Date: Fri, 5 Jul 1996 13:52:56 -0500
From: Vladimiro Sassone <vs@DI.Unipi.IT>
Message-Id: <199607051852.NAA19711@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

[Sorry if you receive this message more than once.  --vs]
----------------------------------------------------------------------------
	    SEVENTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
			  Pisa, 26--29 August, 1996

	       Programme & Final Call for Participation 
----------------------------------------------------------------------------

Monday, 26 August
^^^^^^^^^^^^^^^^^
 Welcome (9:00-9:30)

 Invited Talk (9:30-10:30)

   Retracing Some Paths in Process Algebra,
     Samson Abramsky (Edinburgh)

 Process Algebras (11:00-12:30)

   Process Calculus Based Upon Evaluation to Committed Form,
     Andrew Pitts and Joshua Ross (Cambridge)

   A Process Algebra with Distributed Priorities,
     Rance Cleaveland, Gerald Luettgen, and Vaidhyanathan Natarajan (NCSU)

   Symbolic Transition Graph with Assignment,
     Huimin Lin (Beijing)

 Tutorial (11:00-12:30, parallel session)

   Models for Concurrent Constraint Programming,
     Vineet Gupta (Xerox PARC), Radha Jagadeesan (Loyola), and 
     Vijay Saraswat (Xerox PARC)

 Categorical Approaches (14:00-15:30)

   Comparing Transition Systems with Independence and Asynchronous
       Transition Systems,
     Thomas Hildebrandt (Aarhus) and Vladimiro Sassone (Pisa)

   A Presheaf Semantics of Value-Passing Processes,
     Glynn Winskel (Aarhus)

   Elementary Control Structures,
     John Power (Edinburgh)

 Pi-Calculus (16:00-18:00)

   On Transformations of Concurrent Object Programs,
     Anna Philippou and David Walker (Warwick)

   On Bisimulations for the Asynchronous $\pi$-Calculus,
     Roberto Amadio (CNRS), Ilaria Castellani, and Davide Sangiorgi (INRIA)

   On the Expressiveness of Internal Mobility in Name-Passing Calculi,
     Michele Boreale (Roma)

   Decoding Choice Encodings,
     Uwe Nestmann (Erlangen) and Benjamin Pierce (Cambridge)
----------------------------------------------------------------------------

Tuesday, 27 August
^^^^^^^^^^^^^^^^^^
 Invited Talk (9:00-10:00)

   Infinite Results,
     Faron Moller (Uppsala)

 Decidability & Complexity (10:30-12:30)

   Decidability of Bisimulation Equivalence for Normed Pushdown Processes,
     Colin Stirling (Edinburgh)

   The Modal mu-Calculus Alternation Hierarchy is Strict,
     J.C. Bradfield (Edinburgh)

   Bisimulation Collapse and the Process Taxonomy,
     Olaf Burkart, Didier Caucal (IRISA), and Bernhard Steffen (Passau)

   On the Expressive Completeness of the Propositional mu-Calculus with
        respect to the Monadic Second Order Logic,
     David Janin (Bordeaux) and Igor Walukiewicz (Aarhus)

 Tutorial (10:30-12:00, parallel session)

   A FACILE Tutorial,
     Bent Thomsen, Lone Leth (ICL/IC-PARC), and Tsung-Min Kuo (ECRC)

 Probability (14:00-15:00)

   Testing Probabilistic Automata,
     Roberto Segala (Bologna)

   Extended Markovian Process Algebra,
     Marco Bernardo and Roberto Gorrieri (Bologna)

 Excursion to Volterra (15:00-20:00)

 Conference Dinner (20:00-22:00)
----------------------------------------------------------------------------

Wednesday, 28 August
^^^^^^^^^^^^^^^^^^^^
 Invited Talk (9:00-10:00)

   Rewriting Logic as a Semantic Framework for Concurrency: A Progress Report,
     Jose' Meseguer (SRI)

 Functional & Constraint Programming (10:30-12:30)

   Truly Concurrent Constraint Programming,
     Vineet Gupta (Xerox PARC), Radha Jagadeesan (Loyola), and
     Vijay Saraswat (Xerox PARC)

   Constraints as Processes,
     Bjorn Victor (Uppsala) and Joachim Parrow (Stockholm)

   A Calculus of Mobile Agents,
     Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and
     Didier Remy (INRIA Rocquencourt)

   Algebraic Interpretation of Lambda Calculus with Resources,
     Carolina Lavatelli (LIENS)

 Tutorial (10:30-12:00, parallel session)

   Concurrent Graph and Term Graph Rewriting,
     Andrea Corradini (Pisa)

 Petri Nets (14:00-15:30)

   Petri Boxes and Finite Precedence,
     Raymond Devillers (Brussel)

   Constrained Properties, Semilinear Systems, and Petri Nets,
     Ahmed Bouajjani and Peter Habermehl (Verimag)

   Linear Constraint Systems as High-Level Nets,
     Eike Best (Hildesheim) and Catuscia Palamidessi (Genova)

 Verification (16:00-18:00)

   A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking,
     Thomas Henzinger (Berkeley), Orna Kupferman (Bell Labs), and
     Moshe Vardi (Rice)

   State Equivalences for Rectangular Hybrid Automata,
     Thomas Henzinger (Berkeley) and Peter Kopke (Cornell)

   Verifying Abstractions of Timed Systems,
      Serdar Tasiran (Berkeley), Rajeev Alur, Robert Kurshan (Bell Labs),
      and Robert Brayton (Berkeley)

   Towards Automatic Temporal Logic Verification of Value Passing Process
        Algebra Using Abstract Interpretation,
      Alessandro Fantechi (Firenze), Stefania Gnesi and Diego Latella (Pisa)
----------------------------------------------------------------------------

Thursday, 29 August
^^^^^^^^^^^^^^^^^^^
 Invited Talk (9:00-10:00)

   Modelling and Verification of Distributed Algorithms,
     Wolfgang Reisig (Berlin)

 Automata & Causality (10:30-12:30)

   An Algorithmic Approach for Checking Closure Properties of
        omega-Regular Languages,
     Doron Peled (Bell Labs), Thomas Wilke (Rutgers), and Pierre Wolper (Liege)

   Towards Automata for Branching Time and Partial Order,
     Michaela Huhn and Peter Niebert (Hildesheim)

   Asynchronous Cellular Automata for Pomsets without Auto-Concurrency,
     Manfred Droste (Dresden) and Paul Gastin (LITP)

   Action Refinement and Property Inheritance in Systems of Sequential Agents,
     Michaela Huhn (Hildesheim)

 Practical Models (14:00-15:30)

   A Calculus for Concurrent Objects,
     Paolo Di Blasio (Roma) and Kathleen Fisher (Stanford)

   Refinement in Interworkings,
     Sjouke Mauw and Michel Reniers (Eindhoven)

   Equivalences of Statecharts,
     Andrea Maggiolo-Schettini (Pisa), Adriano Peron (Udine), and
     Simone Tini (Pisa)

 Shared-Memory Systems (16:00-17:30)

   Modular Verification for Shared-Variable Concurrent Programs,
     Jurgen Dingel (CMU)

   The Impact of Hardware Models on Shared Memory Consistency Conditions,
     Jerry James and Ambuj Singh (Santa Barbara)

   Synchronous Development of Asynchronous Systems,
     Clemens Fischer and Wil Janssen (Oldeburgh)

----------------------------------------------------------------------------
		     Final Call for Participation
----------------------------------------------------------------------------

 The 7th International Conference on Concurrency Theory will be held in Pisa
 from August 26 to August 29, 1996. Pisa, conveniently located in upper
 Tuscany on the coast 70 Km away from Florence, is one of Italy's oldest towns
 - its origins date back to the Etruscan, nearly 3,000 years ago. The city
 hosts an old (over 650 years) University that ranks among the best in Italy.

*The conference will be held at the Palazzo dei Congressi (Convention Palace),
 via G. Matteotti 1, Pisa, that will be open for registration and a welcome
 refreshment in the afternoon of Sunday August 25.*

 Pisa is easily reachable by:
 - Air: Daily flights connect Pisa Galilei international airport with several
        important national airports (e.g. Milan, Rome), as well as with
	Frankfurt, London, Munich, and Paris; Florence international airport
	provides direct connections to Amsterdam, Bruxelles, Dusseldorf, and
	others. 
 - Train: Pisa railway station provides frequent direct connections with many
        Italian destinations, including Genua, Florence, Rome and Turin.
 - Road: Pisa lies at the centre of a large network of roads and motorways,
        including the A11 motorway (from Florence) the A12 (from Genua) and
        the A15 (from Parma and Milan).

 The conference fees are:

                    +--------------+---------------+
                    |  by July 15  | after July 15 |
          +---------+--------------+---------------+
          | Regular:| LIT. 600,000 |  LIT. 675,000 |
          | Student:| LIT. 300,000 |  LIT. 375,000 |
          +---------+--------------+---------------+

 The fee (both regular and student rate) includes:
 - proceedings published by Springer Verlag;
 - 4 lunches;
 - excursion to Volterra on Tuesday afternoon; and
 - conference dinner on Tuesday evening.

 Accommodation, other evening meals and any costs related to the satellite
 workshop (see below) are not included in the fee. 

 In connection with the conference, some sessions devoted to demonstrations of
 (semi-)automatic academic tools for the analysis and verification of
 concurrent systems are organized. A satellite workshop on Verification of
 Infinite State Systems (Infinity) will be held on August 30 and 31.

 More detailed information about the conference and the related activities are
 available at the conference WEB page <http://www.di.unipi.it/~vs/CONCUR96>
 -- including the postscript version of the program, registration and
 accommodation forms, call for demos, and Infinity. Should you have any
 problem with the WEB page, please e-mail to concur96@di.unipi.it

*Note*: We can guarantee hotel reservations only for the applications received
	by 15 July. Late hotel reservation risk to rejected, depending on
	availability. 

 CONCUR 96 is jointly sponsored by
 - Universita' di Pisa,
 - Gruppo Nazionale Informatica Matematica - CNR, 
 - US Office of Naval Reserch and US Air Force, EUROPE.
 


-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community. 

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

  to change your address
	send an unsubscribe request from the old address
	send a subscribe request from the new address

  to find out more options send 
	help
------------------------------------------------------------------------FOOTER-

