From baydin@bilkent.edu.tr Tue Nov  1 03:26:49 CST 1994
>From baydin@bilkent.edu.tr  Tue Nov  1 03:26:45 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 03:26:45 -0600
Received: from firat.bcc.bilkent.edu.tr by cs.wisc.edu; Tue, 1 Nov 94 03:26:18 -0600
Received: from [139.179.21.108] (mac8.cs.bilkent.edu.tr) by bilkent.edu.tr (5.65c/IDA-1.4)
	id AA10819; Tue, 1 Nov 1994 11:26:23 +0300
Message-Id: <199411010826.AA10819@firat.bcc.bilkent.edu.tr>
X-Sender: baydin@139.179.10.13
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Date: Tue, 1 Nov 1994 12:37:55 -0500
To: dbworld
From: baydin@bilkent.edu.tr
Subject: Open Position

=A0 BILKENT UNIVERSITY=20
     DEPARTMENT OF COMPUTER ENGINEERING AND INFORMATION SCIENCE=20

The Computer Engineering and Information Science Department of the=
 Bilkent
University invites applications at the Assistant-Professor level=
 beginning
=46ebruary 1995. Qualifications required for applicants include:=
 PhD in
Computer Science, and commitment to research and teaching. We are
especially interested in candidates with research experience in database
systems and computer networks. We will consider strong candidates=
 in other
areas as well.

The Computer Engineering and Information Science Department currently
consists of 13 faculty, and offers BS, MS, and PhD programs. The=
 language
of instruction is English. The department emphasizes top level research=
 and
excellent laboratories, computing facilities, and libraries. These
facilities are continuously upgraded through various grants from=
 national
and international resources. Departmental computing equipment consists=
 of=20
many Sparc Stations, X-terminals and servers, a Next, and a 32-processor
Intel Hypercube. Access is also provided to a rich collection of=
 Sparc
Stations of Bilkent Computer Center. Bilkent is a member node in=
 the
national computer network and is connected to INTERNET and BITNET/EARN.

Qualified applications should send a detailed resume and arrange=
 for three
references to be sent to: Ms. Bilge Aydin, Secretary, Department=
 of
Computer Engineering and Information Science, Bilkent University,=
 Bilkent,
06533 Ankara, TURKEY. E-mail: (baydin@bilkent.edu.tr), fax:
(+90-312-266-4126).




-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From rich@dcs.gla.ac.uk Tue Nov  1 06:46:04 CST 1994
>From rich@dcs.gla.ac.uk  Tue Nov  1 06:46:00 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 06:46:00 -0600
Received: from vanuata.dcs.gla.ac.uk by cs.wisc.edu; Tue, 1 Nov 94 06:45:43 -0600
Received: from bounty.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk 
          with LOCAL SMTP (PP); Tue, 1 Nov 1994 12:45:18 +0000
Received: by bounty.dcs.gla.ac.uk (4.1/Dumb)	id AA18744;
          Tue, 1 Nov 94 12:45:10 GMT
Date: Tue, 1 Nov 94 12:45:10 GMT
From: rich@dcs.gla.ac.uk
Message-Id: <9411011245.AA18744@bounty.dcs.gla.ac.uk>
To: dbworld
Subject: Chair in Computing Science



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

                          University of Glasgow

                        Chair in Computing Science

                           Further Particulars


1  Introduction

The University intends to proceed to the appointment of a Professor of
Computing Science as from 1st August 1995, or such earlier date as may be
arranged. As part of this process, applications are invited from
candidates with an established international reputation in research.  

The Department of Computing Science is top-rated in both research and
teaching. It has a strong and dynamic research base, with major research
groups in databases, formal methods, functional programming, information
retrieval, and interactive systems. Preference will be given to
candidates with interests that are complementary to the Department's
existing research strengths, and able to build a new research group.
However, exceptional candidates in interactive systems will also be
considered. Experience of engineering large robust systems would be an
advantage.  

The new Professor will also be expected to contribute to the Department's
teaching and administration.

External funding is being sought to appoint a Lecturer to assist the new
Professor.


2  The University

The University of Glasgow, founded in 1451, is the second oldest
university in Scotland (and the fourth oldest in the UK). In the 19th
century it relocated to its present campus in Glasgow's West End, and its
tower is a prominent landmark on the Glasgow skyline.

The University is governed by a Court, responsible for resource matters,
and a Senate, responsible for academic matters. The academic departments
are grouped into eight Faculties, of which the largest is the Faculty of
Science.

The University is conveniently located for all forms of transport, sport,
arts, conference and exhibition facilities, and other services. The
airport is 15 minutes away, and there are direct air services to most of
the main cities of Western Europe and North America. Glasgow itself is a
vigorous city, with a blend of splendid Victorian and modern
architecture. It is within easy reach of the beautiful Highlands and
western seaboard of Scotland.  


3  The Department

The Department of Computing Science is one of the foremost in the UK,
setting itself the highest standards in research and teaching. It is part
of the Faculty of Science.

The academic staff comprises 5 professors, 1 reader, 3 senior lecturers,
and 24 lecturers. These are supported by an IT officer, 7 programmers, an
administrator, an information officer, a marketing officer, 9 secretarial
staff, and 7 technical and ancillary staff. Currently there are also 2
visiting professors, 6 research fellows, 22 research assistants, and
about 45 research students.  

The Department provides an invigorating but friendly working environment.
It is large enough to sustain a rich diversity of interests, but small
enough for everyone to know everyone else. The departmental ethos is that
of a team working together to deliver high-quality research and teaching.
There is little sense of hierarchy: senior staff are readily accessible
without appointment, and everyone uses the common room as a forum for
relaxed exchange of ideas. A weekly newsletter keeps everyone informed of
what is going on.

Teaching (and administrative) loads are shared openly and fairly, using a
system that favours new lecturers, those delivering new courses, and
those particularly active in research. Sabbatical leave is actively
encouraged, and the Department is able to fund several academics on leave
at any given time.

The following is a brief summary of the Department's research, teaching,
infrastructure, and strategy. Fuller details may be found in the booklet
Computing Science in the University of Glasgow. (Copies may be obtained
from the Department.)


3.1  Research

The Department is internationally recognised for its research, and was
awarded a rating of "5" (the highest possible) in the 1992 Research
Assessment conducted by the Universities Funding Council.  

There are five major research groupings in the Department, whose work is
widely recognised to be world-class:

    *   Databases 

        There are several cooperating groups working within this broad
area. They are interested in producing languages and systems for
manipulating databases, providing simple, intuitive, and powerful user
interfaces. Their research topics include bulk data types and data
modelling, distributed object management, object-oriented database
systems, and persistent programming systems. The leader of this research
is Professor Malcolm Atkinson.

    *   Formal Methods

        This group focuses on the central issues of program
specification, design, correctness, implementation, and reuse. It also
applies formal methods to the design of programming and specification
languages, compilers, protocols, and concurrent systems. The group's
research topics include action semantics, automated theorem proving,
Lotos and algebraic specification, mathematics in design of programs,
software reuse, type-theoretic specification and refinement.

    *   Functional Programming

        The FP group's research spans theory and practice, with fruitful
interaction between them. The group's research topics include
applications of category theory and type theory, architectures for
parallel functional programming, functional languages for massive
parallelism, Haskell language and implementation, and semantics based
program manipulation. The leaders of this research are Professors Simon
Peyton Jones and Philip Wadler.

    *   Information Retrieval

        The IR group addresses the problems of fast access to
ever-increasing volumes of stored information, which may be textual,
visual, or auditory. The group's research topics include accessing very
large document systems, hypermedia systems, multimedia retrieval, neural
networks to represent learning processes in IR, theoretical foundations,
and word sense disambiguation applied to IR. The leader of this research
is Professor Keith van Rijsbergen.

    *   Interactive Systems

        GIST is an interdisciplinary research group, involving not only
computing scientists - who contribute expertise in human-computer
interaction and graphics - but also psychologists and others both within
the University and beyond. The group's research topics include 3D
modelling and rendering, computer animation, data visualisation, digital
audio, interactive system design methods, modelling human dialogue,
multimedia, software support for interactive systems, and temporal
aspects of usability. Group members also contribute to database and
information retrieval projects.

Two other broad themes can be identified, within which research is
pursued by smaller groups and individuals, and whose work is also
internationally recognised:

    *   Computer Architecture and Hardware

        Hardware specification, high-performance networks, performance
modelling, scalable parallel architectures.

    *   Mathematics of Computation

        Algorithms and complexity, logic and inference, neural networks,
numerical computation.

The Department intends to diversify its research further, preferably into
an area such as Distributed Systems or Multimedia Information Systems. A
new professor will be appointed in 1995, whose remit will be to build up
a world-class research group in the chosen area.

The Department currently has 17 research projects funded by UK Research
Councils, 11 projects funded by the European Strategic Programme for
Information Technology (Esprit), and 5 projects funded by industry.
Altogether, these projects bring in an annual income of about #0.8M.

Much of the research is collaborative and interdisciplinary.
Collaborators include other departments within the University, and
universities and industrial partners throughout the UK, Europe, and North
America.

Most of the groups hold weekly research discussions, drawing participants
from neighbouring universities, and speakers from near and far. These are
complemented by weekly "cakes talks": half-hour talks on research (and
other topics) given by staff, research students, and visitors. The
Distinguished Lecture Series are major seminars given by speakers of
international repute, and attract large audiences ranging from professors
to undergraduates.

