| Subject | From | # of followups |
|---|---|---|
| [mizar] 2nd CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call) | Aleksy Schubert | 0 |
| [mizar] FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna) | Aleksy Schubert | 0 |