SMT 2020-18th International Workshop on Satisfiability Modulo Theories SMT 2020-18th International Workshop on Satisfiability Modulo Theories, Jul 2020, Online COVID-19, France
AITP 2019-4th Conference on Artificial Intelligence and Theorem Proving AITP 2019-4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
SMT 2018-16th International Workshop on Satisfiability Modulo Theories SMT 2018-16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom