Marco Aiello – författare

A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

This book is a festschrift in honour of Mike Papazoglou’s 65th birthday and retirement. It includes 20 contributions from leading researchers who have worked with Mike in his more than 40 years of academic research. Topics are as varied as Mike’s and include service engineering, service management, services and human, IoT, and data-driven services.

This book constitutes the refereed proceedings of the 18th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2024, held in Crete, Greece, during June 24–29, 2024.

The 8 revised full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 24 submissions. They cover the following topics: modeling the digital world; quantum computing; data platforms.

These are the sort of questions that the book addresses. Divided into four parts, it follows and critically reflects on the Web’s historical path. “Part I: The Origins” covers the prehistory of the Web. It examines the technology that predated the Web and fostered its birth. In turn, “Part II: The Web” describes the original Web proposal as defined in 1989 by Tim Berners-Lee and the most relevant technologies associated with it. “Part III: The Patches” combines a historical reconstruction of the Web’s evolution with a more critical analysis of its original definition and the necessary changes made to the initial design. In closing, “Part IV: System Engineering” approaches the Web as an engineered infrastructure and reflects on its technical and societal success.

The book is unique in its approach, combining historical facts with the technological evolution of the Web. It was written with a technologically engaged and knowledge-thirsty readership in mind, ranging from curious daily Web users to undergraduate computer science and engineering students.