Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings

This book presents the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3–6, 2023. The 17 papers presented in this book were carefully reviewed and selected from 26 submissions, covering topics such as the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. The volume also features the abstracts of the presentations of the three invited speakers.

Format: Paperback / softback
Length: 293 pages
Publication date: 08 March 2023
Publisher: Springer International Publishing AG

The 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, was held in Augsburg, Germany, from April 3 to 6, 2023. This conference brought together researchers from around the world to explore the latest advancements in the field of relational and algebraic methods in computer science.

The proceedings of the conference, published in this book, feature 17 high-quality papers that were carefully reviewed and selected from a total of 26 submissions. The papers cover a wide range of topics related to relation algebras, Kleene algebras, and other algebraic formalisms, including their mathematical foundations, applications, and theoretical developments.

The conference also included three invited speakers who delivered insightful presentations on their research areas. Their abstracts are included in this volume, providing readers with an overview of the latest research trends and breakthroughs.

RAMiCS 2023 was a highly successful event, fostering collaboration and knowledge exchange among researchers in the field. The conference proceedings will undoubtedly contribute to the ongoing development of relational and algebraic methods in computer science and serve as a valuable resource for scholars and practitioners alike.

In conclusion, this book represents the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, and provides a comprehensive overview of the latest research in this field. The contributions of the authors and speakers are invaluable, and we expect that this volume will inspire further research and advancements in the years to come.

Weight: 480g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031280825
Edition number: 1st ed. 2023