[Prev][Next][Index][Thread]

CFP, ECOOP'94 workshop (W4) on Logical Foundations of OOP



----------------------------------------------------------------------
			Call for participation

			   One day workshop
				  on
	Logical Foundations of Object Oriented Programming

		     in connection with ECOOP'94
		           4 - 8 July 1994
		           Bologna,  Italy

The aim of this workshop is to investigate the relation between logic,
computing and object oriented programming.

Both the declarative and computational aspects of logic have long been
exploited in the context of object-oriented programming. For instance,
researchers   have    investigated  the  use   of   static   type- and
effect-inferencing   mechanisms, and the   use of Dijkstra-Hoare-style
assertional systems  for   reasoning about state changes   produced by
method invocations.    Considerable work  has been done   in extending
basic declarative computational formalisms (e.g. lambda calculus) that
support  the essence  of  OOP.  On the   computational side, novel OOP
techniques have emerged from  the use of "agent-oriented" (concurrent)
programming languages based   on the computational interpretation   of
fragments of various logics.

Conversely,   some  of the fundamental  insights   of  OOP concern the
structuring  of large  (computational)  formal  descriptions so as  to
minimize change  in the face of  evolution. These insights are equally
applicable when the  formal systems are  also logical, as happens  for
example,   in constructing  large  domain  theories   of phenomena  of
interest.

Recent developments in substructural approaches to logic (e.g.  linear
logic) and rewriting logic offer the promise of considerably expanding
the repertoire of  logical techniques that  can be brought to  bear in
the design, execution and  analysis of OO systems. These  developments
internalize a  fundamental  notion  of localized state-change   within
logic. A primary objective of this workshop will be to investigate the
applicability and   usefulness of these   techniques to the  design of
real-world object-oriented computational systems.

The workshop will  consist of short presentations  as well as informal
discussions.  We expect to establish  a state-of-the-art in the use of
logic for Object Oriented  Programming, as well  as to contribute to a
better  understanding  between researchers  in  this area.   Topics of
interest include but are not limited to the following:

- Logic based models for Object Oriented Programming
- Logic and change
- Use of logic in object-oriented domain modeling and analysis
- Declarative object-oriented real-time systems
- Abstraction, Encapsulation, and information hiding in logic
- Knowledge-structuring mechanisms in logic (inheritance, overriding...)
- Process-oriented mechanisms in logic (communication, synchronization...)

Last but not least, descriptions  of  applications developed on  logic
based object-oriented environments are welcome.

Organizers:
	Jean-Marc Andreoli (Rank-Xerox, Grenoble, France) and
	Vijay Saraswat (Xerox, Palo-Alto, California)

Please send a position paper (e-mail if possible, latex prefered) to

Jean-Marc Andreoli         | Tel:  +33 76 61 50 80
Rank Xerox Research Center | Switchboard:  +33 76 61 50 50
6 Chemin de Maupertuis     | Fax:  +33 76 61 50 99
38240 Meylan (France)      | E-mail:  Jean.Marc.Andreoli@xerox.fr

Specify whether you wish to make a presentation (in  that case, send a
title and 2-3-line abstract). Presentations are  limited to 15 minutes
and will be selected and scheduled by the organizers.

Submission due:		13 May, 1994
Date of the workshop:	4 July, 1994

IMPORTANT:
The  participation  to  the   workshop  is  free,  but  each  workshop
participant must have registered for the main ECOOP conference.
----------------------------------------------------------------------