| Subject | From | # of followups |
|---|---|---|
| [mizar] RDP 2015 Last Call for Workshops | Aleksy Schubert | 0 |
| [mizar] Doctoral Program on Logical Methods in Computer Science (LogiCS) | list-announcer | 0 |
| [mizar] QED+20 - JFR Special Issue: Last Call for Papers - EXTENDED DEADLINE | Josef Urban | 0 |