Topics

The main topic is Concurrent Computing and the name is chosen to cover all aspects of the exploitation of concurrency in Information processing. Topics include, but are not limited to:

• Modeling. Formal Verification

• Parallel and Distributed Processing and Computing

• Cluster Computing

• Large Scale Network Computing (e.g. The GRID)

• Concurrent Computing Algorithms

• Concurrency in Embedded Systems

• VLSI-level Concurrent Processing

• Concurrency in Data Base Management

• Concurrent Data Mining

• Automatic Concurrency Generation

• Mobile Concurrent Code Generation and Execution

• Real Time Concurrent Systems

• Concurrent Processing in Very Large Networks (Internet)

• Applications of Concurrency in Digital Systems

• Mobile Communications and their Applications

• Load Distribution, Balancing and Scheduling in Concurrent Systems

• Operating System Support for Concurrent Computing

• Instruction Level Parallelism

• Critical Communicating Systems and Applications