从嵌入式系统的微观规模（异步逻辑、网络芯片、GALS、多核处理器等）到网格和云计算的宏观规模，异步并发变得无处不在。在提高性能和降低功耗的竞争中，硬件架构师正在走向异步，即几个实体在没有中央时钟的情况下并发操作。提高性能的代价是增加了设计复杂性，这只能通过正式验证来解决。

为了提高并发异步系统设计和分析的最新水平，CONVCS遵循五个相互关联的科学主题的研究计划：

1. 从高级形式语言到并发实现。


2. 并行和分布式验证算法。


3. 处理时间、概率和随机方面。


4. 用于实时验证的基于组件的体系结构。


5. 真实世界应用程序和案例研究。