SETS 2023: 4th International Workshop about Sets and Tools Cambridge, UK, September 4, 2023 |

Conference website | https://www.lirmm.fr/sets2023/ |

Submission link | https://easychair.org/conferences/?conf=sets2023 |

Abstract registration deadline | April 24, 2023 |

Submission deadline | May 1, 2023 |

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 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.

## Submission Guidelines

Submitted papers must be 6-15 pages in length, following the Springer LNCS format. These submissions may be:

- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience reports
- Tool presentations

Contributions must be submitted electronically in PDF using the SETS 2023 EasyChair web site at the following address:

https://easychair.org/conferences/?conf=sets2023

## List of Topics

Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets also occur in the formalization of mathematics, as evidenced by the large library of the Mizar proof system for example. In addition, still in the domain of theorem proving, there is an increasing interest to automate set theory (which is known to be a difficult problem), with some concrete realizations, such as mp (the "main prover" of Atelier B) or different decision procedures for SAT or SMT solvers. Sets are also the main features of some programming languages like the former SetL language or the more recent {log} language (pronounced as setlog).

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. These tools may be dedicated or general purpose tools. Contributions by theoreticians working on set theories or fragments of set theories in the aim of designing concrete tools, and by practitioners using set-based tools are both welcome. We are also interested by contributions providing some comparisons between set modeling techniques and other formalisms, such as type theory (and variants) for instance. Finally, regarding the domains of application, we mainly expect contributions in the framework of formal methods, but not exhaustively, and contributions reporting formalizations of mathematics using set theory for example could be of interest for this workshop as well.

Topics of interest for this workshop include all aspects of set theory and corresponding tools. More specifically, some suggested topics are:

- Proof tools for sets
- Constraint solvers for sets
- Set-based programming languages
- Automated verification in set theory
- Encoding of sets in provers
- Set theories for SMT solvers
- Use of set-based tools in formal methods
- Use of set-based tools in mathematics
- Comparison of set-based tools
- Comparison between set and type theories
- Experience reports

## Committees

### Program Committee

- Domenico Cantone (Università degli Studi di Catania, Italy)
- Maximiliano Cristia (Universidad Nacional de Rosario, Argentina)
- David Delahaye (Université de Montpellier, France)
- Dana Dghaym (University of Southampton, UK)
- Catherine Dubois (ENSIIE, France)
- Leo Freitas (Newcastle University, UK)
- Olivier Hermant (Mines Paris - PSL, France)
- Régine Laleau (Université Paris-Est Créteil, France)
- Michael Leuschel (Universität Düsseldorf, Germany)
- Stephan Merz (Inria Nancy – Grand Est & Loria, France)
- Eugenio Omodeo (Università degli Studi di Trieste, Italy)
- Alberto Policriti (Università degli Studi di Udine, Italy)
- Andrew Reynolds (University of Iowa, USA)
- Claude Stolze (Inria Saclay – Île-de-France, France)
- Marina Waldén (Åbo Akademi, Finland)
- Wolfgang Windsteiger (Johannes Kepler University, Austria)

### Organizing committee

- Maximiliano Cristia (Universidad Nacional de Rosario, Argentina)
- David Delahaye (Université de Montpellier, France)
- Olivier Hermant (Mines Paris - PSL, France)

## Publication

Proceedings, including all the papers selected for the workshop, will be published as online proceedings in the CEUR workshop proceedings series (CEUR-WS.org) together with the other workshop papers and informal submissions of CICM.

## Contact

For any question regarding SETS 2023, contact the workshop co-chairs:

- Maximiliano Cristiá (cristia@cifasis-conicet.gov.ar)
- David Delahaye (David.Delahaye@lirmm.fr)
- Olivier Hermant (Olivier.Hermant@minesparis.psl.eu)