CONCURRENCY SPECIFICATION AND PROGRAMMING
CS&P'2008
Gross Vaeter nearby Berlin, Germany, 29. September - 1. October 2008
Topics
Topics of the workshop include but are not limited to the following:
Mathematical models of concurrent systems
Complexity of parallel algorithms
Algebraic, logical, set-theoretical, net-theoretical specification
Implementing parallel algorithms
Object-oriented approaches
Knowledge Discovery and Data Mining
Information Technology and Management
Webmaster