Chronological Index (2503)

Subject	From	# of followups
[mizar] AITP 2025 - Call for Contributions	Josef Urban	0
[mizar] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025	Manuel Alejandro Borroto S	0
[mizar] [ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025	Manuel Alejandro Borroto S	0
[mizar] [Second 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