This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023.
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023.
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023.
This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023.
This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023.
This book constitutes the referred proceedings of the 24th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2024, held as part of EvoStar 2024, in Aberystwyth, UK, during April 3-5, 2024.
The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2024, held in Zakopane, Poland, during June 16-20, 2024.
This handbook delves into the rapidly evolving field of artificial intelligence and optimization, focusing on the intersection of machine learning, combinatorial optimization, and real-world applications in transportation and network design.
This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7-8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions.
This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held in Florence, Italy, in June 2023.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings together contributions to this important area of research and engineering.
This book constitutes the refereed proceedings of the 13th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2023, which took place in Vietri sul Mare, Italy, in September 2023.
The two-volume set LNAI 14125 and 14126 constitutes the refereed conference proceedings of the 22nd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2023, held in Zakopane, Poland, during June 18-22, 2023.
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research.
The two-volume set LNAI 14125 and 14126 constitutes the refereed conference proceedings of the 22nd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2023, held in Zakopane, Poland, during June 18-22, 2023.
This book constitutes refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research: Recent Trends, MOTOR 2023, held in Ekaterinburg, Russia, during July 2-8, 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27-29, 2023.
This book constitutes the refereed proceedings of the 46th German Conference on Artificial Intelligence, KI 2023, which took place in Berlin, Germany, in September 2023.
This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11-13, 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Flexible Query Answering Systems, FQAS 2023, held in September 2023 in Palma de Mallorca, Spain.
This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11-13, 2023.
This book constitutes the refereed proceedings of the 46th German Conference on Artificial Intelligence, KI 2023, which took place in Berlin, Germany, in September 2023.
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.
This book constitutes the proceedings of the 16th International Symposium on Algorithmic Game Theory, SAGT 2023, which took place in Egham, UK, in September 2023.
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.
This book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27-29, 2023.
The two-volume set CCIS 1869 and 1870 constitutes the refereed proceedings of the 4th International Conference on Neural Computing for Advanced Applications, NCAA 2023, held in Hefei, China, in July 2023.
This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023.
This volume LNCS 14240 constitutes the refereed proceedings of the 30th International Symposium on String Processing and Information Retrieval, SPIRE 2023, held in Pisa, Italy, during September 26-28, 2023.
This book constitutes the refereed proceedings of the 21st International Conference on Business Process Management, BPM 2023, which took place in Utrecht, The Netherlands, in September 2023.
This book constitutes the proceedings of the 23rd International TRIZ Future Conference on Towards AI-Aided Invention and Innovation, TFC 2023, which was held in Offenburg, Germany, during September 12-14, 2023.
This volume LNCS 14240 constitutes the refereed proceedings of the 30th International Symposium on String Processing and Information Retrieval, SPIRE 2023, held in Pisa, Italy, during September 26-28, 2023.
This book constitutes the proceedings of the 23rd International TRIZ Future Conference on Towards AI-Aided Invention and Innovation, TFC 2023, which was held in Offenburg, Germany, during September 12-14, 2023.
This book constitutes the refereed proceedings of the 21st International Conference on Business Process Management, BPM 2023, which took place in Utrecht, The Netherlands, in September 2023.
