Leibniz International Proceedings in Informatics 14th International Conference on Interactive Theorem Proving (ITP 2023) 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18
13th installment of the Coq Workshop series (Coq workshop 2022) 13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel.
[Research Report] E-458.PDF, MINES ParisTech-PSL Research University. 2022 EC'22-Twenty-Third ACM Conference on Economics and Computation EC'22-Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States.
FAB 2021-Fourth International Symposium on Foundations and Applications of Blockchain FAB 2021-Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Linux Audio Conférence 2017 Linux Audio Conférence 2017, May 2017, Saint Etienne, France. pp.151-153 Linux Audio Conférence 2017, May 2017, Saint Etienne, France. 2017