#CallForPapers #SETS2023 "aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc" https://www.lirmm.fr/sets2023/?page=cfp #SetTheory #ITP #ATP