From beyer@cs.wisc.edu Tue Sep  3 10:27:50 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA21027 for <dbworld@sea.cs.wisc.edu>; Tue, 3 Sep 1996 10:27:31 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id KAA21029 for dbworld; Tue, 3 Sep 1996 10:27:30 -0500
From: Kevin Beyer <beyer@cs.wisc.edu>
Message-Id: <199609031527.KAA21029@loon.cs.wisc.edu>
Subject: (DBWORLD) Faculty Positions
To: dbworld@loon.cs.wisc.edu
Date: Tue, 3 Sep 1996 10:27:30 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 3381      

ASIAN INSTITUTE OF TECHNOLOGY
Bangkok, Thailand

Faculty Positions in Computer Science
SCHOOL OF ADVANCED TECHNOLOGIES


Established in 1959, AIT is an autonomous, non-profit, international 
postgraduate institution offering academic programs leading to the award of 
master and doctorate degrees, the diploma or certificates in engineering, 
science, planning and management, and serves over 1,000 students from many 
countries across Asia and beyond.  Teaching faculty, researchers and students
from more than 40 countries form a unique international community on the
Institute's 400-acre, beautifully landscaped campus, situated 42 km north of
Bangkok.

The School of Advanced Technologies has a Computer Science Program which
aims to meet the growing regional demand for persons skilled in the
various aspects of computing.  The curriculum in computer science covers
all aspects of computing, with the faculty particularly active in the
areas of artificial intelligence, software engineering and information
systems.  The Program endeavors to enhance teaching and research
activities in computer architecture, neural networks, multimedia and other
rapidly evolving areas in computer science.  The courses and research
topics range from those addressing the practical problems of applications
development, to those dealing with the abstract and philosophical issues
of computer science and advanced computing.  The program of Computer
Science interacts closely with a progam in Information Management who focus
on information economics, information policy, information technology, 
resources management and applications. 

The successful candidate is expected to teach advanced courses in Computer 
Science, and to conduct research and outreach activities directed towards 
computing and Information Management problems in Asia.  Candidates should have:
1) an earned doctorate in Computer Science or Information Management with a 
strong background in one or more of the following areas:  computer 
architecture, operating system, software engineering, networking, client 
server systems, multimedia systems, user interface and related areas; 2) 
a good publication record; and 3) work experience in postgraduate teaching and 
research in Computer Science.

These positions are for a two-year appointment, with a possibility of
extension; salary (tax-free in Thailand, inclusive of base salary, housing
allowance and Institute contribution to an Insured Savings Fund) is
competitive, negotiable and commensurate with experience and
qualifications.  Nominations and letters of application, including a
curriculum vitae, and the names, affiliations, addresses and telephone
numbers of three referees should be submitted to:  The Vice President for
Academic Affairs, Asian Institute of Technology, GPO Box 2754, Bangkok
10501, Thailand, Fax:  (66-2) 516-2126 / 516-1418; Tel:  516-0110-44 Those
who have responded to our earlier announcement can reconfirm their
intention for consideration and may submit the updated resume. Recent
Ph.Ds are especially encouraged to apply. The positions may be filled as
soon as suitable candidates are identified. 

For further information, please contact:  Dr. R. Sadananda, Coordinator, 
Computer Science Program, School of Advanced Technologies, Asian Institute of
Technology, GPO Box 2754, Bangkok 10501, Thailand, e-mail: sada@cs.ait.ac.th.

-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Tue Sep  3 10:28:41 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA21052 for <dbworld@sea.cs.wisc.edu>; Tue, 3 Sep 1996 10:28:08 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id KAA21042 for dbworld; Tue, 3 Sep 1996 10:28:02 -0500
From: Opher Etzion <ieretzn@techunix.technion.ac.il>
Message-Id: <199609031528.KAA21042@loon.cs.wisc.edu>
Subject: NGITS'97 
To: dbworld@loon.cs.wisc.edu
Date: Tue, 3 Sep 1996 10:28:02 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 1651      

Details about NGITS'97- the third international workshop on Next
Generation Information Technologies and Systems that will take place in
Neve-Ilan (Near Jersualem), Israel on June 30 -July 3, 1997 

can now be obtained at:

URL: 
//http: iew3.technion.ac.il:8080/Home/NGITS97.phtml










-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Tue Sep  3 10:29:14 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA21064 for <dbworld@sea.cs.wisc.edu>; Tue, 3 Sep 1996 10:28:46 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id KAA21059 for dbworld; Tue, 3 Sep 1996 10:28:46 -0500
From: Hartmut Luttermann <hartmut@fb5.uni-siegen.de>
Message-Id: <199609031528.KAA21059@loon.cs.wisc.edu>
Subject: (DBWORLD) Call for Participation: ZobIS'96
To: dbworld@loon.cs.wisc.edu
Date: Tue, 3 Sep 1996 10:28:46 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 10434     

Call for Participation
            ==========================

 2nd International Workshop on Time Oriented Business Information
Systems 

                    -- ZobIS 96 --

organized by SIG 5.2.1.2: Temporal Oriented Business Information Systems
of the German Computer Society (GI)

The workshop will constitute one of three tracks of the Conference 

      Modelling Business Information Systems (MobIS 96) 
              Cottbus, Germany, October 11, 1996 

It will follow immediately the 

15th International Conference on Conceptual Modelling ER'96,
             Cottbus, Oct 7 - Oct 10, 1996 

                      and the 

   International Symposium on Business Process Modelling,
                   Cottbus, Oct 10, 1996.


     http://www.informatik.uni-siegen.de/winfo/MobIS96 

------------------------------------------------------------
Themes and aims of the workshop:

The workshop will concentrate on the topic 

>The Year 2000 and other aspects of time-oriented information systems<

The problems that arise with using many information systems after
December 31, 1999 are becoming more widely recognized in the IS
community and are also attracting the attention of
a broader audience. Special topics of interest for the workshop include,
but are not limited to, the following: 

 - Information management tasks for the Year 2000 conversion
 - Strategies for the Year 2000 problem 
 - Methods and tools for the Year 2000 conversion 
 - Experiences with planning, staffing and implementing Year 2000
solutions. 

Independent from the Year 2000 issue, the following topics of temporal
IS also will be considered as relevant for the workshop: 

 - Modelling evolution in business applications 
 - Modelling time-oriented behavior of business information systems 
 - Metrics for time-oriented systems 
 - Implementing temporally oriented IS in conventional technology 
 - Integrity issues in temporally oriented information systems 
 - Prototype implementations of temporal database management systems 
 - Temporal data in data warehouse- and decision support systems 

The language at the workshop is german and english.

------------------------------------------------------------
Conference program:

   09:00-10:00 
               invited speeches:
               E.J. Sinz, University Bamberg:
               IS-Architekturen: Aktuelle Anforderungen und
Entwicklungen 

               G. Knolmayer, University Bern: 
               Das Jahr 2000: Eine Herausforderung f|r das IS-Management 
    10:00-10:30 
               coffee break 
    10:30-12:30 
               session I
    12:30-14:00 
               lunch break 
    14:00-16:00 
               session II
    16:00 
               end of conference

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

Workshop program (ZobIS):

                Session I

    10:30-11:10 
               J. Fischer, University Paderborn:
               Neue Controlling-Potentiale durch zeitorientierte
Vertragsdatenbanken 
    11:10-11:50 
               A. H. F. Laender, J. M. B. Cavalcanti (Universidade
Federal de Minas Gerais, Universidade do Amazonas, Brasil):
               Performance Evaluation of the Relational Implementation
of an Object-Oriented Temporal Data Model 
    11:50-12:30 
               J. Lu, P.J. Barclay, J.B. Kennedy, Napier University,
Edinburgh: 
               On Temporal Versioning in Object-Oriented Databases 


                Session II a

    14:00-14:40 
               Th. Myrach, University Bern:
               Zustands- und Ereignisdaten in Konzepten zeitorientierter
Datenhaltung und ihre Zusammenhdnge
    14:40-15:20 
               B. Griefahn, University Rostock:
               Ein Implementierungsvorschlag f|r Zeitfolgen 
    15:20-16:00 
               H. Hoheisel, University Marburg:
               Mvglichkeiten der Verringerung von Speicherkosten bei
temporalen DBMS


                Session II b

    14:00-14:40 
               K. Kracht, University Magdeburg:
               Konzeptionelle Unternehmensmodellierung mittels
raum-zeit-orientierter Spezifikationssprache
    14:40-15:20 
               R. Ganzfried, GD-SBB Bern:
               ProMPT-IT: Project life-cycle Metrics for Business
Processes and Transactional Systems in Information Technology
    15:20-16:00 
               K. Hildebrand, FH Ludwigshafen:
               Ein Vorgehensmodell f|r die Konvertierung temporaler
Informationen in zeitorientierten Informationssystemen


                Session II c

    14:00-14:40 
               H. Luttermann, M. Grauer, University Siegen:
               Zur Nutzung Geographischer Informationssysteme (GIS) f|r
zeitliche Geschdftsdaten
    14:40-15:20 
               A. Kaiser, W. Panny, Wirtschaftsuniversitdt Wien:
               Die Abbildung zeitbezogener Daten in Datenbanksystemen
mit Standard-SQL
    15:20-16:00 
               H. Reuter, Gerling-Konzern Kvln:
               Zeitreihendarstellung in Dienstleistungsunternehmen -
Konsistenzprobleme im entscheidungsunterst|tzenden Berichtswesen

------------------------------------------------------------
How to register to the workshop ZobIS'96:

The registration will be done by mailing the filled registration form
and paying the registration fee. The payment can be done at the workshop
or in DM per check payable to 

   Gesellschaft fuer Informatik e.V. -Sonderkonto MobIS'96
       Bank: Sparkasse Bonn
       Bank-no: 380 500 00
       account-no: 42 945 

Keep a copy of your registration form and mail the registration form to
the organizing chair of the conference. 

       Tagungsbuero MobIS'96
       Prof.Dr. Manfred Grauer
       Universitaet-GH Siegen
       Wirtschaftsinformatik
       Hoelderlinstr.3
       D-57068 Siegen
       Germany 

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

               Registration Form ZobIS '96
                  (only for one person)



