Workshop 6: Object-Oriented Programming
Programme Committee:
General Chair. Denis Caromel
(University de Nice - INRIA Sophia Antipolis),
caromel@unice.fr
Local Chair. Antonio Corradi
(University of Bologna, Italy),
acorradi@deis.unibo.it
Vice Chair. Gul Agha
(University of Illinois),
agha@cs.uiuc.edu
Vice Chair. Geoffrey Fox
(University of Syracuse),
gcf@npac.syr.edu
Description:
This workshop deals with all topics concerning concurrent, parallel and
distributed object-oriented programming. This includes models,
languages and techniques for concurrent and/or distributed
object-oriented programming, object-oriented techniques to manage
the complexity of parallel models of computation as well as
object-oriented analysis and design of concurrent systems. We are hoping for a lively dialogue between researchers of theory (how to model, specify and verify)
and practice (how to designand implement) in concurrent object-oriented environments and applications.
Topics of interest include:
- languages, models and semantics
- concepts and methods
- specification techniques
- verification techniques and logics
- patterns and frameworks
- applications, implementations and case studies