Thread Index (2605)

[Chronological Index] [Top]
Last update: Wed May 06 00:15:04 2026
2 threaded messages

  • [mizar] [Call for Papers: Deadline Extension] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning, Antonio Ielo
  • [mizar] AITP 2026 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12, Josef Urban

    • [Chronological Index] [Top]