29th international Workshop on Concurrency, Specification and Programming (CS&P'21)
Berlin, Germany, 27. - 28. September 2021
Topics
Topics of the workshop include, but are not limited to:
- Mathematical models of concurrency
- Formal specification languages
- Theory of programming
- Model checking and testing
- Multi-agent systems
- Rough sets
- Verification
- Formal aspects of knowledge management
- Knowledge discovery and data mining
- Soft computing
- Applications, e.g. in Robotics
Webmaster