Welcome to the SETS 2014 Workshop!
News:
Submission deadline extended to March 17,
2014.
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.
This workshop is affiliated to the
ABZ 2014 conference, which is
organized on June 2-6, 2014, in Toulouse (France). The workshop itself, which is
expected to be a one-day workshop, will be organized on June 3, 2014. 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.