Scholarship is much in evidence. Department members have authored
numerous books, including seven in the prestigious Prentice-Hall
International Series in Computer Science. One lecturer's PhD thesis was
among the first to be published in the CPCS Distinguished Dissertations
Series. The editors of Computer Journal, Journal of Functional
Programming, the BCS/PrenticePHall Practitioners' Series in Software
Engineering, the BCS/Springer Workshops in Computing Series, and the
Cambridge University Press Monographs in Theoretical Computer Science
Series are all Department members.


3.2  Teaching

The Department currently teaches about 1,000 undergraduate and
postgraduate students (400 full-time-equivalent).  

Undergraduate courses fit into the Scottish pattern of flexible four-year
Honours degrees and even more flexible three-year Ordinary degrees. The
degree programmes to which the Department contributes are:

    *   BSc Honours in Computing Science

    *   BSc/MA Combined Honours in Computing Science and a variety of
other subjects

    *   BSc Honours in Software Engineering

    *   BSc/BEng Honours in Electronic & Software Engineering

    *   BSc/MA Ordinary (which may include Computing Science as a major
or minor subject).

Each year about 70 students graduate with these Honours degrees, and
about 30 students graduate with Ordinary degrees in which Computing
Science is the major subject. Many more undergraduates study Computing
Science for one or two years as a minor subject.

The Department is also a major contributor to the following:

    *   Diploma/MSc in Information Technology (IT).

This is an interdisciplinary postgraduate course aimed at graduates in
other subjects. About 100 students complete the IT course each year. The
course has recently been redesigned and broadened, and from 1994 every
student will be able to choose a specialism such as MSc in IT (Systems &
Software), MSc in IT (Health Informatics), or MSc in IT (Computational
Physics).

Several other curricular developments are currently in various stages of
planning: a new MSc in Advanced Information Systems (due to start in
1995); modularisation of the undergraduate courses (1996); a new BSc/MA
Combined Honours in Informatics (1995 or 1996).

All existing degree programmes enjoy BCS accreditation, which was renewed
in 1993. The Honours degree programmes in Electronic & Software
Engineering and Computing Science additionally received IEE accreditation
for the first time in 1992 and 1993, respectively. In 1994 the
Department's teaching was subjected to Quality Assessment by the Scottish
Higher Education Funding Council, and was awarded a rating of
"excellent".  


3.3  Infrastructure

The Department is housed in an attractive Victorian terrace in Lilybank
Gardens, on the edge of the University campus. The building was fully
refurbished in the mid-1980s, and in addition to office space contains
two lecture rooms, a conference/seminar room, four computer laboratories,
two machine halls, and an electronics workshop. In addition, the
Department has five teaching laboratories in the nearby Boyd Orr Building.

Offices and laboratories are equipped with about 110 Suns and 400
Macintoshes, backed up by file and print servers. Included are a number
of colour workstations and printers, a scanner, and audio equipment. All
departmental computers are connected by a single backbone Ethernet and 17
LocalTalk networks. The departmental network is in turn connected to the
University's X25 network, and thence to the national and international
networks.


3.4  Management

The Department of Computing Science is part of the new Planning Unit of
Computing Science, Mathematics, and Statistics, which enjoys a large
degree of control over its own budget. The Department's share of this
budget amounts to approximately #1.6M p.a., plus discretionary funds
arising out of various income-generating activities.  

The Head of Department is advised by the Computing Science Management
Committee, whose other members are the appointed professors and the
convenors of the major departmental committees. Much of the detailed
decision-making and administration are devolved to the Teaching,
Research, Graduate School, IT, Interface (external relations), and
Administration Committees. Formal and informal staff meetings are held
about once per month, allowing all staff to participate in
decision-making. About once a year the staff retreat to an all-day
meeting at which teaching or research strategy is developed.

The Department has a small external relations unit, with two full-time
staff. The unit supports the Department's contacts with industry and
commerce, schools and colleges. One focus of this work is the Computing
Science Industrial Association, which has 20 industrial members. The unit
markets consultancy services, industrial courses, and the Modular
MasterUs degree course in Software Engineering. (The latter course is
designed for practising software engineers, and is offered
collaboratively by a UK-wide consortium of universities.) The unit is
also involved in student recruitment, helping to produce recruitment
literature and currently a CD-ROM.

Department members are active in the University at large, serving on all
the major committees, and playing particularly active roles in the
development of the University's IT strategy and modernisation of its
course structures. Professor Arthur Allison is currently serving as
Vice-Principal for Science and Engineering.


3.5  Strategy

The Department maintains and regularly updates a strategy document,
setting out its research, teaching, IT, and industrial strategies. The
following is an executive summary of the strategy document.

The Department of Computing ScienceUs mission statement is:

To develop and provide education in intellectual and practical tools for
the design, construction and use of complex, reliable, usable, and
appropriate information systems.

Our overall goals are therefore to maintain and develop excellence in
teaching and research, within our subject area, and thereby to contribute
effectively and flexibly to the needs of society and the economy.

The entire strategy is predicated on the adoption of an income-driven
model for resource allocation within the University. For example, we can
plan to invest in expanding student numbers only if we believe that
resources will follow such expansion.


Research strategy

Our research strategy is:

    *   To promote excellence in research, by maintaining and developing
our existing areas of strength. We attained a rating of "5" in the 1992
Research Assessment. We intend to attain a rating of "5*" in the 1996
Research Assessment.

    *   To increase our research student numbers from about 45 to 60
individuals by 1998.

    *   To lead a University and industrial consortium to establish a
high-profile Interactive Media Institute. We are launching the Institute
with a showcase laboratory in the Boyd Orr Building in 1994.

    *   To establish new internationally-respected research groups,
broadening our base from the existing five.

This strategy is discussed in more detail in Section 2.


Teaching strategy

Our teaching strategy is:

    *   To maintain and develop our present excellence in teaching. We
attained a rating of "excellent" in the 1994 SHEFC Quality Assessment.

    *   To embrace the rapid rate of change within the discipline. In
particular, we will launch a new BSc Software Engineering degree
programme, and a taught MSc Advanced Information Systems. We will also
consider a possible new degree programme in Informatics.

    *   To incrqease our student numbers from about 400 to 450 FTEs
(full-time equivalents) in total by 1998-99. This and the previous point
imply a significant expansion in space and teaching staff.

    *   To encourage collaboration with other departments.

Teaching strategy is discussed in more detail in Section 3.


IT strategy

Our IT strategy is:

    *   To provide all our users (staff and students) with
state-of-the-art equipment.

    *   To provide a defined level of provision for each group of
students and staff, ranging from 0.5 workstation per FTE for level-1 and
level-2 undergraduates to 1 workstation per person for postgraduates and
staff.

    *   To upgrade the equipment of at least one major group of users
each year, and to roll over all equipment on a 3-4 year cycle.

IT strategy is discussed in more detail in Section 4.


Industrial strategy

Our industrial strategy is:

    *   To continue to strengthen and develop our Industrial Association.

    *   To exploit our industrial links to fund our research, especially
PhD students, and to strengthen the new Software Engineering degree
programme.

Industrial strategy is discussed in more detail in Section 5.


4 The Appointment

The appointment will be subject to the whole powers and conditions of any
Act of Parliament, Ordinances, and Law affecting the University. Subject
to such Acts, the Professor will hold office until the end of the
academic year in which he/she attains the age of 65 years. The
appointment is a whole-time appointment, the Professor undertaking to
accept paid outside work only with the prior consent of the University
Court. This provision does not apply to examinerships and such other
appointments as are incidental to the ordinary course of University
business.

The Professor will be a member of the Senate and of the Faculty of
Science.

Salary will be on the professorial scale, and paid monthly in arrears.

The successful applicant will be eligible to join the Universities'
Superannuation Scheme and the Universities' Supplementary Dependants'
Pension Scheme. Further information regarding these schemes is available
from the Superannuation Officer, who is also prepared to advise on
questions relating to the transfer of superannuation benefits.

The University of Glasgow is an equal opportunities employer.

Applications must be sent to the Academic Personnel Office, University of
Glasgow, Glasgow G12 8QQ, not later than 25 November 1994. Each
application should consist of three copies (one copy in the case of an
overseas applicant) of the following:

    *   a statement of the applicant's qualifications and experience,

    *   1-2 pages assessing the applicant's career so far, and how it is
expected to develop within the Department if the applicant is successful,

    *   the names and addresses of three referees,

together with a brief note of the applicant's state of health. Please
quote reference number 8092/1.

Interviews are expected to take place on 22 February 1995. Those who are
short-listed for interview will be required to make a research
presentation and to meet with members of the Department; this meeting may
also be attended by members of the Appointing Committee. The views of the
Department are conveyed to the Appointing Committee by the Dean of
Science.

Informal enquiries may be made to:

Dr David Watt
Head of Department
Department of Computing Science
9-17 Lilybank Gardens
University of Glasgow
Glasgow G12 8QQ
Scotland
Tel: +44 141 330 4470
Fax: +44 141 330 4913
E-mail: daw@dcs.gla.ac.uk



-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From ami@aviv.isse.gmu.edu  Tue Nov  1 09:31:16 CST 1994
>From ami@aviv.isse.gmu.edu  Tue Nov  1 09:31:11 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 09:31:11 -0600
Received: from aviv.isse.gmu.edu by cs.wisc.edu; Tue, 1 Nov 94 09:31:09 -0600
Received: by aviv.isse.gmu.edu (4.1/SMI-4.1)
	id AA06526; Tue, 1 Nov 94 10:31:20 EST
