This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023.
The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.
This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took p...
The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023, held in York, UK, in August/September 2023.
The 71 full papers and 58 short papers included in this book were carefully reviewed and selected from 406 submissions. They were organized in topical sections as follows: 3D Interaction; Accessibility; Accessibility and Aging; Accessibility for Auditory/Hearing Disabilities; Co-Design; Cybersecurity and Trust; Data...
The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTER...
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.
The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical...
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering...
This book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exeter, UK, during October 31–November 2, 2022.
The 15 full papers were carefully reviewed and selected from 18 submissions. The papers cover a wide range of topics in the field of artificial evolution, including, but not limited to: evolutionary computation, evolutionary optimization, coevolution, artificial life, population dynamics, theory, algorithmic and modeling, implementations.
This book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exet...
This book constitutes the proceedings of the 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, held in Aveiro, Portugal, in September 2023.
The 34 full papers included in this volume were carefully reviewed and selected from 126 submissions. Additionally, 24 posters and 16 demonstration papers were included in the proceedings. The papers focus on sustainable teaching and learning practices in the post-pandemic educational ecosystem.
This book constitutes the proceedings of the 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, held in Aveiro, Portugal, in Septe...
This book constitutes the proceedings of the 27th European Conference on Advances in Databases and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4–7, 2023.
The 11 full papers presented in this book together with 3 keynotes and tutorials were carefully reviewed and selected from 77 submissions. The papers are organized in the following topical sections: keynote talk and tutorials; query processing and data exploration, data science and fairness and Data and Metadata Quality
This book constitutes the proceedings of the 27th European Conference on Advances in Databases and Information Systems, ADBIS 2023, held in Barcelo...
This two-volume set LNCS 14134 and LNCS 14135 constitutes the refereed proceedings of the 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, held in Ponta Delgada, Portugal, during June 19–21, 2023.
The 108 full papers presented in this two-volume set were carefully reviewed and selected from 149 submissions.
The papers in Part I are organized in topical sections on advanced topics in computational intelligence; advances in artificial neural networks; ANN HW-accelerators; applications of machine learning in biomedicine and healthcare; and...
This two-volume set LNCS 14134 and LNCS 14135 constitutes the refereed proceedings of the 17th International Work-Conference on Artificial Neural N...
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.
The 26 full papers included in this book were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: computational aspects and efficiency in games; computational social choice; fair division; matching and mechanism design.
This book constitutes the proceedings of the 16th International Symposium on Algorithmic Game Theory, SAGT 2023, which took place in Egham, ...
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.
The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal...
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analy...
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023. The 33 full papers presented in this volume were carefully reviewed and selected from a total of 116 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computer science, or by extracting new graph theoretic problems from applications.
This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 202...
