CFP Categories
Programming Call for Papers
CFP | Dates | Location |
---|---|---|
HCVS 2025 : 12th Workshop on Horn Clauses for Verification and Synthesis | Jul 22, 2025 - Jul 22, 2025 | Zagreb |
VL/HCC 2025 : IEEE Symposium on Visual Languages and Human-Centric Computing | Oct 06, 2025 - Oct 10, 2025 | Raleigh, North Carolina, United States |