| Subject | From | # of followups |
|---|---|---|
| [mizar] Call for Extended Abstracts: THedu'13 | Makarius | 0 |
| [mizar] PxTP 2013: Second Call for Papers | Josef Urban | 0 |
| [mizar] VeriSure Workshop Call for Papers | Sam Owre | 0 |
| [mizar] Fwd: KInAR | Josef Urban | 0 |
| [mizar] Third Summer School on Formal Techniques, May 20-24, 2013 | Sam Owre | 0 |