| Subject | From | # of followups |
|---|---|---|
| [mizar] CFP: Computer-assisted Formalization of Mathematics at 6PCM 2014, Bialystok, Poland | Artur Kornilowicz | 0 |
| [mizar] CFP: Computer-assisted Formalization of Mathematics at 6PCM 2014, Bialystok, Poland | Artur Kornilowicz | 0 |
| [mizar] AI4FM 2014: Call for Short Contributions | Iain Whiteside | 0 |
| [mizar] *Deadline extended* Final call for contributions AI4FM 2014 | Iain Whiteside | 0 |
| [mizar] 2nd CFP: 6PCM | Artur Kornilowicz | 0 |
| [mizar] Fwd: [Hol-info] CICM 2014: Extended Deadline March 14th, 2014 | Josef Urban | 0 |