MZK@LEICESTER.AC.UK (11/22/89)
CALL FOR PAPERS
International Workshop on Semantics for Concurrency
23rd-25th July, 1990, University of Leicester
The International BCS-FACS Workshop on Semantics for Concurrency will take place
on 23rd-25th July at the University of Leicester, Leicester, UK, in the week
following ICALP 90 to be held at the University of Warwick, Coventry, UK.
Leicester is conveniently positioned in central England, and is within easy
reach of Coventry. Those wishing to stay on after ICALP may obtain accommodat-
ion for the days preceding the workshop at very reasonable prices. During this
time there will be an opportunity to join in a programme of entertainment. The
preliminary announcement for the workshop has met with a very encouraging res-
ponse.
Semantics of concurrent systems is one of the most vigorous areas of theoretical
computer science, but suffers from disagreement due to different, and often in-
compatible, attitudes towards abstracting non-sequential behaviour. When conf-
ronted with process algebras, which give rise to very elegant, highly abstract
and compositional models, traditionally based on the interleaving abstraction,
some argue that the wealth of contribution they have made is partially offset by
the difficulty in dealing with topics such as fairness. On the other hand, the
non-interleaving approaches, based on causality, although easing problems such
as fairness and confusion, still lack structure, compositionality, and the ele-
gance of their interleaving counterparts. Since both these approaches have un-
doubtedly provided important contributions towards understanding of concurrent
systems, the workshop will concentrate on what they have in common, rather than
the way they differ.
The workshop will incorporate a number of tutorials, devoted to invited talks
concentrating on giving an overview of major approaches to concurrency. The
invited speakers will include: Prof. Robin MILNER (Edinburgh), Prof. Eike BEST
(Hildesheim), Prof. Antoni MAZURKIEWICZ (PAS).
Contributions are sought for full papers (up to 20 double-spaced pages) on a
wide range of issues in the semantics for concurrency. Papers should be sub-
mitted in triplicate to Marta KWIATKOWSKA at the address shown below. Authors
who have limited access to reproduction facilities may submit one copy of the
paper. Both surveys and progress reports are strongly encouraged. Accepted
papers will be published by Springer-Verlag in the proceedings available at the
workshop. A special issue of Theoretical Computer Science including some of
the best papers is intended. Contributors may also submit polished papers for
publication in Formal Aspects of Computing.
TOPICS WILL INCLUDE (the list is not exhaustive): mathematical models and notat-
ions for concurrency including categorical and topological methods; non-inter-
leaving and partial order semantics; distributed computation; process calculae;
behavioural equivalences; behavioural properties of concurrent systems including
fairness; logics for concurrency; real-time systems.
ADDRESS FOR SUBMISSION AND INFORMATION: IMPORTANT DEADLINES:
Dr. Marta Kwiatkowska Submission of 3 copies
Workshop on Semantics for Concurrency of a full paper: 1st February
Department of Computing Studies Notification of authors: 15th March
University of Leicester Camera-ready papers by: 25th April
Leicester LE1 7RH, UK
E-mail JANET: mzk@uk.ac.le
Telephone: +44-533-523603
Organising Committee: Marta Kwiatkowska, Mike Shields, Rick Thomas