Thread Index (2503)

[Chronological Index] [Top]
Last update: Tue Apr 01 00:15:02 2025
4 threaded messages

  • [mizar] AITP 2025 - Call for Contributions, Josef Urban
  • [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 Santana
  • [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 Santana
  • [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 Santana

    • [Chronological Index] [Top]