| Subject | From | # of followups |
|---|---|---|
| [mizar] FMCAD Student Forum: Call for Contributions | list-announcer | 0 |
| [mizar] AVoCS 2015: Extended Paper Deadline | YuHui Lin | 0 |
| [mizar] Formal Mathematics for Mathematicians Workshop 2015 - SUBMISSION DEADLINE EXTENDED | Adam Naumowicz | 0 |