| Subject | From | # of followups |
|---|---|---|
| [mizar] Formalization of math theorems in Mizar | Shuwei Chen | 0 |
| [mizar] ADG 2016 : deadline extended until Mai 2 | Julien Narboux | 0 |
| [mizar] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems | Lin, Yuhui | 0 |