Title, First name,
Last name:              __________________________________________
Affiliation:            __________________________________________
Street:                 __________________________________________
City, ZIP, Country:     __________________________________________
Tel. / Fax:             __________________________________________
e-mail:                 __________________________________________
GI-Nr.:                 __________________________________________


Normal                                                o   DM 90,-
Member of the GI                                      o   DM 70,-
Student  (only with an certification)                 o   DM 30,-

The registration fee contains refreshments at the workshop. Please, sign
your individual registration fee. Cancellations are only accepted before
September 15, 1996 and the fee will be refunded minus a handling charge
of 20,- DM.



____________________________________________________________
Date    Signature

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

------------------------------------------------------------
Workshop proceedings of the workshop ZobIS'96:

The workshop proceedings will be published in the 'Rundbrief' of the
GI-FA 5.2 "Informationssystem-Architekturen". 

The 'Rundbrief' (price: 35,- DM) can be bought at the workshop or
ordered (with check) at: 

Fachausschuss 5.2 "Informationssystem-Architekturen"
c/o Prof. Dr. Elmar J. Sinz
Feldkirchenstr. 21
D-96045 Bamberg
Germany
Tel.: ++49-951-863-2512
Fax: ++49-951-863-2513 

------------------------------------------------------------
Site of the workshop ZobIS'96:

The workshop with all paper presentations will be held at the 

 Brandenburgischen Technischen University Cottbus 
 Karl-Jannack-Strasse 1
 D-03044 Cottbus 
 Germany 

The rooms for the presentation of the papers are located in the building
1 and 2 in the Karl-Jannack-Strasse 1.

------------------------------------------------------------
Accommodations at Cottbus:

In Cottbus, there exist many accommodations in different categories. A
list of hotels and places for bed and breakfast in a short distance to
the workshop site is published at "http://www.informatik.uni-siegen.de/winfo/MobIS96/Unterkuenfte-Engl.html".
You are requested to order a room by contacting the hotels directly or
the city information office: 

Fremdenverkehrsbuero Cottbus
Berliner Strasse 1a
D-03046 Cottbus
Germany
Tel. ++49 355-24254
Fax. ++49 355-791931 

------------------------------------------------------------
Organizing chair: 

Prof. Dr. Manfred Grauer 
Wirtschaftsinformatik 
Universitaet-GH Siegen 
Hoelderlinstr. 3 
D-57068 Siegen 
Tel: ++49 271 740-3269/3269 
Fax: ++49 271 740-2372 
grauer@fb5.uni-siegen.de 
WWW: http://www.informatik.uni-siegen.de/winfo 

Program committee: 

Prof.Dr. J. Fischer, University Paderborn 
Prof.Dr. M. Grauer, University-GH Siegen 
Prof.Dr. G. Knolmayer, University Bern 

Workshop organisation:

