This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.
This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.
This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025.
This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025.
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28-30, 2024.
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23-25, 2024.
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23-25, 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 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 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 refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10-11, 2024.
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10-11, 2024.
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 - Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25-28, 2024.
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Munster, Germany, during September 27-October 1, 2024.
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Munster, Germany, during September 27-October 1, 2024.
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software.
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software.
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13-15, 2023.
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13-15, 2023.
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023.
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023.
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 - Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6-10, 2023.
