| Subject | From | # of followups |
|---|---|---|
| [mizar] Types Meeting 2014 in Paris, 12 - 15 May: Last call for participation | Hugo Herbelin | 0 |
| [mizar] Fwd: [MKM-IG] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014 | Josef Urban | 0 |
| [mizar] Notion of Proof 2014: Extended deadline and final Call for Papers | Jesse Alama | 0 |
| [mizar] ∀X.Xπ - APPA - Call for Participation/Registratio | Makarius | 0 |
| [mizar] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014) | Michael Kohlhase | 0 |