Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings