CFP Categories
Logic Call for Papers
| CFP | Dates | Location |
|---|---|---|
| HCVS 2025 : 12th Workshop on Horn Clauses for Verification and Synthesis | Jul 22, 2025 - Jul 22, 2025 | Zagreb |
| DLT 2025 : The 29th International Conference on Developments in Language Theory | Aug 19, 2025 - Aug 22, 2025 | Seoul, South Korea |
| MFCS 2025 : Mathematical Foundations of Computer Science | Aug 25, 2025 - Aug 29, 2025 | Warsaw, Poland |
| JELIA 2025 : 19th European Conference on Logics in Artificial Intelligence | Sep 01, 2025 - Sep 05, 2025 | Kutaisi, Georgia |