Rechercher

1st International Workshop about Sets and Tools (SETS 2014)

Lieu: Toulouse, France
Date et Heure de début: 03-06-2014
Description:

Affiliated to ABZ 2014 international conference

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.

Site Web: http://sets2014.cnam.fr/
Organise: CPR
Contact: Catherine Dubois
duboisensiie.fr