| Subject | From | # of followups |
|---|---|---|
| [mizar] FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria) | Aleksy Schubert | 0 |
| [mizar] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct) | Christoph LANGE | 0 |
| [mizar] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call) | Aleksy Schubert | 0 |