| 8 Sept 2019 | The Coq Workshop 2019 |
| 13 Sept 2019 | Proof Ground: Interactive Proving Contests |
| 13 Sept 2019 | SpISA 2019: Workshop on Instruction Set Architecture Specification |
| 8 Sept 2019 | The Coq Workshop 2019 |
| 13 Sept 2019 | Proof Ground: Interactive Proving Contests |
| 13 Sept 2019 | SpISA 2019: Workshop on Instruction Set Architecture Specification |