The first CAP workshop is planned to be host in Heidelberg, as a satellite event of CAV.
Details of the workshop proposal are available in the dedicated page.
First CAP workshop
- Paper accepted in VMCAI’17
- Two papers accepted in TACAS’17
The first CAP workshop is planned to be host in Heidelberg, as a satellite event of CAV.
Details of the workshop proposal are available in the dedicated page.