| Subject | From | # of followups |
|---|---|---|
| [mizar] UITP'12: First Call for Papers | Cezary Kaliszyk | 0 |
| [mizar] FW: overlijden Dick de Bruijn | Josef Urban | 0 |
| [mizar] CICM 2012 -- last call for papers (fwd) | Adam Naumowicz | 0 |
| [mizar] New Mizar articles | Adam Grabowski | 0 |
| [mizar] ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012) | Hugo Herbelin | 0 |
| [mizar] Call for papers: THedu'12 | Makarius | 0 |
| [mizar] lstlangmizar.sty | Josef Urban | 0 |
| [mizar] CfP: IJCAR Workshop on Automated Theory Exploration | Josef Urban | 0 |