| Subject | From | # of followups |
|---|---|---|
| [mizar] RDP 2015 Call for Workshops | Aleksy Schubert | 0 |
| [mizar] Fwd: Flyspeck project completion | Josef Urban | 0 |
| [mizar] 2nd CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call) | Hugo Herbelin | 0 |
| [mizar] Final CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call, extended deadline) | Hugo Herbelin | 0 |