SETS 2016 - 3rd INTERNATIONAL WORKSHOP ABOUT SETS AND TOOLS (SETS 2016)

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