This volume contains the post-proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid-19 pandemic as an affiliated workshop of ETAPS.
翻译：本卷载有第八次关于“关于核查和合成的非洲之角条款”讲习班的后期工作,这次讲习班实际上由于Covid-19大流行而举行,作为欧洲反恐和防扩散方案的一个附属讲习班。
相关内容
ETAPS是欧洲主要的学术和工业研究论坛，致力于与软件科学相关的课题。ETAPS成立于1998年，是由ESOP、FASE、FoSSaCS和TACAS四个年度会议组成的联合会，并有卫星讲习班。官网链接：https://www.etaps.org/
Arxiv
0+阅读 · 2021年10月28日
Arxiv
0+阅读 · 2021年10月27日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2021年10月28日
Arxiv
0+阅读 · 2021年10月27日
微信扫码咨询专知VIP会员