[Hol-info] SMT 2020: Call for Papers

SMT 2020: The 18th International Workshop on Satisfiability Modulo Theories Co-located with IJCAR 2020 July 5-6, 2020, Paris, France http://smt-workshop.cs.uiowa.edu/2020/ == Overview == The aim of the workshop is to bring together researchers and users of SMT tools and techniques.

[Hol-info] CICM 2020 - Call for Papers

Call for Papers formal papers - informal papers - doctoral programme 13th Conference on Intelligent Computer Mathematics - CICM 2020 - July 26-31, 2020 Bertinoro, Italy