Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings