The list of topics does not contain typing aspects explicitly. The aim is to bring together researchers interested in incorporating object-oriented concepts and formal methods for specification of distributed systems and behaviours. Logic reasoning on distributed systems and behaviours. The deadline for submission is September 2, 1999.
Submission is in electronic form only.
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. 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.