核心协同单位： 

       法国高师集团 

       荷兰莱顿大学 

       荷兰国家数学与信息研究院（CWI） 

       法国IRISA实验室 

       法国里昂LIP实验室 

其他协同单位：

国际科研项目合作方面 

       西北工业大学，南京大学 

法国INRIA（ Eric Madelaine ） 

丹麦科技大学 （Flemming Nielson） 

丹麦奥尔堡大学 （Kim Larsen）

美国UC Berkley大学（Michael Franklin） 

产学研协同创新方面 

中国电信，中国电子科技集团，上汽集团，航天科技集团 

法国Orange，法国INRIA，法国Esteral，微软剑桥研究院 

国际人才培养方面 

法国电信矿业大学

上海纽约大学

巴黎第七大学 

法国蔚蓝海岸大学

日本法政大学

澳大利亚悉尼科技大学

国际人员交流方面 

英国牛津大学（Bill Roscoe） 

丹麦科技大学（Dines Bjorner）

微软剑桥研究院（Tony Hoare） 

英国约克大学（Jim Woodcock）

爱尔兰都柏林圣三一学院（Andrew Butterfield）