| Subject | From | # of followups |
|---|---|---|
| [mizar] Automated Formal Methods (AFM) 2017 Final Call for papers | Sam Owre | 0 |
| [mizar] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton | Sam Owre | 0 |
| [mizar] AFM deadline extension: Automated Formal Methods 2017 Final Call for papers | Sam Owre | 0 |