Artificial Intelligence XXXVIII

The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches.They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.

They deal with latest research results and ideas on bridging the gap between formal methods and software engineering..

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021.

Due to COVID-19 pandemic the conference was held virtually.The 3 full papers and 4 short papers presented were carefully reviewed and selected from 20 submissions. This book constitutes the refereed proceedings of the Third International Symposium on Mathematical and Computational Oncology, ISMCO 2021, held in October 2021. Mathematical and Computational Oncology.

Due to COVID-19 pandemic the conference was held virtually. This book constitutes the refereed proceedings of the Third International Symposium on Mathematical and Computational Oncology, ISMCO 2021, held in October 2021.The 3 full papers and 4 short papers presented were carefully reviewed and selected from 20 submissions.

The 17 full research papers presented together with 2 short technical communications papers and 2 abstracts of invited papers were carefully reviewed and selected from 39 submissions.

The 22 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 37 submissions.. The papers are organized in the following topical sections: technical paper; machine learning; AI techniques; short technical stream papers; application papers; applications of machine learning; AI for medicine; advances in applied AI; and short application stream papers.

The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions.. This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.The papers are organized into the following topical sub-headings: mathematical programming, global optimization, discrete and combinatorial optimization, optimal control, optimization and data analysis, and game theory and mathematical economics.

The 22 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 37 submissions.

. The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions.