GoingToMeet

The scope of the workshop is broad. Its goal is to discuss models of concurrency with an emphasis on issues relevant to certain application domains which have led or could lead to the addition of structural enhancements. Here it is worthwhile to remark that often specific issues when formalised as a feature of a certain model turn out to be useful in a different setting for another application. The focus of the workshop will be on qualitative rather than quantitative aspects of concurrent systems.


For the (enhanced) models under discussion, also analysis techniques, extended or even completely new, are to be considered. Through a relatively informal presentation of results and discussion of challenges, future cooperation will be stimulated. The meeting is deliberately not focussed on any particular model of concurrency, issue or application. Fundamental approaches as well as interdisciplinary applications may be discussed.