| Subject | From | # of followups |
|---|---|---|
| [mizar] Artificial Intelligence and Symbolic Computation AISC 2014 | Josef Urban | 0 |
| [mizar] AI4FM 2014: Call for Participation | Iain Whiteside | 0 |
| [mizar] Types Meeting 2014 in Paris, 12 - 15 May: call for participation | Hugo Herbelin | 0 |
| [mizar] CfP: The Notion of Proof | Jesse Alama | 0 |