| Subject | From | # of followups |
|---|---|---|
| [mizar] VSTTE 2013 Call for Participation | Sam Owre | 0 |
| [mizar] last CfA "TP components for educational software" at CICM | Makarius | 0 |
| [mizar] VeriSure Workshop Call for Papers | Sam Owre | 0 |
| [mizar] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June | Christoph LANGE | 0 |