| Subject | From | # of followups |
|---|---|---|
| [mizar] THedu'11: May 6 deadline extension for ext.abstracts | Makarius | 0 |
| [mizar] Call for bids ITP 2012 | Freek Wiedijk | 0 |
| [mizar] Call for Papers ACL2 2011 | Freek Wiedijk | 0 |
| [mizar] 2nd CfP (1 week to go) Workshop Mathematical Wikis @ ITP 2011 (Nijmegen, NL, Aug 27; abstract submission May 30) | Josef Urban | 0 |