Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

On Sets and Graphs: Perspectives on Logic and Combinatorics

Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers