From raghu@cs.wisc.edu Sun Nov 10 13:08: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 NAA25984 for <dbworld@sea.cs.wisc.edu>; Sun, 10 Nov 1996 13:08:04 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id NAA09939 for dbworld; Sun, 10 Nov 1996 13:08:03 -0600
Date: Sun, 10 Nov 1996 13:08:03 -0600
From: Joe Hellerstein <jmh@postgres.Berkeley.EDU>
Message-Id: <199611101908.NAA09939@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

[The following crossed my desk; I am not associated with Mills in any
way.

Joe Hellerstein]

                        Mills College
                        Oakland, CA  94613
                Assistant Professor of Computer Science

Tenure-track position as Assistant Professor of Computer Science
beginning Fall 1997.  Required: Ph.D. in Computer Science and a broad
background in the field.  Preference will be given to candidates with
experience in one or more of the following areas: architecture,
operating systems, parallel and distributed computing, networking,
programming languages, multimedia systems, and interdisciplinary
areas.  Applicants must submit evidence of superior teaching and
research abilities.

Mills College is a small, well-known, liberal arts college for women
located in the San Francisco Bay Area.  It offers 33 majors and 18
graduate programs, including a master's program in interdisciplinary
computer science.  The faculty/student ratio is 1:11.

Send vita, your statements of teaching philosophy and research
objectives, and three letters of reference by 1/31/97 to: Chair,
Computer Science Search Committee or e-mail to cssearch@mills.edu.

Mills College is an affirmative action/equal opportunity employer.
Persons of color and those committed to working in a multicultural
environment are encouraged to apply.

-------------------------------------------------------------------------------
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 Nov 11 09:47:02 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 JAA05595 for <dbworld@sea.cs.wisc.edu>; Mon, 11 Nov 1996 09:46:55 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA10774 for dbworld; Mon, 11 Nov 1996 09:46:55 -0600
Date: Mon, 11 Nov 1996 09:46:55 -0600
From: paul golder <p.a.golder@aston.ac.uk>
Message-Id: <199611111546.JAA10774@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Lectureship vacancy 
at Aston University, UK

of interest to people in the IS/DBarea

for details see
 
http://www.cs.aston.ac.uk/job_vac.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
------------------------------------------------------------------------FOOTER-

