The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, Quebec, Canada, during August 5-9, 2024.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
This volume constitutes the refereed proceedings of the 18th International Symposium on Neural Networks, ISNN 2024, held in Weihai, China, during 11-14, July 2024.
This volume constitutes the refereed proceedings of the 18th International Symposium on Neural Networks, ISNN 2024, held in Weihai, China, during 11-14, July 2024.
This book constitutes the refereed proceedings of the 22nd International Workshop on Approximation and Online Algorithms, WAOA 2024, held in Egham, UK, during September 5-6, 2024.
This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.
This two-volume set constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, which was held in Prague, Czech Republic, during April 2023.
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023.
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023.
This book constitutes the refereed proceedings of the Third Southwest Data Science Conference, on Recent advances in next-generation data science, SDSC 2024, held in Waco, TX, USA, in March 22, 2024.
This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6-10, 2024.
This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6-10, 2024.
This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics , CMSC 2024, held in Trier, Germany, during October 7-10, 2024.
This book constitutes the refereed proceedings of the Third Southwest Data Science Conference, on Recent advances in next-generation data science, SDSC 2024, held in Waco, TX, USA, in March 22, 2024.
This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics , CMSC 2024, held in Trier, Germany, during October 7-10, 2024.
This book constitutes the refereed proceedings of the 20th China Conference on Machine Translation, CCMT 2024, which took place in Xiamen, China, during November 8-10, 2024.
This book constitutes the refereed proceedings of the 16th International Conference on Cellular Automata for Research and Industry, Cellular Automata, ACRI 2024, held in Florence, Italy, in September 9-11, 2024.
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
This book constitutes the refereed proceedings of the 16th International Conference on Cellular Automata for Research and Industry, Cellular Automata, ACRI 2024, held in Florence, Italy, in September 9-11, 2024.
This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024.
This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2024, held in Kobe, Japan, during September 17-20, 2024.
This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.
This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.
This book constitutes the revised selected papers of the 5th International Workshop on Active Inference, IWAI 2024, held in Oxford, UK, during September 9-11, 2024.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
