Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, 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

Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV