Concurrency, Specification and Programming

摘要

This is the first part of the sixteenth special issue of Fundamenta Informaticae based on the CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P) workshop, in succession to the fifteenth special issue published in 2013. This part contains selected and extended versions of 15 out of 42 papers presented at the meeting that took place in Warsaw from 25 to 27 September 2013. As it was the case of all the previous special issues of Fundamenta Informaticae based on CS&P, the papers were selected on the basis of a review process admitted by international scientific periodicals. A complete collection of the contributions has been edited by scientists of University of Warsaw and published before the workshop as Proceedings. This is, thus, a continuation of the tradition of the former CS&Ps, whose participants had been supplied with proceedings in the form of technical reports during the meetings. The papers contained in both parts of the special issue cover the following topics: mathematical models of concurrent systems, parallel algorithms, model checking, multiagent systems, rough sets, workflow systems, mereological approaches, knowledge management, knowledge discovery and data mining, neural networks, machine learning, robotics, genetic algorithms, soft computing and some applications. The CS&P workshops, being held every even year in Germany and every odd year in Poland, are supported by University of Warsaw and Humboldt University in Berlin on the basis of an exchange programme. Initiated by computer science and mathematical logic interest groups affiliated to Warsaw and Humboldt Universities in the mid-seventies of the XX century, the workshops were suspended for some years in the eighties and resumed in 1992 in the extended form of participation: they evolved from bilateral meetings to the meetings hosting researchers also from a number of countries other than Germany and Poland. The scope of subjects has been broadened too: from linguistic and logical issues initially to diverse research areas such as, for instance, the aforesaid ones.