OOSDS99 Call for papers

[Natalia Ioustinova <ustin@informatik.uni-rostock.de>]

========================================================================
This message contains public information, only, and the receiver
is allowed, and invited, to copy it and distribute it further.

Our apologies if you received duplicates of this message due to the
mailing list aliases.

You can also visit the OOSDS'99 web site at
http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/

========================================================================
			   CALL FOR PAPERS

			       OOSDS'99
				   
	Workshop on Object-Oriented Specification Techniques
	        for Distributed Systems and Behaviours

		Paris, France, September 27, 1999
	http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/
	
========================================================================

SCOPE OF WORKSHOP:
=================
The workshop is focused on specification languages for distributed 
systems which are extensions of object-oriented languages or have an 
object-oriented kind of base structure. The aim is to bring together
researchers interested in incorporating object-oriented concepts 
and  formal methods for specification of distributed systems and
behaviours. 

TOPICS (NOT EXCLUSIVE LIST):
============================
Object-oriented approaches to specification of distributed systems 
and behaviours.

Semantic models for concurrency and object-orientation (e.g. based on the 
lambda-calculus, process algebra, pi-calculus, linear logic).

Characteristic examples of object-oriented specification from real 
application domains (e.g. distributed algorithms, workflow specification, 
communication protocols).

Logic reasoning on distributed systems and behaviours.

SUBMISSION:
===========
The deadline for submission is September 2, 1999. 
Submission is in electronic form only.
Submission may be of two forms:
	Extended abstracts: up to 3 pages.
	Papers and reports: up to 6 pages.
In both cases a separate page with the following information: 
        title, author(s), corresponding author,
        contact information and a 12-15 lines summary 
should be included.
The papers and/or abstracts should be sent by e-mail to 
ustin@informatik.uni-rostock.de.
Selection for presentation will be carried out by the organizers.
Emphasis is put on the potential of the submission to stimulate 
discussions in the above-mentioned scope.
Notification of acceptance is expected for September 14, 1999.

PUBLICATION:
============
The accepted submissions will be published electronically,
i.e. they will remain available from the workshop web page.
Furthermore, selected papers will be invited for post
workshop publication. 

RELATED EVENTS:
==============
This workshop is organized as a satellite workshop of PPDP'99, 
The 1999 International Conference on  Principles and Practice 
of Declarative Programming, Paris, France, September 29-October 1, 1999. 
http://www.dmi.ens.fr/~fages/PPDP99/

ORGANIZATION COMMITTEE:
=======================
Clemens H. Cap  (Rostock University, Germany) 
Natalia Ioustinova  (Rostock University, Germany) 
Javier Oliver  (Technical University of Valencia, Spain) 
Nobuko Yoshida  (University of Sussex, UK)

ADDITIONAL INFORMATION:
=======================
WEB: http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/
MAIL: ustin@informatik.uni-rostock.de


>From ustin Thu Mar  4 09:48:06 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, acclaim@sics.se, cat, echo, for, papers,
    sleep, to, ustin@informatik.uni-rostock.de, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:48:16 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, afp@cs.chalmers.se,
    alp-diffusion@univ-lille1.fr, cat, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:48:26 1999
To: -s, 5, Call, Mail, OOSDS99, Sent,
    alp-list@intellektik.informatik.th-darmstadt.de, benelog@cs.kuleuven.ac.be,
    cat, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:48:36 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, cat, categories@mta.ca,
    cav-all@csa.cs.technion.ac.il, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:48:47 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, cat, ccl@dfki.de, ccp@sics.se, echo, for,
    papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:48:57 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, cat, choose-news@iam.unibe.ch,
    clp@comp.nus.edu.sg, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:49:07 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, cat, compulog-deduction@cs.bham.ac.uk,
    compulog-list@cwi.nl, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:49:17 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, cat, compunode@compulog.org,
    compunode@dfki.de, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0


>From ustin Thu Mar  4 09:49:27 1999
To: -s, 5, Call, Mail, OOSDS99, Sent, cat, concurrency@cwi.nl,
    conferences@iao.fhg.de, echo, for, papers, sleep, to, |
Subject: OOSDS99
Content-Length: 0