Welcome to the SETS 2023 Workshop!


  • Due to a low number of submissions, we are unfortunately obliged to cancel the SETS 2023 workshop.
  • We look forward to hearing from you again at a future edition of SETS.
The workshop 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. See the call for papers for more details regarding the scope of this workshop.

SETS 2023 is the fourth edition of the SETS workshop and is affiliated to the CICM 2023 conference, which is organized on September 4-8, 2023, at Cambridge in UK. The first edition SETS 2014 was held at Toulouse in France and was affiliated to ABZ 2014, the second edition SETS 2015 was held at Oslo in Norway and was affilitated to FM 2015, while the third edition SETS 2018 was held at Southampton in UK and was affilitated to ABZ 2018.

The workshop itself, which is expected to be a one-day workshop, will be organized on September 4, 2023. If you plan to submit a paper, do not hesitate to send a mail to the workshop co-chairs (see here how to contact them) to inform them of your intention.