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