| Subject | From | # of followups |
|---|---|---|
| [mizar] VSTTE Competition 2013 | Sam Owre | 0 |
| [mizar] PxTP 2013 extended deadline (22 Apr.) | Josef Urban | 0 |
| [mizar] VSTTE Competition 2013 Second Announcement | Sam Owre | 0 |
| [mizar] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June | Christoph LANGE | 0 |
| [mizar] VSTTE 2013 Call for Participation | Sam Owre | 0 |