27th international Workshop on Concurrency, Specification and Programming (CS&P'18)
Berlin, Germany, 24. - 26. September 2018
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