Newsgroups: comp.parallel
From: chizzoni@dsi.unimi.it (Alfredo Chizzoni)
Subject: 2nd CfP: "Workshop on OOP and models of concurrency '95"
Organization: Petri Nets LAboratory - University of Milano (ITALY)
Date: Fri, 24 Feb 1995 13:41:37 -0400
Message-ID: <3ivv6e$dd5@usenet.srv.cis.pitt.edu>

It follows the 2nd call for papers for the OOP&MC 95 workshop. For
organizational reason we ask you to notify us any planned submission.

Thanks in advance,
Alfredo Chizzoni
________________________________________________________

*** Workshop on Object-Oriented Programming and Models of Concurrency
***

a workshop within the 
XVI International Conference on Applications and Theory of Petri Nets

Torino, Tuesday June 27, 1995

Organizers:
Gul Agha, Univ. of Illinois at Urbana, Champaign
Fiorella De Cindio, DSI, Univ. of Milano

Objects provide natural parallelism and have proved of increasing
practical importance in software.  The semantics of object systems
remains an active area of research.  In particular, a number of
concurrency theories, including Petri nets, have been used to provide
a formal model of concurrent objects.  Moreover, both Petri nets and
object-oriented design methods are in use for software modelling in
real systems.

The workshop will focus on the relation between different models of
concurrency and their applications to software engineering.  Specific
areas of interest include but are not limited to:

-- formalisms to model concurrent object-oriented languages and
systems

-- object-orientation and net models for system specification,
development and verification

-- software development tools based on nets or objects

-- experiences in using Petri Nets or concurrent object-oriented
methods in specific application domains

Researchers interested in the relation between objects, Petri nets and
related formalisms are invited to submit an extended abstact (up to 5
pages) or a position paper (up to 2 pages).  The workshop will include
time for presentations and discussion. 

The workshop will be held in conjunction with the XVI Petri Net
conference.  Proceedings of workshops held in conjunction with
previous Petri Net conferences have been published by Springer-Verlag.
We will similarly consider publishing a post-conference proceedings.

IMPORTANT DATES

Submission of the abstract (via email:
petrilab@hermes.mc.dsi.unimi.it): 
March 20, 1995

Notification of acceptance:
April 15, 1995

Final copy of the paper is due:
June 1, 1995

