| Subject | From | # of followups |
|---|---|---|
| [mizar] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025 | Manuel Alejandro Borroto S | 0 |
| [mizar] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 | Manuel Alejandro Borroto S | 0 |