10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2023
23rd April 2023 - Paris, France
https://www.sci.unich.it/hcvs23/
Important dates:
- Paper submission deadline: Feb 22, 2023
- Paper notification: Mar 22, 2023
- Workshop: Apr 23, 2023
Many
=
CALL FOR PAPERS: CALCO 2023
10th International Conference on
Algebra and Coalgebra in Computer Science
June 19-22, 2023
Bloomington, Indiana (USA) and online
Co-located with MFPS XXXIX
https://coalg.org/calco-mfps-2023/