Date: Tue, 1 Nov 94 10:31:20 EST
From: ami@aviv.isse.gmu.edu (Amihai Motro)
Message-Id: <9411011531.AA06526@aviv.isse.gmu.edu>
To: dbworld
Subject: CFP NGITS-95

                        *** Reminder ***

        Papers would be evaluated on the basis of extended abstracts.
        Deadline for Extended Abstracts: 31 December 1994
        So that we may prepare for the workshop, we encourage you to 
        inform us of your intention to submit as soon as possible.

        Program Chairs:
        Ami Motro               ngits@isse.gmu.edu
        Moshe Tennenholtz       ngits@ie.technion.ac.il

______________________________________________________________________________

				Call for Papers

				   NGITS '95

		    The Second International Workshop on
	     Next Generation Information Technologies and Systems
				       
			      27 - 29 June 1995
			Hotel Carlton, Naharia, ISRAEL
				       
	  Supported by the Technion - Israel Institute of Technology
			   and the Neaman Institute
				       
As information technology advances, requirements of and expectations from
information systems change rapidly.  This requires researchers and developers
to continuously focus on the next generation of information systems.

The NGITS Workshop provides an international forum for discussing issues and
solutions related exclusively to next generation information systems and the
technologies that would make them possible.

These issues include, but are not limited to:

o  Data and knowledge base challenges: advanced models and languages,
   data integrity and quality, management of uncertainty and inconsistency, 
   information security and privacy, management of spatial and temporal data
o  Software architectures for information systems: object-orientation,
   agent-orientation, extensibility, groupware, software repositories,
   application generators
o  Integration: intelligent integration and interchange of information,
   interoperability and cooperation among heterogeneous information systems,
   information mediation and brokering, standardization
o  AI techniques: knowledge management, knowledge representation and reasoning,
   knowledge discovery, information extraction and filtering, coordination
   technologies and agent architectures
o  Human-computer interaction: advanced user interfaces, human-computer
   cooperation
o  The impact of new technologies: multi-media, mobile computing, 
   very high speed networks, etc.
o  Challenging applications: services and tools to support information
   infrastructure ("information super-highways"), digital libraries, 
   large scientific and geographical databases, health care (medical) 
   information systems, information systems for advanced manufacturing

We solicit contributions of three kinds:

* Full research papers
* Short position papers
* Proposals for panel discussions

All contributions must emphasize their relevance to issues of next generation
information technologies and systems, and must be addressed to an audience of
diverse background and interests.  The category of "research papers" is
intended for technical papers describing research accomplishments.  The
category "position papers" is intended for papers that discuss new challenges
and visionary solutions.  Proposals for panels should include an abstract of
the subject and likely participants.

The workshop will feature paper sessions, panel discussions and talks by
invited speakers.  All accepted papers will appear in a workshop proceedings.
Selected papers will be published in a special issue of the Journal of
Intelligent Information Systems.

________________________

Program Committee Chairs
________________________

Ami Motro                    	Moshe Tennenholtz
Department of Information and   Faculty of Industrial Engineering
 Software Systems Engineering	 and Management
George Mason University		Technion - Israel Institute of Technology
Fairfax, Virginia 20030		Haifa, 32000
USA				ISRAEL
ngits@isse.gmu.edu              ngits@ie.technion.ac.il		

_______________________

Information For Authors
_______________________

For research papers authors should submit extended abstracts of 2000 words or
less; the full papers that will appear in the proceedings are limited
to 5000 words.  Position papers are limited to 2000 words.  We shall attempt 
to handle the submission and review processes by electronic mail and request
that you submit your contributions by mailing a PostScript version of your
paper to BOTH co-chairs at the above e-mail addresses.  Otherwise, please send
3 copies of your paper to BOTH co-chairs at the above postal addresses.  The
organizers request advance notification of your intention to submit a paper:
please send an e-mail message to both co-chairs giving the names of the 
authors and the title or subject of the submission.

_______________

Important dates
_______________

        31 October  1994  Intent-to-submit statements due
	31 December 1994  Extended abstracts (for full papers), 
                          position papers, and panel proposals due
	28 February 1995  Notification of acceptance
	15 April    1995  Camera-ready manuscripts due
	27-29 June  1995  The workshop

_________________________

Location and Travel Funds
_________________________

The workshop will take place in Naharia, a picturesque resort town
on the Mediterranean sea, 30 kilometers north of Haifa.  Limited
travel funds will be available to assist some of the participants.

______________

General Chairs
______________

Opher Etzion	                   	Arie Segev
Technion - Israel Institute of		University of California at Berkeley
Technology				and Lawrence Berkeley Laboratories
ISRAEL					USA

__________________

Program Committee
_________________

Serge Abiteboul, INRIA, France
Ron Ashany, National Science Foundation, USA
Hagit Attiya, Technion, Israel
Dan Berry, Technion, Israel
Elisa Bertino, U. Milano, Italy
Yitzhak Birk, Technion, Israel
Yuri Breitbart, U. Kentucky, USA
Alex Brodsky, George Mason U., USA
Peter Buneman, U. Pennsylvania, USA
Wesley Chu, U. California, Los Angeles, USA
Alessandro D'Atri, U. L'Aquila, Italy
Ed Durfee, U. Michigan, USA
Dov Dori, Technion, Israel
Oren Etzioni, U. Washington, USA
Christos Faloutsos, U. Maryland, USA
Mark Fox, U. Toronto, Canada
Ophir Frieder, George Mason U., USA
Les Gasser, U. Southern California, USA
Yossi Gil, Technion, Israel
Tomasz Imielinski, Rutgers U., USA
Alfons Kemper, U. Passau, Germany
Fred Lochovsky, U. of Science and Technology, Hong Kong
Dennis McLeod, U. Southern California, USA
John Mylopoulos, U. Toronto, Canada
Gregory Piatetsky-Shapiro, GTE Laboratories, USA
Jeff Rosenschein, Hebrew U., Israel
Doron Rotem, Lawrence Berkeley Laboratories, USA
Amit Sheth, U. Georgia, Athens, USA
Peretz Shoval, Ben Gurion U., Israel
Avi Silberschatz, U. Texas, Austin and AT&T Bell Labs, USA
Ouri Wolfson, U. Illinois, Chicago, USA
______________________________________________________________________________


-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From wudds@cs.concordia.ca Tue Nov  1 09:56:58 CST 1994
>From wudds@cs.concordia.ca  Tue Nov  1 09:56:53 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 09:56:53 -0600
Received: from Clyde.Concordia.CA by cs.wisc.edu; Tue, 1 Nov 94 09:56:48 -0600
Received: from cs.concordia.ca (90@manitou.cs.concordia.ca [132.205.4.3]) by clyde.concordia.ca (8.6.7/8.6.6) with SMTP id KAA28267 for <dbworld@cs.wisc.edu>; Tue, 1 Nov 1994 10:56:42 -0500
Received: from vidya.cs.concordia.ca by manitou.cs.concordia.ca id aa19377;
          1 Nov 94 15:56 GMT
To: dbworld
Subject: Call for Attendance: Workshop on Uncertainty in DBs and Deductive 
         Systems
Date: Tue, 01 Nov 94 10:56:21 -0500
From: WORKSHOP ON UNCERTAINTY IN DATABASES AND DEDUCTIVE SYSTEMS <wudds@cs.concordia.ca>
Message-Id:  <9411011556.aa19377@manitou.cs.concordia.ca>





Our apologies if you receive this posting more than once! 

      ------------------------------------------------------------
      Workshop on Uncertainty in Databases and Deductive Systems 
      ------------------------------------------------------------

         A Postconference Workshop to be held immediately following 
                International Logic Programming Symposium 
                    Sheraton Inn, Ithaca, NY, USA
                          November 17, 1994

   		PROGRAM AND REGISTRATION INFORMATION
		------------------------------------
Many real-life applications (e.g., diagnostic applications, data mining, 
image and scientific databases, legal and military applications) require 
an ability to represent, manage, and reason with uncertain knowledge.
Numerous formalisms for dealing with uncertainty have been studied over the 
years, several of which are in the context of logic programming and deductive 
databases.  This workshop aims at bringing together researchers working in 
all aspects of this area, in an informal setting and to promote intensive 
discussions. 


