2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th International Symposium on. :193-200 Sep, 2013
ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors Application-specific Systems Architectures and Processors (ASAP), 2010 21st IEEE International Conference on. :317-320 Jul, 2010
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.