Konferencja

2011-09-28 - 2011-09-30

Concurrency, Specification and Programming 2011

CONCURRENCY SPECIFICATION AND PROGRAMMING

INTERNATIONAL WORKSHOP CS&P 2011

CALL FOR PAPERS AND PARTICIPATION

Pułtusk Castle, Poland, 28-30 September 2011

 This workshop is one of a series of seminars organized every even year by Humboldt University of Berlin and every odd year by Warsaw University. According to a tradition dating back to the 1970s, the workshop has an informal character. Therefore, submissions not only of full papers (not exceeding 12 pages) but also extended abstracts are welcome. Accepted papers will be published in the workshop proceedings. Selected contributions are planned to appear in a special issue of Fundamenta Informaticae following the regular refereeing procedure of this journal.

Topics of the workshop include:

- Mathematical models of concurrency

- Specification languages

- Theory of programming

- Parallel algorithms

- Model checking and testing

- Multi-agent systems

- Rough sets

- Object-oriented approaches

- Knowledge management

- Knowledge discovery and data mining

- Soft computing

- Applications

This list is not intended to be exclusive.