This workshop is held in conjunction with the 1994 International
Logic Programming Symposium (ILPS'94), which will take place in
Ithaca, NY from November 13 to November 17, 1994.  Ithaca, NY is 
a small city, the home of Cornell University, a leading research 
center in many branches of science, engineering, and the arts.

Program Committee: 
-----------------

Melvin Fitting            CUNY, Bronx, USA 
Jiawei Han                Simon Fraser U., Burnaby, Canada 
Michael Kifer             SUNY, Stony Brook, USA 
Laks V.S. Lakshmanan      Concordia U., Montreal, Canada 
Raymond Ng                U. of British Columbia, Vancouver, Canada 
Fereidoon Sadri           University of North Carolina at Greensboro, USA 
Carlo Zaniolo             UCLA, Los Angeles, USA 


------------------------------------------------------------------------
                             WORKSHOP PROGRAM
------------------------------------------------------------------------


Thursday, November 17, 1994. 

WELCOME/INTRODUCTORY REMARKS (2:00-2:15 pm)  

LATTICE-THEORETIC FORMALISMS (2:15-3:30 pm) 

    Combining Explicit Negation and Negation by Failure 
        P. Ruet and F. Fages
        Thomson-LCR, LIENS-CNRS, France

    Algebraic Semantics for Knowledge-Based Logic Programs 
        B. Mobasher, D. Pigozzi, and G. Slutzki
        Univ of Minnesota, Iowa State Univ, USA

IMPERFECT INFORMATION AND UPDATES  (3:30-4:45 pm) 

    Consistency Preserving Updates 
        N. Bidoit, S. Cerrito, and Ch. Froidevaux
        Universite de Paris, France

    A General Approach to Managing Imperfect Information
    in Deductive Databases
        S. Parsons and J. Fox
        Advanced Computation Lab, Imperial Cancer Research Fund, UK


NON-MONOTONIC REASONING (4:45-5:30 pm)  

    Annotated Non-monotonic Rule Systems 
        A. Nerode, J.B. Remmel, and V.S. Subrahmanian 
        Cornell Univ, UC at San Deigo, Univ of Maryland, USA

BREAK (5:30-7:00 pm) 

TIME AND OBJECTS (7:00-8:15 pm) 

    Uncertainty in Valid Time Databases
        V. Kouramajian and R. Elmasri 
        Wichita State Univ, Univ of Texas at Arlington, USA

    TOP Database Model: Taxonomy, Object-Orientation, and Probability
        W. Kiessling,  T. Lukasiewicz, G. Koestler, and U. Guntzer
        Univ Augsburg, Univ Tubingen, Germany

PERFORMANCE AND COMPLEXITY (8:15-9:45 pm) 

    Fuzzy Diision for Regular Relational Databases 
        P. Bosc and H. Prade and Prade 
        IRISA/ENSSAT, IRIT UPS, France

    Sandbag Based Uncertainty: Progress and Problems 
        R.L. Read, D.S. Fussel, and A. Silberschatz
        Univ of Texas, Austin, USA

    Computing Bounds on Aggregate Operations over Uncertain Sets 
        R.L. Read, D.S. Fussel, and A. Silberschatz
        Univ of Texas, Austin, USA

APPLICATIONS (9:45-11:00 pm)

    On the Functionality of Dependencies 
        A. Rajasekhar and D. Keen 
        Univ. of Kentucky, Pikeville College, USA

    Information Retrieval is a Non-monotonic Reasoning Activity 
        A. Hunter
        Imperial College of Science, Technology and Medicine, UK

SUMMARY AND GOOD NIGHT! (11:00-11:15 pm) 


----------------------------------------------------------------------
		TRANSPORTATION TO ITHACA, NEW YORK
----------------------------------------------------------------------
	Ithaca is serviced by two major airlines, USAir and Continental.
The airport is located approximately 2 miles from the location of the
conference, the Sheraton Inn.  Other major airlines are available through
the Syracuse Airport, 50 miles north of Ithaca; Rochester Airport, 80 miles
north-west of Ithaca.  Transportation from Syracuse and Rochester to Ithaca
is limited.

	Special discount fares have been arranged with both USAir and
Continental Airlines for those attending ILPS'94.  Both airlines are
offering 10% off regular coach fares and 5% off lowest published excursion
fares.  Travel arrangements may be made through: Mickie Tsapis, Beam
Travel, 134 East Seneca Street, Ithaca, NY 14850, 1-800-404-2326, Fax:
607-277-3141.  Please mention the travel is in conjunction with ILPS
(International Logic Programming Symposium).

----------------------------------------------------------------------
		TRANSPORTATION FROM AIRPORT
----------------------------------------------------------------------
        For those arriving at the Ithaca/Tompkins County Airport free 
hotel ground transportation may be obtained by calling the hotel using 
the courtesy telephone located near the baggage area, or you may take the
Ithaca Airline Limousine service that meets each flight, cost is $5.00.
The Sheraton Inn is located approximately 2 miles from the airport.
        If you arrive at the Syracuse Airport (approximately 50 miles north
of Ithaca), the only transportation available is taxi, which will cost
approximately $65.00.  Rental cars are available for transportation from
Rochester, Syracuse, and Ithaca airports.

----------------------------------------------------------------------
		HOTEL INFORMATION
----------------------------------------------------------------------
        ILPS'94 as well as WUDDS'94 will be held at the Sheraton Inn, Ithaca, 
New York.  The Sheraton Inn & Conference Center offers the most modern and 
complete facilitiies in the area.  In addition to the superior accommodations,
comprehensive meeting  and banquet facilities, the hotel features an
indoor, heated swimming pool, saunas, and a fine restaurant.  
        Cornell Transit buses make hourly stops at the hotel with stops at
numerous Cornell Campus locations.
        The Sheraton is located within easy walking distance of three
shopping malls and several restaurants.
        Hotel reservations may be made by filling out the form at the
end of this program and mailing or faxing it to the hotel.

----------------------------------------------------------------------
		CONFERENCE/WORKSHOP REGISTRATION
----------------------------------------------------------------------
        The conference fee for early registration (before OCTOBER 17) for
members of the ALP or its affiliates will be US$350.  The fee for early
registration for non-members will be US$375.  After October 17 late
registration will cost members US$385, and non-members US$410.  The early
registration fee for students is US$150, and the late fee is US$165.  The
student fee does not include the banquet, but banquet tickets can be
purchased for US$50 each. For ILPS'94 registrants, the workshop registration 
fee is US$20, per workshop. For workshop ONLy registrants, the fee is 
US$60. In all cases, the payment must be sent to the address indicated 
in the registration form below.  
        Participants paying full or student registrations are given one
year's free automatic membership to the Association for Logic Programming.
You may wish to join your local affiliated society in Britain (ALP-UK),
=46rance (AFCET), Germany (ALP/G), or Italy (GULP).  If you do, please
indicate your desire on the registration form, so information can be
forwarded to your society.
        There is a registration form appended to this message.  If you
wish to register by e-mail, please complete the form and send it by 
e-mail to: ilps@msiadmin.cit.cornell.edu.  E-mail registrations must be paid 
for by either VISA, MASTERCARD, DISCOVER, AMERICAN EXPRESS, or DINERS CLUB 
at time of e-mail registration.
        All members of ALP, ACM, IEEE, SIGART, and SIGMOD are eligible for
discount registration fee.  Members must include the membership/organization 
number (one affiliation only) in order to receive the discount.  
All students must submit proof of student status either by
submitting a photocopy of student identification or a letter from their
institution.
        Refund Policy:  Written requests or e-mail requests for refunds
must be received by the Conference co-ordinator Valerie Kaine by November
1.  Refunds are subject to a $50 processing fee.  Those who do not request
a refund by the deadline will be billed in full.
        The Conference Registration Fee includes: Admission to the entire
conference program including technical sessions, and poster sessions, a
copy of the proceedings of the conference, the reception on Sunday evening,
tour of Johnson Art Museum (see restrictions on registration form), Piano
Concert, and the Banquet.  The student fee does not include the banquet.
Extra banquet tickets are available at US$50.
        The post-conference workshops will cost US$20 for each workshop
attended.  People not registered at the conference can register for US$60
per workshop.  The following is the list of workshops available.

W1: Uncertainty in Databases and Deductive Systems  (WUDDS'94) 
W2: Constraints and Databases
W3: Constraint Languages/Systems and Problem Modelling
W4: Implementation Techniques for Logic Programming Languages
W5: Design and Implementation of Parallel Logic Programming Systems

------------------------------------------------------------------------
		STUDENT CERTIFICATE
------------------------------------------------------------------------

All those desiring a student discount for registration must return this
certificate with their registration form.

I certify that ____________________________________
                        (Print name of student)

is a full-time student at ______________________________
                                (Name of university)

and eligible for the student conference rate.


____________________________________
                (Signature)

____________________________________
                (Printed name)

____________________________________
                (Title/Position)

Certificate must be signed by the thesis advisor or department head.
------------------------------------------------------------------------

		REGISTRATION FORM: ILPS'94 and post-ILPS Workshops 
------------------------------------------------------------------------

International Logic Programming Symposium, November  13-17, 1994
Ithaca, New York, USA
__________________________________________________________________
Please mail to: Mathematical Sciences Institute Tel:  (+1) 607-255-8005
                Attn: ILPS'94                    FAX: (+1) 607-255-9003
                409 College Ave.
                Ithaca, NY 14850, USA

               E-mail: ilps@msiadmin.cit.cornell.edu
_____________________________________________________________
        Name: _________________________________________
        Affiliation:____________________________________

        Address: ______________________________________________________
        Telephone: __________________  FAX: _________________________
        Membership organization & number: ___________
         E-mail: __________________________________
        Dietary Restrictions:  Vegetarian ___________________
        Other (specify) ______________________________________
        Other special needs:_____________________________________________

Check the social activities you plan to attend:
(All are included in the full registration fee.  Student registration does
not include the Banquet.  Additional Banquet tickets may be purchased for
$50.00) The following information is needed for proper planning of the
events.

        ___ Opening Reception Nov. 13
        ___ Tour of Art Museum Nov 15.  (Limited to first 60)
        ___ Piano Concert Nov. 15
        ___ Banquet Nov 16.
                Select entree:  ___ Prime Rib
                                ___ Salmon

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

Presenters indicate audio-visual requirements:

        ___     Overhead Projector
        ___     Chalk Board
        ___     Other (state) __________________________

Note: There will be a Sun Sparcstation with color screen available for
software demonstrations. Please notify conference registration office to
reserve time on the computer.


Conference Fees:        Before October 17               After October 17
        Member                  US$350                  US$385
        NonMember               US$375                  US$410
        Student                 US$150                  US$165
Workshop Fees:  Each workshop: US$20. Workshop only participants: US$60 per
workshop. Please check the appropriate workshop(s).:
        W1 ______ W2 _______ W3 _______ W4 _______ W5 _______

Total Payment:  US $ _________________________

Payment can be made by check drawn on a US bank or money order in American
dollars. Please make checks payable to Cornell University: ILPS'94. You can
also pay by Visa, MasterCard, Discover, American Express, or Diners Club.

        Cardholder's name: ______________________________

        Type of card and Number: ______________________________

        Expiration Date: _____________________

-----------------------------------------------------------------
		HOTEL REGISTRATION INFORMATION
-----------------------------------------------------------------

Reservations should be made with the

        Sheraton Inn Ithaca             Tel# 607-257-2000
        Attn: Roseann Kuti              FAX # 607-257-3998
        One Sheraton Drive
        Ithaca, NY 14850
-----------------------------------------------------------------




-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From kalpakis@speckle.ncsl.nist.gov  Tue Nov  1 10:17:30 CST 1994
>From kalpakis@speckle.ncsl.nist.gov  Tue Nov  1 10:17:25 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 10:17:25 -0600
Received: from SPECKLE.NCSL.NIST.GOV by cs.wisc.edu; Tue, 1 Nov 94 10:17:23 -0600
Received: by speckle.ncsl.nist.gov (4.1/SMI-3.2-del/cas.6)
	id AA05669; Tue, 1 Nov 94 11:17:21 EST
From: kalpakis@speckle.ncsl.nist.gov (Dr. Kostas Kalpakis)
Message-Id: <9411011617.AA05669@speckle.ncsl.nist.gov>
Subject: ACM Workshop on Electronic Commerce: Call for Participation
To: dbworld
Date: Tue, 1 Nov 1994 11:17:21 -0500 (EST)
X-Mailer: ELM [version 2.4 PL22]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 6670      


			CALL FOR PARTICIPATION

	          *****************************
                  ACM International Workshop on 
	 	      ELECTRONIC COMMERCE 
	          *****************************

                       In conjunction with
	   THIRD INTERNATIONAL CONFERENCE ON INFORMATION
		  AND KNOWLEDGE MANAGEMENT (CIKM'94)

         	          December 2, 1994

	National Institute of Standards and Technology (NIST)
	              Gaithersburg, Maryland


			   Sponsored by:
			   ------------
	      ACM SIGART and SIGIR, in cooperation with:
         NIST Center for Applied Information Technology (CAIT)
       and Rutgers Center for Information Management, Integration 
                    & Connectivity (CIMIC)


Program Co-Chairs:
-------------
Nabil R. Adam, Rutgers University
Yelena Yesha, NIST/UMBC

Program Committee:
-----------------
Shirley Hurwitz, NIST
David Jefferson, NIST
Shamim Naqvi, Bellcore,
Ana-Lena Neches USC/ISI
Amit Sheth, University of Georgia
Jay Tenebaum, EIT
Steve Trus, NIST
Mary Brady, NIST



9:00 	KEYNOTE ADDRESS
	---------------
Dr. Robert Neches, Program Manager for Intelligent Services for NII,
ARPA.

10:00 	BREAK
	-----

10:15 	SESSION 1
	---------
  	Session Chair: Mary Brady

 o A Smart catalog and Brokering Architecture for Electronic Commerce
   Arthur M. Keller
   Michael R. Genesereth
   Mustafa A. Syed  (Stanford Center for Information Technology)

 o Developing an Internet Presence with On-line Electronic Catalogs
   William T. Wong (Enterprise Integration Technologies)
   Arthur M. Keller (Stanford Center for Information Technology)

 o The Information Superhighway and Electronic Commerce: Effects of
   Electronic Markets
   Robert Benjamin
   Rolf Wigand (Syracuse University)


11:30 	BREAK

11:45	SESSION 2
	---------
  	Session Chair: A. Dutta (George Mason University)

 o The Information Marketplace: Issues and Challenges
       Steve Laufmann (U S West Technologies, Colorado)

 o Temporal Reasoning as a Benefit to Automated Workflow
   Ira Haimowitz
   Glenn S. Fields (General Electric Corp. Research and development, NY)

 o Computer-integrated Logistics and the Redesign of Inter-organizational 
   Relations
   Stefan Klein and Stefan Zbornik (Institute of Information Management
    University of St. Gallen, Switzerland)


1:00	LUNCH
	-----

2:00	SESSION 3
	--------
  	Session Chair: Steve Trus (NIST)

 o The Standardization of Flexible EDI Messages
   Ken Steel (University of Melbourne, Australia)

 o Changes in the EDI Interchange Agreements
   Andreas Mitrakas (Erasmus University Rotterdam, The Netherlands)

 o Machine-Negotiated Ontology-Based EDI
    Fritz Lehmann (GRANDAI Software, California

 o Advanced EDI Security within a Workflow Environment
   Hitesh Tewari
   Maurice McCourt
   Donald O'Mahony (Trinity College, Dublin, Ireland)


3:40	BREAK
	-----

3:50-	PANEL : Examples of Electronic Commerce Services on the Internet
5:15    and Discussions of Electronic Commerce Bottlenecks.
        Panelists: Don Brown (PartNet), Nathaniel Borenstein (First Virtual),
        Randy Vandenbrink (HP), Bill Pickard (Washington Software Association),
        Anna-Lena Neches (FAST), Jeffrey Ritter (Ohio Supercomputer Center)
			    


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

                     REGISTRATION FORM

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

Please complete this form (TYPE or PRINT), and return with your payment to:

        Dr. E.K. Park
        Computer Science Department
        U.S. Naval Academy
        Annapolis, MD 21402
        U.S.A.
        Tel: (410) 293-6806
        Fax: (410) 293-2686.

Your paper title, if any:_____________________________________________________

______________________________________________________________________________

     Paper authors:___________________________________________________________

First Name:_________________________ Last Name:_______________________________

Title (Dr/Mr/Ms/Prof.):_____________ Position:________________________________

Company/Univ.:_______________________________ Dept.:__________________________

Address:______________________________________________________________________

City:_________________________ State:_____________ Zip/Postal Code:___________

Country:_______________________________ Phone:________________________________

Fax:_________________________________ E-mail:_________________________________

Payment in U.S. dollars ONLY (check drawn on a U.S. bank or International 
Money Order) is enclosed for the following (Please Check).

ADVANCE (Received by October 31, 1994.):
==========================================
Reg. Fee     ACM/AAAI
       ______Member($290.00) ______Non-Member($340.00) ______Student ($190.00)

Workshop
       ______Member($150.00) ______Non-Member($150.00) ______Student($75.00)

       Please circle your workshop preferences (fee is for EACH workshop):
                         1. GIS
                         2. Electronic Commerce
                         3. Intelligent Agents 
                         4. Hypertext 


LATE/ONSITE (Received AFTER October 31, 1994):
================================================
Reg. Fee     ACM/AAAI
       ______Member($340.00) ______Non-Member($390.00) ______Student($220.00)

Workshop
       ______Member($180.00) ______Non-Member($180.00) ______Student($100.00)

       Please circle your workshop preferences (fee is for EACH workshop):
                         1. GIS
                         2. Electronic Commerce
                         3. Intelligent Agents
                         4. Hypertext


Reg. Fee : choose category                $_______________
Workshop Fee for each: choose category    $_______________
Extra Page Charge:(U.S. $100.00 per page) $_______________
Extra Conf. Reception Tickets: ($30/ea)   $_______________
Extra Workshop Reception Tickets:($30/ea) $_______________
Extra Conf. Banquet Tickets: ($40/ea)     $_______________

             Total Amount Enclosed:  U.S. $_____________________ 

ACM/AAAI membership number (required for member rate):_____________________

Signature:_____________________________________ Date:______________________


PS:

Acknowledgement of receipt of the registration form with payment will 
be sent out only by e-mail if you provide your e-mail address. Conference
materials including receipts and proceedings can be picked up at the
registration desk on site.

Note that CIKM-94 will be held at NIST and Hilton Hotel is about 1 mile
away from NIST. Transportation from Hilton/NIST/Hilton will be available 
for CIKM-94/Workshop attendees.


-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From cm1914@scitsc.wlv.ac.uk  Tue Nov  1 14:17:23 CST 1994
>From cm1914@scitsc.wlv.ac.uk  Tue Nov  1 14:17:20 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 14:17:20 -0600
Received: from scitsc.wlv.ac.uk by cs.wisc.edu; Tue, 1 Nov 94 14:17:08 -0600
Received: by scitsc.wlv.ac.uk (UK-Smail 3.1.28.1/27)
	id <m0r2Pdb-0007i6C@scitsc.wlv.ac.uk>; Tue, 1 Nov 94 20:16 GMT
Message-Id: <m0r2Pdb-0007i6C@scitsc.wlv.ac.uk>
From: cm1914@scitsc.wlv.ac.uk (M.S.Jackson)
Subject: bncod:cfp 
To: dbworld (dbworld List Server)
Date: Tue, 1 Nov 1994 20:16:59 +0000 (GMT)
X-Mailer: ELM [version 2.4 PL23]
Content-Type: text
Content-Length: 986       

     THIRTEENTH BRITISH NATIONAL CONFERENCE ON DATABASES
              MANCHESTER, U.K. 12-14 July 1995
                 CALL FOR PAPERS: REMINDER

The  BNCOD13  Programme  Committee  welcomes  papers  on  all
subjects which fall within the database systems area.

Information for Authors

Four  copies of papers should be submitted to the  conference
organiser  by  Friday 6th January 1995. Postscript  or  Latex
email submissions are acceptable.

Submission Details

Please send FOUR hard copies of each paper to:

Carole Goble
BNCOD13 Organising Chair
Department of Computer Science
University of Manchester
Oxford Road
Manchester M13 9PL
tel:      +44 (0) 61 275 6195
fax:      +44 (0) 61 275 6932

Alternatively, postscript or latex via email to:
bncod@cs.man.ac.uk

WWW

Full details can be found on the web:
    	 http://www.cs.man.ac.uk/events/bncod.html

or a postscript version of the Call For Papers can be obtained 
via ftp from:
	//scitsc.wlv.ac.uk/pub/bncod13/cfp-leaf.ps


-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From pam@cs.ust.hk  Tue Nov  1 19:46:41 CST 1994
>From pam@cs.ust.hk  Tue Nov  1 19:46:38 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Tue, 1 Nov 94 19:46:38 -0600
Received: from cssu43.cs.ust.hk by cs.wisc.edu; Tue, 1 Nov 94 19:45:21 -0600
Received: by cssu43.cs.ust.hk (4.1/SMI-4.1)
	id AA20979; Wed, 2 Nov 94 09:45:11 HKT
Date: Wed, 2 Nov 94 09:45:11 HKT
From: pam@cs.ust.hk (Dr. Pamela A. Drew)
Message-Id: <9411020145.AA20979@cs.ust.hk>
To: dbworld
Subject: HKUST FACULTY POSITIONS



   THE HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY
             Department of Computer Science



The Department of Computer Science will have at least 10 faculty
positions open AT ALL LEVELS for the 1995-96 academic year.
Applications for senior-level positions are particularly solicited.
The department began its first classes in October, 1991.  It currently
has 41 faculty members recruited from major universities and research
institutions around the world and 430 undergraduate and 95 postgraduate
students.

We have active research groups in the areas of artificial intelligence,
computer engineering, data and knowledge base management, software
technology, and theoretical computer science.  We are looking for new
faculty with research interests in these areas as well as in the areas
of Chinese (or multi-lingual) computing, natural language processing,
neural networks, and robotics.  Research funding is available through
government agencies and industry-sponsored research institutes at the
university, such as the Hong Kong Telecom Institute of Information
Technology and the Sino Software Research Centre.


The Hong Kong University of Science and Technology is a publicly-funded
research university.  It has Schools of Science, Engineering, Business &
Management, and Humanities and Social Science.  It is located on a new,
well-equipped coastal campus overlooking the spectacular Clear Water Bay.
Students admitted to the department rank among the top 10% of Hong Kong's
secondary school graduates.  The medium of instruction is English.

Salary and benefits are competitive.  Initial appointments will
normally be on a three-year contract which is renewable subject to
mutual agreement.  A gratuity of an amount equal to 25% of the total
basic salary received will be payable upon contract completion.
Shorter-term visiting positions are also available for senior
applicants.

Applicants should have an earned Ph.D. and high potential in teaching and
research.  Senior applicants must have exceptional research records.
Applications/nominations should be sent with a curriculum vitae together
with names of at least three references to:



                    Prof. Vincent Y. Shen, Head
                    Department of Computer Science
                    The Hong Kong University of Science & Technology
                    Clear Water Bay, Kowloon
                    HONG KONG

                    Fax No.   :    (852) 358-2679
                    E-mail    :    vshen@cs.ust.hk


Applications will be evaluated immediately upon receipt.  Maximum
consideration will be given to applications received by December 31, 1994.



-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From troels@ruc.dk  Wed Nov  2 05:24:30 CST 1994
>From troels@ruc.dk  Wed Nov  2 05:24:24 1994
Received: from emma.ruc.dk by fyvie.cs.wisc.edu; Wed, 2 Nov 94 05:24:24 -0600
Received: from  by emma.ruc.dk (4.1/JBA-1.18)
	id AB27860; Wed, 2 Nov 94 12:25:02 +0100
X-Sender: troels@pops.ruc.dk
Message-Id: <aadd24e603021004af7d@[130.225.220.224]>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Wed, 2 Nov 1994 12:25:04 +0100
To: dbworld
From: troels@ruc.dk (Troels Andreasen)
Subject: FQAS'94 Workshop on  Flexible Query-Answering Systems, Call for	 Participation


                    CALL FOR PARTICIPATION
                           FQAS'94
        Workshop on  Flexible Query-Answering Systems
                     November,14-15, 1994
                 Roskilde University, Denmark

NOTICE:
        The schedule is changed to two days: November, 14-15.
        We have a limited number of tickets available for non-authors

INTRODUCTION

As the amount of information which is on-line accessible from information
bases, services, and networks increases, so does the demand for effective
inquiring systems that are both easy to use and flexible in answering the
users' needs.  At the one extreme we have traditional database querying
languages, at the other we natural language dialogues.  As a model for a
flexible query-answering system, we may consider the human expert which has
expertise in the domain of interest, and in answering to users' needs, and
which, among other thing, are cooperative in answering.

The FQAS workshop provides a forum for discussing issues and solutions
related to such inquiring systems,  which we cover under the term 'flexible
query-answering systems'.


PROGRAM COMMITTEE CHAIRS
Henrik Legind Larsen (general chair), Email:    hll@dat.ruc.dk
Troels Andreasen  (program chair), Email:    troels@dat.ruc.dk
Lars Baekgaard  (program chair), Email: larsb@iesd.auc.dk



LOCATION
The workshop will take place at Hotel Prindsen in the centre of Roskilde,
located 30 km West of Copenhagen and only 30 minutes from Copenhagen centre
by train.


REGISTRATION
The fee for participation (covering proceeding, and lunch) is 600 DKR
(about 100 USD), to be paid at registration (upon arrival). We arrange a
workshop dinner at November 14. Separate payment, 250 DKR, is required for
the dinner.
Participants are suggested to stay at Hotel Prindsen. Single 595 DKR.,
Double 690 DKR. Don't hesitate to contact us on alternate accomodation or
any other question you may have.

Email or fax the filled-in form (below) to at the latest, November 7:

        Troels Andreasen
        Department of Computer Science,
        Roskilde University, bldg. 20.1,
        P.O. Box 260,
        DK-4000  Roskilde,
        Denmark
        Email:    troels@ruc.dk
        phone:  +45  46 75 77 81 +(direct dial) 2132
        fax:     +45  46 75 42 01



REGISTRATION FORM
----------------------------------------------------------------
                           FQAS'94
        Workshop on  Flexible Query-Answering Systems
                     November,14-15, 1994
                 Roskilde University, Denmark


                     Personal Information

Title          Last Name:            First name, middle name
Mr/Ms/Dr/Prof: ..............................................

Institution/Company :
Address :
City :
Country :
Postal code :
Phone:
E-mail :
Fax :

Conference dinner :   Yes/No



                       Hotel Reservation
                        Hotel Prindsen
                          Algade 13
                       DK-4000 Roskilde
                    Phone: +45 42 35 80 10
                    Fax:   +45 42 35 81 10

Date & Time of arrival  :       November 1994
Date of departure       :       November 1994

I prefer to arrange Hotel Reservation directly: Yes/No
----------------------------------------------------------------



PRELIMINARY PROGRAM
Monday, November 14
 9:00-9:15:   Opening
 9:15-11:00:  Tutorial: Prof. Amihai Motro, USA:
                       "Intelligent query answering"
11:00-11:30   Coffee break
11:30-12:30:  Tutorial: Prof. Ronald R. Yager, USA:
                        "Methods of Aggregation in Information Systems".
12:30-14:00   Lunch
14:00-15:30   Technical sessions
15:30-16:00:  Coffee break
16:00-18:00:  Panel discussion:
                        "Query-answering systems in the information society -
                          challenges for research and industry"

Tuesday, November 15
 9:00-10:00:  Invited speaker: Prof. Patrick Bosc, France:
                        "Fuzzy relations, ill-known values and
                         the relational division"
10:00-10:30:  Coffee break
10:30-12:00:  Technical sessions
12:00-13:30:  Lunch
13:30-15:00:  Technical sessions
15:00-15:30:  Coffee break
15:30-17:00:  Technical sessions
17:00-17:15:  Closing


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

This workshop is supported by SNF (Danish National Science Foundation), RUC
(Roskilde University) and AIS a/s (Adaptive Information Systems a/s).






-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From Elisabeth.Metais@prism.uvsq.fr  Wed Nov  2 09:47:44 CST 1994
>From Elisabeth.Metais@prism.uvsq.fr  Wed Nov  2 09:47:39 1994
Received: from soleil.uvsq.fr by fyvie.cs.wisc.edu; Wed, 2 Nov 94 09:47:39 -0600
Received: from guillotin.prism.uvsq.fr (guillotin.prism.uvsq.fr [193.51.25.1])
          by soleil.uvsq.fr (8.6.9/jtpda-5.0) with ESMTP id QAA24633
          for <dbworld@fyvie.cs.wisc.edu>; Wed, 2 Nov 1994 16:47:35 +0100
Received: from [193.51.25.214] by guillotin.prism.uvsq.fr
	  (8.6.8/jn931126) with SMTP; Wed, 2 Nov 1994 16:47:16 +0100
Message-Id: <199411021547.QAA24551@guillotin.prism.uvsq.fr>
Date: Wed, 2 Nov 1994 16:48:54 +0100
To: dbworld
From: Elisabeth.Metais@prism.uvsq.fr (Elisabeth METAIS)
Subject: Call for Papers


                                  N L D B ' 9 5

       * First Workshop on Applications of NATURAL LANGUAGE to DATA BASES *

                       Versailles, France, JUNE 28-29 1995

                         ________________________________
                        / C A L L   F O R   P A P E R S /
                       ________________________________

This workshop aims at bringing together researchers, potential industrial
and users, interested in various applications of natural language in the
database field.  The integration of databases and natural language has been
for a long time an utopia.  Since two decades, consulting databases or
getting answers in natural language remain a dream for many users. This is
nowadays an accessible convergent point for which a lot of researchers are
focusing on.  It is mainly due to the large progress of research in natural
language and to the development of new technologies which allow the storage
of real semantic electronic dictionaries.  Each aspect of the life cycle of
the information system may be improved by using natural language
techniques : database design (specification, validation, conflicts
resolution), database query languages and consulting programs that use new
software engineering research allowing natural language program
specifications.  

TOPICS:  Major Topics of interest include, but are not restricted to, the
following:
 - Natural languages interfaces for database querying,
 - Natural language as a specification interface for database design, 
 - Paraphrasing of database design conceptual schema  in natural language,
 - Linguistic aspects of view integration,
 - Conceptual modelling and linguistic knowledge,
 - Use of linguistic tools and electronic dictionaries,
 - Textual databases, indexing and retrieval,
 -	Generating texts from  structured data,
	- Generation of natural language texts from formal specifications, 
 - Semi-formal interfaces for interacting with databases,
 -	Hypertext facilities for database querying.


PROGRAM COMMITTEE 

Chairman: Mokrane Bouzeghoub 	
PRiSM, University of Versailles, France

Alain Bonnet 	Langage Naturel, France
Janis Bubenko  	U. of Stockholm, Sweeden  
Hans Burg 	Vrije U., The Netherlands
Corinne Cauvet 	U. of Paris I, France
Josi Coch 	Erli, France
Isabelle Comyn-Wattiau 	Essec, France
Roland Dachelet 	Inria, France 
Christian Fluhr 	CEA, France 
Vladimir Fomichov 	Moscow State U., Russia
Robert Goldstein 	U. of British Columbia, Canada
Jon Atle Gulla	GMD Darmstadt, Germany
Henri Habrias 	U. of Nantes, France
Jean-Nokl Meunier 	PRiSM,  France
Elisabeth Mitais  	U.of Paris VI, France
Reinder van de Riet 	Vrije U., The Netherlands 
Arne Solvberg 	NTH Trondheim, Norway
Veda Storey 	Rochester U., Canada

ORGANIZING COMMITTEE

Chairwoman: Elisabeth Mitais
PRiSM, University of Versailles, France
Email: Elisabeth.Metais@prism.uvsq.fr	

Christiane Boucher 	PRiSM, France
Gilles Levreau  	PRiSM, France
Jean-Nokl Meunier 	PRiSM,  France
Reinder van de Riet 	Vrije U., The Netherlands 
Corinne Sweeney 	AFCET, France

FIRST SPONSORS: AFCET , University of Versailles, ERLI, ESSEC.

INSTRUCTIONS TO AUTHORS:  
To contribute, please submit 4 copies of an original paper which does not
exceed 5000 words, including a short  abstract, to the program committee
chairman:
 	Prof. Mokrane Bouzeghoub, 
	Laboratoire PRiSM, Universiti de Versailles  
	45, av des Etats-Unis  78000 Versailles, France.

IMPORTANTE DATES : 	
   PAPER SUBMISSION DEADLINE:  	FEBRUARY 1st, 1995  		
				Notification of acceptance : 		March 30th, 1995 
				Camera-ready paper : 		May 15th, 1995
                 
                Elisabeth METAIS
                Laboratoire PRiSM
                Universite de Versailles   
                45, avenue des Etats-Unis          
                78000 VERSAILLES, FRANCE  	             

                Tel:  +33 (1) 39 25 40 53      
                Fax:  +33 (1) 39 25 40 57      
                          
                Email: Elisabeth.Metais@prism.uvsq.fr 
                



-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

From proietti@IASI.RM.CNR.IT  Wed Nov  2 12:41:31 CST 1994
>From proietti@IASI.RM.CNR.IT  Wed Nov  2 12:40:03 1994
Received: from cs.wisc.edu by fyvie.cs.wisc.edu; Wed, 2 Nov 94 12:40:03 -0600
Received: from iasia1.iasi.rm.cnr.it by cs.wisc.edu; Wed, 2 Nov 94 12:39:50 -0600
Received: from [150.146.5.155] (150.146.5.155) by IASI.RM.CNR.IT (PMDF V4.2-10
 #4026) id <01HJ0F6RXKN40000UX@IASI.RM.CNR.IT>; Wed, 2 Nov 1994 17:09:10 +0100
Date: Wed, 02 Nov 1994 18:12:13 +0000
From: proietti@IASI.RM.CNR.IT (Maurizio Proietti)
Subject: LOPSTR'95 preliminary call
To: adp@IASI.RM.CNR.IT (Alberto Pettorossi),
        afrati@theseas.ntua.gr (Foto Afrati), agenc@bilkent.edu.tr,
        aiello@assi.dis.uniroma1.it (Luigia Carlucci Aiello),
        ajimenez@fi.upm.es, alexandr@loria.loria.fr (Francis Alexandre),
        alf@sics.se, alj@csd.uu.se, am@sunbim.be (Andre Marien),
        andre@cs.bris.ac.uk (Andre de Waal),
        anne@cs.kuleuven.ac.be (Anne Mulkers), antoy@edu.pdx.cs (Sergio Antoy),
        ap@fctunl.rccn.pt, apt@cwi.nl (Krzysztof Apt),
        formato@udsab.dia.unisa.it, ari@iinf.bg,
        arun@cacs.usl.edu (Arun Lakothia), arvind@cs.ait.ac.th,
        attardi@di.unipi.it, barkaoui@asimov.cnam.fr,
        basin@mpi-sb.mpg.de (David Basin), bc@info.ucl.ac.be,
        bensaou@litp.ibp.fr, bergadan@di.unito.it (Francesco Bergadano),
        bergadan@mathct.cineca.it (Francesco Bergadano),
        bern@cs.kuleuven.ac.be (Bern Martens), bergere@univ-orleans.fr,
        bibel@intellektik.informatik.th-darmstadt.de (Wolfgang Bibel),
        bimandre@cs.kuleuven.ac.be, bimbart@cs.kuleuven.ac.be (Bart Demoen),
        bjr@csr.uvic.ca, ble@info.fundp.ac.be (Badouin Le Charlier),
        bol@win.tue.nl (Roland Bol),
        bossi@zenone.math.unipd.it (Annalisa Bossi),
        bottoni@hilbert.math.unipd.it (Ugo Bottoni), boyer@iro.umontreal.ca,
        bradley@edu.utexas.cs, broome@BRL.mil,
        brogi@di.unipi.it (Antonio Brogi),
        bross@sandcastle.cosc.brocku.ca (Brian Ross),
        bry@informatik.uni-muenchen.de (F. Bry),
        bsaies@loria.loria.fr (Khaled Bsaies), bueno@fi.upm.es,
        bundy@ai.ed.ac.uk (Alan Bundy),
        catuscia@di.unipi.it (Catuscia Palamidessi), chik@icot.or.jp,
        chinwn@iscs.nus.sg (Chin Wei-Ngan), cianca@di.unipi.it, cx@irst.it,
        cjh@doc.ic.ac.uk (Chris Hogger), Claude.Kirchner@loria.fr,
        cocco@moo.dsi.unive.it, codish@cs.kuleuven.ac.be, cons@csd.uu.se,
        contejea@mpi-sb.mpg.de, corsini@geocub.greco-prog.fr,
        CORTESI@pdmat1.math.unipd.it, cousot@dmi.ens.fr (Patrick Cousot),
        dale@cis.upenn.edu (Dale Miller), dam@ai.mit.edu, dan@sics.se,
        Danny.DeSchreye@cs.kuleuven.ac.be, dave@diku.dk (David Sands),
        debray@cs.arizona.edu, degiacom@assi.ing.uniroma1.it,
        delahaye@lifl.lifl.fr, demolombe@tls-cs.cert.fr,
        deransar@minos.inria.fr, devienne@lifl.lifl.fr,
        Didier.Galmiche@loria.fr, Dmitri.Boulanger@cs.kuleuven.ac.be,
        doc@dgp.toronto.edu, drg@cs.city.ac.uk, dsmith@cs.waikato.ac.nz,
        ducasse@irisa.fr, dung@cs.ait.ac.th, eka@lfcs.ed.ac.uk,
        etalle@cwi.nl (Sandro Etalle),
        eusterbrock@intellektik.informatik.th-darmstadt.de,
        evelina@deis33.cineca.it (E. Lamma), farinas@irit.fr, fb@ecrc.de,
        feliks@mimuw.edu.pl, ferrand@chambord.univ-orleans.fr,
        fettig@informatik.uni-kl.de, FILE@pdmat1.math.unipd.it,
        finance@loria.fr, flach@kub.nl, formato@udsab.dia.unisa.it,
        fp@cs.cmu.edu (Frank Pfenning),
        frankh@swi.psy.uva.nl (Frank van Harmelen),
        Franz.Lichtenberger@risc.uni-linz.ac.at, frenchip@dassault-elec.fr,
        fribourg@dmi.ens.fr, frisch@minster.york.ac.uk,
        fromherz@parc.xerox.com, fronhoef@informatik.tu-muenchen.de,
        fuchs@ifi.unizh.ch, furukawa@icot.or.jp, gabbri@di.unipi.it,
        gafton@liis.soros.ro, gar@dcs.qmw.ac.uk, geraint@edinburgh.ac.uk,
        gerd@intellektik.informatik.th-darmstadt.de, giaco@di.unipi.it,
        gluek@diku.dk, greet@cs.kuleuven.ac.be, gunetti@di.unito.it,
        gunther@cs.kuleuven.ac.be, gurr@cs.bris.ac.uk, haberstr@lri.fr,
        hakanm@csd.uu.se (Hakan Millroth), hamfelt@csd.uu.se, hanol@ida.liu.se,
        hansson@csd.uu.se, harald@cs.mu.OZ.AU, hassan@prl.dec.com,
        hendrik@ztivax.zfe.siemens.de, henk.vandecasteele@cs.kuleuven.ac.be,
        henning@dat.ruc.dk, herme@fi.upm.es, hilde@cs.kuleuven.ac.be,
        hill@scs.leeds.ac.uk, hinkelma@dfki.uni-kl.de, hirata@nefertiti.ntt.jp,
        Hong.Zhu@brunel.ac.uk, ig@litp.ibp.fr (Irene Guessarian),
        iliano@di.unito.it, inak@ai.ed.ac.uk, jcook@cs.colorado.edu, janma@ida
Message-Id: <01HJ0F6STKIQ0000UX@IASI.RM.CNR.IT>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7BIT
X-Sender: proietti@iasia1.iasi.rm.cnr.it (Unverified)

Please find enclosed an ASCII and a LAtex version of the preliminary call
for papers of LOPSTR'95.

We apologize if you receive this call for papers more than once.


===============================ASCII=========================

                 Preliminary Call for Papers

                         LOPSTR'95
                Fifth International Workshop on
           Logic Program Synthesis and Transformation
        20--22 September 1995, Utrecht, the Netherlands

LOPSTR'95 is the fifth in a series of annual workshops, after those in
Manchester (1991 and 1992), Louvain-la-Neuve (1993), and Pisa (1994). This
time the workshop will take place in Utrecht (the Netherlands) and it will be
run in parallel with {\bf PLILP'95}, the Seventh International Symposium on
Programming Languages, Implementations, Logics and Programs. LOPSTR and
PLILP will share invited lectures and sessions of common interest. The two
meetings will be organized by the Computer Science Department of Utrecht
University.

The aim of the workshop is to present recent work (including work in
progress) and  discuss new ideas and trends in the following fields: program
synthesis, program transformation, program specialization, partial deduction
all in the context of logic programming. Papers pointing out the
relationships of the above topics with other topics in the field of automated
program development, such as: automated deduction, constructive type theory,
implementation techniques, inductive logic programming, meta-languages,
program analysis, program specification, query optimization in deductive
databases, software engineering, synthesis and transformation in the context
of other programming languages, are welcomed. Papers describing automated
systems for program development and overviews of recent work on the topics of
interest are also solicited.

Authors should submit 5 copies of an extended abstract to the
following address by May 25, 1995:

     Maurizio Proietti
     IASI-CNR
     Viale Manzoni, 30
     I-00185 Roma, Italy
     Phone: +39 6 7716426, Fax: +39 6 7716461
     E-mail: proietti@iasi.rm.cnr.it

The submissions should include a return postal address and an e-mail
address, if available. Submission of abstracts by e-mail is also accepted
(LaTeX or Postscript). Authors will be notified of acceptance or rejection of
their abstracts for presentation at the workshop by July 20, 1995. The
accepted abstracts will be collected into preliminary proceedings which
will be available at the workshop. Extended abstracts can be completed into
full papers and submitted after the workshop by October 15, 1995.
Submitted papers will be reviewed for publication in the final proceedings
(which are expected to be published by Springer-Verlag). Authors will be
notified of acceptance or rejection of their papers for the proceedings by
December  1, 1995. Accepted papers must be received in camera-ready form
by January 15, 1996.

The extended abstract should be 5--8 page long (excluding references and
appendices). The following aspects will be relevant for the evaluation of the
submission: originality, clarity, significance, and correctness. In particular,
the abstract should clearly point out the relationships with published work
or submissions by the same authors and it should be understandable by a
broad audience. Proofs may be added in appendix, if needed.

Program Committee:
A. Bossi (U. Calabria, Rende, Italy), D. Boulanger (K.U. Leuven, Belgium),
Y. Deville (U.C. Louvain, Belgium), S. Debray (U. Arizona, Tucson, USA),
L. Fribourg (LIENS-CNRS, Paris, France), N. Fuchs (U. Zurich, Switzerland),
J. Gallagher (U. Bristol, UK), T. Mogensen (U. Copenhagen, Denmark),
M. Proietti (IASI-CNR, Roma, Italy, chair), H. Seki (NIT, Nagoya, Japan),
P. Tarau (U. Moncton, Canada), G. Wiggins (U. Edinburgh, UK)

Organizing Committee:   Doaitse Swierstra, Jeroen Fokker, Erik
Meijer,  Margje Punt (Utrecht University, the Netherlands)

For more information please contact Maurizio Proietti or
http://www.cs.ruu.nl/Home.html.


====================LATEX===========================================

% Document Type: LaTeX
% Master File: lopstr95cfp.tex
\documentstyle{article}
\pagestyle{empty}
\setlength{\oddsidemargin}{2mm}
\setlength{\textwidth}{16cm}
\setlength{\textheight}{26cm}
\setlength{\topmargin}{-10mm}
\setlength{\parindent}{0mm}
\setlength{\parskip}{5pt}
\newcommand{\subtitle}[1]{ \par \vspace*{\parskip} \par
                           {\large {\bf #1}}
                           \par }

\begin{document}

\begin{center}
{\large              Preliminary Call for Papers            }\\[.2cm]
\fbox{
\begin{minipage}{13cm}
\begin{center}
\vspace*{.2cm}
{\LARGE {\bf                     LOPSTR'95                        }}\\[.1cm]
{\Large                  Fifth International Workshop on           }\\[.1cm]
{\Large           Logic Program Synthesis and Transformation       }\\[.2cm]
{\large                        20--22 September 1995, Utrecht, the
Netherlands            }\\
\vspace*{.1cm}
\end{center}
\end{minipage}
}
\end{center}


LOPSTR'95 is the fifth in a series of annual workshops, after
those in Manchester (1991 and 1992), Louvain-la-Neuve (1993), and Pisa (1994).
This time the workshop will take place in Utrecht (the Netherlands)
and it will be run in parallel with {\bf PLILP'95}, the Seventh International
Symposium on {\em Programming Languages,  Implementations, Logics and
Programs}.
LOPSTR and PLILP will share invited lectures and sessions of common
interest.
The two meetings will be organized by the Computer Science Department
of Utrecht University.

The aim of the workshop is to present recent work (including work in
progress) and  discuss new ideas and trends in the following fields:
{\it program synthesis, program transformation, program specialization,
partial deduction} all in the context of logic programming.
Papers pointing out the relationships of the above topics with other topics
in the field of automated program development, such as:
automated deduction, constructive type theory,
implementation techniques, inductive logic programming, meta-languages,
program analysis, program specification,
query optimization in deductive databases, software engineering,
synthesis and transformation in the context of other programming
languages, are welcomed.
Papers describing automated systems for program development
and overviews of recent work on the topics of interest are also solicited.

Authors should submit 5 copies of an {\bf extended abstract}
to the following address by {\bf May 25, 1995}:

\hspace*{2cm}Maurizio Proietti \\
\hspace*{2cm}IASI-CNR          \\
\hspace*{2cm}Viale Manzoni, 30 \\
\hspace*{2cm}I-00185 Roma, Italy  \\
\hspace*{2cm}Phone: +39 6 7716426, Fax: +39 6 7716461 \\
\hspace*{2cm}E-mail: {\tt proietti@iasi.rm.cnr.it}

The submissions should include a return postal address and
an e-mail address, if available.
Submission of abstracts by e-mail is also accepted (LaTeX or Postscript).
Authors will be notified of acceptance or rejection of their
abstracts for presentation
at the workshop by {\bf July 20, 1995}.
The accepted abstracts will be collected into preliminary
proceedings which will be available at the workshop.
{\it Extended abstracts can be completed into
full papers and submitted after the workshop} by
{\bf October 15, 1995}. Submitted papers will be
reviewed for publication in the final proceedings (which are
expected to be published by Springer-Verlag).
Authors will be notified of acceptance or rejection of their papers for
the proceedings by {\bf December  1, 1995}. Accepted papers must
be received in camera-ready form
by {\bf January 15, 1996}.

The extended abstract should be 5--8 page long
(excluding references and appendices). The following aspects will be relevant
for the evaluation of the submission: originality, clarity,
significance, and correctness. In particular, the abstract should
clearly point out the relationships with published work or submissions
by the same authors and it should be understandable
by a broad audience. Proofs may be added in appendix, if needed.

\subtitle{Program Committee}

%\hspace*{.7cm}
\begin{tabular}{ @{} l  l @{\hspace{1cm}} l  l}
   A. Bossi & (U. Calabria, Rende, Italy)  &   J. Gallagher      & (U.
Bristol, UK)  \\
   D. Boulanger     & (K.U. Leuven, Belgium)   &   T. Mogensen & (U.
Copenhagen, Denmark)\\
   Y. Deville & (U.C. Louvain, Belgium)  &    M. Proietti & (IASI-CNR,
Roma, Italy) (chair)   \\
   S. Debray & (U. Arizona, Tucson, USA) &   H. Seki & (NIT, Nagoya, Japan)\\
   L. Fribourg & (LIENS-CNRS, Paris, France)  &    P. Tarau & (U. Moncton,
Canada)\\
   N. Fuchs & (U. Zurich, Switzerland) &   G. Wiggins & (U. Edinburgh, UK)
\end{tabular}

\subtitle{\bf Organizing Committee} Doaitse Swierstra, Jeroen Fokker, Erik
Meijer,  Margje Punt (Utrecht University, the Netherlands)\\

For more information please contact Maurizio Proietti or {\tt
http://www.cs.ruu.nl/Home.html}.
\end{document}




-------------------------------------------------------------------------------
REPLIES TO THIS MESSAGE WILL GO ONLY TO THE SENDER

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

  if your address is going to change
    send an unsubscribe request from the old address (before the change) 
    send a subscribe request from the new address (after the change)

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

