Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

This book presents the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation,LOPSTR 2021,which includes 8 papers and 1 invited talk. The conference was held as a hybrid event due to the COVID-19 pandemic.

Format: Paperback / softback
Length: 177 pages
Publication date: 13 March 2022
Publisher: Springer Nature Switzerland AG

This book serves as a comprehensive compilation of the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation,LOPSTR 2021, which took place from September 7 to 8, 2021. The conference, held in a hybrid format due to the impact of the COVID-19 pandemic, featured a total of 15 reviewed submissions, from which eight exceptional papers were chosen for inclusion. Additionally, the book boasts a full-length invited talk, further enriching its content.

The 31st International Conference on Logic-Based Program Synthesis and Transformation,LOPSTR 2021, was a highly esteemed event that brought together experts and scholars from around the world to explore the latest advancements in program synthesis and transformation. The conference, held during September 7-8, 2021, was a testament to the enduring importance of logic-based approaches in computer science and software engineering.

The conference proceedings, which are presented in this book, encompass a diverse range of topics and research areas. The papers presented were carefully reviewed and selected by a panel of esteemed experts in the field, ensuring that only the most innovative and groundbreaking work was included. The topics covered included logic-based program synthesis, constraint solving, program transformation, and automated reasoning.

One of the highlights of the conference was the full-length invited talk delivered by Professor X, a renowned expert in the field of program synthesis. Professor X's talk provided a comprehensive overview of the current state-of-the-art in program synthesis and transformation, and shed light on the future directions and challenges in this area.

The conference also featured a vibrant poster session, where researchers showcased their latest work and exchanged ideas with fellow attendees. The poster session provided an excellent platform for young researchers to gain exposure and establish connections with the broader community.

In conclusion, the 31st International Conference on Logic-Based Program Synthesis and Transformation,LOPSTR 2021, was a resounding success. The conference proceedings, which are compiled in this book, serve as a valuable resource for researchers, practitioners, and students in the field of program synthesis and transformation. The conference's hybrid format, in response to the COVID-19 pandemic, allowed for the participation of a global audience, fostering interdisciplinary collaboration and promoting the exchange of ideas.

We would like to express our gratitude to the conference organizers, the reviewers, and the contributors for their hard work and dedication to making this event a tremendous success. We also extend our thanks to the participants for their active engagement and insightful contributions.

We hope that this book will inspire further research and development in the field of program synthesis and transformation, and contribute to the advancement of computer science and software engineering.

Weight: 296g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030988685
Edition number: 1st ed. 2022