Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Preface

Preface Fundamenta Informaticae 109 (2011) i–i DOI 10.3233/FI-2011-506 IOS Press Concurrency Specification and Programming (CS&P) This is the first part of the thirteenth special issue of Fundamenta Informaticae devoted to the CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P) workshop, in succession to the twelfth special issue published in 2010. This part contains selected and extended versions of 10 out of 40 papers presented at the meeting that took place in Helenenau, Germany, from 27 to 29 September 2010. 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 published before the workshop by Humboldt University in Berlin 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, Petri nets in particular, parallel algorithms, model checking and testing, theory of programming, specification languages, multiagent systems, rough sets, object-oriented approaches, knowledge management, knowledge discovery and data mining, as well as 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 Warsaw University 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 such research areas as the ones mentioned above. Ludwik Czaja, Institute of Informatics, University of Warsaw and University of Economics and Computer Science in Warsaw (Editor of the issue) Warsaw, May 2011 http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Fundamenta Informaticae IOS Press

Preface

Fundamenta Informaticae , Volume 109 (3) – Jan 1, 2011

Loading next page...
 
/lp/ios-press/preface-kkmgfg0Dyw

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
IOS Press
Copyright
Copyright © 2011 by IOS Press, Inc
ISSN
0169-2968
eISSN
1875-8681
DOI
10.3233/FI-2011-506
Publisher site
See Article on Publisher Site

Abstract

Fundamenta Informaticae 109 (2011) i–i DOI 10.3233/FI-2011-506 IOS Press Concurrency Specification and Programming (CS&P) This is the first part of the thirteenth special issue of Fundamenta Informaticae devoted to the CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P) workshop, in succession to the twelfth special issue published in 2010. This part contains selected and extended versions of 10 out of 40 papers presented at the meeting that took place in Helenenau, Germany, from 27 to 29 September 2010. 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 published before the workshop by Humboldt University in Berlin 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, Petri nets in particular, parallel algorithms, model checking and testing, theory of programming, specification languages, multiagent systems, rough sets, object-oriented approaches, knowledge management, knowledge discovery and data mining, as well as 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 Warsaw University 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 such research areas as the ones mentioned above. Ludwik Czaja, Institute of Informatics, University of Warsaw and University of Economics and Computer Science in Warsaw (Editor of the issue) Warsaw, May 2011

Journal

Fundamenta InformaticaeIOS Press

Published: Jan 1, 2011

There are no references for this article.