| Vol-2199 urn:nbn:de:0074-2199-7 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# SETS 2018
Sets and Tools

### Proceedings of the 3rd International Workshop on Sets and Tools
co-located with the 6th International ABZ Conference (ABZ 2018)

### Southamptom, United Kingdom, June 5, 2018.

Edited by

### Maximiliano Cristiá *
David Delahaye **
Catherine Dubois ***

* Universidad Nacional de Rosario and CIFASIS, Rosario, Argentina
** Université de Montpellier, Montpellier, France
*** École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise, Évry, France

## Table of Contents

- Preface

- Organization

- Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk) 1
  Michael Leuschel
- Encoding Sets as Real Numbers 2-16
  Domenico Cantone, Alberto Policriti
- Programming in Java with Restricted Intensional Sets 17-31
  Maximiliano Cristia, Gianfranco Rossi
- Towards Coq Formalisation of {log} Set Constraints Resolution 32-37
  Catherine Dubois, Sulyvan Weppe
- On Perfect Matchings for some Bipartite Graphs 38-51
  Alberto Casagrande, Francesco Di Cosmo, Eugenio G. Omodeo
- A Set-Based Reasoner for the Description Logic DL4,xD 52-66
  Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
- Polarized Rewriting and Tableaux in B Set Theory 67-72
  Olivier Hermant

2018-09-05: submitted by Maximiliano Cristiá, metadata incl. bibliographic data published under Creative Commons CC0
2018-09-07: published on CEUR-WS.org |valid HTML5|