Thread Index (2502)

[Chronological Index] [Top]
Last update: Fri Feb 28 00:15:04 2025
2 threaded messages

  • [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 Santana
  • [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 Santana

    • [Chronological Index] [Top]