| Subject | From | # of followups |
|---|---|---|
| [mizar] AVoCS 2015: Final Call for Papers | YuHui Lin | 0 |
| [mizar] Formal Mathematics for Mathematicians Workshop 2015 | Adam Naumowicz | 0 |
| [mizar] New Doctoral Program on Logical Methods in Computer Science (LogiCS) | list-announcer | 0 |