CONCURRENCY SPECIFICATION AND PROGRAMMING
CS&P'2010
Helenenau ( near Berlin), Germany, 27. September - 29. September 2010
Topics
Topics of the workshop include but are not limited to the following:
Mathematical models of concurrency
Complexity of parallel algorithms
Algebraic, logical, set-theoretical, net-theoretical specification
Object-oriented approaches
Knowledge Discovery and Data Mining
Information Technology and Management