From andreoli@xerox.fr Tue Mar 29 22:20:28 EST 1994 Article: 80 of comp.constraints Xref: glinda.oz.cs.cmu.edu comp.object.logic:153 comp.object:15962 comp.lang.prolog:10097 comp.constraints:80 Newsgroups: comp.object.logic,comp.object,comp.lang.prolog,comp.constraints Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!news.imag.fr!pinea.xerox.fr!andreoli From: andreoli@xerox.fr (Jean Marc Andreoli) Subject: CFP ECOOP'94 workshop (w4) on Logical Foundations of OOP Message-ID: <1994Mar29.101118@xerox.fr> Sender: news@xerox.fr Nntp-Posting-Host: domenon.grenoble.rxrc.xerox.com Organization: Rank Xerox Research Centre Date: Tue, 29 Mar 1994 08:11:18 GMT Lines: 81 ---------------------------------------------------------------------- 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. ----------------------------------------------------------------------