From raghu@cs.wisc.edu Mon Nov 11 09:48: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 JAA05600 for <dbworld@sea.cs.wisc.edu>; Mon, 11 Nov 1996 09:48:41 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA10789 for dbworld; Mon, 11 Nov 1996 09:48:40 -0600
Date: Mon, 11 Nov 1996 09:48:40 -0600
From: Foto Afrati <afrati@softlab.ece.ntua.gr>
Message-Id: <199611111548.JAA10789@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

                             Call for Participation
                                                            
                 6TH INTERNATIONAL CONFERENCE ON DATABASE THEORY 
                                   (ICDT '97)
    
                      Delphi, Greece, January 8-10, 1997
     
    
                            In cooperation with 
                ACM COMPUTER SOCIETY and IEEE COMPUTER SOCIETY
                                       
     
    
    ICDT is a  biannual international conference on theoretical aspects of 
    databases and a forum for communicating research advances on the principles 
    of database systems. Previous ICDT conferences were held in Rome (1986), 
    Bruges (1988), Paris (1990), Berlin (1992), and Prague (1995). 
    Since 1992, ICDT has been merged with the Symposium on Mathematical 
    Fundamentals of Database Systems (MFDBS), another series of conferences 
    on theoretical aspects of database systems that was initiated in 
    Dresden (1987), and continued in Visegrad (1989) and Rostock (1991). 
     
    
    ***************************************************************************
    
                         ICDT'97 HIGHLIGHTS
    
    *  Invited talks by S. Abiteboul and J. Ullman
    *  Invited tutorial on data mining by H. Mannila
    *  Presentations of 29 technical papers selected out of 119 submissions
    
    ***************************************************************************
    
                           INVITED TALKS
                           =============
     
    Speaker: S. Abiteboul (INRIA and Stanford University) 
             ------------
    Title:   Querying Semi-Structured Data 
    
    Abstract:
    Semi-structured data can be found in many data sources available
    electronically (most notably in the WWW). They also arise naturally as
    the result of the integration of independent heterogeneous sources.
    In such contexts, the structure of data is not as regular or rigid as
    in standard databases systems, e.g., in the relational or object-oriented
    database systems.  Also, the notion of schema is altered in essential
    ways, e.g., the schema may become implicit.
    We will try to highlight the main aspects and particularities of
    semi-structured data.  We will also survey some proposals of models
    and query languages for semi-structured data.
     
    About the speaker: 
    Serge Abiteboul obtained his Ph.D. from U.S.C, Los Angeles, in
    1982, and a Th`ese d'Etat from Paris University, Orsay, in 1985.  He
    is Senior Researcher at I.N.R.I.A., Rocquencourt, France where he
    managed a Database Group from 1989 to 1995.  He is also Maitre de
    Conf'erence at Ecole Polytechnique.  He is currently visiting for two
    years the Computer Science Dept. at Stanford U.
    
    
    Speaker: J. Ullman  (Stanford University)  
             ---------
    Title:   Information Integration Using Logical Views
    
    Abstract: 
    A number of ideas concerning information-integration tools can be
    thought of as constructing answers to queries using views that represent
    the capabilities of information sources.  We review the formal basis of
    these techniques, which are closely related to containment algorithms
    for conjunctive queries and/or datalog programs.
    Then we compare the approaches taken by AT&T Labs' "Information
    Manifold" and the Stanford "Tsimmis" project in these terms.
    
    About the speaker: 
    Jeff Ullman is the Stanford W. Ascherman Professor of Engineering and
    acting chair of the Department of Computer Science at Stanford.
    He received the B.S. degree from Columbia University in 1963 and the PhD
    from Princeton in 1966.  He has served as chair of the CS-GRE
    Examination board, Member of the ACM Council, Chair of the New York
    State CS Doctoral Evaluation Board, on several NSF advisory boards,
    and is past or present editor of several journals.
    He is presently a member of the Computing Research Association Board.
    Ullman was elected to the National Academy of Engineering in 1989, has
    held Guggenheim and Einstein Fellowships, and is the 1996 winner of the
    Sigmod Contributions Award.  He is the author of 14 books, including a
    2-volume series on Database Systems.  His research interests include
    information integration, warehouse design, and data mining.
    
    *****************************************************************************
      
                            INVITED TUTORIAL 
                            ================
     
    Speaker: H. Mannila (University of Helsinki)
             ----------
    Title:   Methods of data mining 
     
    Abstract:
    Data mining, also called knowledge discovery in databases,
    aims at the discovery of interesting knowledge from large masses of
    data. We review some recent developments in data mining methods for
    relational, sequential, and time-series data, and present some
    theoretical results and challenges in the area. 
    
    About the speaker:
    Heikki Mannila is a professor of computer science at the
    University of Helsinki, where he also obtained his Ph.D. 
    in 1985. After that he has been an associate professor
    at the Universities of Tampere and Helsinki, a visiting professor
    at the Technical University of Vienna, and a guest researcher
    at the Max Planck Institut fur Informatik in Saarbrucken.
    He has also worked at the National Public Health Institution in
    Helsinki, as well as consultant in industry.
    His research interests include data mining, machine learning,
    database design, and text databases. He is the coauthor of the book
    "Design of Relational Databases" (Addison-Wesley) as well as
    numerous articles in algorithms, databases, machine learning and
    data mining. He is one of the editors-in-chief of the new
    scientifc journal "Data Mining and Knowledge Discovery".
    
    *****************************************************************************
     
                          CONFERENCE  PROGRAM
                          ===================
     
    TUESDAY, JANUARY 7, 1997
    ------------------------
     
    16:00 and 20:00    Conference buses depart from Athens airport to Delphi 
      
    19:00 - 23:00      Registration 
     
    20:00 - 22:00      Reception (with light dinner) 
     
    ------------------------------------------------------ 
    
    WEDNESDAY, JANUARY 8, 1997
    -------------------------
     
    9:00 - 10:00  Invited talk by J. Ullman (Stanford Univ.)
    Information Integration Using Logical Views
                 
     
    10:00 - 10:30  Coffee break
     
    10:30 - 12:30  Session 1: Conjunctive Queries in Heterogeneous Databases
     
       Conjunctive query containment revisited
          ---  C. Chekuri (Stanford Univ.), A. Rajaraman (Stanford Univ.)
     
       Semantics and containment with internal and external conjunctions
          ---  G. Grahne (Univ. Helsinki),  N. Spyratos (LRI, Orsay),
               D. Stamate (LRI, Orsay)
     
       Efficient complete tests for conjunctive query
              constraints with negation
          ---  N. Huyn (Stanford Univ.)
     
       Selection of views to materialize in a data warehouse
          ---  H. Gupta (Stanford Univ.)
     
    12:30 - 14:30  Lunch
     
     
    14:30 - 16:00  Session 2: Logic and Databases I
     
       Total and partial well-founded Datalog coincide
          ---  J. Flum (Univ. Freiburg),  M. Kubierschky (Univ. Freiburg), 
               B. Ludaescher (Univ. Freiburg)
     
       Fine hierarchies of generic computation
          ---  J. Tyszkiewicz (RWTH Aachen)
     
       Local properties of query languages
          ---   G. Dong (Univ. Melbourne) , L. Libkin (Bell Labs), 
                L. Wong (I.S.S., Singapore)
     
     
    16:00 - 16:30  Coffee break
     
     
    16:30 - 18:30  Session 3: Active Databases
    
       Expressiveness and complexity of active databases
          ---  P. Picouet (E.N.S.T.),  V. Vianu (UC San Diego)  
     
       A model theoretic approach to update rule programs
          ---  N. Bidoit (Univ. Paris XIII),   S. Maabout (Univ. Paris XIII) 
     
       Abstract interpretation of active rules and its use in
            termination analysis
          --- J. Bailey (Univ. Melbourne),  L. Crnogorac (Univ. Melbourne),  
              K. Ramamohanarao (Univ. Melbourne), H. Sondergaard (Univ. Melbourne)
     
       Structural issues in active rule systems
          --- J. Bailey (Univ. Melbourne),  G. Dong (Univ. Melbourne),
              K. Ramamohanarao (Univ. Melbourne)
     
     19:00 - 20:00 Business Meeting
     
     ------------------------------------
     
     THURSDAY, JANUARY 9, 1997
     -------------------------
     
    8:30 - 10:00   Invited tutorial by H. Mannila (Univ. Helsinki)
    
    10:00 - 10:30  Coffee break
     
    10:30 - 12:30  Session 4: New Applications
    
       Discovering all most specific sentences by randomized algorithms
          ---  D. Gunopoulos (MPI),  H. Mannila (Univ. Helsinki),  S. Saluja (MPI) 
     
       A formal foundation for distributed workflow execution based on state charts
          ---  D. Wodtke (Univ. Saarland),  G. Weikum (Univ. Saarland) 
     
       Incorporating user preferences in multimedia queries
          --- R. Fagin (IBM Almaden),   E.L. Wimmers (IBM Almaden)
     
       Queries and computation on the web
          ---  S. Abiteboul (INRIA and Stanford Univ.), V. Vianu (UC San Diego)  
     
     
    12:30 - 14:00  Lunch
     
    14:00 - 16:30  Tour of the Delphi archaeological site and museum
     
    16:30 - 17:00  Coffee break
     
    17:00-18:00  Session 5: Logic and Databases II
     
       The complexity of iterated belief revision
          ---  P. Liberatore (Univ. Roma "La Sapienza")
     
       Expressive power of unary counters
          --- M. Benedikt (Bell Labs),   H.J. Keisler (Univ. Wisconsin)
     
    18:00-19:00  Session 6: Concurrency Control
     
       Concurrency control theory for deferred materialized views
          ---   A. Kawaguchi (Columbia  Univ.), D. Lieuwen (Bell Labs), 
                I. Mumick (Bell Labs), D. Quass (Stanford Univ),  
                K. Ross (Columbia Univ.)
     
       Serializability of nested transactions in multidatabases
          ---  U. Halici (METU, Ankara), B. Arpinar (METU, Ankara), 
               A. Dogac (METU, Ankara)
     
    20:30  Conference Banquet 
     
    ---------------------------------------------------
     
    FRIDAY, JANUARY 10, 1997
    ------------------------
     
    9:00 - 10:00   Invited talk by S. Abiteboul (INRIA and Stanford Univ.) 
     
    10:00 - 10:30  Coffee break
     
    10:30 - 11:30  Session 7: Unstructured Data
     
       Adding structure to unstructured data
          ---  P. Buneman (Univ. Pennsylvania), S.Davidson (Univ. Pennsylvania),  
               M. Fernandez (AT&T Research), D. Suciu (AT&T Research)  
     
       Correspondence and translation for heterogeneous data
          ---  S. Abiteboul (INRIA and Stanford Univ.),  S. Cluet (INRIA),
               T. Milo (Univ. Tel Aviv) 
     
     
    11:30 - 12:30  Session 8: Object Oriented Databases
     
       Type consistency problems for queries in object-oriented databases
          ---  Y. Ishihara (Nara Institute),  H. Seki (Nara Institute),  
               M. Ito (Nara Institute)
     
       Object-oriented database evolution
          ---  J.-B. Lagorce (LRI, Orsay),  A. Stockus (LRI, Orsay),
               E. Waller (LRI, Orsay)
     
     
    12:30 - 14:30  Lunch
     
    14:30 - 16:00  Session 9: Access Methods
    
       Performance of nearest neighbor queries in R-trees
          ---  A. Papadopoulos (Aristotle Univ. of Thessaloniki),  
               Y. Manolopoulos (Aristotle Univ. of Thessaloniki)
     
       Optimal allocation of two-dimensional data
          ---  K. Abdel-Ghaffar (UC Davis), A. El Abbadi (UC Santa Barbara)
     
       Efficient indexing for constraint and temporal databases
          ---   S. Ramaswamy (Lucent Technologies, Bell Labs Innovations)
     
    16:00 - 16:30 Coffee break
     
    16:30 - 18:00 Session 10: Spatial Data and Bulk Data
    
       On topological elementary equivalence of spatial databases
          ---  B. Kuijpers (Univ. Antwerp),   J. Paredaens (Univ. Antwerp),  
               J. Van den Bussche (Univ. Antwerp)
     
       Dynamic constraint databases for spatial data
          --- P.Z. Revesz (Univ. Nebraska)
     
       Tractable iteration mechanisms for bag languages
          --- L. Colby (Bell Labs), L. Libkin (Bell Labs)     
     
     
    18:30 - 19:30 Dinner (at the conference center)
     
    20:00       Conference buses depart for Athens
     
    
    *****************************************************************************
                         CONFERENCE ORGANIZATION
                         =======================
     
    Program co-chairs: Foto Afrati (NTUA Athens)  
                       Phokion G. Kolaitis (UC Santa Cruz)
     
    Program committee members: 
     
    F. Afrati (Greece)      M. Cadoli (Italy)              S. Chaudhuri (USA)
    S. Cluet (France)       T. Eiter (Austria)             C. Faloutsos (USA)
    S. Greco (Italy)        M. Gyssens (Belgium)           O.H.G.Katona(Hungary)  
    P. Kolaitis (USA)       G. Kuper (Germany)             T. Milo (Israel)  
    M. Ozsoyoglu (USA)      J. Pokorny (Czech Rep.)        V. Sazonov (Russia)    
    H-J. Schek (Switzeland) E. Soisalon-Soininen (Finland) J. Su (USA)  
    V. Tannen (USA)         D. Van Gucht (USA)             V. Vianu (USA)  
    G. Vossen (Germany)     P. Wolper (Belgium)            J. Zlatuska (Czech Rep.)
     
     
    Organizing committee co-chairs: Foto Afrati, Theodora Varvarigou (NTUA Athens)
     
    Organizing committee members: Izambo Karali (Univ. Athens), Theodore Kavalieros,
                                  Theodore Mitakos,   Costas Petropulos,
                                  Francesca Toni (NTUA Athens)
     
    WWW: http://www.softlab.ece.ntua.gr/public/AD/icdt97.html
     
    For further information, contact teo@softlab.ece.ntua.gr
      
    ***************************************************************************** 
        +---------------------------------------------------------+
        |                          DEADLINES                      |
        |                                                         |
        | Early Registration                     12 November 1996 |
        | Hotel Reservation                      12 November 1996 |
        +---------------------------------------------------------+ 
    
    ******************************************************************************
    
                           GENERAL INFORMATION
                           ===================
     
    LOCATION
    ---------
    ICDT 97 will be held at the European Cultural Center of Delphi, Greece. 
    Delphi (elevation 573 m.) is located in a magnificent natural setting 
    about 170 km N/W of Athens on the undercliffs of Mount Parnassus.
    The drive from Athens to Delphi takes about three hours.
    Delphi hosts one of the most significant archaeological sites in Greece.
    Although today it is just a small village, historically Delphi has been one
    of the cornerstones of ancient Greek civilization. Indeed, in antiquity Delphi
    was the seat of the oracle of Apollo, which was particularly active
    during the 7th and the 6th centuries BC and had to be consulted for 
    essentially every major political decision. Ancient Greeks considered
    Delphi to be the "navel of the world".  The shrine was administered by a
    panhellenic confederation, which every four years organized the Pythian Games;
    these were second only to the Olympic Games, but with more prominence 
    on music and drama, as they were dedicated to Apollo.
    
    WEATHER 
    --------
     
    January is winter time in Greece. The temperature at Delphi in January 
    typically  ranges from 5 to 15 degrees C (41-59 degrees F),
    with a small probability of being lower than 5 degrees C (41 degrees F).
     
    CURRENCY AND EXCHANGE
    ---------------------
    
    The Greek currency is the drachma (DR).  In September 1996,
    1 US Dollar was approximately 235 DR. Currencey can be exchanged
    either at the Athens airport or in Delphi.
    
    TIME
    ----
    Greece uses +2 hour GMT (Greenwich Mean Time).
    
     
    THINGS TO DO
    -------------
     
    Delphi's archeological site has many interesting monuments and temples,
    including the sanctuary of Apollo, the theatre where the 
    Delphic festivals were held, the stadium, the Kastalia Fountain 
    where the Pythia, priestess of Apollo, would bathe before uttering her
    oracular utterances, and the tholos or rotunda, one of the most remarkable 
    architectural constructions of antiquity (depicted on the conference poster).
    The collection of the Delphi museum consists exclusively of objects 
    found on the archaeological site, including the famous bronze statue of the 
    charioteer and an ancient copy of the sacred stone "omphalos" (the
    "navel of the world").
     
    In Delphi and the surrounding villages you can find tavernas, restaurants, 
    coffee houses, and bars.  
     
	From Delphi you can visit the ski facilities of Mount Parnassus (elevation
    2400 m), the town of Itea (17 km), a pleasant summer resort by the sea, 
    the town of Amfissa (22 km),  surrounded by a forest of olive trees, 
    and the monastery of Hosios Loukas (36 km), an outstanding example of 
    Byzantine art and architecture. 
     
     
                                  PROCEEDINGS
                                  ===========
     
    The conference proceedings will appear as a volume in the "Lecture Notes in
    Computer Science" (LNCS) series, published by Springer-Verlag, and will
    be available at the conference. Each registered participant will receive
    a copy of the proceedings (except for students). 
    
     
                                  REGISTRATION
                                  ============
     
    PROCEDURE
    ----------
    People wishing to attend the conference should fill out a copy of the 
    registration form  attached to the end of this announcement and return it, 
    via e-mail, fax, or postal mail, to the address:
    
     +-----------------------------------------------------------------------------+
     | Foto Afrati, ICDT 97                                                        |
     | P.O. Box 64042                             Email:teo@softlab.ece.ntua.gr    |
     | 15710  Zographou, Athens                   tel  : +30-1-7722498             |
     | GREECE                                     fax  : +30-1-7722499             |
     +-----------------------------------------------------------------------------+
     
    E-mail registration is strongly preferred.
    In addition to sending the registration form, the proper registration
    fee should be paid via cheque or bank transfer, as explained below
    in the METHOD OF PAYMENT section.
    
    On-site registration will be available
    at the conference office during ICDT 97 starting Tuesday, January 7, 19:00.
     
    PARTICIPANT REGISTRATION
    ------------------------
     
                     Before 12 November 1996            After  12 November 1996
                     -----------------------            -----------------------
    Member*          US$ 430                            US$ 500
    Regular          US$ 500                            US$ 550
    Student          US$ 270                            US$ 300
     
    * For members of ACM and IEEE. 
    
    A separate form must be completed by each participant.
    Please make sure that your society affiliation (membership number)
    and/or university affiliation are shown on your registration form,
    or that proof of your full time student status comes together with it.
    Otherwise, the reduced registration fee will not be applied.
    
    It is suggested to register for the conference at your earliest convenience.
    As soon as both registration form and fee have been received,
    an e-mail confirmation will be sent. To qualify for the early 
    registration fee, payment must be received by November 12, 1996. 
    
    The conference fee includes admission to all sessions
    of the conference (including the invited talks and tutorial),
    a copy of the proceedings (not included in the student fee), 
    refreshments during the breaks, lunches, transportation from and to Athens via
    the transfer buses of the conference, and the social events (reception on 
    January 7, tour of the archaeological site and conference banquet on January 9
    -the latter not included in the student fee). 
    
    
    
    A SPECIAL NOTE FOR EAST EUROPEAN PARTICIPANTS
    ----------------------------------------------
     
    A limited number of free participations for people from
    Eastern Europe  (free conference attendance and accomodation)
    will be offered. To become eligible for the support,
    please apply to Foto Afrati by e-mail (afrati@softlab.ece.ntua.gr) before
    November 12, 1996.
     
    CANCELLATION AND REFUND
    -----------------------
     
    Cancellation must be made in written form to the organizers.
    If cancellation notification is received before December 11, 1996,
    80% of the registration fee will be refunded; no refunds will be made thereafter.
    For registered participants who cannot attend, the proceedings
    will be mailed after the conference.
     
    METHOD OF PAYMENT
    -----------------
     
    Payment of the registration fees should be made in US dollars 
    in one of the following ways:
     
    *  cheque payable to "ICDT 97", mailed with the registration form,
     
    *  bank transfer to ERGOBANK S.A., Zographou Branch
                         Acc. No: 088/03741-00010/19
                         SWIFT address: ERGOGRAA, 90 Papagou av, and Maratou, 
                                        15772 Athens, Greece
                         Fax: +30-1-7486824
                         Tel: +30-1-7486822
    
    If using a bank transfer, please send a copy of the receipt via postal
    mail or fax to the address used for the registration above. It is
    allowed to send a single check or make a single bank transfer covering
    more than one registration fee.
     
    *  Upon arrival at the secretariat desk (full fee has to be paid).
     
    
    
                              SOCIAL EVENTS
                              =============
     
    TUESDAY, JANUARY 7, 1997          Welcome reception with light dinner at 
    20:00 AND 22:00                   the EUROPEAN CULTURAL CENTER OF DELPHI.
                              
     
    THURSDAY, JANUARY 9,1997          Tour of Delphi archeological site and museum.
    14:00 - 16:30                          
     
    20:30                             Conference Banquet.* 
                                      During the banquet, a performance of 
                                      Greek music will take place. 
     
    *The cost of a banquet ticket (for those not registered or students) is
    US $50 per person.
     
     
                           TRAVEL INFORMATION
                           ==================
     
    VISA
    ----
     
    No entry visa is required for visitors from EEC countries, USA, and
    Canada. For other countries, information about visa can be obtained 
    from the Greek Consulates or airlines.
    
     
    LETTERS OF INVITATION
    ---------------------
     
    Upon request, the secretariat of the conference will send a personal
    invitation for participation in the conference. It should be understood that 
    such an invitation is only to help participants obtain a visa and does not 
    constitute a commitment on the part of the organizers to provide any
    financial suport.
     
     
    TO AND FROM DELPHI
    ------------------
    
    THROUGH ATHENS
    
    By plane: Athens International Airport has two terminals. OLYMPIC AIRWAYS
    passengers arrive at the Western Terminal.
    Passengers of all other airlines arrive at the Eastern Terminal.
    
    You can travel from Athens to Delphi and from Delphi to Athens using the 
    conference buses or public transportation as described below. For those
    who want to stay overnight in Athens before or after the conference, a block
    of rooms in the Chandris hotel (address: Sygrou 385, tel: +30-1-9414824) has been
    reserved. Conference buses will pick up participants both from the airport 
    and the Chandris Hotel (see below).
    
    To reach the Chandris Hotel take a taxi from the airport (approximatively 8 US$).
    
    ATHENS-DELPHI
    
    USING THE CONFERENCE BUSES (trip takes about three hours)
    
    * There are two conference buses on Tuesday, January 7, from Athens to Delphi:
    
    the first bus departs: at 16:00 from the airport (arrivals) and
                           at 16:30 from the Chandris Hotel 
    
    the second bus departs: at 20:00 from the airport (arrivals) and
                            at 20:30 from the Chandris Hotel
    
    * There is a conference bus on Friday, January 10, from Delphi to Athens,
    departing at 20:00 (and stopping both at the Chandris Hotel and at the airport).
    
    Conference bus transportation is included in the registration fee.
    
     
    USING PUBLIC TRANSPORTATION
    
    
    Public buses from ATHENS TO DELPHI depart from the Central Bus Station
    located at Liossion St, according to the following schedule.
     
    +---------------------+---------------+ 
    |  FROM               |  TO           |
    +=====================+===============+
    |  Athens@Liossion St |  Delphi       |
    +=====================+===============+
    |  7:30               |  10:30        |
    +---------------------+---------------+
    |  10:30              |  13:30        |
    +---------------------+---------------+
    |  14:30              |  17:30        |
    +---------------------+---------------+
    |  17:30              |  20:30        |
    +---------------------+---------------+
    +-------------+-----------------------+
    |  FROM       |  TO                   |
    +=============+=======================+
    |  Delphi     |  Athens@Liossion St   |
    +=============+=======================+
    |  5:30       |  8:30                 |
    +-------------+-----------------------+
    |  9:00       |  12:00                |
    +-------------+-----------------------+
    |  10:30      |  13:30                |
    +-------------+-----------------------+
    |  13:30      |  18:00                |
    +-------------+-----------------------+
    |  16:00      |  19:00 (Fri&Sun only) |
    +-------------+-----------------------+
    |  18:00      |  21:00                |
    +-------------+-----------------------+
                                              
    The bus fare is DR 2600 one-way.
     
    To reach the Central Bus Station at Liossion St, either take a taxi from 
    the airport (approximatively 15 US$) or first take the bus number 091 from 
    the airport to Syntagma Square (160 DR) and then a taxi from there to the
    Central Bus Station at Liossion St. (approximatively 10 US$). 
    It is recommended to take a taxi directly from the airport.
     
    Once in Delphi, all hotels are within easy walking distance.
    
     
                              ACCOMMODATION
                              =============
    
    
     
    HOTEL RESERVATION
    -----------------
    
    Reservations have to be made directly with the person in charge
    at the address below.
    
    A block of rooms has been reserved at the European Cultural Center of Delphi,
    as well as in a number of small and cozy hotels in the village of
    Delphi. Rooms are also reserved in the Chandris hotel in Athens
    for those who  stay in Athens before or after the conference.
    
    The special rates that were arranged are as follows: (in US $)
     
     
    HOTEL                          SINGLE               DOUBLE 
    -----                          ------               ------
    ATHENS CHANDRIS                117                  147
    EUROPEAN CULTURAL CENTER       61                   88
    OF DELPHI
    HOTEL GROUP I  (DELPHI)        85                   102
    HOTEL GROUP II (DELPHI)        50                   78
     
    All rates are per room and night and include breakfast, taxes, and services.
    
     
    ACCOMMODATION FEES
    ------------------ 
    Those wishing to book accommodation in Athens, Delphi and conference bus
    transportation Athens-Delphi-Athens are requested to complete the
    attached Accommodation Form and send before NOVEMBER 12 to:
    
    M. Bessieri (for ICDT 97)
    24 Voulis str., 
    10562 Athens,
    Greece 
    fax: +30 1 3221023    

    TOGETHER with payment
    in one of the two following ways (payment should be made in US dollars):
     
    * a cheque payable to M. BESSIERI, or
    
    * bank transfer to ERGOBANK S.A, Voulis Branch
                    Acc. No: 75/02148-01251/58, c/o M. BESSIERI
                    SWIFT Address ERGOGRAA, 3 Kolokotroni str. 10562 Athens-Greece
                    Fax: 301-3222 264.
    
     
    It is allowed to send a single cheque or make a single bank transfer covering
     more than one person (also covering more than one room).
    
    A confirmation will be send to each participant with details for the hotel.
    The reservation will be confirmed only upon receipt of the payment. 
    
    Cancellation must be made in written form to the organizers.
    If cancellation notification is received before December 11, 1996,
    80% of the accommodation fee will be refunded; no refunds will be made thereafter.
    
    
                                    FORMS
                                    =====
     
    ------------------------------------------------------------------------
    REGISTRATION  FORM [Please type or print. ONE FORM PER PERSON]
    ------------------------------------------------------------------------
     
    Name ___________________________________First Name______________________
     
    Affiliation ____________________________________________________________
     
    Street Address _________________________________________________________
     
    City, State, Postal Code _______________________________________________
     
    Country ________________________________________________________________
     
    Phone(s) _______________________________________________________________
     
    Fax ____________________________________________________________________
     
    E-mail _________________________________________________________________
     
     
    Dietary Restrictions (circle if applicable):    Vegetarian     
     
     
                      Before 12 November 1996    After  12 November 1996
                      -----------------------    -----------------------
    Member*           US$430                       US$500
    Regular           US$500                       US$550
    Student#          US$270                       US$300
    Accompanying      US$300                       US$350
    
    The fee for accompanying persons covers meals and all the
                             special events of the conference.
    
    * For members of ACM and IEEE. Please quote the membership number.
     
    # If you apply for the student fee, please attach a copy of your student 
    identification for the ongoing year or a letter signed by the head of your 
    department confirming that you are a student.
     
     
                                         Total Cost US$:____________
     
    Number of extra Banquet tickets______
    (US$50.00 per person)
                                         Total Cost US$:____________
     
                               
    Total Due US$: ______________________________
     
     
    Payment: please send either 
    -------
    *  cheque payable to "ICDT 97", mailed with the registration form,
    (do not forget to sign and  write your name(s) on the back of the check)
    or
    *  bank transfer to ERGOBANK S.A., Zographou Branch
                         Acc. No: 088/03741-00010/19
                         SWIFT address: ERGOGRAA, 90 Papagou av, and Maratou,
                                        15772 Athens, Greece
                         Fax: +30-1-7486824
                         Tel: +30-1-7486822
    
    (do not forget to write your name(s) and refer to ICDT 97)
     
    --------------------------------------------------------------------------
    ACCOMMODATION FORM  [Please type or print. ONE FORM PER REGISTERED PERSON] 
    --------------------------------------------------------------------------
     
    Name __________________________________First Name________________________
     
    Affiliation _____________________________________________________________
     
    Street Address __________________________________________________________
     
    City, State, Postal Code ________________________________________________
     
    Country _________________________________________________________________
     
    Phone(s) ________________________________________________________________
     
    Fax _____________________________________________________________________
     
    E-mail _________________________________________________________________
     
     
    Arrival Date______________________Airline/No. Flight____________________
    Arrival Time____________________________________________________________
    Departure Date____________________Airline/No. Flight____________________
    Departure Time__________________________________________________________
    
    
    [Prices are per room per night. Please write the required number of
                                                              ------
    rooms in the appropriate cells]
    
    
    HOTEL ACCOMMODATION IN ATHENS
    =============================
    CHANDRIS HOTEL:   US$ 117 (single)   US$ 147 (double) 
    
    single [  ]        double [  ] name of other occupant:_____________________
    
    Before the conference
    ---------------------
    FROM _________(date of arrival) TO __________________(date of departure)
    
    After the conference
    --------------------
    FROM _________(date of arrival) TO __________________(date of departure) 
    
    Total cost US $________________
    
    
    HOTEL ACCOMMODATION IN DELPHI
    =============================
                                   SINGLE                DOUBLE
    EUROPEAN CULTURAL CENTER       US$61                 US$88
    HOTEL I                        US$85                 US$102
    HOTEL II                       US$50                 US$78
    
           EUR. CUL. CEN.    HOTEL I      HOTEL II
    single [  ]              [  ]         [  ]
    double [  ]              [  ]         [  ] name of other occupant:_____________________
    
    FROM _________(date of arrival) to __________________(date of departure)
    
    Total cost US $________________
    
                                               Total due US $________________
    


BUS RESERVATION (free)
----------------------

Write on the appropriate cells the required number of seats:

                           +-----------------+------------------+
                           | from airport    | from Chandris    |
+ -------------------------+-----------------+------------------+
| first bus on January 7   |(16:00 hours)    | (16:30 hours)    |
|                          |                 |                  |
+--------------------------+-----------------+------------------+
| second bus on January 7  |(20:00 hours)    | (20:30 hours)    |
|                          |                 |                  |
+--------------------------+-----------------+------------------+

+ -------------------------+---------+
| bus on January   10      |         |
|                          |         |
+--------------------------+---------+




Payment: please enclose either
-------
* a cheque payable to M. BESSIERI or
(do not forget to sign,
write your name and refer to ICDT'97 on the back of the check)
or

* bank transfer to ERGOBANK S.A, Voulis Branch
                Acc. No: 75/02148-01251/58, c/o M. BESSIERI
                SWIFT Address ERGOGRAA, 3 Kolokotroni str. 10562 Athens-Greece
                Fax: 301-3222 264,
(do not forget to write your name and refer to ICDT'97)


       
    
   




-------------------------------------------------------------------------------
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 Nov 11 09:51:52 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 JAA05683 for <dbworld@sea.cs.wisc.edu>; Mon, 11 Nov 1996 09:51:46 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA10816 for dbworld; Mon, 11 Nov 1996 09:51:46 -0600
Date: Mon, 11 Nov 1996 09:51:46 -0600
From: Time-96 Workshop <time96@dimi.uniud.it>
Message-Id: <199611111551.JAA10816@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

								   
                                    TIME-97
   Fourth International Workshop on Temporal Representation and Reasoning

                           Daytona Beach, Florida, USA
                                  May 10-11, 1997

                               FINAL CALL FOR PAPERS

The purpose of this workshop is to bring together active researchers in the
area of temporal representation and reasoning in Artificial Intelligence.
Through paper presentations and discussions, the participants will exchange,
compare, and contrast results in the area. The workshop is planned as a two
day event to immediately precede FLAIRS-97 (Ninth Annual Florida Artificial
Intelligence Research Symposium May 10-14; see 

	http://erau.db.erau.edu/~towhid/workshops-97.html   

and the TIME Web page

	http://www.cs.uregina.ca/~temporal/index.html

for details), or contact the program chairs at {morris,lina}@cs.fit.edu. 
Workshop participants are also encouraged to submit papers to FLAIRS
and attend the conference. 

TIME-97 will be conducted as a combination of paper presentations, a
poster session, invited talks and panel discussions. 
The format will provide ample time for discussions and exchange of ideas.
Submission of high quality papers describing mature results or on-going work
are invited for all areas of temporal representation and reasoning, including,
but not limited to:

              temporal logics and ontologies
	      temporal constraint reasoning
              temporal languages and architectures
              continuous versus discrete time
              point versus interval representations
              expressive power versus tractability
              belief and uncertainty in temporal knowledge
              temporal databases and knowledge bases
              temporal learning and discovery
              reasoning about actions and events
              time and nonmonotonism
              time and constraints
              time in problem solving (e.g. diagnosis, qualitative physics,...)
              multiple agents, communication, and synchronization
              applications

To maximize interaction among participants, the size of the workshop will be
limited. Accepted papers will be invited for full presentation or a poster
presentation. All submissions must be received by December 5, 1996.
Notification of acceptance or rejection will be sent to the first author (or
designated author) by February 19, 1997. Prospective participants should submit
5 copies of a 6-8 page paper (indicating the selected areas) to:

       		TIME-97 Program Chairs (Robert Morris and Lina Khatib)
		Computer Science Program
		Florida Institute of Technology
		150 University Blvd.
		Melbourne, FL 32901
    		(407) 768-8000, Ext. 7290
    		{morris,lina}@cs.fit.edu


Electronic submission is also permitted.
Send a postscript file via anonymous ftp to:

		ftp://cs.fit.edu/pub/time97


			WORKSHOP HIGHLIGHTS

The workshop will be held in world famous Daytona Beach. Warm May
Florida breezes will put the participants in the mood for invigorating
discussion of issues in temporal reasoning. The
technical discussions will be held for two complete days just prior 
to FLAIRS-97. We are pleased to announce that Mark Boddy and Patrick Hayes
will be giving the invited talks for the Workshop.


                       PUBLICATION OF ARTICLES       

All accepted papers will be published in the workshop proceedings, to
be published by IEEE Press. 
As well, a selected subset of the papers will be invited for inclusion
(subject to refereeing) in a book or in a special issue of a journal.


                              ORGANIZATION

GENERAL Chair:
     Patrick Hayes, University of West Florida  

PROGRAM COMMITTEE Chairs:
     Robert Morris and Lina Khatib, Florida Institute of Technology
                          

PROGRAM COMMITTEE

Frank Anger, University of West Florida, USA
Luca Chittaro, Universita' di Udine, Italy
Philippe Dague, Universite Paris-Nord, France
Jennifer Elgot-Drapkin, Arizona State University, USA
Marcelo Finger, Universidade de Sao Paulo, Brasil
Michael Fisher, Manchester Metropolitan University, UK
Antony Galton, University of Exeter, UK
Michael Georgeff, Australian AI Institute, Australia
Malik Ghallab, LAAS-CNRS, France
Scott Goodwin, University of Regina, CA
Hans Werner Guesgen, University of Auckland, NZ
Peter Haddawy, University of Wisconsin-Milwaukee, USA
Howard Hamilton, University of Regina, CA
Lina Khatib (co-chair), Florida Institute of Technology, USA
Peter Ladkin, Universitaet Bielefeld, Germany
Gerard Ligozat, Universite Paris XI, France
Rob Miller, Imperial College of Science, Technology and Medicine, UK
Angelo Montanari, Universita' di Udine, Italy
Robert Morris (co-chair), Florida Institute of Technology, USA
Bernhard Nebel, Albert-Ludwigs University, Germany
Han Reichgelt, University of the West Indies, Jamaica
Mark Reynolds, Kings College, UK
Maarten de Rijke, University of Warwick, UK
Abdul Sattar, Griffith University, Australia
Erik Sandewall, Linkoping University, Sweden
Andre Trudel, Acadia University, Canada
Lluis Vila, University of California Irvine, USA

                          ORGANIZING COMMITTEE

 		Patrick Hayes	 	General Chair
         	Lina Khatib             PC Co-Chair
 		Bob Morris              PC Co-Chair
         	Howard Hamilton         Treasurer
         	Luca Chittaro           Publicity Co-Chair
         	Angelo Montanari        Publicity Co-Chair
         	Scott Goodwin           Organizing Committee Member
         	Fahiem Bacchus          Organizing Committee Member
         	David Leasure           Organizing Committee Member



                       SPONSORING ORGANIZATIONS

Sponsorship for TIME-97 is being sought from the American Association for
Artificial Intelligence (AAAI), and the Florida Artificial
Intelligence Research Society (FLAIRS).


                      SUMMARY OF IMPORTANT DATES

        December 5, 1996       Submission deadline
        February 19, 1996      Notification of acceptance
        April 15, 1997         Camera-ready copy deadline
        May 10-11, 1997        TIME-97 Workshop
        May 10-14, 1997        FLAIRS-97 Conference


 




-------------------------------------------------------------------------------
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 Nov 11 09:57:24 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 JAA05796 for <dbworld@sea.cs.wisc.edu>; Mon, 11 Nov 1996 09:57:15 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA10845 for dbworld; Mon, 11 Nov 1996 09:57:15 -0600
Date: Mon, 11 Nov 1996 09:57:15 -0600
From: Foto Afrati <afrati@softlab.ece.ntua.gr>
Message-Id: <199611111557.JAA10845@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

                             Call for Participation
                                                            
                 6TH INTERNATIONAL CONFERENCE ON DATABASE THEORY 
                                   (ICDT '97)
    
                      Delphi, Greece, January 8-10, 1997
     
    
                            In cooperation with 
                ACM COMPUTER SOCIETY and IEEE COMPUTER SOCIETY
                                       
     
    
    ICDT is a  biannual international conference on theoretical aspects of 
    databases and a forum for communicating research advances on the principles 
    of database systems. Previous ICDT conferences were held in Rome (1986), 
    Bruges (1988), Paris (1990), Berlin (1992), and Prague (1995). 
    Since 1992, ICDT has been merged with the Symposium on Mathematical 
    Fundamentals of Database Systems (MFDBS), another series of conferences 
    on theoretical aspects of database systems that was initiated in 
    Dresden (1987), and continued in Visegrad (1989) and Rostock (1991). 
     
    
    ***************************************************************************
    
                         ICDT'97 HIGHLIGHTS
    
    *  Invited talks by S. Abiteboul and J. Ullman
    *  Invited tutorial on data mining by H. Mannila
    *  Presentations of 29 technical papers selected out of 119 submissions
    
    ***************************************************************************
    
                           INVITED TALKS
                           =============
     
    Speaker: S. Abiteboul (INRIA and Stanford University) 
             ------------
    Title:   Querying Semi-Structured Data 
    
    Abstract:
    Semi-structured data can be found in many data sources available
    electronically (most notably in the WWW). They also arise naturally as
    the result of the integration of independent heterogeneous sources.
    In such contexts, the structure of data is not as regular or rigid as
    in standard databases systems, e.g., in the relational or object-oriented
    database systems.  Also, the notion of schema is altered in essential
    ways, e.g., the schema may become implicit.
    We will try to highlight the main aspects and particularities of
    semi-structured data.  We will also survey some proposals of models
    and query languages for semi-structured data.
     
    About the speaker: 
    Serge Abiteboul obtained his Ph.D. from U.S.C, Los Angeles, in
    1982, and a Th`ese d'Etat from Paris University, Orsay, in 1985.  He
    is Senior Researcher at I.N.R.I.A., Rocquencourt, France where he
    managed a Database Group from 1989 to 1995.  He is also Maitre de
    Conf'erence at Ecole Polytechnique.  He is currently visiting for two
    years the Computer Science Dept. at Stanford U.
    
    
    Speaker: J. Ullman  (Stanford University)  
             ---------
    Title:   Information Integration Using Logical Views
    
    Abstract: 
    A number of ideas concerning information-integration tools can be
    thought of as constructing answers to queries using views that represent
    the capabilities of information sources.  We review the formal basis of
    these techniques, which are closely related to containment algorithms
    for conjunctive queries and/or datalog programs.
    Then we compare the approaches taken by AT&T Labs' "Information
    Manifold" and the Stanford "Tsimmis" project in these terms.
    
    About the speaker: 
    Jeff Ullman is the Stanford W. Ascherman Professor of Engineering and
    acting chair of the Department of Computer Science at Stanford.
    He received the B.S. degree from Columbia University in 1963 and the PhD
    from Princeton in 1966.  He has served as chair of the CS-GRE
    Examination board, Member of the ACM Council, Chair of the New York
    State CS Doctoral Evaluation Board, on several NSF advisory boards,
    and is past or present editor of several journals.
    He is presently a member of the Computing Research Association Board.
    Ullman was elected to the National Academy of Engineering in 1989, has
    held Guggenheim and Einstein Fellowships, and is the 1996 winner of the
    Sigmod Contributions Award.  He is the author of 14 books, including a
    2-volume series on Database Systems.  His research interests include
    information integration, warehouse design, and data mining.
    
    *****************************************************************************
      
                            INVITED TUTORIAL 
                            ================
     
    Speaker: H. Mannila (University of Helsinki)
             ----------
    Title:   Methods of data mining 
     
    Abstract:
    Data mining, also called knowledge discovery in databases,
    aims at the discovery of interesting knowledge from large masses of
    data. We review some recent developments in data mining methods for
    relational, sequential, and time-series data, and present some
    theoretical results and challenges in the area. 
    
    About the speaker:
    Heikki Mannila is a professor of computer science at the
    University of Helsinki, where he also obtained his Ph.D. 
    in 1985. After that he has been an associate professor
    at the Universities of Tampere and Helsinki, a visiting professor
    at the Technical University of Vienna, and a guest researcher
    at the Max Planck Institut fur Informatik in Saarbrucken.
    He has also worked at the National Public Health Institution in
    Helsinki, as well as consultant in industry.
    His research interests include data mining, machine learning,
    database design, and text databases. He is the coauthor of the book
    "Design of Relational Databases" (Addison-Wesley) as well as
    numerous articles in algorithms, databases, machine learning and
    data mining. He is one of the editors-in-chief of the new
    scientifc journal "Data Mining and Knowledge Discovery".
    
    *****************************************************************************
     
                          CONFERENCE  PROGRAM
                          ===================
     
    TUESDAY, JANUARY 7, 1997
    ------------------------
     
    16:00 and 20:00    Conference buses depart from Athens airport to Delphi 
      
    19:00 - 23:00      Registration 
     
    20:00 - 22:00      Reception (with light dinner) 
     
    ------------------------------------------------------ 
    
    WEDNESDAY, JANUARY 8, 1997
    -------------------------
     
    9:00 - 10:00  Invited talk by J. Ullman (Stanford Univ.)
    Information Integration Using Logical Views
                 
     
    10:00 - 10:30  Coffee break
     
    10:30 - 12:30  Session 1: Conjunctive Queries in Heterogeneous Databases
     
       Conjunctive query containment revisited
          ---  C. Chekuri (Stanford Univ.), A. Rajaraman (Stanford Univ.)
     
       Semantics and containment with internal and external conjunctions
          ---  G. Grahne (Univ. Helsinki),  N. Spyratos (LRI, Orsay),
               D. Stamate (LRI, Orsay)
     
       Efficient complete tests for conjunctive query
              constraints with negation
          ---  N. Huyn (Stanford Univ.)
     
       Selection of views to materialize in a data warehouse
          ---  H. Gupta (Stanford Univ.)
     
    12:30 - 14:30  Lunch
     
     
    14:30 - 16:00  Session 2: Logic and Databases I
     
       Total and partial well-founded Datalog coincide
          ---  J. Flum (Univ. Freiburg),  M. Kubierschky (Univ. Freiburg), 
               B. Ludaescher (Univ. Freiburg)
     
       Fine hierarchies of generic computation
          ---  J. Tyszkiewicz (RWTH Aachen)
     
       Local properties of query languages
          ---   G. Dong (Univ. Melbourne) , L. Libkin (Bell Labs), 
                L. Wong (I.S.S., Singapore)
     
     
    16:00 - 16:30  Coffee break
     
     
    16:30 - 18:30  Session 3: Active Databases
    
       Expressiveness and complexity of active databases
          ---  P. Picouet (E.N.S.T.),  V. Vianu (UC San Diego)  
     
       A model theoretic approach to update rule programs
          ---  N. Bidoit (Univ. Paris XIII),   S. Maabout (Univ. Paris XIII) 
     
       Abstract interpretation of active rules and its use in
            termination analysis
          --- J. Bailey (Univ. Melbourne),  L. Crnogorac (Univ. Melbourne),  
              K. Ramamohanarao (Univ. Melbourne), H. Sondergaard (Univ. Melbourne)
     
       Structural issues in active rule systems
          --- J. Bailey (Univ. Melbourne),  G. Dong (Univ. Melbourne),
              K. Ramamohanarao (Univ. Melbourne)
     
     19:00 - 20:00 Business Meeting
     
     ------------------------------------
     
     THURSDAY, JANUARY 9, 1997
     -------------------------
     
    8:30 - 10:00   Invited tutorial by H. Mannila (Univ. Helsinki)
    
    10:00 - 10:30  Coffee break
     
    10:30 - 12:30  Session 4: New Applications
    
       Discovering all most specific sentences by randomized algorithms
          ---  D. Gunopoulos (MPI),  H. Mannila (Univ. Helsinki),  S. Saluja (MPI) 
     
       A formal foundation for distributed workflow execution based on state charts
          ---  D. Wodtke (Univ. Saarland),  G. Weikum (Univ. Saarland) 
     
       Incorporating user preferences in multimedia queries
          --- R. Fagin (IBM Almaden),   E.L. Wimmers (IBM Almaden)
     
       Queries and computation on the web
          ---  S. Abiteboul (INRIA and Stanford Univ.), V. Vianu (UC San Diego)  
     
     
    12:30 - 14:00  Lunch
     
    14:00 - 16:30  Tour of the Delphi archaeological site and museum
     
    16:30 - 17:00  Coffee break
     
    17:00-18:00  Session 5: Logic and Databases II
     
       The complexity of iterated belief revision
          ---  P. Liberatore (Univ. Roma "La Sapienza")
     
       Expressive power of unary counters
          --- M. Benedikt (Bell Labs),   H.J. Keisler (Univ. Wisconsin)
     
    18:00-19:00  Session 6: Concurrency Control
     
       Concurrency control theory for deferred materialized views
          ---   A. Kawaguchi (Columbia  Univ.), D. Lieuwen (Bell Labs), 
                I. Mumick (Bell Labs), D. Quass (Stanford Univ),  
                K. Ross (Columbia Univ.)
     
       Serializability of nested transactions in multidatabases
          ---  U. Halici (METU, Ankara), B. Arpinar (METU, Ankara), 
               A. Dogac (METU, Ankara)
     
    20:30  Conference Banquet 
     
    ---------------------------------------------------
     
    FRIDAY, JANUARY 10, 1997
    ------------------------
     
    9:00 - 10:00   Invited talk by S. Abiteboul (INRIA and Stanford Univ.) 
     
    10:00 - 10:30  Coffee break
     
    10:30 - 11:30  Session 7: Unstructured Data
     
       Adding structure to unstructured data
          ---  P. Buneman (Univ. Pennsylvania), S.Davidson (Univ. Pennsylvania),  
               M. Fernandez (AT&T Research), D. Suciu (AT&T Research)  
     
       Correspondence and translation for heterogeneous data
          ---  S. Abiteboul (INRIA and Stanford Univ.),  S. Cluet (INRIA),
               T. Milo (Univ. Tel Aviv) 
     
     
    11:30 - 12:30  Session 8: Object Oriented Databases
     
       Type consistency problems for queries in object-oriented databases
          ---  Y. Ishihara (Nara Institute),  H. Seki (Nara Institute),  
               M. Ito (Nara Institute)
     
       Object-oriented database evolution
          ---  J.-B. Lagorce (LRI, Orsay),  A. Stockus (LRI, Orsay),
               E. Waller (LRI, Orsay)
     
     
    12:30 - 14:30  Lunch
     
    14:30 - 16:00  Session 9: Access Methods
    
       Performance of nearest neighbor queries in R-trees
          ---  A. Papadopoulos (Aristotle Univ. of Thessaloniki),  
               Y. Manolopoulos (Aristotle Univ. of Thessaloniki)
     
       Optimal allocation of two-dimensional data
          ---  K. Abdel-Ghaffar (UC Davis), A. El Abbadi (UC Santa Barbara)
     
       Efficient indexing for constraint and temporal databases
          ---   S. Ramaswamy (Lucent Technologies, Bell Labs Innovations)
     
    16:00 - 16:30 Coffee break
     
    16:30 - 18:00 Session 10: Spatial Data and Bulk Data
    
       On topological elementary equivalence of spatial databases
          ---  B. Kuijpers (Univ. Antwerp),   J. Paredaens (Univ. Antwerp),  
               J. Van den Bussche (Univ. Antwerp)
     
       Dynamic constraint databases for spatial data
          --- P.Z. Revesz (Univ. Nebraska)
     
       Tractable iteration mechanisms for bag languages
          --- L. Colby (Bell Labs), L. Libkin (Bell Labs)     
     
     
    18:30 - 19:30 Dinner (at the conference center)
     
    20:00       Conference buses depart for Athens
     
    
    *****************************************************************************
                         CONFERENCE ORGANIZATION
                         =======================
     
    Program co-chairs: Foto Afrati (NTUA Athens)  
                       Phokion G. Kolaitis (UC Santa Cruz)
     
    Program committee members: 
     
    F. Afrati (Greece)      M. Cadoli (Italy)              S. Chaudhuri (USA)
    S. Cluet (France)       T. Eiter (Austria)             C. Faloutsos (USA)
    S. Greco (Italy)        M. Gyssens (Belgium)           O.H.G.Katona(Hungary)  
    P. Kolaitis (USA)       G. Kuper (Germany)             T. Milo (Israel)  
    M. Ozsoyoglu (USA)      J. Pokorny (Czech Rep.)        V. Sazonov (Russia)    
    H-J. Schek (Switzeland) E. Soisalon-Soininen (Finland) J. Su (USA)  
    V. Tannen (USA)         D. Van Gucht (USA)             V. Vianu (USA)  
    G. Vossen (Germany)     P. Wolper (Belgium)            J. Zlatuska (Czech Rep.)
     
     
    Organizing committee co-chairs: Foto Afrati, Theodora Varvarigou (NTUA Athens)
     
    Organizing committee members: Izambo Karali (Univ. Athens), Theodore Kavalieros,
                                  Theodore Mitakos,   Costas Petropulos,
                                  Francesca Toni (NTUA Athens)
     
    WWW: http://www.softlab.ece.ntua.gr/public/AD/icdt97.html
     
    For further information, contact teo@softlab.ece.ntua.gr
      
    ***************************************************************************** 
        +---------------------------------------------------------+
        |                          DEADLINES                      |
        |                                                         |
        | Early Registration                     12 November 1996 |
        | Hotel Reservation                      12 November 1996 |
        +---------------------------------------------------------+ 
    
    ******************************************************************************
    
                           GENERAL INFORMATION
                           ===================
     
    LOCATION
    ---------
    ICDT 97 will be held at the European Cultural Center of Delphi, Greece. 
    Delphi (elevation 573 m.) is located in a magnificent natural setting 
    about 170 km N/W of Athens on the undercliffs of Mount Parnassus.
    The drive from Athens to Delphi takes about three hours.
    Delphi hosts one of the most significant archaeological sites in Greece.
    Although today it is just a small village, historically Delphi has been one
    of the cornerstones of ancient Greek civilization. Indeed, in antiquity Delphi
    was the seat of the oracle of Apollo, which was particularly active
    during the 7th and the 6th centuries BC and had to be consulted for 
    essentially every major political decision. Ancient Greeks considered
    Delphi to be the "navel of the world".  The shrine was administered by a
    panhellenic confederation, which every four years organized the Pythian Games;
    these were second only to the Olympic Games, but with more prominence 
    on music and drama, as they were dedicated to Apollo.
    
    WEATHER 
    --------
     
    January is winter time in Greece. The temperature at Delphi in January 
    typically  ranges from 5 to 15 degrees C (41-59 degrees F),
    with a small probability of being lower than 5 degrees C (41 degrees F).
     
    CURRENCY AND EXCHANGE
    ---------------------
    
    The Greek currency is the drachma (DR).  In September 1996,
    1 US Dollar was approximately 235 DR. Currencey can be exchanged
    either at the Athens airport or in Delphi.
    
    TIME
    ----
    Greece uses +2 hour GMT (Greenwich Mean Time).
    
     
    THINGS TO DO
    -------------
     
    Delphi's archeological site has many interesting monuments and temples,
    including the sanctuary of Apollo, the theatre where the 
    Delphic festivals were held, the stadium, the Kastalia Fountain 
    where the Pythia, priestess of Apollo, would bathe before uttering her
    oracular utterances, and the tholos or rotunda, one of the most remarkable 
    architectural constructions of antiquity (depicted on the conference poster).
    The collection of the Delphi museum consists exclusively of objects 
    found on the archaeological site, including the famous bronze statue of the 
    charioteer and an ancient copy of the sacred stone "omphalos" (the
    "navel of the world").
     
    In Delphi and the surrounding villages you can find tavernas, restaurants, 
    coffee houses, and bars.  
     
	From Delphi you can visit the ski facilities of Mount Parnassus (elevation
    2400 m), the town of Itea (17 km), a pleasant summer resort by the sea, 
    the town of Amfissa (22 km),  surrounded by a forest of olive trees, 
    and the monastery of Hosios Loukas (36 km), an outstanding example of 
    Byzantine art and architecture. 
     
     
                                  PROCEEDINGS
                                  ===========
     
    The conference proceedings will appear as a volume in the "Lecture Notes in
    Computer Science" (LNCS) series, published by Springer-Verlag, and will
    be available at the conference. Each registered participant will receive
    a copy of the proceedings (except for students). 
    
     
                                  REGISTRATION
                                  ============
     
    PROCEDURE
    ----------
    People wishing to attend the conference should fill out a copy of the 
    registration form  attached to the end of this announcement and return it, 
    via e-mail, fax, or postal mail, to the address:
    
     +-----------------------------------------------------------------------------+
     | Foto Afrati, ICDT 97                                                        |
     | P.O. Box 64042                             Email:teo@softlab.ece.ntua.gr    |
     | 15710  Zographou, Athens                   tel  : +30-1-7722498             |
     | GREECE                                     fax  : +30-1-7722499             |
     +-----------------------------------------------------------------------------+
     
    E-mail registration is strongly preferred.
    In addition to sending the registration form, the proper registration
    fee should be paid via cheque or bank transfer, as explained below
    in the METHOD OF PAYMENT section.
    
    On-site registration will be available
    at the conference office during ICDT 97 starting Tuesday, January 7, 19:00.
     
    PARTICIPANT REGISTRATION
    ------------------------
     
                     Before 12 November 1996            After  12 November 1996
                     -----------------------            -----------------------
    Member*          US$ 430                            US$ 500
    Regular          US$ 500                            US$ 550
    Student          US$ 270                            US$ 300
     
    * For members of ACM and IEEE. 
    
    A separate form must be completed by each participant.
    Please make sure that your society affiliation (membership number)
    and/or university affiliation are shown on your registration form,
    or that proof of your full time student status comes together with it.
    Otherwise, the reduced registration fee will not be applied.
    
    It is suggested to register for the conference at your earliest convenience.
    As soon as both registration form and fee have been received,
    an e-mail confirmation will be sent. To qualify for the early 
    registration fee, payment must be received by November 12, 1996. 
    
    The conference fee includes admission to all sessions
    of the conference (including the invited talks and tutorial),
    a copy of the proceedings (not included in the student fee), 
    refreshments during the breaks, lunches, transportation from and to Athens via
    the transfer buses of the conference, and the social events (reception on 
    January 7, tour of the archaeological site and conference banquet on January 9
    -the latter not included in the student fee). 
    
    
    
    A SPECIAL NOTE FOR EAST EUROPEAN PARTICIPANTS
    ----------------------------------------------
     
    A limited number of free participations for people from
    Eastern Europe  (free conference attendance and accomodation)
    will be offered. To become eligible for the support,
    please apply to Foto Afrati by e-mail (afrati@softlab.ece.ntua.gr) before
    November 12, 1996.
     
    CANCELLATION AND REFUND
    -----------------------
     
    Cancellation must be made in written form to the organizers.
    If cancellation notification is received before December 11, 1996,
    80% of the registration fee will be refunded; no refunds will be made thereafter.
    For registered participants who cannot attend, the proceedings
    will be mailed after the conference.
     
    METHOD OF PAYMENT
    -----------------
     
    Payment of the registration fees should be made in US dollars 
    in one of the following ways:
     
    *  cheque payable to "ICDT 97", mailed with the registration form,
     
    *  bank transfer to ERGOBANK S.A., Zographou Branch
                         Acc. No: 088/03741-00010/19
                         SWIFT address: ERGOGRAA, 90 Papagou av, and Maratou, 
                                        15772 Athens, Greece
                         Fax: +30-1-7486824
                         Tel: +30-1-7486822
    
    If using a bank transfer, please send a copy of the receipt via postal
    mail or fax to the address used for the registration above. It is
    allowed to send a single check or make a single bank transfer covering
    more than one registration fee.
     
    *  Upon arrival at the secretariat desk (full fee has to be paid).
     
    
    
                              SOCIAL EVENTS
                              =============
     
    TUESDAY, JANUARY 7, 1997          Welcome reception with light dinner at 
    20:00 AND 22:00                   the EUROPEAN CULTURAL CENTER OF DELPHI.
                              
     
    THURSDAY, JANUARY 9,1997          Tour of Delphi archeological site and museum.
    14:00 - 16:30                          
     
    20:30                             Conference Banquet.* 
                                      During the banquet, a performance of 
                                      Greek music will take place. 
     
    *The cost of a banquet ticket (for those not registered or students) is
    US $50 per person.
     
     
                           TRAVEL INFORMATION
                           ==================
     
    VISA
    ----
     
    No entry visa is required for visitors from EEC countries, USA, and
    Canada. For other countries, information about visa can be obtained 
    from the Greek Consulates or airlines.
    
     
    LETTERS OF INVITATION
    ---------------------
     
    Upon request, the secretariat of the conference will send a personal
    invitation for participation in the conference. It should be understood that 
    such an invitation is only to help participants obtain a visa and does not 
    constitute a commitment on the part of the organizers to provide any
    financial suport.
     
     
    TO AND FROM DELPHI
    ------------------
    
    THROUGH ATHENS
    
    By plane: Athens International Airport has two terminals. OLYMPIC AIRWAYS
    passengers arrive at the Western Terminal.
    Passengers of all other airlines arrive at the Eastern Terminal.
    
    You can travel from Athens to Delphi and from Delphi to Athens using the 
    conference buses or public transportation as described below. For those
    who want to stay overnight in Athens before or after the conference, a block
    of rooms in the Chandris hotel (address: Sygrou 385, tel: +30-1-9414824) has been
    reserved. Conference buses will pick up participants both from the airport 
    and the Chandris Hotel (see below).
    
    To reach the Chandris Hotel take a taxi from the airport (approximatively 8 US$).
    
    ATHENS-DELPHI
    
    USING THE CONFERENCE BUSES (trip takes about three hours)
    
    * There are two conference buses on Tuesday, January 7, from Athens to Delphi:
    
    the first bus departs: at 16:00 from the airport (arrivals) and
                           at 16:30 from the Chandris Hotel 
    
    the second bus departs: at 20:00 from the airport (arrivals) and
                            at 20:30 from the Chandris Hotel
    
    * There is a conference bus on Friday, January 10, from Delphi to Athens,
    departing at 20:00 (and stopping both at the Chandris Hotel and at the airport).
    
    Conference bus transportation is included in the registration fee.
    
     
    USING PUBLIC TRANSPORTATION
    
    
    Public buses from ATHENS TO DELPHI depart from the Central Bus Station
    located at Liossion St, according to the following schedule.
     
    +---------------------+---------------+ 
    |  FROM               |  TO           |
    +=====================+===============+
    |  Athens@Liossion St |  Delphi       |
    +=====================+===============+
    |  7:30               |  10:30        |
    +---------------------+---------------+
    |  10:30              |  13:30        |
    +---------------------+---------------+
    |  14:30              |  17:30        |
    +---------------------+---------------+
    |  17:30              |  20:30        |
    +---------------------+---------------+
    +-------------+-----------------------+
    |  FROM       |  TO                   |
    +=============+=======================+
    |  Delphi     |  Athens@Liossion St   |
    +=============+=======================+
    |  5:30       |  8:30                 |
    +-------------+-----------------------+
    |  9:00       |  12:00                |
    +-------------+-----------------------+
    |  10:30      |  13:30                |
    +-------------+-----------------------+
    |  13:30      |  18:00                |
    +-------------+-----------------------+
    |  16:00      |  19:00 (Fri&Sun only) |
    +-------------+-----------------------+
    |  18:00      |  21:00                |
    +-------------+-----------------------+
                                              
    The bus fare is DR 2600 one-way.
     
    To reach the Central Bus Station at Liossion St, either take a taxi from 
    the airport (approximatively 15 US$) or first take the bus number 091 from 
    the airport to Syntagma Square (160 DR) and then a taxi from there to the
    Central Bus Station at Liossion St. (approximatively 10 US$). 
    It is recommended to take a taxi directly from the airport.
     
    Once in Delphi, all hotels are within easy walking distance.
    
     
                              ACCOMMODATION
                              =============
    
    
     
    HOTEL RESERVATION
    -----------------
    
    Reservations have to be made directly with the person in charge
    at the address below.
    
    A block of rooms has been reserved at the European Cultural Center of Delphi,
    as well as in a number of small and cozy hotels in the village of
    Delphi. Rooms are also reserved in the Chandris hotel in Athens
    for those who  stay in Athens before or after the conference.
    
    The special rates that were arranged are as follows: (in US $)
     
     
    HOTEL                          SINGLE               DOUBLE 
    -----                          ------               ------
    ATHENS CHANDRIS                117                  147
    EUROPEAN CULTURAL CENTER       61                   88
    OF DELPHI
    HOTEL GROUP I  (DELPHI)        85                   102
    HOTEL GROUP II (DELPHI)        50                   78
     
    All rates are per room and night and include breakfast, taxes, and services.
    
     
    ACCOMMODATION FEES
    ------------------ 
    Those wishing to book accommodation in Athens, Delphi and conference bus
    transportation Athens-Delphi-Athens are requested to complete the
    attached Accommodation Form and send before NOVEMBER 12 to:
    
    M. Bessieri (for ICDT 97)
    24 Voulis str., 
    10562 Athens,
    Greece 
    fax: +30 1 3221023    

    TOGETHER with payment
    in one of the two following ways (payment should be made in US dollars):
     
    * a cheque payable to M. BESSIERI, or
    
    * bank transfer to ERGOBANK S.A, Voulis Branch
                    Acc. No: 75/02148-01251/58, c/o M. BESSIERI
                    SWIFT Address ERGOGRAA, 3 Kolokotroni str. 10562 Athens-Greece
                    Fax: 301-3222 264.
    
     
    It is allowed to send a single cheque or make a single bank transfer covering
     more than one person (also covering more than one room).
    
    A confirmation will be send to each participant with details for the hotel.
    The reservation will be confirmed only upon receipt of the payment. 
    
    Cancellation must be made in written form to the organizers.
    If cancellation notification is received before December 11, 1996,
    80% of the accommodation fee will be refunded; no refunds will be made thereafter.
    
    
                                    FORMS
                                    =====
     
    ------------------------------------------------------------------------
    REGISTRATION  FORM [Please type or print. ONE FORM PER PERSON]
    ------------------------------------------------------------------------
     
    Name ___________________________________First Name______________________
     
    Affiliation ____________________________________________________________
     
    Street Address _________________________________________________________
     
    City, State, Postal Code _______________________________________________
     
    Country ________________________________________________________________
     
    Phone(s) _______________________________________________________________
     
    Fax ____________________________________________________________________
     
    E-mail _________________________________________________________________
     
     
    Dietary Restrictions (circle if applicable):    Vegetarian     
     
     
                      Before 12 November 1996    After  12 November 1996
                      -----------------------    -----------------------
    Member*           US$430                       US$500
    Regular           US$500                       US$550
    Student#          US$270                       US$300
    Accompanying      US$300                       US$350
    
    The fee for accompanying persons covers meals and all the
                             special events of the conference.
    
    * For members of ACM and IEEE. Please quote the membership number.
     
    # If you apply for the student fee, please attach a copy of your student 
    identification for the ongoing year or a letter signed by the head of your 
    department confirming that you are a student.
     
     
                                         Total Cost US$:____________
     
    Number of extra Banquet tickets______
    (US$50.00 per person)
                                         Total Cost US$:____________
     
                               
    Total Due US$: ______________________________
     
     
    Payment: please send either 
    -------
    *  cheque payable to "ICDT 97", mailed with the registration form,
    (do not forget to sign and  write your name(s) on the back of the check)
    or
    *  bank transfer to ERGOBANK S.A., Zographou Branch
                         Acc. No: 088/03741-00010/19
                         SWIFT address: ERGOGRAA, 90 Papagou av, and Maratou,
                                        15772 Athens, Greece
                         Fax: +30-1-7486824
                         Tel: +30-1-7486822
    
    (do not forget to write your name(s) and refer to ICDT 97)
     
    --------------------------------------------------------------------------
    ACCOMMODATION FORM  [Please type or print. ONE FORM PER REGISTERED PERSON] 
    --------------------------------------------------------------------------
     
    Name __________________________________First Name________________________
     
    Affiliation _____________________________________________________________
     
    Street Address __________________________________________________________
     
    City, State, Postal Code ________________________________________________
     
    Country _________________________________________________________________
     
    Phone(s) ________________________________________________________________
     
    Fax _____________________________________________________________________
     
    E-mail _________________________________________________________________
     
     
    Arrival Date______________________Airline/No. Flight____________________
    Arrival Time____________________________________________________________
    Departure Date____________________Airline/No. Flight____________________
    Departure Time__________________________________________________________
    
    
    [Prices are per room per night. Please write the required number of
                                                              ------
    rooms in the appropriate cells]
    
    
    HOTEL ACCOMMODATION IN ATHENS
    =============================
    CHANDRIS HOTEL:   US$ 117 (single)   US$ 147 (double) 
    
    single [  ]        double [  ] name of other occupant:_____________________
    
    Before the conference
    ---------------------
    FROM _________(date of arrival) TO __________________(date of departure)
    
    After the conference
    --------------------
    FROM _________(date of arrival) TO __________________(date of departure) 
    
    Total cost US $________________
    
    
    HOTEL ACCOMMODATION IN DELPHI
    =============================
                                   SINGLE                DOUBLE
    EUROPEAN CULTURAL CENTER       US$61                 US$88
    HOTEL I                        US$85                 US$102
    HOTEL II                       US$50                 US$78
    
           EUR. CUL. CEN.    HOTEL I      HOTEL II
    single [  ]              [  ]         [  ]
    double [  ]              [  ]         [  ] name of other occupant:_____________________
    
    FROM _________(date of arrival) to __________________(date of departure)
    
    Total cost US $________________
    
                                               Total due US $________________
    


BUS RESERVATION (free)
----------------------

Write on the appropriate cells the required number of seats:

                           +-----------------+------------------+
                           | from airport    | from Chandris    |
+ -------------------------+-----------------+------------------+
| first bus on January 7   |(16:00 hours)    | (16:30 hours)    |
|                          |                 |                  |
+--------------------------+-----------------+------------------+
| second bus on January 7  |(20:00 hours)    | (20:30 hours)    |
|                          |                 |                  |
+--------------------------+-----------------+------------------+

+ -------------------------+---------+
| bus on January   10      |         |
|                          |         |
+--------------------------+---------+




Payment: please enclose either
-------
* a cheque payable to M. BESSIERI or
(do not forget to sign,
write your name and refer to ICDT'97 on the back of the check)
or

* bank transfer to ERGOBANK S.A, Voulis Branch
                Acc. No: 75/02148-01251/58, c/o M. BESSIERI
                SWIFT Address ERGOGRAA, 3 Kolokotroni str. 10562 Athens-Greece
                Fax: 301-3222 264,
(do not forget to write your name and refer to ICDT'97)


       
    
   




-------------------------------------------------------------------------------
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 Nov 11 15:50:37 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 PAA02211 for <dbworld@sea.cs.wisc.edu>; Mon, 11 Nov 1996 15:50:26 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id PAA11817 for dbworld; Mon, 11 Nov 1996 15:50:25 -0600
Date: Mon, 11 Nov 1996 15:50:25 -0600
From: Louis Perrochon <perrochon@db.stanford.edu>
Message-Id: <199611112150.PAA11817@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

The Swiss Federal Institute of Technology in Zurich (ETH Zurich)
invites applications for a new position of a

               Professor of Computer Science

in the area of DISTRIBUTED SYSTEMS. Cooperation with other research
groups, particularly also in Electrical Engineering, will be
important.

Applicants should have an outstanding research record as well as
teaching experience. They are invited to send a curriculum vitae, a
list of publications, the names of at least three references, and a
brief description of their research plans before 10 January 1997 to
the President of ETH Zurich, Prof. Dr. J. N"uesch, ETH Zentrum,
CH-8092 Zurich. In view of the current composition of its faculty, the
ETH Zurich specifically encourages female candidates to apply.

Information on ETH Zurich and its Department of Computer Science is
available on WWW (http://www.inf.ethz.ch/). For further information on
the open position please contact Prof. Dr. C.A. Zehnder, Head,
Department of Computer Science, ETH Zentrum, CH-8092 Zurich
(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
------------------------------------------------------------------------FOOTER-

From raghu@cs.wisc.edu Tue Nov 12 18:06:00 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 SAA25463 for <dbworld@sea.cs.wisc.edu>; Tue, 12 Nov 1996 18:05:53 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id SAA14194 for dbworld; Tue, 12 Nov 1996 18:05:52 -0600
Date: Tue, 12 Nov 1996 18:05:52 -0600
From: "Arun Sen, WITS'96 Program Co-Chair" <SEN@TAMVM1.TAMU.EDU>
Message-Id: <199611130005.SAA14194@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

6TH WORKSHOP ON INFORMATION TECHNOLOGIES AND SYSTEMS (WITS'96)
Cleveland, Ohio
December 14-15, 1996


The 6th Workshop on Information Technologies and Systems
(WITS'96) will be held in Cleveland, Ohio, during December 14-15,
1996.  The purpose of the workshop is to promote discussion and
interaction among members of the Information Systems community
with research interests in cutting-edge information technologies
and systems.  We are particularly interested in exchanging research
ideas and results which will not only contribute to the academic
areas, but will also benefit the business community in the
foreseeable future.


WEB SITES

To find continuing information (such as Advance Program,
Conference Registration form, Hotel information, and about
Cleveland), please visit our website:


   http://acs.tamu.edu/~sen/wits96wb.html


CO-CHAIRPERSONS
Arun Sen
Department of Business Analysis
College of Business Administration and
Graduate School of Business
Texas A&M University
College Station, Texas 77845, USA
Phone:    (409)-845-8370
Fax:        (409)-845-5653
Email:    sen@tamvm1.tamu.edu

The local arrangements are handled by the following co-chair:

George W. Ernst
Computer Engineering and Science Department
Case Western Reserve University
Cleveland, Ohio 44106, USA
Phone: (216)-368-2839
Fax: (216)-368-2801
Email: ernst@ces.cwru.edu


PROGRAM COMMITTEE
Anitesh Barua, Univ. of Texas, USA
Don Batory, Univ. of Texas, USA
Robert Blanning ,Vanderbilt Univ., USA
S. Brinkkemper, University of Twente, Netherlands
I. Z. Ben-Shaul, Techinon, Israel
Roger Chiang, Nanyang Tech Univ, Singapore
James Courtney,Texas A&M Univ., USA
Prabuddha De, Univ. of Dayton, USA
Dan Dolk, Naval Post Graduate  School, USA
Amitava Dutta, George Mason Univ., USA
Phillip Ein-Dor, Tel Aviv Univ., Israel
Brian Gaines, Univ. of Calgary, Canada
Robert Goldstein, Univ. of British Columbia, Canada
Kim Young Gul,  KAIST, Korea
H. Altay Guvenir, Bilkent Univ., Turkey
Alan R. Hevner, Univ. of South Florida, USA
Michael Huhns, Univ. of South Carolina, USA
Mathias Jarke, RWTH Aachen, Germany
Gail Kaiser, Columbia Univ., USA
S. Kimbrough, Univ. of Pennsylvania, USA
R. Krishnan, Carnegie Mellon Univ., USA
Nazim Madhavji, McGill University, Canada
R. Mahapatra, Univ. of Alabama-Huntsville, USA
Arun Majumdar, IIT- Kharagpur, India
Sal March , Univ. of Minnesota, USA
S. Narashiman, Georgia Inst. of Tech, USA
Sham Navathe, Georgia Inst. of Tech, USA
Levant Orman, Cornell Univ., USA
M. Papazouglou, Queensland U. of Tech., Australia
Hasan Pirkul , Ohio State Univ., USA
Sudha Ram, Univ. of Arizona, USA
Sumit Sarkar, Louisiana State Univ., USA
Arie Segev, Univ. of California-Berkeley, USA
Olivia Sheng, HKST, Hong Kong
Veda Storey, Univ. of Rochester, USA
A. Srinivasan, Univ. of Auckland, New Zealand
Walter Scacchi, Univ. of South Calif., USA
Timos Sellis, National Tech. U. -Athens, Greece
Mike Shaw, U of Illinois,Urbana-Chmpgn, USA
Edward A. Stohr , New York Univ., USA
Mohan Tanniru, Syracuse Univ., USA
Vijay Vaishnavi, Georgia State University, USA


SPONSORS
Department of Business Analysis,
College of Business Administration,
Texas A&M University

INFORMS-College on Information Systems

EDITION (November, 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 Nov 13 10:30:51 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 KAA10627 for <dbworld@sea.cs.wisc.edu>; Wed, 13 Nov 1996 10:30:41 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA15053 for dbworld; Wed, 13 Nov 1996 10:30:40 -0600
Date: Wed, 13 Nov 1996 10:30:40 -0600
From: Angela Davis-Kincy <adk@cs.duke.edu>
Message-Id: <199611131630.KAA15053@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

			    Duke University
		     Department of Computer Science

We invite applications for a tenure-track or tenured faculty position in
experimental systems starting Fall semester 1997.  Areas of primary
interest in experimental systems include high-speed networks, databases
and object-oriented systems, compilers, programming languages, operating
systems, mobile computing, software development environments,
multimedia, parallel and distributed processing, computer architecture,
and digital systems design.

The Department has major research efforts and funding in the areas of
systems and architecture, algorithms, scientific computing, and
artificial intelligence.  Facilities include an NSF-funded experimental
cluster of DEC AlphaStations and Sun UltraSPARCs, over 120 other computers
and high-end graphics workstations, and access to a Cray T3E at MCNC in
nearby Research Triangle Park.  The Department is also connected to the
North Carolina Information Highway, the first fully integrated and
functioning high-speed statewide network in the U.S. 

The Department relocated in 1994 into spacious new quarters in the 
$80 million Levine Science Research Center, a state of the art facility
devoted to interdisciplinary research in computer science, environmental
science, biomedical science and engineering, and medicine.

The Durham area, which was rated in recent years by Money and Fortune
magazines as the best place in the U.S. to live and work, offers a wide
variety of professional, cultural, and recreational attractions.

Applications should include a curriculum vita, a list of publications,
and copies of the most important publications.  A Ph.D. in computer
science or related area is required.  Applicants should also request at
least four letters of reference to be sent directly to the faculty
search chair.  To guarantee full consideration, applications and letters
of reference should be received by February 1, 1997, addressed to

Professor Carla Ellis
Faculty Search Chair
Department of Computer Science 
Duke University 
Durham, NC 27708-0129

Duke University is an affirmative action, 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
------------------------------------------------------------------------FOOTER-


From raghu@cs.wisc.edu Wed Nov 13 10:31:41 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 KAA10644 for <dbworld@sea.cs.wisc.edu>; Wed, 13 Nov 1996 10:31:35 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA15061 for dbworld; Wed, 13 Nov 1996 10:31:35 -0600
Date: Wed, 13 Nov 1996 10:31:35 -0600
From: /S=Von#b#Bueltzingsloewen/G=Guenter/OU=log-is/OU=basel/OU=c/OU=op/DD.id=T004405/@bs1p10.ch.swissbank.com
Message-Id: <199611131631.KAA15061@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

The Architecture and Standards Department with Swiss Bank Corporation 
in Basel is looking for several database specialists.

The openings offer the opportunity to join a small international
team responsible for a comprehensive strategic IT management. The
team plays an essential role in the migration to a new IT platform. 
Responsibilities of the database specialists within this team include:

  - definition and governance of the data architecture;

  - definition and governance of methodology and tools for data modelling
    and database development;

  - definition and governance of the technical architecture for persistent
    data management;

  - consulting user and development departments in the application of these
    methods and standards.

Successful candidates will have an application oriented Ph.D. in databases
or a masters / diploma degree plus several years of experience in the
development of large scale database applications. We expect in-depth
know-how and experiences in 
  - current relational and object-oriented database technology;
  - database modelling and design based on ER and object-oriented techniques;
  - middleware technology including TP monitors and CORBA.

I you are interested in this challenging opportunity and your profile matches
our requirements, we are looking forward to hearing from you. Please send your
application to:

     Guenter von Bueltzingsloewen
     Swiss Bank Corporation 
     IT Architectures and Standards
     Hochstr. 16
  CH-4002 Basel
     Switzerland

     email: guenter.von_bueltzingsloewen@mhs.swissbank.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 Wed Nov 13 10:33:05 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 KAA10672 for <dbworld@sea.cs.wisc.edu>; Wed, 13 Nov 1996 10:32:55 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA15071 for dbworld; Wed, 13 Nov 1996 10:32:55 -0600
Date: Wed, 13 Nov 1996 10:32:55 -0600
From: Roland Yap Hock Chuan <ryap@iscs.nus.sg>
Message-Id: <199611131632.KAA15071@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

(We apologize if you receive this announcement multiple times)


                  CALL FOR PARTICIPATION -- ASIAN'96

                  ASIAN COMPUTING SCIENCE CONFERENCE

                       RELC International Hotel

                  2nd - 5th December, 1996, Singapore


The 1996 Asian Computing Science Conference, ASIAN'96, will be held in
Singapore on December 2nd - 5th, 1996 at the RELC International Hotel.
The main purpose of the ASIAN'9x conferences is to provide a local forum
for Asian researchers in computer science.  The scope of the conference
is a broad coverage of computer science with a focus on the conceptual
areas of computer science with some selected themes every year.

This is the second time the conference is being held. The first conference
ASIAN'95 (also called ACSC'95 last year) was held in Bangkok, Thailand,
in December 1995, and was organized by the Asian Institute of Technology 
in partnership with INRIA, France, and the UNU/IIST, Macau.
Its proceedings appeared as Springer-Verlag's LNCS 1023.

The following themes represent the areas of focus for this year,
though there are many papers in other areas:

* Programming (semantics, languages, systems, paradigms, ...)
* Concurrency & Parallelism (algorithms, formalisms, systems, ...)
* Networking & Security (algorithms, protocols, formalisms, systems, ...)

The main conference will be held from Monday, 2nd December, 1996 to
Wednesday, 4th December, 1996.  A conference reception and pre-registration
will be held on Sunday, 1st, December in the evening at the conference
venue, RELC.  After the conference, there will be three post-conference 
workshops on Thursday, 5th December, 1996.


                           INVITED SPEAKERS
                           ----------------

The  keynote  speaker will be David HAREL (Weizmann Institute, Israel).  
The invited speakers will be:  Jean-Chrysostome BOLOT (INRIA, France) on 
networking,  Gert SMOLKA (DFKI Saarbruken, Universitaat des 
Saarlandes, Germany) on programming languages, and 
Doug TYGAR (Carnegie Mellon University, USA) on secure electronic commerce.


                           IMPORTANT DATES
                           ---------------

           November 22-29, 1996    9th Asian School on C.S.
           December 1              Reception and Registrations
           December 2-4, 1996      ASIAN'96, Main Conference
           December 5, 1996        ASIAN'96, Workshops


                      PRE-CONFERENCE ACTIVITIES
                      -------------------------

The  9th  Asian  School on Computer Science: Synthesis & Verification of 
Finite-State Machine Based Systems by G. Berry, N. Halbwachs and E. Sentovich
will   be   held  on  22-29  November  1996,  in  Rayong,  Thailand.
(See http://www.cs.ait.ac.th/school96).  


                      POST-CONFERENCE WORKSHOPS
                      -------------------------

Post-conference workshops will be held on December 5, 1996 in association
with the main conference.  The following is a the list of the workshops:

  * Constraints and Constraint Programming

  * Computer Networking

  * Coordination Technology for Collaborative Applications


                         CONFERENCE WEB PAGE
                         --------------------

Additional information on the conference program, registration
and workshops is available from:

                      http://www.iscs.nus.sg/~asian96


---------------------------------------------------------------------------
                         PRELIMINARY PROGRAM
---------------------------------------------------------------------------


                           KEYNOTE SPEAKER
                           ---------------

Some Thoughts on Statecharts, 13 Years Later
David Harel, Weizmann Institute of Science, Israel

                           INVITED SPEAKERS
                           ----------------

End-to-end Behavior of the Internet: Measurements, Analysis, and Applications
Jean-Chrysostome Bolot, INRIA, France

The Oz Programming Language and System
Gert Smolka, DFKI, Universitat des Saarlandes, Germany

Atomicity in Electronic Commerce
Doug Tygar, Carnegie Mellon University, USA


                    
                                PAPERS
                                ------

Algorithms
----------

Randomized Parallel List Ranking for Distributed Memory Multiprocessors
    Frank Dehne, S.W. Song

Suffix Arrays for Multiple Strings: a Method for On-line 
Multiple String Searches
    Fei Shi

Relations among Parallel and Sequential Computation Models
    Heribert Vollmer

Constraints and Logic Programming
---------------------------------

The Expressive Power of "Possible-is-Certain" Semantics
    S. Greco, D. Sacca

Using Stochastic Methods to Guide Search in CLP: a Preliminary Report
    Jimmy H.M. Lee, Ho-Fung Leung, Peter J. Stuckey, Vincent W.L. Tam, 
    Hon-Wing Won

Backtrackable State with Linear Affine Implication and Assumption Grammars
    Paul Tarau, Veronica Dahl, Andrew Fall

Declarative Debugging in Constraint Logic Programming
    Alexandre Tessier

Distributed Systems
-------------------

An Improved Logging and Checkpointing Scheme for Recoverable Distributed
Shared Memory
    Taesoon Park, Sungbok Cho, Heon Y. Yeom

Distributed Concurrency Control in Real-time Cooperative Editing Systems
    Chengzheng Sun, Yun Yang, Yangchun Zhang, David Chen

Variable Timestamp-based Distributed Deadlock Detection and Resolution
    Hui Wu, Wei-Ngan Chin

Formal Systems
--------------

Lambda-definable Term Rewriting Systems
    Sugwoo Byun, Richard Kennaway, Ronan Sleep

Sets as Anti-Chains
    Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian

A Typed Lamda Calculus of Objects
    Luigi Liquori, Giuseppe Castagna

Intensionality versus Extensionality and Primitive Recursion
    Pierre Valarcher

On the Bounded Theories of Finite Trees
    Sergei Vorobyov

Networking and Security
-----------------------

Broadcasting in Star Graphs with Byzantine Failures
    Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi

Blind Threshold Signatures Based on Discrete Logarithm
    Wen-Shenq Juang, Chin-Laung Lei

Computation of the k-Error Linear Complexity of Binary Sequences with 
Period 2^n
    Takayasu Kaida, Satoshi Uehara, Kyoki Imamura

Symbolic Rights and Vouchers for Access Control in Distributed Object Systems
    Vincent Nicomette, Yves Deswarte

The Heuristics for the Constrained Multicast Routing
    Zong-Ben Xu, Bo-Ting Yang

On Design and Analysis of a New Block Cipher
    Xun Yi

Programming and Systems
-----------------------

CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and 
Program Layering
    Tzilla Elrad, Baoling Sheen, Novak V. Nastasic

A Calculational Approach to Flattening Nested Data Parallelism in
Functional Languages
    Gabriele Keller, Martin Simons

Concurrent Object-oriented Programming in Tempo++
    Rafael Ramirez

A Universal Scripting Framework or Lamda: the Ultimate "little language"
    Olin Shivers

Design and Application of a Light-Weight Persistency Mechanism
    Markus Theissinger

Specification and Verification
------------------------------

Hierarchical Verification using Verification Diagrams
    Anca Browne, Zohar Manna, Henny B. Sipma

A Dynamic Evolution for the Specification of Distributed Systems
    Issam A. Hamid, Ferhat Khendek

Formal Verification and Evaluation of Execution Time in the Envelope Theory
    Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani

Design of Controllers for Linear Hybrid Systems
    Rupak Majumdar, R.K. Shyamasundar

Checking Linear Duration Invariants by Linear Programming
    Li Xuandong, Dang Van Hung


                            POSTER SESSION
                            --------------

Conjunctive Vector Representations for Set Valued Feature Descriptions
    Michael Carl

Constructive Negation in Definite Constraint Logic Programs
    Vijay Chandru, Suman Roy, Ramesh Subrahmanyam

Multilevel Master-Slave Parallel Programming Models
    Hsin-Chu Chen, Alvin Lim, Nazir A. Warsi

Improving the X.509 Protocol for ATM Networks
    Shaw-Cheng Chuang

InterMUD Communications (IMC) Protocol with Extensions to VRMLise
MultiUser Domains (MUDs)
    Chan Fang Khoon, James Seng, L-S. Ooi, J-K. Tan, Kevin Mok, Tan Tin Wee

ALPS-HI: An Annotated Logic Programming System with Hypothetical Implications
    Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima

Constructing More Relevant Models
    Lifeng He, Yuyan Chao, Yuka Simajiri, Hirohisa Seki, Hidenori Itoh

Formal Analysis for Continuous Systems Controlled by Programs
    Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio

Implementation Tuning of a Dataflow Language on a Stock 
Parallel Machine with Visualization Tools
    Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya

Overall System for Secure Wireless Mobile Networks
    Arthur Li, Omran Bukhres

Materialized View Adaptation in Distributed Databases
    Mukesh Mohania, Guozhu Dong

Coupling Object-orientation & Deduction - a Modelling Perspective
    E. Ravindran, S.C. Hui

An Integer Programming-Based Nurse Rostering System
    John Thornton, Abdul Sattar

Synthesizing Parallel Divide-and-Conquer Algorithms Using the 
List Interleave Operator
    Razvan Voicu

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

                            SPONSORS
                            --------

The Asian Institute of Technology (AIT)
CICC (Singapore/Japan)
European Commission
ILOG (Singapore)
Inst. National de Recherche en Informatique et en Automatique (INRIA, France)
National University of Singapore (NUS)
United Nations University, Intl. Inst. for Software Technology 
    (UNU/IIST, Macau)


                            PROGRAM CHAIR
                            -------------

Joxan Jaffar,
Department of Information Systems & Computer Science,
National University of Singapore, Singapore 119260, Singapore

Phone: +65 772 6731   Fax: +65 779 4580   E-mail: joxan@iscs.nus.sg


                     ASIAN'9X STEERING COMMITTEE
                     ---------------------------

Dines Bjorner (UNU/IIST, Macau)         Shigeki Goto (Waseda U., Japan)
Joxan Jaffar (NUS, Singapore)           Kanchana Kanchanasut (AIT, Thailand)
Gilles Kahn (INRIA, France)             Jean-Jacques Levy (INRIA, France)
R.K. Shyamasunder (TIFR Bombay, India)


                          PROGRAM COMMITTEE
                          -----------------

Martin Abadi (SRC, DEC, USA)            Eliezer A. Albacea (U. of Phillipines)
A. Anuchitanukul (Bank of Thailand/AIT) Kim Bruce (Williams College, USA)
Rance Cleaveland (NCSU, USA)            Dang Van Hung (UNU/IIST, Macau)   
Li Gong (JavaSoft, USA)                 Shigeki Goto (Waseda U., Japan)
Seif Haridi (SICS, Sweden)              Nevin Heintze (Bell Labs, USA)
Pascal van Hentenryck (Brown U., USA)   Jieh Hsiang (NTU, Taiwan)
Kyoki Imamura (Kyushu IT, Japan)        Joxan Jaffar, Chair (NUS, Singapore)  
Tomasz Janowski (UNU/IIST, Macau)       Gilles Kahn (INRIA, France)
Lam Kwok-Yan (NUS, Singapore)           John Lamping (Xerox PARC, USA)
Peter Lee (CMU, USA)                    Jean-Jacques Levy (INRIA, France)
C. Lursinsap (Chulalongkorn U/AIT)      Michael Maher (Griffith U., Australia)
Hideo Miyahara (Osaka U., Japan)        Gustaf Neumann (Essen U., Germany)
Vijay Saraswat (ATT Research, USA)      S. Sudarshan (IIT, Bombay)
R. Sureswaran (USM, Malaysia)           Doug Tygar (CMU, USA)
Phillip Wadler (U. of Glasgow, UK)      Belawati Widjaja (U. of Indonesia)
Roland Yap (NUS, Singapore)

                       LOCAL ARRANGEMENTS CHAIR
                       ------------------------

Roland Yap (NUS, Singapore),  E-mail: ryap@iscs.nus.sg


----------------------------------------------------------------------------
                      POST-CONFERENCE WORKSHOPS
----------------------------------------------------------------------------


The following workshops are planned for Thursday, December 5, 1996:
(details are available on the conference web page)

Topic: Constraints and Constraint Programming
Contact Organizer: Bing Liu (liub@iscs.nus.sg)

Computer Networking
Contact Organizers: Shigeki Goto (goto@goto.info.waseda.ac.jp),
                    Tan Tin Wee (tinwee@irdu.nus.sg)

Topic: Coordination Technology for Collaborative Applications
Contact Organizers: Wolfram Conen (conen@wi-inf.uni-essen.de),
                    Gustaf Neumann (gustaf.neumann@uni-essen.de)
URL:                http://mohegan.wi-inf.uni-essen.de/asian96

A summary of the papers and presentations for the workshops follows.

----------------------------------------------------------------------------
          Constraints and Constraint Programming Workshop
----------------------------------------------------------------------------

Invited Talks:
    Cosytec (France), ILOG (France), 
    Information Technology Institute (Singapore), 
    Port of Singapore Authority (Singapore)

Workshop Papers:
Calculating lower bounds on a resource scheduling problem
    H Simonis (France)

Simplex Variants and Intelligent Backtracking in CLP Over Real Linear
Constraints
    J. Burg (USA), S-D. Lang (USA), R Yap (Singapore)

Combining constraint-based and object-oriented paradigms for complex
manpower scheduling.
    N. Diamantopoulos, Efthymios Housos, (Greece)

Arc-crossover, arc-mutation: operators based on the constraint network to
solve CSP.
    M.C.R Rojas (France)

A constraint classification with a difference
    R Farfarakis, S Hope (UK)

Railway track possession assignment using constraint satisfaction
    B.S.N Cheung, K.P Chow, A.M.K Yong (Hong Kong)

Column generation using cooperating constraint-based solvers
    M Leconte (France)

A disjunctive decomposition scheme for discrete constraint satisfaction
problems using complete no-good sets
    B.Y Choueiry, G Noubir (Switzerland)

Write shorter to solve faster!
    J Chabrier, V Juliard (France)

Compiling constraint propagation
    N.F Zhou (Japan)

----------------------------------------------------------------------------
                      Computer Networking Workshop
----------------------------------------------------------------------------

Virtual LANS in the Intranet to ATM in the Internet
    Gene Deutsch

IP-SVC: An ATM Signaling Protocol for IP Unicasting and Multicasting
    Kenji Fujikawa, Katsuo Ikeda

Building a High Speed Campus Network
    Nobuhito Yamamoto

SwitchWare: Programmable Networking Technology
    Dave J. Faber, David C. Feldmeier, Carl A. Gunter, Scott M. Nettles, 
    William D. Sincoskie, Jonathan M. Smith

Precision Synchronization of Computer Clocks using ISDN
    Satoshi Ono,  Takao Yamashita

Distributed Applications Based on Graph - A New Approach to 
Internet Management
    Mai Hoang

Network traffic analysis by using deductive database system with 
statistical function
    Akio Nishikawa, Kazutoshi Koike, Kenji Satou, Kazuo Ushijima

Internet car - with high-performance satellite links and digital 
cellular phones
    Shin Miyakawa, Hitoaki Sakamoto

Performance Evaluation of Wireless Media Access Control for Mobile 
Computing Applications
    Kui W. Mok, Alvin Lim

An Implementation of Digital Coupon Privacy Oriented Browsing System
    Kenji Seo, Hiroaki Kukuchi, Shigeki Goto

----------------------------------------------------------------------------
      Coordination Technology for Collaborative Applications Workshop
----------------------------------------------------------------------------

Distributed Infrastructure Support for Collaborative Applications
    Zhonghua Yang, Rodney Topor

Supporting Autonomous Work and Reintegration in Collaborative Systems
    Michael Berger, Alexander Schill

A Cooperative Approach to Distributed Applications Engineering
    George Fernandez, Inji Wijegunaratne

Practical Experiences and Requirements on Workflow (from the 
Workflow Application Developer's Point of View)
    Kwang-Hoon Kim, Su-Ki Paik

Supporting both Client-Server and Peer-to-Peer Model in a
Framework of a Distributed Object Management System
    Seok Hwan Yoon, Jieun Park, Pyeong Jung Kim, Tonghyun Lee

An Experimental Delay Analysis for Local Audio Video Streams for 
Desktop Collaborations
    Doo-Hyun Kim, Kyung-Hee Lee, Min-Gyu Kang, Geun-Hee Han, ChanGun Jung

Collaborative Problem Solving in a Constrained Environment
    Wolfram Conen, Gustaf Neumann

WebUSE and GeMM: Towards a WWW Database Interface
    Madhav Sivadas, George Fernandez

Enhancement of Creative Aspects of a Daily Conversation with a 
Topic Development Agent
    Kazushi Nishimoto, Yasuyuki Sumi, Kenji Mase

A Coordination Logic for Agent Programming in Virtual Worlds
    Paul Tarau, Veronica Dahl

(Talks to be announced: Peter Bernus and A.M. Tjoa)

========================================================================== 

                      ASIAN'96 REGISTRATION FORM

==========================================================================


             ASIAN'96 CONFERENCE and WORKSHOP REGISTRATION
             ---------------------------------------------

If registering by e-mail, please provide a copy of the form via fax, 
or mail hardcopies of the form and other relevant information.

Last Name: ____________________________________________

First Name: ___________________________________________ (Prof/Dr/Mr/Miss/Ms)

Affliation: ___________________________________________

Address/Mailstop:________________________________________________________

_________________________________________________________________________

City:_____________________________State:___________________

Country:____________________________Zip:___________________

Daytime Phone:_____________________________________________

Fax:_______________________________________________________

Email:_____________________________________________________

REGISTRATION FEES:
------------------

Early registrations for the conference must be sent to the address
below by Nov 15, 1996. Registrations after Nov 15, will be treated
as on-site only.

     ASIAN'96 Registration,
     C/O Prof. Joxan Jaffar,
     Department of Information Systems and Computer Science,
     National University of Singapore,
     Lower Kent Ridge Road,
     Singapore 119260, Singapore     

     Fax: +65 779-4580

Full registration for the conference: (all rates are in Singapore Dollars)
    
     Advance (until Nov 15)            Late/On-Site (after Nov 15)

     ___Non-student    $400            ___Non-student     $500

     ___Student        $150            ___Student         $200

Post-conference workshops (per workshop):

     ___Non-student    $60             ___Student         $30

One-day workshop ONLY registration (per workshop):

     ___Non-student    $150            ___Student         $35

Please indicate desired workshop(s):
___Constraints     ___Networking    ___Coordination Technology


Conference fees include conference attendance, refreshments at breaks,
conference dinner and one copy of the proceedings. Student registration
includes all of the above (proceedings is likely), except conference
dinner. Student registrants must provide a copy of a valid student ID
card or an official letter from their department.

SPECIAL MEAL REQUIREMENTS:

   ___Vegetarian  ___Muslim  ___Others (please specify): __________________

METHOD OF PAYMENT:
------------------

Payments must be remitted using one of the following (please check one):
(payment by check and bank should be made to the "National University
of Singapore)
[If you have difficulty with getting a draft in Singapore
dollars, you may send us a draft in a major currency but please add
US$20 (or equivalent) to cover exchange rates and bank charges,
but please note this is the least preferable option]

___ Enclosed check (drawn from a Singapore bank in Singapore dollars only)
       Bank ________________________________ Check# ______________________

___ Enclosed bank draft (in Singapore dollars only)
       Bank ________________________________ Draft# ______________________

___ Charge to Credit Card (please fill out the following and sign):

Amount to be charged:_________

    ___Mastercard    ___Visa

Name on Card:______________________________________________

Card #:________________________________________ Exp. Date:________________

Authorized Signature:______________________________________

Date Signed:_____________________

REFUNDS:
--------

Written requests for refunds must be received by the registration chair
no later than Nov 18, 1996. Refunds are subject to a $50 processing fee.
All no-show registrations will be billed in full.


==========================================================================

                      HOTEL BOOKING INFORMATION

==========================================================================

                          Hotel Booking Form
                          ------------------

Please complete and return this form before November 14, 1996 to:

Hotel Registration
Asian Computing Science Conference (ASIAN'96)
c/o Winston Leow
RELC International Hotel
RELC Building
30 Orange Grove Road
Singapore 258352
Singapore

Tel: +65 737-9044;  Fax: +65 733-9976;  Email: relcih@singnet.com.sg

[Please email us a copy of your hotel booking information as well.]

The hotel which we will be using as the conference venue and
conference hotel is the RELC (Regional English Language Center).
The room rates below, in Singapore dollars, include breakfast and is 
the net rate after tax.  Reservations made after November 14, 1996
are subject to availability and different rates may apply.

Tick your choice:

  ___ Single or Twin sharing: $115.57 per room
  
  ___ Triple sharing: $138.23 per room

Please provide the names of your room mates (for those sharing with
ASIAN'96 participants)

1.______________________________________________________

2.______________________________________________________


GUEST INFORMATION:
[ ]Mr. [ ]Mrs. [ ]Miss [ ]Ms.

Family Name:_______________________________________________

First Name:________________________________________________

Address/Mailstop:__________________________________________________________

                 __________________________________________________________

City:_____________________________State:___________________

Country:____________________________Zip:___________________

Daytime Phone:_____________________________________________

Fax:_______________________________________________________

Email:_____________________________________________________

Please advise us if you have any special needs:____________

___________________________________________________________


Arrival Date:______________ Time: ___________

Departure Date: ___________ Time: ___________

A room deposit of one day's stay is REQUIRED and must accompany this
form. Payment should be made to "RELC International Hotel".

METHOD OF PAYMENT:
Payments must be remitted using one of the following (please check one):

___ Enclosed check (drawn from a Singapore bank in Singapore dollars only)
       Bank ________________________________ Check# ______________________

___ Enclosed bank draft (in Singapore dollars only)
       Bank ________________________________ Draft# ______________________

___ Charge to Credit Card (please fill out the following and sign):

Amount to be charged:_________

    ___Master Card   ___Visa   ___American Express   ___Diners Club

Name on Card:______________________________________________

Card #:____________________________________________________

Exp. Date:________________

Authorized Signature:______________________________________

Date Signed:________________

==========================================================================


-------------------------------------------------------------------------------
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 Nov 13 12:53:06 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 MAA13930 for <dbworld@sea.cs.wisc.edu>; Wed, 13 Nov 1996 12:52:47 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id MAA15477 for dbworld; Wed, 13 Nov 1996 12:52:45 -0600
Date: Wed, 13 Nov 1996 12:52:45 -0600
From: "Nancy Owens" <neowens@VNET.IBM.COM>
Message-Id: <199611131852.MAA15477@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

               CALL FOR PARTICIPATION
                  Seventh International Workshop on
             High Performance Transaction Systems (HPTS)
                   Asilomar Conference Center
                   Pacific Grove, California

                    September 7-10, 1997

   The HPTS Workshop brings together leading builders and users of
Transaction Processing systems, tools, engines, and applications to
share their experience and vision.  Although Transaction Processing
systems have been with us for over 25 years, we are now living through
a period of change and growth fueled by the Internet and continuing
amazing advances in the price, performance, availability,
functionality, and usability of computer hardware and software.
In addition, as personal and shirt pocket computers are increasingly
used to originate and participate in transactions, interesting new
challenges arise in terms of ubiquity, throughput, and distributed
architecture.  HPTS '97 will offer a rare opportunity for the
participants to consider the past and design the future.

   The format of the HPTS Workshop is discussion sessions based on
position papers and the presentation of a few full papers.  The
emphasis is upon sharing experience, ideas, and vision.  Each participant
must submit either a position paper or an abstract of a full paper and
may be asked to lead a discussion session.

   A position paper may be a viewpoint on a controversial topic, a
summary of lessons learned, or a description of experience with a large
or unusual Transaction Processing System.  An abstract of a full paper
may be a description of a new mechanism, architecture, product,
application, or of work-in-progress.  Of special interest to the HPTS
community are submissions on Transaction Processing System topics not
commonly covered in other technical forums; including
workflow, messaging paradigms, object management, and Internet
transactions.

  Attendance is limited to about 60 participants.  Participants will
be invited based on their submissions.  Abstracts and Position Papers
should be at most five pages.  Submissions must be delivered
electronically, in PostScript format or a URL for a HTML document
(special dispensations are available on request).

General Chair:
   David Vaskevitch
   e-mail: davidv@microsoft.com
   phone: (206) 936-8044

Program Chair:
   Bruce Lindsay
   e-mail: bruce@almaden.ibm.com
   phone: (408) 927-1747
   fax: (408) 927-3215

Program Committee:
  Sam DeFazio                 Jim Johnson
  Jeff Eppinger               Gary Kelly
  Michael Franklin            Ed Lassettre
  Dieter Gawlick              Barbara Liskov
  Peter Gassner               Susan Malaika
  Jim Gray                    Friedemann Schwenkries
  Pat Helland                 Randy Smerik
  Joey Hellerstein

HPTS home page: http://www3.hursley.ibm.com/hpts97/index.htm

Submission of Manuscripts:
        Nancy Owens
        e-mail: neowens@US1.IBM.COM
        phone: (408) 463-3285
        fax: (408) 463-3834

IMPORTANT DATES
    Submission of Manuscripts:               March 24, 1997
    Notification of Acceptance:              May 27, 1997
    Submission of Final Manuscripts:         August 8, 1997
    HPTS Workshop                            September 7-10, 1997


-------------------------------------------------------------------------------
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 Nov 13 15:57:00 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 PAA17520 for <dbworld@sea.cs.wisc.edu>; Wed, 13 Nov 1996 15:56:53 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id PAA15780 for dbworld; Wed, 13 Nov 1996 15:56:52 -0600
Date: Wed, 13 Nov 1996 15:56:52 -0600
From: "Ed Babb" <Ed_Babb@parsys.co.uk>
Message-Id: <199611132156.PAA15780@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

                      dbw: JOB:  DATA MINING!

Dear Colleague

This may be a rare opportunity to enter the fast growing and exciting field of
data mining! 

There are two jobs below which might interest you. One is concerned with the
user interface and communications. The second concerns the learning and
database technology. 

If you are not interested yourself, please consider passing on to a colleague
or putting on an appropriate university careers notice board.

REGARDS

ED BABB

*********************************************
EXCITING OPPORTUNITY IN  DATA MINING!
__________________________________________

PARSYS is a leading European supplier of parallel systems and technology.  They
are currently the lead partner in a large multinational ESPRIT project aimed at
building a parallel data mining file server and client. Consequently, they are
looking for two people interested in data mining systems and with experience of
the enabling technologies of user interfaces, databases and machine learning.
The two positions involve:

1. Building client applications and the communications software for a client
server system. Experience of working with customers, system testing and
mounting demonstrators is important. Experience of C is essential. Experience
of Visual Basic useful.

2. Adapting learning techniques such as rule induction, neural networks,
genetic algorithms to run on a parallel computer. Also helping to adapt an
existing database system to run on a parallel machine. Enthusiasm for producing
fast algorithms in C is essential.

For both positions at least a 2.1 degree in Computing, Artificial Intelligence
or equivalent is needed. In addition, several years relevant experience is
desirable. Salary will depend on age and experience.

Please post your CV stating current salary to: Ed Babb, PARSYS  LTD, Boundary
House, Boston Road, Hanwell, London, W7 2QE, UK.  Alternatively email him on
ed@parsys.co.uk if you wish to make any brief informal enquires.

*********************************************




-------------------------------------------------------------------------------
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 Nov 14 17:06:55 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 RAA04092 for <dbworld@sea.cs.wisc.edu>; Thu, 14 Nov 1996 17:06:48 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id RAA17767 for dbworld; Thu, 14 Nov 1996 17:06:48 -0600
Date: Thu, 14 Nov 1996 17:06:48 -0600
From: atuzhili@square1.stern.nyu.edu (Alex Tuzhilin)
Message-Id: <199611142306.RAA17767@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

NYU: Information Systems Department, Stern School of Business

Applications are solicited from outstanding candidates for tenure
track and visiting faculty positions at all levels. Entry-level
applicants must complete the Ph.D. within the 1997-98 academic year.
Applicants must present evidence of strong teaching skills and an
ability to work in a multi-disciplinary environment. Research areas in
which we are interested include, but are not limited to, information
systems in organizations, electronic commerce and knowledge management
(including knowledge discovery in databases and related fields).
Junior and senior visiting appointments also considered. Salary
competitive with other leading schools of business and dependent on
qualifications.

Please send resume with cover letter to:
Professor Edward A. Stohr, Chair Recruiting Committee
Leonard N. Stern School of Business, New York University
44 West 4th Street, Room 9-69
New York, New York, 10012-1126.

-------------------------------------------------------------------------------
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 Nov 14 19:00:15 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 TAA06315 for <dbworld@sea.cs.wisc.edu>; Thu, 14 Nov 1996 19:00:10 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id TAA18043 for dbworld; Thu, 14 Nov 1996 19:00:10 -0600
Date: Thu, 14 Nov 1996 19:00:10 -0600
From: Lara Winstone <winstone@cs.sfu.ca>
Message-Id: <199611150100.TAA18043@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

Data Mining and Data Warehousing Product/System Survey

A questionnaire has been created by a group of researchers from the 
Database Systems Research Laboratory at Simon Fraser University, Canada 
<http://db.cs.sfu.ca>, who are currently studying data mining 
and data warehousing technology. 

We are attempting to contact researchers and developers who have made 
contributions, in the form of commercial products and/or research 
prototypes, within either of these areas. 

The purpose of this questionnaire is to collect information regarding 
existing data mining and data warehousing systems/prototypes in order 
to create a comprehensive survey of the current state of the art.  The 
goal of this project is to publish the survey in some popular magazine 
or academic journal in order to make the information therein widely 
available. 

An on-line version of the questionnaire can be found at:

*************************************
* http://db.cs.sfu.ca/questionnaire *
*************************************

If you or your organization has developed either a data mining or data 
warehousing system, it would be greatly appreciated if you would take a 
few minutes to complete this questionnaire or forward this message to 
an appropriate person within your organization.  In doing so, we can 
collect valuable information regarding data mining and data warehousing, 
and your system will also be given valuable exposure. 

The survey, which will present a balanced view of the current products,
will be useful to both end-users and developers, and will be made publicly 
available upon its completion.  You will have the opportunity to access 
both the survey and a concise web summary of the companies and research 
labs we have canvassed via the internet in the next few months. 

Thank you for your time and thoughtful consideration. 

Sincerely,

Lara Winstone

N.B.  Three options for completing this questionnaire:

1) WWW Version: Complete and submit the form found at the above URL.

2) Email Version: If you would prefer to complete a text version of 
the questionnaire, please contact Lara Winstone via email at 
winstone@cs.sfu.ca or download a copy from the above URL.

3) Mail/Fax Version: A downloadable postscript version can be found 
at the above URL.  This version can be printed, completed and then 
mailed or faxed to:

Mailing Address:        Ms. Lara Winstone
                        Database Systems Research Laboratory
                        School of Computing Science
                        Simon Fraser University
                        Burnaby, B.C.
                        Canada, V5A 1S6

Tel:                    (604)291-5938, (604)291-5371
Fax:                    (604)291-3045

-------------------------------------------------------------------------------
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 Nov 15 09:59:57 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 JAA15148 for <dbworld@sea.cs.wisc.edu>; Fri, 15 Nov 1996 09:59:48 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA18886 for dbworld; Fri, 15 Nov 1996 09:59:47 -0600
Date: Fri, 15 Nov 1996 09:59:47 -0600
From: pjm@dcs.kcl.ac.uk (Peter McBrien)
Message-Id: <199611151559.JAA18886@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

KING'S COLLEGE LONDON

LECTURER IN COMPUTER SCIENCE


Candidates with strong research orientation are invited to apply for a
lectureship in the Department of Computer Science.  Preference will be given
to candidates with interests in the following areas: algorithm design, data
and knowledge engineering, object technology, information systems and
computer vision.


The appointment will be made on an appropriate point of either the Lecturer
A scale, currently GBP317,288 - GBP21,982 p.a. or the Lecturer B scale, 
currently GBP22,811 to GBP28,564 which includes GBP2,134 London Allowance p.a.
depending on qualifications and experience.


For an application form and further details please contact Hillia Holland,
School Personnel Officer, School of Physical Sciences and Engineering,
King's College London, Strand, London WC2R 2LS, tel +44 171 873 2427 or email
Hillia.Holland@ kcl.ac.uk.  The closing date is 29 November 1996 and
interviews are to be held early January 1997.  Please quote reference
A2/CS/22/96. 


Promoting excellence in teaching, learning & research
Equality of opportunity is College policy

Hillia Holland-Thomas (Mrs)                        
School Personnel Officer                    
School of Physical Sciences and Engineering          tel +44 171 873 2427
King's College London                                fax +44 171 873 2766
Strand  London WC2R 2LS   United Kingdom      email Hillia.Holland@kcl.ac.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 Fri Nov 15 12:35:34 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 MAA17645 for <dbworld@sea.cs.wisc.edu>; Fri, 15 Nov 1996 12:35:27 -0600
Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id MAA19204 for dbworld; Fri, 15 Nov 1996 12:35:27 -0600
Date: Fri, 15 Nov 1996 12:35:27 -0600
From: flp_ws <flp_ws@issan.informatik.uni-dortmund.de>
Message-Id: <199611151835.MAA19204@ricotta.cs.wisc.edu>
To: dbworld@ricotta.cs.wisc.edu

               Call for Papers - Call for Participation

                    6th International Workshop on
                  Functional and Logic Programming	
                      Jan. 8th - Jan. 10th  1997

                   in Schwarzenberg (Black Forest)


The aim of the workshop is to communicate ideas and work among researchers
working in the areas of functional, logic and constraint programming.
Traditionally, the focus is on the intergration of programming paradigms.
A non-exclusive list of important topics is:

	- foundations and semantics, calculi, in particular narrowing,
	- constraints,
        - type systems,
	- declarative programming in general, applications,
	- language design,
	- program analysis and implementation techniques, and
	- parallelism and concurrency.

During the workshop there will be meetings of the working group of the language 
Curry and the editorial board of the Journal of Functional and Logic
Programming. Furthermore, Martin Odersky will give an invited talk on
"Pizza into Java: Translating theory into practice".

The workshop starts on
	Wednesday, Jan. 8th 1997, at 10.00h.
We recommend to arrive Tuesday evening.

The workshop ends on
	Friday, Jan. 1th 1997, at 12.00h.

The workshop fee will be 30.- DM and can be paid during the workshop.

The workshop will take place for the third time in Schwarzenberg (after 1994 
and 1995).  Schwarzenberg is a small village in the northern parts of the
Blackforest. In January there usually will be snow. The hotel has an excellent 
restaurant, swimming pool, and sauna. The conference room provides overhead
projector and flip chart. The price for a single room is 146 DM and 140 DM for 
a double room (per person and day). This includes all meals (breakfast, 3
course lunch and 4 course dinner).
If your are vegetarian or need special food, please ask the hotel directly.
Please reserve directly at the hotel, and as soon as possible:

	Hotel Sackmann
	72270 Baiersbronn Schwarzenberg
	Tel: +49 - 7447 - 28 9 0
        Fax: +49 - 7447 - 28 9 400

The hotel is located directly at the main road of the valley.
Coming down the motorway A5, you leave at Rastatt and follow signs to
Gaggenau/Freudenstadt on the B462. From there, it is 38 km.
Schwarzenberg is before Baiersbronn.

Alternatively, you could use the fairely good train connections from
Karlsruhe to Freudenstadt. There are regional express trains each hour,
always leaving Karlsruhe at xx.20h. The last train leaves at 19.20h.
Karlsruhe is stop of Intercity trains arriving around each full hour.
Travel time from Frankfurt airport to Karlsruhe is approx. 2 hours.

Train Connections:

   KARLSRUHE  X.20h  ->  Schwarzenberg arrival  X+1.29h   |  X in [7..19]

If you arrive after sunset, it may be a bit difficult to recognize
the Schwarzenberg train stop, don't hesitate to ask local people.
At the end of the stop, you turn downwards the road and cross the
bridge, the hotel is to the left.

The information about the workshop will be mainted under the following URL:
http://wwwipd.ira.uka.de/~hlock/wsflp97.html

Please fill in the following registration form and return it by electronic mail
to flp.ws.97@ls5.informatik.uni-dortmund.de, peferably before Dec. 15th.

-----------------------------------------------------------------------------
                           Registration Form


Name:
Organization:
Address:
Zip code/city/country:
Tel:
Email:
WWW:

Arrival date:
Departure:
I am coming by car/train:
Vegetarian [yes/no]:

I intend to give a talk or tutorial:
Duration 30, 45, 60 min:
Title:
Abstract:

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

Organization by:

Hendrik C.R. Lock
   Universit"at Karlsruhe            |   Tel.    (+49 / 721) 608-39 85
   Institut f"ur Programmstrukturen  |   Fax:    (+49 / 721) 69 40 92
        und Datenorganisation (IPD)  |   Email:  hlock@ira.uka.de
   Am Fasanengarten 5                |   WWW: http://wwwipd.ira.uka.de/~hlock
   Postfach 6980                     |
   D-76128 Karlsruhe, FRG

and

Andreas Hallmann
   Lehrstuhl Informatik V,   | Fax   : +49-231-755-4851
   University of Dortmund,   | Tel.  : +49-231-755-5107
   D -44221 Dortmund	     | Email : hallmann@ls5.informatik.uni-dortmund.de


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

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

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

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

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

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


