Meng Sun – författare

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2021. Due to the COVID-19 pandemic the conference and workshops were held online. The 104 papers were thoroughly reviewed and selected from 180 papers submited for the workshops. This two-volume set includes the proceedings of the following workshops:Workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2021)Workshop on Parallel, Distributed and Federated Learning (PDFL 2021)Workshop on Graph Embedding and Mining  (GEM 2021)Workshop on Machine Learning for Irregular Time-series (ML4ITS 2021)Workshop on IoT, Edge, and Mobile for Embedded Machine Learning (ITEM 2021)Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2021)Workshop on Bias and Fairness in AI (BIAS 2021)Workshop on Workshop on Active Inference (IWAI 2021)Workshop on Machine Learning for Cybersecurity (MLCS 2021)Workshop on Machine Learning in Software Engineering (MLiSE 2021)Workshop on MIning Data for financial applications (MIDAS 2021)Sixth Workshop on Data Science for Social Good (SoGood 2021)Workshop on Machine Learning for Pharma and Healthcare Applications (PharML 2021)Second Workshop on Evaluation and Experimental Design in Data Mining and Machine Learning (EDML 2020)Workshop on Machine Learning for Buildings Energy Management (MLBEM 2021)

This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2021. Due to the COVID-19 pandemic the conference and workshops were held online. The 104 papers were thoroughly reviewed and selected from 180 papers submited for the workshops. This two-volume set includes the proceedings of the following workshops:Workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2021)Workshop on Parallel, Distributed and Federated Learning (PDFL 2021)Workshop on Graph Embedding and Mining  (GEM 2021)Workshop on Machine Learning for Irregular Time-series (ML4ITS 2021)Workshop on IoT, Edge, and Mobile for Embedded Machine Learning (ITEM 2021)Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2021)Workshop on Bias and Fairness in AI (BIAS 2021)Workshop on Workshop on Active Inference (IWAI 2021)Workshop on Machine Learning for Cybersecurity (MLCS 2021)Workshop on Machine Learning in Software Engineering (MLiSE 2021)Workshop on MIning Data for financial applications (MIDAS 2021)Sixth Workshop on Data Science for Social Good (SoGood 2021)Workshop on Machine Learning for Pharma and Healthcare Applications (PharML 2021)Second Workshop on Evaluation and Experimental Design in Data Mining and Machine Learning (EDML 2020)Workshop on Machine Learning for Buildings Energy Management (MLBEM 2021)

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

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.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods