| Subject | From | # of followups |
|---|---|---|
| [mizar] Verification and Deduction Mentoring Workshop 2018 | geoff | 0 |
| [mizar] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA | Michael Kohlhase | 0 |
| [mizar] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA | Michael Kohlhase | 0 |
| [mizar] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE | Josef Urban | 0 |
| [mizar] Multiple Positions at FAU Erlangen/Nürnberg | Michael Kohlhase | 0 |