Hartmut Luttermann (e-mail: hartmut@fb5.uni-siegen.de)
Stefan Wolf (e-mail: stefan.wolf@sowi.uni-bamberg.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-


From beyer@cs.wisc.edu Tue Sep  3 10:30:08 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA21104 for <dbworld@sea.cs.wisc.edu>; Tue, 3 Sep 1996 10:29:45 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id KAA21078 for dbworld; Tue, 3 Sep 1996 10:29:44 -0500
From: Stefano.Spaccapietra@di.epfl.ch (Pr Stefano Spaccapietra EPFL DI/LBD + 41 
Message-Id: <199609031529.KAA21078@loon.cs.wisc.edu>
Subject: 7TH IFIP 2.6 DATABASE SEMANTICS CONF//CFP (fwd)
To: dbworld@loon.cs.wisc.edu
Date: Tue, 3 Sep 1996 10:29:44 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 5956      

      21 693 52 10)
Subject: 7TH IFIP 2.6 DATABASE SEMANTICS CONF//CFP


-----------------------------------------------------------------------
-----------------------------------------------------------------------
	    FIRST NOTICE AND PRELIMINARY CALL FOR PAPERS

    7th IFIP 2.6 Working Conference on Database Semantics (DS-7)

    Searching for Semantics: data mining, reverse engineering, etc.

                         October 7-10, 1997
                         Leysin,Switzerland
-----------------------------------------------------------------------
-----------------------------------------------------------------------


At the beginning there were no databases. Information was stored in 
archives which contained mere data, whose semantic interpretation was 
left up to the application programs. Then databases were invented to get 
rid of duplications and inconsistencies. Database design methodologies 
instructed people that they should first understand the semantics of the
data relevant to the applications and then express this semantics into 
database schemas. The approach has been extremely successful, 
resulting in myriads of databases being installed in almost every 
application environment. Unfortunately, many database design processes 
neglect to properly record the initial specifications, i.e. most of the 
intended semantics is not available anymore. Today's database designers 
are committed to reuse existing data, for clear performance and economic 
reasons. Moreover, they often have to complement enterprise data with 
data from external sources, where the corresponding semantics is rarely 
fully available. Accessing data via the Web is just an example of input 
from external autonomous repositories. 

Database researchers today are facing the issues involved in the discovery 
and understanding of the semantics hidden in whatever is 
available: data sets, data stores formats, database schemas, application 
programs, documentation, metadata, forms, interviews, etc.

This seventh in the series of IFIP 2.6 working conferences devoted to 
database semantics will focus on these issues. Submissions are solicited 
regarding theories, principles, models, methods, formalisms, experiences, 
tools and prototypes for recovering, representing and organizing semantic 
information on application data from any possible source. This includes
in particular the processes known as:
- data mining and knowledge acquisition/discovery
- data reverse engineering
- extraction of semantic information from programs
- semantic elicitation and visualization
- putting semantics into context
- cooperative elaboration of semantics
- automatic indexing, classification and clustering
- languages and interfaces for data mining or reverse engineering
- advanced query models
- visual mining
- correspondence investigation in schema integration
- applications, experiences, tools, industrial trends

Authors are invited submit contributions that are clearly relevant to 
these issues. Guidelines for submission will be given later.

FORMAT

The DS-7 conference, following the tested format of the previous successful
Data Semantics conferences, will be a four-day live-in working conference with
limited attendance and extensive time for presentations and discussions. 

DATES 

Important Dates for Paper submission, Industrial Track, Panel and Tutorial
proposals are tentatively planned as follows

March 7, 1997:       	submission deadline
May 14, 1997:        	PC meeting at SIGMOD
May 20;			notification of acceptance
September 10, 1997:     camera ready copies for pre-proceedings
October 7-10, 1997:	conference


ORGANIZATION 

Conference Co-chairs: 
	Alain Pirotte (Belgium) 		 
	Stuart Madnick (USA)

Program Co-Chairs: 
	Stefano Spaccapietra (Switzerland) 	
	Fred Maryanski (USA)			

Local Organization Chair: Dr Martin Andersson (Switzerland)


	==================================================================
	This information will be updated as preparation for the conference
	progresses. A web site will be set up in the near future.
	In the meantime requests for information can be addressed to
  	spaccapietra@di.epdl.ch
	==================================================================


+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
Prof. Stefano Spaccapietra	tel: +41 21 6935210
EPFL-DI-LBD			fax: +41 21 6935195
1015 Lausanne			email: spaccapietra@di.epfl.ch
Switzerland			http://diwww.epfl.ch/w3lbd
+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+				

-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Tue Sep  3 10:30:55 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA21133 for <dbworld@sea.cs.wisc.edu>; Tue, 3 Sep 1996 10:30:42 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id KAA21093 for dbworld; Tue, 3 Sep 1996 10:30:42 -0500
From: Stefano.Spaccapietra@di.epfl.ch (Pr Stefano Spaccapietra EPFL DI/LBD + 41       21 693 52 10)
Message-Id: <199609031530.KAA21093@loon.cs.wisc.edu>
Subject: (DBWORLD)jobs at EPFL's Database Lab
To: dbworld@loon.cs.wisc.edu
Date: Tue, 3 Sep 1996 10:30:41 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 5473      

#####################################################################

                         THE DATABASE LABORATORY

                       COMPUTER SCIENCE DEPARTEMENT
                  SWISS FEDERAL INSTITUTE OF TECHNOLOGY
             (Ecole Polytechnique Federale de Lausanne - EPFL)

is looking for candidates in databases/information systems for research 
and/or development positions opening October 1st, 1996.

#####################################################################

Applications are invited from excellent individuals with a solid 
background in the databases/information systems domain. The curriculum 
must show evidence of past experience in research and/or development 
activities, and for cooperative work in a research group.

The database lab currently has a staff of 2 professors, 2 senior 
researchers, 2 post-doc, and 6 PhD students.

R&D activities are mainly in the area of data and process conceptual 
modeling, query languages and visual interfaces, semantic aspects in
federated DB, spatial databases, multimedia. 
We are not interested in internal layers of DBMS: concurrency control, 
transaction management, query processing, ...

At this moment, we are looking for:

- a phd student with expertise in multimedia for a research project on 
  content based image querying. This position opens October 1st, 1996.
  The candidate should have demonstrated clear capabilities of conducting
  independent research. PhD duration is 3 years, plus an initial 6 months
  period devoted to finalizing the description of the planned thesis.

- one/two persons with demonstrated implementation skills to work on
  the developement of modern man-machine interfaces and other items in the 
  context of an european ESPRIT project on performance prediction in client/
  server architectures (position to open very soon). Familiarity with UNIX
  environment is needed. The project is planned for 30 months.

- one/two persons with demonstrated analysis and development skills to work on
  software for a storage system for audio data in the context of an R&D project
  in cooperation with the Swiss Romande Radio, the Swiss Phonotheque and HP. 
  Familiarity with radio environment is desirable. The project is planned for 
  at least two years, starting October 1st, 1996.

- possibly, a senior researcher with outstanding capabilities for leading research 
  and development projects, teaching and for assisting in the management and
  development of the lab, in particular through contacts with industry.
  This position will remain open until we find an adequate candidate. Its duration 
  is up to six years.

All positions are on a yearly contract basis. Contracts are renewed if both 
parties are satisfied and financing is available. Please note that the 
procedure to obtain a work permit for a non-resident takes app. 3 months.

EPFL is located in Lausanne, Switzerland, 60 km from Geneva. It is a
French speaking institution, in the French speaking part of Switzerland,
so some knowledge and practice of French is needed (knowledge of German
is also useful, although not mandatory). Working conditions are excellent.
The geographical environment is exciting for whoever likes skiying,
sailing on the lake, hiking in the mountains, etc. The cultural facilities
are good. Salaries are higher than in other countries, as is the cost of life.

Applications must include a curriculum with list of publications and three 
referees.

Send applications and enquiries to:

   spaccapietra@di.epfl.ch

For some not up-to-date information (will soon be updated) on the lab: 
	http://diwww.epfl.ch/w3lbd.

For general information on EPFL: http://www.epfl.ch/


+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
Prof. Stefano Spaccapietra	tel: +41 21 6935210
EPFL-DI-LBD			fax: +41 21 6935195
1015 Lausanne			email: spaccapietra@di.epfl.ch
Switzerland			http://diwww.epfl.ch/w3lbd
+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+		

-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Wed Sep  4 11:40:40 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA18908 for <dbworld@sea.cs.wisc.edu>; Wed, 4 Sep 1996 11:40:30 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id LAA21855 for dbworld; Wed, 4 Sep 1996 11:40:29 -0500
From: Stefano.Spaccapietra@di.epfl.ch (Pr Stefano Spaccapietra EPFL DI/LBD + 41 21 693 52 10)
Message-Id: <199609041640.LAA21855@loon.cs.wisc.edu>
Subject: (DBWORLD) Conference For French Speaking Community
To: dbworld@loon.cs.wisc.edu
Date: Wed, 4 Sep 1996 11:40:29 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 9116      

---------------------------------------------------------------------
			LMO'96
		Langages et Modeles a Objets

		Leysin (Suisse) 16, 17, 18 octobre
	
	http://diwww.epfl.ch/lbd/events/lmo96/program.html


LMO'96 la conference francophone sur les objets prend de l'altitude
cette annee et vient s'installer dans les Alpes Vaudoises a Leysin.
Le succes de la conference va grandissant et de ce fait LMO'96
s'etendra sur trois jours.

Activites sociales

Le but de LMO est de reunir la communaute francophone concernee par
l'objet; les echanges entre participants seront encourages par le
fait que la conference aura lieu dans l'hotel meme ou tous les
participants seront loges.
Les echanges interpersonnels seront facilites par une soiree
speciale a la fromagerie de Leysin (le jeudi 17).

Situation

La conference aura lieu en un lieu unique, l'hotel "Classic Hotel" 
(tel: +41 25 342791, fax: +41 25 342424) a Leysin (Vaud, Suisse) 
qui propose un environnement calme, des chambres confortables 
et une grande salle de conference. L'acces a l'hotel se fait soit en 
voiture (rue principale) soit en train-funiculaire (descendre a 
Leysin-Feydey, ou une navette de l'hotel peut vous attendre). 
Le train a cremaillere part de la gare d'Aigle, gare qui peut etre 
jointe facilement depuis les aeroports de Geneve (1 heure 30), 
Zurich (2 heures 30) ou depuis la gare de Lausanne (1 heure); 
les gares de Geneve et Lausanne sont desservies par le TGV 
qui peut constituer un moyen rapide et economique de rallier 
la conference.

Comite de programme:

Patrick Albert, ILOG, Gentilly			Stephane Barbey, EPFL, Lausanne
Jean-Pierre Briot, LAFORIA, Paris		Bernard Carre, LIFL, Lille
Francoise Carre, Matra Marconi Space, Toulouse	Michel Dao, CNET,Issy-les-Mx
Yves Dennebouy, EPFL, Lausanne			Christophe Dony, LIRM, Montpellier
Roland Ducournau, LIRM, Montpellier		Jerome Euzenat, INRIA-IMAG, Grenoble
Annick Fron, AFC Europe, Villeneuve-Loubet	Serge Garlatti, ENST Bretagne, Brest
Robert Godin, Universite du Quebec a Montreal	Rachid Guerraoui, EPFL Lausanne
Michel Habib, LIRMM, Montpellier		Marianne Huchard, LIRMM, Montpellier
Jacques Malenfant, Universite de Montreal	Amedeo Napoli, CRIN - INRIA, Nancy
Oscar Nierstrasz, Universite de Berne		Mourad Oussalah, EERIE, Nimes
Jean-Francois Perrot, LAFORIA, Paris		Joel Quinqueton, INRIA - LIRMM, Montpellier
Francois Rechenmann, INRIA-IMAG, Grenoble	Roger Rousseau, I3S, Sophia Antipolis
Jean-Claude Royer, IRIN - Nantes		Pierre-Yves Schobbens, Universite de Namur

Sponsor:	Inria Lorraine


Programme

Mercredi 16 octobre

14 h - 14 h 30 		Ouverture du colloque

14 h 30- 16 h 15 	Session: Programmation par Objets
			presidee par Serge Garlatti, Telecom Bretagne

Using Metaobjects to Model Concurrent Objects with PICT
	Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz, 
	Institut fur Informatik (IAM) Universitat Bern

Ecrire du code elegant pour des algorithmes complexes
	Francois Laburthe, Yves Caseau, Bouygues - Direction Scientifique

Classification et reification des assertions, Application au langage Eiffel
	Philippe Collet et Roger Rousseau, UNSA/ IS3 -CNRS

16 h 15 - 16 h 45 	Pause cafe

16 h 45- 18 h  		Session: Analyse et conception Objet
			presidee par Jean-Claude Royer, IRIN Uni. et Ecole Centrale Nantes

Conception orientee objet, specification de la dynamique et verification
	Michel Augeraud, Laboratoire L3I Universite de La Rochelle

Vers un modele formel en analyse a objets
	Pascal Andre, IRIN, Faculte des Sciences et des Techniques, Universite de Nantes

Jeudi 17 octobre

8 h 30 - 10 h 15 	Session: Bases de Donnees et Objets
			presidee par Michel Dao, CNET Paris 

Raisonnement Taxinomique dans les Bases de Donnees Objets Spatiales
	Farouk Mansouri, Laboratoire d'ingenierie des Systemes d'Information INSA-Lyon

Modifications Virtuelles d'une Hierarchie de Classes
	Zohra Bellahsene, LIRMM

Integration de langages et de bases de donnees a objets: une approche par les meta-objets
	Stephane Demphlous, Franck Lebastard, INRIA/CERMICS

10 h 15 - 10h 45 	Pause

10h 45 - 12 h 30  	Session: Representation par Objet
			presidee par Marianne Huchard, LIRMM

Construction de hierarchies conceptuelles pour l'organisation de connaissances
	Isabelle Bournaud, J.-G. Ganascia, LAFORIA-IBP, Universite Paris IV

Fondements de la revision dans un langage d'objets simple
	Isabelle Crampe, Jerome Euzenat, INRIA Rhone-Alpes

Analyse des besoins en representation et raisonnement dans une representation a objets
L'exemple de Y3
	MP Chouvet,F.Le Ber,J.Lieber,L.Mangelinck,A.Napoli,A Simon, CRIN CNRS-INRIA Lorraine

12 h 30 - 13h 45 	Dejeuner

14 h - 15 h 		Conference invitee 
			Introduction par Amedeo Napoli, Loria

La programmation par regles dans le langage CLAIRE
	Yves Caseau , Bouygues 

15 h - 17 h		Temps libre

17 h - 18 h 15 		Session: Classification
			presidee par Amedeo Napoli, Loria

Les incertitudes de la classification incertaine
	Roland Ducournau, L.I.R.M.M.

Appariements diriges pour le Raisonnement par Classification sur des Hierarchies de Graphes
	Philippe Vismara, L.I.R.M.M.


Vendredi 18 octobre

8 h 30 - 9 h 45 	Session: Applications
			presidee par Jacques Malenfant, Universite de Montreal

Un modele de representation de connaissances pour l'imputation comptable
	Timo Breidenstein, Francis Wolinski, Informatique CDC DT-RDT

9 h 45 - 10 h 45  	Conference invitee 
			Introduction par Jean-Francois Perrot, LAFORIA, Paris

Synthese de types dans les langages a objets.
	Didier Remy , INRIA Rocquencourt

10 h 45 - 11h 15 	Pause

11h 15 - 12 h 30 	Table ronde 
			presidee par Stefano Spaccapietra, EPFL
Representation Par Objets et Bases de Donnees Objet

12 h 30 - 14h 		Dejeuner

14 h - 15 h 30 		Session : Objets et Logiques
			presidee par Pierre-Yves Schobbens , Universite de Namur

C3L: a System Integrating Description Logics and Frames
	T. Berger, T. Kessel, F. Rousselot, M. Schlick, ERIC, ENSAIS

Liaison Dynamique: Semantique Formelle et Exploitation Fonctionnelle
	Laurent Dami, Universite de Geneve, Centre Universitaire d'Informatique

LCPAIDE: un langage de concepts et de propositions hybride reposant sur une syntaxe unique
	Gilles Kassel, Universite de Technologie de Compiegne

15 h 30- 16 h 		Cafe d'adieu - Cloture du colloque LMO



Fiche d'inscription LMO'96 Leysin 16, 17, 18 Octobre 1996

Les inscriptions sont a retourner a

Mme Marlyse TARIC		Email: Marlyse.Taric@di.epfl.ch
EPFL-DI-LBD			Fax : +41 21 6935195 
CH 1015 Lausanne

Tarifs			Etudiants	Autres
avant le 15 septembre	380 FS		480 FS
apres le 15 septembre	450 FS		550 FS

L'inscription comprend le logement dans l'hotel de la conference, les
repas, les pauses cafe et une copie des actes. Le tarif etudiant ne
peut etre garanti qu'aux etudiants qui acceptent de partager leur
chambre.

Dr./Mr./Mme./Mlle./Prof.				(Pour le badge)
Affiliation:	 					(Pour le badge)
Addresse:	
	
	
Pays:	
Telephone:	
Fax :	
Email:	
Statut:	[  ] Etudiant 
	Si etudiant, nom de la personne avec laquelle vous souhaitez partager votre chambre
	[  ]  Autre
Paiement: 
[  ]  un cheque (en Francs Suisses) libelle a l'ordre de "EPFL-LBD" va etre/a ete 
	envoye au secretariat de la conference
[  ]  un virement bancaire va etre/a ete emis pour virer le montant ci-dessus sur le compte: 
		EPFL-LBD
		account number F4-703.396.0
		Swiss Bank Corporation (SBS)
		EPFL-UNI branch, 1015 Lausanne.
 
Si vous avez d'autres questions concernant l'inscription contactez Madame Taric.
email: Marlyse.Taric@di.epfl.ch, tel:+41 21 6935211  fax : +41 21 6935195
ou visitez le site WWW: 
http://diwww.epfl.ch/lbd/events/lmo96/program.html






----- End Included Message -----


-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Wed Sep  4 11:41:01 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA18913 for <dbworld@sea.cs.wisc.edu>; Wed, 4 Sep 1996 11:40:53 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id LAA21866 for dbworld; Wed, 4 Sep 1996 11:40:53 -0500
From: Dolors Costal <dolors@goliat.upc.es>
Message-Id: <199609041640.LAA21866@loon.cs.wisc.edu>
Subject: (DBWORLD) CAiSE'97 2nd call for contributions
To: dbworld@loon.cs.wisc.edu
Date: Wed, 4 Sep 1996 11:40:53 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 12504     

My sincere apologies if you receive multiple copies of this message

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

	      Second Call for Contributions for the

			   CAiSE'97

  THE 9TH CONFERENCE ON ADVANCED INFORMATION SYSTEMS ENGINEERING

	    Barcelona, Catalonia, 16-20 June 1997

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


Up to date information is available via WWW at URL:
	http://www-fib.upc.es/caise97


CONFERENCE AIMS & OBJECTIVES
----------------------------

The CAiSE series of conferences provide a forum for 
presentation and exchange of research results and practical 
experiences within the Information System Engineering field.

The Information Systems Engineering field may be 
characterised by the two terms of information systems and 
engineering. Information Systems implies that computer 
based systems are designed to provide adequate and timely 
information to human users in organisations. Engineering 
implies the application of a rigorous set of problem solving 
approaches analogous to those found in traditional 
engineering disciplines.


CONFERENCE TOPICS
-----------------

The topics addressed in the CAiSE'97 conference include, but 
are not limited to the following:

	Business process reengineering
	CASE
	Conceptual modelling
	Distributed IS design
	Enterprise modelling
	Information systems procurement
	Internet-based IS design
	Internet-based world-wide IS
	Inter-organisational IS
	IS support for virtual organisations
	IT product definition and competitive advantage
	Legacy systems reengineering
	Methods engineering
	Mobile computing
	Object-oriented and rule-based applications design
	Quality management
	Requirements engineering
	Reverse engineering
	Workflow management
                                                            

CALL FOR PAPERS
---------------

The conference organisers solicit papers within, but not 
restricted to the conference topics. Electronic submissions are 
strongly encouraged. For electronic submissions, send a 
PostScript file of the paper to:

	caise97@fib.upc.es

For traditional submissions, send five copies of your paper to 
Antoni Olive, Programme Chair for CAiSE'97. 

	Antoni Olive
	Universitat Politecnica de Catalunya
	Pau Gargallo, 5
	08028 Barcelona

The paper should not exceed 5000 words. Papers submitted must be 
original, and not submitted to, or accepted by, any other 
conference or journal.

Proceedings from CAiSE'97 will be published in the 
Springer Lecture Notes series. The proceedings for 
CAiSE'96, CAiSE'95, CAiSE'94, CAiSE'93, CAiSE'92, 
CAiSE'91 and CAiSE'90 are also available in this series. 
The best papers of the conference will be proposed to be 
published (after a new revision and refereeing process) in a 
special issue of the Information Systems journal.

Important Dates:

Deadline for papers: 		30 November 1996
Notification of acceptance: 	1 February 1997
Camera-ready copy due: 		1 March 1997
Conference dates: 		16-20 June 1997


CALL FOR TUTORIALS
------------------

Proposals are solicited for tutorials that will be held together 
with the conference. Tutorials can be half day (3 hours) or 
full day (6 hours) and should be of interest for industrial as 
well as for academic participants.

Each tutorial proposal should include a title, a summary (the 
objectives, a motivation of the relevance of the objectives and 
their relation to the state of the art in the field), duration of 
the presentation and a short curriculum vitae of the 
instructor(s). Tutorial proposals should also clearly identify 
the intended audience which should be broader than a small 
research community.

Tutorial proposals should be sent to Toni Urpi, Tutorial 
Chair for CAiSE'97. 

	Toni Urpi
	Universitat Politecnica de Catalunya
	Pau Gargallo, 5
	08028 Barcelona
	Tel: +34-3-4017004
	Fax: +34-3-4017014
	e-mail: urpi@lsi.upc.es

Important Dates:

Deadline for tutorial proposals:	30 November 1996
Notification of tutorial acceptance:	1 February 1997
Camera-ready tutorial notes due:	1 March 1997
Conference dates: 			16-20 June 1997


CALL FOR WORKSHOPS
------------------

In conjunction with the CAiSE'97 conference a series of 
workshops will take place. They are meant to facilitate the 
exchange of ideas and experiences between active researchers. 
Workshop topics will be in line with the conference topics. 

The CAiSE'97 organising committee invites prospective 
workshop organisers to submit proposals stating topic and 
goals of the workshop. Proposals should conform to the 
instructions for the format of workshops proposals, which 
can be obtained from the Workshop Chair. Proposals will be 
reviewed by the Organising Committee. All participants are 
expected to attend the main conference. Proposals for 
workshops can be sent to the CAiSE'97 Workshop Chair, 
Maria-Ribera Sancho.

	Maria-Ribera Sancho
	Universitat Politecnica de Catalunya
	Pau Gargallo, 5
	08028 Barcelona
	Tel: +34-3-4017324
	Fax: +34-3-4017014
	e-mail: ribera@lsi.upc.es

Important Dates:

Deadline for workshop proposals: 	30 October 1996
Notification of workshop acceptance:  	1 December 1996


CALL FOR POSTERS
----------------

During the CAiSE'97 conference, a special room will be 
reserved for poster sessions. Industrial and academic research 
projects of any scale are invited to illustrate innovative 
concepts, theories or prototype systems on a poster. Poster 
proposals should include title, outline and names of 
presenters. More elaborate instructions for posters can be 
obtained from the Poster Chair. Descriptions of posters 
should be sent to the Poster Chair, Maria-Ribera Sancho.

	Maria-Ribera Sancho
	Universitat Politecnica de Catalunya
	Pau Gargallo, 5
	08028 Barcelona
	Tel: +34-3-4017324
	Fax: +34-3-4017014
	e-mail: ribera@lsi.upc.es

Important Dates:

Deadline for posters descriptions: 	1 March 1997
Notification of poster acceptance: 	1 April 1997


CALL FOR PANEL PROPOSALS
------------------------

The Programme Committee invites proposals for panels that 
focus on innovative, controversial or otherwise provocative 
issues of Information Systems Engineering. Proposals should 
conform to the instructions for the format of panel proposals, 
which can be obtained from the Programme Chair. A panel 
proposal should be submitted by the panel chairperson. The 
proposals will be evaluated by members of the CAiSE'97 
Programme Committee. Panel proposals should be sent to 
Antoni Olive, the Programme Chair.

	Antoni Olive
	Universitat Politecnica de Catalunya
	Pau Gargallo, 5
	08028 Barcelona
	Tel: +34-3-4017026
	Fax: +34-3-4017014
	e-mail: olive@lsi.upc.es

Important Dates:

Deadline for panel proposals: 		30 November 1996
Notification of panel acceptance: 	1 February 1997

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

Deadline for papers: 			30 November 1996
Deadline for tutorial proposals:	30 November 1996
Deadline for workshop proposals: 	30 October 1996
Deadline for posters descriptions: 	1 March 1997
Deadline for panel proposals: 		30 November 1996

Notification of papers acceptance: 	1 February 1997
Notification of tutorial acceptance:	1 February 1997
Notification of workshop acceptance: 	1 December 1996
Notification of poster acceptance: 	1 April 1997
Notification of panel acceptance: 	1 February 1997

Conference dates: 			16-20 June 1997


PROGRAMME COMMITTEE
-------------------

Rafael Andreu, IESE, Barcelona
Alex Borgida, Rutgers University, New Brunswick
Sjaak Brinkkemper, University of Twente, Enschede
Janis Bubenko, Stockholm University
Corine Cauvet, Universite de Paris I
Stefano Ceri, Politecnico di Milano
Rosine Ciccheti, Universite de la Mediterranee, Marseille
Panos Constantopoulos, University of Crete, Heraklion
Peter Creasy, University of Queensland
Oscar Diaz, Universidad del Pais Vasco, San Sebastian
David W. Embley, Brigham Young University, Provo
Hans-Dieter Ehrich, Technische Universitat Braunschweig
Anthony Finkelstein, City University, London
Burkhard Freitag, Universitat Passau
Hele-Mai Haav, Institute of Cybernetics, Tallinn
Jacques Hagelstein, S.W.I.F.T. s.c., La Hulpe
Juhani Iivari, University of Oulu
Matthias Jarke, RWTH Aachen
Keith  G. Jeffery, Rutherford Appleton Laboratory, Chilton
Yahiko Kambayashi, Kyoto University
Hannu Kangassalo, University of Tampere
Michel Leonard, Universite de Geneve
Eva Lindencrona, SISU, Kista
Pericles Loucopoulos, UMIST, Manchester
Kalle Lyytinen, University of Jyvaskyla
John Mylopoulos, University of Toronto
James Odell, James Odell Associates, Ann Arbor
Andreas L. Opdahl, University of Bergen
Christine Parent, Ecole Polytechnique Federale de Lausanne
Barbara Pernici, Politecnico di Milano
Naveen Prakash, Delhi Institute of Technology
Isidro Ramos, Universidad Politecnica de Valencia
Colette Rolland, Universite de Paris I Sorbonne
M. Ribera Sancho, Univ. Politecnica de Catalunya, Barcelona
Timos Sellis, National Technical University of Athens
Anne-Helga Seltveit, Telenor AS, Oslo
Amilcar Sernadas, Instituto Superior Tecnico, Lisboa
Arne Solvberg, University of Trondheim
Alistair Sutcliffe, City University, London
Bernhard Thalheim, Cottbus Technical University
Constantino Thanos, CNR-IEI, Pisa
Babis Theodoulidis, UMIST, Manchester
Yannis Vassiliou, National Technical University of Athens
Yair Wand, University of British Columbia, Vancouver
Benkt Wangler, Stockholm University
Tony Wasserman, IDE, San Francisco
Roel J. Wieringa, Vrije Universiteit, Amsterdam
Gerard M. Wijers, ID Research B.V., Leusden
Stanislaw Wrycza, University of Gdansk
Roberto Zicari, J. W. Goethe Universitat, Frankfurt am Main


CONFERENCE ORGANISATION
-----------------------

Advisory Committee
Janis Bubenko, Royal Institute of Technology, Sweden
Arne Solvberg, University of Trondheim, Norway

Programme Chair
Antoni Olive
Universitat Politecnica de Catalunya
Pau Gargallo, 5
08028 Barcelona
Tel: +34-3-4017026
Fax: +34-3-4017014
e-mail: olive@lsi.upc.es

Organising Chair
Joan Antoni Pastor
Universitat Politecnica de Catalunya
Pau Gargallo, 5
08028 Barcelona
Tel:+34-3-4017021
Fax: +34-3-4017014
e-mail: pastor@lsi.upc.es

Tutorial Chair
Toni Urpi
Universitat Politecnica de Catalunya
Pau Gargallo, 5
08028 Barcelona
Tel: +34-3-4017004
Fax: +34-3-4017014
e-mail: urpi@lsi.upc.es

Workshop and Poster Chair
Maria-Ribera Sancho
Universitat Politecnica de Catalunya
Pau Gargallo, 5
08028 Barcelona
Tel: +34-3-4017324
Fax: +34-3-4017014
e-mail: ribera@lsi.upc.es


ORGANISING COMMITTEE
--------------------

Dolors Costal 
Joan Antoni Pastor
Carme Quer
Maria-Ribera Sancho
Ernest Teniente
Toni Urpi


FURTHER INFORMATION
-------------------

If you have any further questions about the conference or its 
organisation please contact the Organising Chair, Joan 
Antoni Pastor. 

	Joan Antoni Pastor
	Universitat Politecnica de Catalunya
	Pau Gargallo, 5
	08028 Barcelona
	Tel:+34-3-4017021
	Fax: +34-3-4017014
	e-mail: pastor@lsi.upc.es

Information is also available via WWW at URL:  
	http://www-fib.upc.es/caise97  


-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Wed Sep  4 11:42:42 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA18922 for <dbworld@sea.cs.wisc.edu>; Wed, 4 Sep 1996 11:42:34 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id LAA21896 for dbworld; Wed, 4 Sep 1996 11:42:33 -0500
From: Christian Schlepphorst <schlepph@informatik.uni-freiburg.de>
Message-Id: <199609041642.LAA21896@loon.cs.wisc.edu>
Subject: (DBWORLD) Release 1.0 of FLORID - F-Logic Reasoning In Databases
To: dbworld@loon.cs.wisc.edu
Date: Wed, 4 Sep 1996 11:42:33 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 3521      

        
                 ========================================
                 S O F T W A R E  A N N O U N C E M E N T
                 ========================================

   __________________________________________________________________
  //                                                                \\
 //                                                                  \\
 
                               FLORID

   A  Deductive Object Oriented Database System implementing F-Logic
                              

                             Version  1.0
                            September 1996
 \\                                                                  //
  \\________________________________________________________________//


FLORID (F-LOgic Reasoning In Databases) is a deductive object base
system employing F-logic as a data definition and query language.

F-logic incorporates most of the structural aspects of object-oriented 
data modelling in a declarative way. These features include 
object identity, complex objects, scalar and multi-valued methods, 
non-monotonic inheritance, signatures and dynamic class hierarchy.
FLORID extends F-logic by path expressions to facilitate object navigation.

FLORID is available via anonymous ftp from 

   ftp.informatik.uni-freiburg.de

The compressed archive of FLORID is located in 

   /pub/florid

Installation hints are given in a README file and in the user manual
contained in the FLORID package.

The current version of FLORID runs on Sun workstations under Solaris.
There will be versions for IRIX and Linux in the near future. 

The .tar-file comes along with the executable, documentation, tutorial 
and examples. 

You can also download FLORID via www from its homepage

   http://www.informatik.uni-freiburg.de/~dbis/flogic-project.html


Any problems you have either in installing the system or in using it can 
be reported by email to

    florid@informatik.uni-freiburg.de

Comments, suggestions, and bug reports are welcome.


Rainer Himmeroeder, Christian Schlepphorst



-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Wed Sep  4 11:43:06 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA18939 for <dbworld@sea.cs.wisc.edu>; Wed, 4 Sep 1996 11:42:59 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id LAA21907 for dbworld; Wed, 4 Sep 1996 11:42:58 -0500
From: Bernhard Thalheim <thalheim@Informatik.TU-Cottbus.DE>
Message-Id: <199609041642.LAA21907@loon.cs.wisc.edu>
Subject: (DBWORLD) Tuturials during ER'96
To: dbworld@loon.cs.wisc.edu
Date: Wed, 4 Sep 1996 11:42:58 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 13943     

          Call for Participation & Information on Tuturials during ER'96

               15 International Conference on Conceptual Modeling


                                   ER'96



                             October 7--10, 1996
               Best Western Hotel Branitz, Cottbus, near Berlin
             Brandenburg Technical University of Cottbus, Germany 






Invited Keynote Speaches: Heikki Mannila 
                          Johann A. Makowsky
                          Charles W. Bachman

Workshops:  ER Concepts in Software Engineering 
            Challenges of Applications 
            Challenges of Design 
            International Symposium on Business Process Modeling 
            CASE Tools for Database Design 
            GI Congress on Modeling of Business Information Systems (MoBIS'96)

Exhibitions: International Exhibition on ER CASE Tools 
             International Exhibition of Database Systems and Products 
             Brandenburg-based Technology Companies 
             Book Exhibition

Information and Registration

             Telephone: +49 355 69 2700 
             Fax: +49 355 69 2766 
             E-Mail: ER96@informatik.tu-cottbus.de
             WWW: http://www.informatik.tu-cottbus.de/ER96/


 --------------------------------------------------------------------
                                 TUTORIALS
 --------------------------------------------------------------------


      Tutorials Chair:  Mike Papazoglou, Queensland University of
                                          Technology

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

Tuturial 1:
         Database Cooperation: Classification and Middleware Tools

         Time:    Monday, October 7, 9:00--12:30 
         Author:  Paolo Atzeni,
                        Universita di Roma Tre, Italy


The tutorial will discuss the main issues of database cooperation,
trying to bridge the gap between methodologies and currently available
software tools.  There will be a discussion of the criteria for the
classification of cooperating database systems, based on the nature of
the component databases, that go beyond the traditional discussion on
heterogeneity, distribution and autonomy, which can be considered more
as constraints in the design process, than as design parameters.  We
discuss a classification based on three additional criteria: (a) the
level of transparency, (b) the complexity of distributed transactions
and (c) the level of recency of data.  This leads us to distinguish
three main categories of systems: (i) multidatabase systems, (ii) data
warehouses, (iii) local information systems with external data.  For
each of these categories we discuss methodological issues and
implementations based on tools offered by currently available
technology, with reference to database gateways, transaction
processing monitors, and data warehousing tools, distributed hypertext
technology, and lower level client-server techniques.  (Most of the
discussion was developed, in cooperation with L. Cabibbo and G. Mecca
within a project funded by the Italian Authority for Computing in the
Public Administration, aimed at giving guidelines for cooperation of
information systems over a national network)



                  Expected Background and Intended Audience

The tutorial will try to include in a balanced way both abstract and
practical aspects, with the aim of giving a systematic view of
concrete problems, bridging the gap between academic methodologies and
real-world applications.  It is mainly directed to practitioners
interested in conceptual issues, and their relationship with available
tools, but could also be of interest to students interested in
reflecting on practical and technological problems related to the
methodologies they study.  Attendees are expected to have a general
knowledge of basic issues in database technology and in conceptual
design methodologies. No specific knowledge of cooperative systems is
assumed.

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

 Tuturial 2: 
             Modeling the Enterprise with Objects

            Time:    Monday, October 7, 9:00--12:30 
            Author:  Richard T. Due

Enterprise Object Modeling is the merger of the Object Technology
Paradigm with Enterprise Modeling, Business Process Engineering, and
Workflow Analysis. Enterprise Object Modeling provides you with a
powerful understanding of your organization, it processes, and its
Information Systems.  Enterprise Object Modeling is a method that
allows you to use this new understanding to increase the productivity
of your organization's planning, control, and communications functions
and the efficiency, economy and effectiveness of your management
information and data processing systems.


                Goals of the Course

To transfer the practical skills necessary to evaluate the approach
and to intimate Enterprise Modeling projects.

                Who Should Attend

Managers, Corporate Planners, Senior Business Systems Analysts, and
Information Modelers interested in new and more productive approaches
to planning, controlling their organization and their organizations
information systems.


                What You Will Learn

What is Enterprise Object Modeling.

How does Enterprise Object Modeling build on and improve
Enterprise Modeling and Information Engineering.

How to improve productivity through requirements reuse.

How to use the Design by Contract approach to modeling and
systems development.

How to plan and implement layered Object modeling libraries.

How to develop dynamic Enterprise Models.

How to increase the return on Information Engineering and
Strategic Planning investments.

How to acquire and use Business Objects.

Enterprise Object Modeling Patterns and Frameworks.



                      Instructor

Richard T. Due, M.Sc., the developer of Enterprise Object Modeling,
has over 30 years of Information Technology experience as a
programmer, analyst, manager, consultant, teacher and author.  He has
developed and present Information Technology courses in over 24
countries.  For the last six years, he has been a member of the
American National Standards Institute's X3 Object Oriented Database
Task Group and the X3H7 Object Information Management Standards
Committee.  He is a frequent speaker at international conferences on
Object Technology including CAiSE, ECOOP, APSEC, ISACC, OOP, OOPSLA,
CASEWORLD, and TOOLS.  His articles on Object Engineering have
appeared in Database Programming \& Design, in Ed Yourdon's American
Programmer, and in the Hotline on Object Technology.

                    Tutorial Outline

Introductions

Definitions

What is Enterprise Object Modeling?  How did it evolve from Enterprise
Modeling and Information Engineering?  What are Business Objects?


                    Participant Survey

What Successes and Problems have you encountered with Information
Engineering and Enterprise Modeling?  How can we improve Information
Engineering and Enterprise Modeling?

                    The Object Technology Paradigm

What is it?  How can it be applied to Enterprise Modeling and
Information Engineering?

                    Enterprise Object Modeling

What is it?  What is Design by Contract?  What are Layered Class
Libraries?  What is Play Script Modeling?  What are Enterprise Object
Patterns and Frameworks?  How can we build on investments already made
in Information Engineering and Enterprise Modeling?

                    Enterprise Object Modeling---The Concepts

Context Models, Layered Libraries, Design Contracts, Play Scripts,
View Integration, Roles and Versions, Intrinsic and Derived
Attributes, Semantic Models

                    Enterprise Object Modeling---The Method

Identifying the Scope and Context, Identifying Business Objects,
Identifying Requirements, Identifying Services, Identifying
Viewpoints, Developing the Play Script, Using CRC and Use Cases,
Process Obliteration, Time Reduction, Scope Expansion, Quality
Enhancement, Function Reuse, The Workflow Analysis Approach,
Constructing Simulations, Productivity Metrics, Project Management
Considerations, Automated Tools for Enterprise Object Modeling

                    Summary and Evaluation

Getting Started, How to Avoid the Problems, Critical Success Factors




The tutorial will include a demonstration of the SOMATiK CASE tool
which I have been used to implement the Object Engineering approach.
Participants will receive a copy of the standard version of the
SOMATiK tool and the model presented in the tutorial workshops.

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

 Tuturial 3 
             Objects and Rules: An Emerging Synergy

                Time: Monday, October 7, 14:00--18:00 
                Author:  Barbara von Halle, 
                            Spectrum Technology Group Inc., New Jersey
 
A parent learns quickly that the child has ultimate control over
his/her behavior.  A manager learns that this is also true of
subordinate employees.  However, the creative introduction of rules,
complete with penalties and rewards, influence behavior in
predictable, desireable ways.
 
This presentation invites the attendee to see their world from a
different point of view.  It introduces the newly emerging crucial
component of business and information systems architectures: the
business rule.  The presentation defines a business rule and unravels
the business rule life cycle.  From here, a simple example illustrates
a practical approach for uncovering and analyzing business rules from
user requirements.  This leads to an orderly discovery of data,
knowledge, and, eventually, action needed to execute a collection of
business rules.
 
The presentation concludes that, even in an object-obssessive world,
business rules must be given a visible priority, if we are to have
rigor in our deliverables, yet allow the business to instigate
creative change.  Business rules must come first.  Behavior naturally
follows the rules.
 
    The attendee will learn:
four useful categories of business rules
a sample business rule analysis and modeling technique (Ross
Method)
relationship of business rules to data modeling, rule modeling,
object modeling, and database access
major conceptual breakthroughs from Ross
insights for applying these concepts in practice

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

 Tuturial 4 
        Reuse at the Conceptual Design Level: Models, Methods, and Tools

        Time: Monday, October 7, 14:00--18:00 
        Authors:  Silvana Castano,
                     University of Milan 
                  Barbara Pernici, 
                     Politecnico di Milano


Reuse at the conceptual design level implies the capability of
identifying reference components to be combined to build new
application schemas.  Two main areas of interest are involved in the
reuse process: design by-reuse, in which reference components are
selected and combined to build a new application; design for-reuse,
with the aim of defining reference components.  In the tutorial,
models, methods and tools to support these processes will be
illustrated.  In particular, similarity based selection of components
from a repository, and extraction of reference components from a large
set of preexisting application schemas will be presented.  Such an
approach to reuse can be applied to a large set of problems: in
addition to constructing new applications, it can be used to
reengineer existing applications, to guide the evolution of legacy
systems, to identify information flows in an organization, to provide
a basis for interoperability of heterogeneous applications.  Results
from the experimentation of the approach to the analysis of conceptual
schemas in the Italian Public Administration domain will be discussed.

The following topics will be covered in the tutorial:

indexing of schemas by means of descriptors
techniques for the evaluation of schema similarity
techniques for schema abstraction
techniques for grouping similar schemas in families
retrieval of reference conceptual components for reuse
environments to support reuse processes
a case study of analysis of a large inventory of conceptual
schemas in the Public Administration domain.


-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Wed Sep  4 15:49:48 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id PAA25042 for <dbworld@sea.cs.wisc.edu>; Wed, 4 Sep 1996 15:49:40 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id PAA22825 for dbworld; Wed, 4 Sep 1996 15:49:39 -0500
From: libkin@research.bell-labs.com
Message-Id: <199609042049.PAA22825@loon.cs.wisc.edu>
Subject: (DBWORLD) LICS'97 Call for Papers
To: dbworld@loon.cs.wisc.edu
Date: Wed, 4 Sep 1996 15:49:39 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 13248     

[A postscript version of the call for papers is available via the LICS
web page at http://www.bell-labs.com/topic/conferences/lics/, and via
anonymous ftp from ftp.research.bell-labs.com, directory /dist/lics.
Our apologies if you receive multiple copies of this announcement.]

                   Twelfth Annual IEEE Symposium on 
                      LOGIC IN COMPUTER SCIENCE
	       June 29 - July 2, 1997, Warsaw, Poland

                           CALL FOR PAPERS

The LICS Symposium aims to attract original papers of high quality on
theoretical and practical topics in computer science that relate to
logic in a broad sense, including algebraic, categorical and
topological approaches.

Suggested, but not exclusive, topics of interest include: abstract
data types, automated deduction, categorical models, concurrency,
constraint programming, constructive mathematics, database theory,
domain theory, finite model theory, hybrid systems, logics of
knowledge, lambda and combinatory calculi, linear logic, logical
aspects of computational complexity, logics in artificial
intelligence, logic programming, modal and temporal logics, model
checking, program logic and semantics, rewriting, logical aspects of
symbolic computing, software specification, type systems,
verification.

Paper submission: Send 12 copies of an extended abstract (not a full
paper) to the program chair to be received by December 11, 1996. This
deadline is firm; late submissions will not be considered.  Authors
without access to copiers may submit a single copy.  Authors will be
notified of acceptance or rejection by February 19, 1996.  Accepted
papers in a specified format for the proceedings will be due by April
9, 1996.

The first page of the extended abstract should include the title of
the paper, names and affiliations of authors, a brief synopsis, and
the contact author's name, address, phone number, fax number, and
email address, if available.

The extended abstract may not exceed 10 typed pages in no less than
11-point font.  It must be in English and provide sufficient detail to
allow the program committee to assess the merits of the paper.  It
should begin with a succinct statement of the issues, a summary of the
main results, and a brief explanation of their significance and
relevance to the conference, all phrased for the non-specialist.
References and comparisons with related work should be included.
Technical development directed to the specialist should follow.
Submissions departing significantly from these guidelines risk
rejection.

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
All authors of accepted papers will be expected to sign copyright
release forms.  One author of each accepted paper will be expected to
present the paper at the conference.

IMPORTANT DATES:
	Submission deadline: December 11, 1996
	Notification: February 19, 1997
	Final papers due: April 9, 1997
	Conference: June 29 - July 2, 1997

The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, the European Association for
Theoretical Computer Science, and the Association for Computing
Machinery.  The symposium is hosted by Warsaw University, Poland.

Kleene Award for Best Student Paper: An award of $500, in honor of the
late S.C. Kleene, will be given to the best paper, as judged by the
program committee, written solely by one or more students.  A
submission is eligible if all authors are full-time students at the
time of submission.  This should be indicated in the submission
letter.  The program committee may decline to make the award or may
split it among several papers.

LICS'97 will have a partial overlap with the 8th International
Conference on Concurrency Theory (CONCUR), which will be held in 
Warsaw on July 1-4, 1997. For more information on CONCUR, contact 
A. Mazurkiewicz (amaz@ipipan.waw.pl) or J.  Winkowski
(wink@ipipan.waw.pl).  

PROGRAM CHAIR:
   Glynn Winskel
   Attn: LICS
   Department of Computer Science
   Aarhus University
   Ny Munkegade, building 540
   8000 Aarhus C, Denmark
   E-mail: lics97@brics.dk
   Phone: +45 8942 3360
   Fax: +45 8942 3255

PROGRAM COMMITTEE:
   Jon Barwise, Indiana U            David Basin, MPI, Saarbrucken
   Steven Brookes, CMU               Pierre-Louis Curien, ENS, Paris
   Anuj Dawar, Swansea U             Peter Dybjer, Chalmers U
   Amy Felty, Bell Labs              Matthew Hennessy, Sussex U
   Claude Kirchner, INRIA Lorraine   Jan Krajicek, Prague U
   Pat Lincoln, SRI                  Ken McMillan, Cadence
   Damian Niwinski, Warsaw U         Jens Palsberg, MIT
   Andrew Pitts, Cambridge U         Vaughan Pratt, Stanford U
   Colin Stirling, Edinburgh U       Glynn Winskel (chair), Aarhus U

CONFERENCE CHAIR:
   Jerzy Tiuryn
   Institute of Informatics
   Warsaw University
   Banacha 2
   02-097 Warsaw, POLAND
   E-mail: lics97@mimuw.edu.pl

LICS GENERAL CHAIR:
   Moshe Y. Vardi
   Department of Computer Science
   Rice University
   6100 S. Main Street
   Houston, Texas 77251-1892, USA
   E-mail: vardi@cs.rice.edu

ORGANIZING COMMITTEE:
   M. Abadi, S. Abramsky, A. Aggarwal, S. Artemov, E. Borger,
   W. Brauer, A. Bundy, S. Buss, E. Clarke, R. Constable, A. Felty,
   U. Goltz, D. Howe, G. Huet, J.-P. Jouannaud, D. Kapur, C. Kirchner,
   P. Kolaitis, D. Kozen, T. Leighton, D. Leivant, L. Libkin,
   A.R. Meyer, D. Miller, J. Mitchell, P. Panangaden, V. Pratt,
   J. Remmel,  J. Riecke, S. Ronchi della Rocca, A. Scedrov, D. Scott,
   J. Tiuryn,  M.Y. Vardi (chair), G. Winskel. 

PUBLICITY CHAIR:
   Leonid Libkin
   Bell Laboratories/Lucent Technologies
   600-700 Mountain Avenue,
   Murray Hill, NJ 07974, USA
   E-mail: libkin@research.bell-labs.com


================================================================
                LATEX VERSION
================================================================

\documentstyle{article}

\topmargin-0.75in

\marginparwidth 0pt \oddsidemargin  0pt \evensidemargin  0pt
\marginparsep 0pt
\textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt
\renewcommand{\i}[1]{{\it #1 \/}}
\begin{document}
\thispagestyle{empty}

\begin{center}
{\bf CALL FOR PAPERS}\\[2ex]
{\large Twelfth Annual IEEE Symposium on }\\[2ex]
{\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex]
{\large\it June 29 -- July 2, 1997, Warsaw, Poland}
\end{center}
%%\vspace{.2in}
\small
\begin{minipage}[t]{2.00in}% first column
\parskip 4pt

{\bf Program Chair:} \\[1mm]
Glynn Winskel\\
Attn: LICS\\
Department of Computer Science\\
Aarhus University\\
Ny Munkegade, building 540\\
8000 Aarhus C, Denmark\\
{\tt lics97@brics.dk}\\
Phone: +45 8942 3360\\
Fax: +45 8942 3255\\

{\bf Program Committee:} \\[1mm]
Jon Barwise, \i{Indiana U}\\
David Basin, \i{MPI, Saarbr\"ucken}\\
Steven Brookes, \i{CMU}\\
Pierre-Louis Curien, \i{ENS, Paris}\\
Anuj Dawar, \i{Swansea U}\\
Peter Dybjer, \i{Chalmers U}\\
Amy Felty, \i{Bell Labs}\\
Matthew Hennessy, \i{Sussex U}\\
Claude Kirchner, \i{INRIA Lorraine}\\
Jan Krajicek, \i{Prague U}\\
Pat Lincoln, \i{SRI}\\
Ken McMillan, \i{Cadence}\\
Damian Niwinski, \i{Warsaw U}\\
Jens Palsberg, \i{MIT}\\
Andrew Pitts, \i{Cambridge U}\\
Vaughan Pratt, \i{Stanford U}\\
Colin Stirling, \i{Edinburgh U}\\
Glynn Winskel (chair), \i{Aarhus U}\\

{\bf Conference Chair:} \\[1mm]
Jerzy Tiuryn\\
Institute of Informatics\\
Warsaw University\\
Banacha 2\\
02-097 Warsaw, POLAND\\
{\tt lics97@mimuw.edu.pl}\\

{\bf General Chair:}\\[1mm]
Moshe Y. Vardi\\
Department of Computer Science\\
Rice University\\
Houston, Texas 77251-1892, USA\\
{\tt vardi@cs.rice.edu}\\

{\bf Publicity Chair:}\\[1mm]
Leonid Libkin\\
Bell Labs,
Lucent Technologies\\
600-700 Mountain Avenue\\
Murray Hill, NJ 07974, USA\\
{\tt libkin@research.bell-labs.com}\\
\end{minipage}
\hskip .25 in
\begin{minipage}[t]{4.5in}% second column
\parskip 4pt

The {\bf LICS} Symposium aims to attract original papers of high
quality on theoretical and practical topics in computer science that
relate to logic in a broad sense, including algebraic, categorical and
topological approaches.

Suggested, but not exclusive, topics of interest include: {\em
abstract data types, automated deduction, categorical models,
concurrency, constraint programming, constructive mathematics,
database theory, domain theory, finite model theory, hybrid systems,
logics of knowledge, lambda and combinatory calculi, linear logic,
logical aspects of computational complexity, logics in artificial
intelligence, logic programming, modal and temporal logics, model
checking, program logic and semantics, rewriting, logical aspects of
symbolic computing, software specification, type systems,
verification.}

{\bf Paper submission:} Send 12 copies of an extended abstract (not a
full paper) to the {\bf program chair} to be {\bf received} by {\bf
December 11, 1996}.  {\sl This deadline is firm; late submissions will
not be considered.}  Authors without access to copiers may submit a
single copy.  Authors will be notified of acceptance or rejection by
February 19, 1996.  Accepted papers in a specified format for the
proceedings will be due by April 9, 1996.

The first page of the extended abstract should include the title of
the paper, names and affiliations of authors, a brief synopsis, and
the contact author's name, address, phone number, fax number, and
email address, if available.

The extended abstract may not exceed 10 typed pages in no less than
11-point font.  It must be in English and provide sufficient detail to
allow the program committee to assess the merits of the paper.  It
should begin with a succinct statement of the issues, a summary of the
main results, and a brief explanation of their significance and
relevance to the conference, all phrased for the non-specialist.
References and comparisons with related work should be included.
Technical development directed to the specialist should follow.
Submissions departing significantly from these guidelines risk
rejection.

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
All authors of accepted papers will be expected to sign copyright
release forms.  One author of each accepted paper will be expected to
present the paper at the conference.

The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, the European Association for
Theoretical Computer Science, and the Association for Computing
Machinery.  The symposium is hosted by Warsaw University, Poland.

{\bf Kleene Award for Best Student Paper:}
An award of \$500, in honor of the late S.C.\ Kleene, will be given to
the best paper, as judged by the program committee, written solely by
one or more students.  A submission is eligible if all authors are
full-time students at the time of submission.  This should be
indicated in the submission letter.  The program committee may decline
to make the award or may split it among several papers.

LICS'97 will have a partial overlap with the 8th International
Conference on Concurrency Theory (CONCUR), which will be held in 
Warsaw on July 1-4, 1997. For more information on CONCUR, contact 
A. Mazurkiewicz (amaz@ipipan.waw.pl) or J.  Winkowski (wink@ipipan.waw.pl).

{\bf Organizing Committee:} M.~Abadi, S.~Abramsky, A.~Aggarwal, 
S.~Artemov, E.~B\"orger, W.~Brauer, A.~Bundy, S.~Buss, E.~Clarke,
R.~Constable, A.~Felty, U.~Goltz, D.~Howe, G.~Huet, J.-P.~Jouannaud,
D.~Kapur, C.~Kirchner, P.~Kolaitis, D.~Kozen, T.~Leighton, D.~Leivant,
L.~Libkin, A.R.~Meyer, D.~Miller, J.~Mitchell, P.~Panangaden,
V.~Pratt, J.~Remmel,  J.~Riecke, S.~Ronchi della Rocca, A.~Scedrov,
D.~Scott, J.~Tiuryn,  M.Y.~Vardi (chair), G.~Winskel.

\end{minipage}
\end{document}

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

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

  to subscribe send 
	subscribe dbworld Your Full Name

  to unsubscribe send
	unsubscribe dbworld

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

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


From beyer@cs.wisc.edu Thu Sep  5 11:43:59 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id LAA10475 for <dbworld@sea.cs.wisc.edu>; Thu, 5 Sep 1996 11:43:10 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id LAA29826 for dbworld; Thu, 5 Sep 1996 11:43:08 -0500
From: franklin@cs.UMD.EDU (Michael Franklin)
Message-Id: <199609051643.LAA29826@loon.cs.wisc.edu>
Subject: (DBWORLD) ICDCS 97
To: dbworld@loon.cs.wisc.edu
Date: Thu, 5 Sep 1996 11:43:08 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 3539      

*******************************************************************
                       CALL  FOR  PAPERS

The 17th International Conference on Distributed Computing Systems

                      Baltimore, Maryland, USA
                      Stouffer Hotel
                      May 27 - 30, 1997

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

The annual ICDCS conference covers a wide range of topics in distributed
computing systems.  One of the technical areas of the conference is
"Distributed Databases and Information Systems".

To submit papers, please send six copies of double-spaced manuscripts,
5,000 words or less in length to the program chair, Satish Tripathi,
by October 1, 1996.  The submission letter should indicate
which technical area is most relevant to your paper.  Authors
will be notified of acceptance by February 1, 1997.  Final,
camera-ready manuscripts will be due by March 15, 1997.
Outstanding papers will be eligible for publication in IEEE
Computer Society/IEEE journals.

    Submit papers to:
                Satish Tripathi
                Department of Computer Science
                A.V. Williams Building
                University of Maryland
                College Park, MD 20742
        	USA
        	Tel: 301-405-2772
        	FAX: 301-405-6707
        	Email: tripathi@cs.umd.edu

The program committee members for the Distributed Databases and Information
Systems track are:

	Rafael Alonso 	David Sarnoff Research Center
	Pam Drew 	Hong Kong University of Science and Technology
	Amr El Abadi    University of California, Santa Barbara
	Mike Franklin	University of Maryland
	Laura Hass	IBM Almaden Research Ctr.
	Donald Kossmann University of Passau
	Calton Pu 	Oregon Graduate Institute of Science and Technology
	Anthony Tomasic INRIA Rocquencourt
	Gerhard Weikum 	University of the Saarland
	Ouri Wolfson	University of Illinois at Chicago

The full Call For Papers can be found at:

                http://www-ccs.cs.umass.edu/icdcs/

Several other technical areas of the conference are relevant to the
database community.  Please check the CFP to determine which technical
area is most relevant for your work.

-------------------------------------------------------------------------------
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 beyer@cs.wisc.edu Thu Sep  5 19:18:51 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id TAA20253 for <dbworld@sea.cs.wisc.edu>; Thu, 5 Sep 1996 19:18:42 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id TAA01422 for dbworld; Thu, 5 Sep 1996 19:18:41 -0500
From: urban@enws88.eas.asu.edu (Dr. Susan Urban)
Message-Id: <199609060018.TAA01422@loon.cs.wisc.edu>
Subject: (DBWORLD) Arizona State University
To: dbworld@loon.cs.wisc.edu
Date: Thu, 5 Sep 1996 19:18:40 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 3386      

                          ARIZONA STATE UNIVERSITY
              DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING


We invite outstanding candidates for tenure-track faculty positions at all
ranks.  Applicants are required to have completed a Ph.D. in computer science,
computer engineering or a closely related field by the  date of appointment.
Applicants at the assistant professor level must show exceptional promise in
teaching and research; applicants at the associate professor level and higher
must  demonstrate established excellence in teaching and research.  Desired
qualifications include expertise in the areas of software engineering,
computer-aided geometric design, computer graphics, database systems, multimedia
systems,  distributed computing, networking, and/or operating systems.

Arizona State University is a major research university widely recognized as one
of the most rapidly emerging educational institutions in the United States. The
main campus is in the city of Tempe, in the metropolitan Phoenix area. The
Department of Computer Science and Engineering provides a stimulating and
fast-growing environment for research and teaching, with ample opportunity for
partnerships with high-technology industry and emphasis on quality, leading-edge
graduate and undergraduate education.

Applicants must include a curriculum vitae, a selection of most important
publications and the names and addresses of four references. Direct applications
to Dr. Stephen S. Yau, Chair, Department of Computer Science and Engineering,
Arizona State University, Tempe, AZ 85287-5406. E-mail: cs-facsearch@asu.edu.

Questions and inquiries may be submitted by e-mail, but applications and
nominations must be received by post. The closing date is December 16, 1996.
Applications received after that date will be reviewed on the 1st and the 15th
of each month as necessary until the positions are filled. Salary is
competitive.

Arizona State University is an equal opportunity, affirmative action 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 beyer@cs.wisc.edu Fri Sep  6 12:23:43 1996
Received: from loon.cs.wisc.edu (loon.cs.wisc.edu [128.105.77.28]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id MAA03887 for <dbworld@sea.cs.wisc.edu>; Fri, 6 Sep 1996 12:23:27 -0500
Received: (from beyer@localhost) by loon.cs.wisc.edu (8.6.12/8.6.12) id MAA06618 for dbworld; Fri, 6 Sep 1996 12:23:27 -0500
From: Catherine.Garbay@imag.fr
Message-Id: <199609061723.MAA06618@loon.cs.wisc.edu>
Subject: (DBWORLD) AIME'97 Final CFP
To: dbworld@loon.cs.wisc.edu
Date: Fri, 6 Sep 1996 12:23:27 -0500 (CDT)
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 10007     

                               AIME '97

                           6th Conference on

              Artificial Intelligence in Medicine Europe

                       23th - 26th March 1997
                         Grenoble, France


                       SECOND CALL FOR PAPERS



1  INTRODUCTION

The European Society for Artificial Intelligence in Medicine in (AIME) was
established in 1986 after a highly successful workshop held in Pavia the
year before. The aims of AIME are the following:

*  to foster fundamental and applied research in the application of
   Artificial Intelligence (AI) techniques to medical care and medical
   research, and

*  to provide a forum for reporting significant results achieved at
   biennial conferences.

AIME also assists industry to identify high quality medical products which
exploit these techniques.


2  SCOPE

We seek to publish original contributions to the development of theory,
techniques, and applications of AI in Medicine. Contributions to theory may
include a presentation or an analysis of the properties of novel AI
methodologies potentially useful to solve relevant medical problems. Papers
on techniques should describe the development or the extension of AI
methods and their implementation. They should also discuss the assumptions
and limitations which characterize the proposed methods. Application papers
should describe the  implementation of AI systems to solve significant
medical problems, and should present sufficient information to allow
evaluation of the practical benefits of using the system.

AIME'97 will provide:

*  invited papers
*  contributed papers
*  contributed posters
*  system demonstrations
*  round table discussions and panel sessions
*  tutorials to introduce newcomers and discuss advanced topics
*  workshops

The scope includes the following methodological areas:

*  knowledge representation, acquisition & validation ; machine learning
*  uncertain, temporal, case-based reasoning
*  natural language understanding
*  KBS for image and signal interpretation
*  monitoring and control
*  AI and telemedicine
*  integration of KBS and patient medical record
*  resource allocation, planning and scheduling
*  other areas relevant to AI in Medicine


3  CONTRIBUTIONS

Full papers should be submitted on or before 15th September 1996. Papers
should  not exceed 5000 (posters 500) words. Authors are requested to
classify their submitted paper using the categories given in the Scope.
Papers must be original and must not have been published before. All papers
will be carefully reviewed by at least two independent and highly respected
referees.

All accepted papers will appear in the Conference Proceedings
which will be published by Springer Verlag under its Lecture Notes in
Artificial Intelligence Series. In addition the authors of the best
submissions will be invited to expand and refine their papers for possible
publication in the journal Artificial Intelligence in Medicine (Elsevier).

We also invite submission of tutorial proposals or panel discussions on the
topics relevant to this Conference. A one-page abstract of the tutorial, as
well as further relevant data concerning the topic and the presenter (one
page curriculum vitae of the lecturer, previous presentations of the
tutorial, target audience, etc) should be sent to the Tutorials Chair.


4  SCHEDULE

*       Receipt of full papers and tutorial proposals for consideration:
                15th September 1996 (3 copies of the paper or tutorial
                proposal should be sent to the relevant Chair)

*       Notification of acceptance: 15th November 1996

*       Receipt of camera-ready manuscript: 15th December 1996


5  CONFERENCE DETAILS

The Conference will be held at Grenoble World Trade Center, in France, on
23th-26th March 1997. The Conference programme and registration form will
be available from the Secretariat of the Conference and will be sent to
those who return the attached reply form. Tutorials will be held on 23th
March 1997. The working language is English and will be used for all
printed material, presentations and discussions.

The Conference will be held immediately after the first joint conference of
CVRMED & MRCAS (Computer Vision, Virtual Reality and Robotics in Medicine,
Application to Computer Assisted Surgery) which will be held at Grenoble
World Trade Center, on 20th-22nd March, 1997. This conference will provide
a unique opportunity to gain an insight into advanced research in
computer-based technologies applied to surgery and therapy.

Invited Speakers

Professor Russel H. Taylor (Computer Science Department,
  Johns Hopkins University), on the topic of
  "Robots as Surgical Assistants: Where we are, where we are tending,
   and how to get there."

Professor Stelios Orphanoudakis (Institute of Computer Science,
   Foundation for Research and Technology-Hellas, University of Crete &
   Department of Computer Science, University of Crete), on the topic of
   "Telemedicine: Present and Future."

Professor Jean-Raoul Scherrer (Hospital Informatics Centre
   Geneva Canton University Hospital), also on the topic of Telemedicine.

6  REGISTRATION

Registration fees include participation in the technical programme, a copy
of the proceedings, all lunches and refreshments during the Conference, and
the Welcome Party on the evening of Monday 24th March.
Fees are in French Francs (FFr).

*       Early registration (before February 15th, 1997):   2300 FFr
*       Late registration (after February 15th, 1997):     2850 FFr
*       Early student registration (before February 15th, 1997):  1300 FFr
*       Late student registration (after February 15th, 1997):    1650 FFr

Students should attach a letter of support from their supervisor or
institution confirming student status.

7  EXHIBITION

A Technical Exhibition will be held in association with the Conference.
Those requiring further details of layout and charges should indicate this
on the attached reply form.


8  PROGRAMME COMMITTEE

Elpida Keravnou (Chair) (Nicosia, Cyprus)

Steen Andreassen (Aalborg, Denmark)
Pedro Barahona (Lisboa, Portugal)
Robert Baud (Geneva, Switzerland)
Jan van Bemmel (Rotterdam, The Netherlands)
Enrico Coiera (Bristol, United Kingdom)
Carlo Combi (Milano, Italy)
Luca Console (Torino, Italy)
Michel Dojat (Créteil, France)
Rolf Engelbrecht (Munich, Germany)
John Fox (London, United Kingdom)
Catherine Garbay (Grenoble, France)
Werner Horn (Vienna, Austria)
Jim Hunter (Aberdeen, United Kingdom)
Nada Lavrac (Ljubljana, Slovenia)
Stelios Orphanoudakis (Heraklion, Greece)
Alan Rector (Manchester, United Kingdom)
Costas Spyropoulos (Athens, Greece)
Mario Stefanelli (Pavia, Italy)
Mario Veloso (Lisboa, Portugal)
John Washbrook (London, United Kingdom)
Jeremy Wyatt (London, United Kingdom)


9  ORGANIZING COMMITTEE

Catherine Garbay (Chair, TIMC, Grenoble)
Robert Baud (co-Chair, Univ. Genève)

Jean-Dominique Monet (TIMC, Grenoble)
Georges Weil (TIMC, Grenoble)
Nicole Brochier (TIMC, Grenoble)
Paulette Souillard (TIMC, Grenoble)

Catherine Hicter-Plottier (Destination-Congrès, Grenoble)
Jacques Chevallier (Grenoble Isère)
Pierre Kermen (UJF, Grenoble)


10  CONFERENCE ADDRESSES

Programme Committee Chair

Elpida Keravnou
Department of Computer Science
University of Cyprus
75 Kallipoleos Street, P.O. Box 537
CY-1678 Nicosia - Cyprus
Tel: + 357 2 338705
Fax: + 357 2 339062
Email:  elpida@turing.cs.ucy.ac.cy

Organising Committee Chair

Catherine Garbay
Lab. TIMC - IMAG
Institut Bonniot - Domaine de la Merci
38706 La Tronche - France
Tel : + 33 76 54 94 85
Fax : + 33 76 54 95 49
Email: Catherine.Garbay@imag.fr
WWW: http://www-timc.imag.fr/AIME97

Organising Committee Co-Chair

Robert Baud
Centre d'Informatique Hospitaliere
Hopital Cantonal Universitaire de Geneve
CH-1211 Geneve 14 - Suisse
Fax : + 41 21 372 62 55

Tutorials Chair

Jeremy Wyatt
Biomedical Informatics Unit
Imperial Cancer Research Fund
Lincoln's Inn Fields, PO Box 123
London WC2A 3PX - United Kingdom
Tel: + 44 - 71 - 269 36 37
Fax: + 44 - 71 - 269 30 67
Email:  jeremy@bison.lif.icnet.uk

Secretariat

DESTINATION-CONGRES
73 bis Grande Rue,
F-38700 LA TRONCHE, FRANCE
Tel: (33) 76 01 00 54
Fax: (33) 76 63 16 36
email: dcongres@imaginet.fr

-----------------------------------------------------------------
        	       	    Catherine GARBAY
        	       	    Lab. TIMC - IMAG
                       Institut Bonniot
Faculté de Médecine - Domaine de la Merci
             38706 La Tronche - France
Tél : 33 76 54 94 85	   Fax : 33 76 54 95 49
       URL: http://www-timc.imag.fr/sic
-----------------------------------------------------------------



-------------------------------------------------------------------------------
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-


