Abstract
This paper proposes a roadmap to integrate existing educational web applications into the ecosystem based on a learning management system. To achieve this integration, applications must support the Learning Tools Interoperability specification in the role of tool provider. The paper starts with an overview of the evolution of this specification, emphasizing the main features of the current stable version. Then, it proposes a set of design goals and milestones to guide the adaptation process. The proposed roadmap was validated with existing applications. This paper reports on the challenges faced to apply it in these concrete cases. © Leal, Jose Paulo; Queirs, Ricardo; Ferreirinha, Pedro; Swacha, Jakub; licensed under Creative Commons License CC-BY 4.0

Abstract
With continuous technological advancement, multihomed devices are becoming common. They can connect simultaneously to multiple networks through different interfaces. However, since TCP sessions are bound to one interface per device, it hampers applications from taking advantage of all the available connected networks. This has been solved by MPTCP, introduced as a seamless extension to TCP, allowing more reliable sessions and enhanced throughput. However, MPTCP comes with an inherent risk, as it becomes easier to fragment attacks towards evading NIDS. This paper presents a study of how MPTCP can be used to evade NIDS through simple cross-path attacks. It also introduces tools to facilitate assessing MPTCP-based services in diverse network topologies using an emulation environment. Finally, a new solution is proposed to prevent cross-path attacks through uncoordinated networks. This solution consists of a hostlevel plugin that allows MPTCP sessions only through trusted networks, even in the presence of a NAT.

Abstract
One of the most important phases in the Web development cycle is testing. There are several types of tests, different approaches to their use and a wide range of tools. However, most of them are not open source, require coding and do not have a pedagogical nature. This article introduces WebPuppet as an automated Web UI testing tool. The tool is distributed as a small Node package and can be easily integrated into any learning environment in the web development domain. In addition, it does not require coding in any language, just use a very simple domain-specific language that will generate a test script to run in client applications. In order to exemplify its use, a simple test scenario based on a login page is presented. © Queiros, Ricardo; licensed under Creative Commons License CC-BY 4.0

Abstract
The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned as a tribute to Jose Manuel Esgalhado Valenca on the occasion of his Jubilation. A tribute to a professor, in the deepest sense of the word, a colleague and a friend, but above all to a long and inspiring academic journey that has so profoundly shaped the development of Informatics as a scientific area in Portugal. A scientific area that, as he taught us, needs to be understood broadly: not only as an independent research domain, but also as an educational pillar, a strategy for social and economic development, a foundation for a multifaceted professional career. This preface introduces some steps of such a journey. The Special Issue features a selection of scientific papers written by his collaborators, colleagues and friends, covering the different areas Jose Valenca helped to launch and consolidate in Portugal, namely computational logic, verification and mechanized reasoning, and information security. (c) 2022 Published by Elsevier Inc.

Abstract
Reducing office buildings’ energy consumption can contribute significantly towards carbon reduction commitments since it represents 10% of total energy consumption. Major components are lighting (40% of consumption), electrical equipment (35%), and heating and central cooling systems (25\%). Occupants’ behaviours impact these energy consumption components, with solid evidence on the role of individual behaviours. In this work, we propose a methodology that uses virtual choreographies to identify and prioritize behaviour-change interventions towards office users based on the potential impact on energy consumption. The data shows that some behaviours with significant consumption have little potential for behavioural change impact, while other behaviours hold substantial potential for lowering energy consumption via behavioural change.

Abstract
Despite significant advances in web archive infrastructures, the problem of exploring the historical heritage preserved by web archives is yet to be solved. Timeline generation emerges in this context as one possible solution for automatically producing summaries of news over time. Thanks to this, users can gain a better sense of reported news events, entities, stories or topics over time, such as getting a summary of the most important news about a politician, an organisation or a locality. Web archives play an important role here by providing access to a historical set of preserved information. This particular characteristic of web archives makes them an irreplaceable infrastructure and a valuable source of knowledge that contributes to the process of timeline generation. Accordingly, the authors of this chapter developed "Tell me Stories" (), a news summarisation system, built on top of the infrastructure of Arquivo.pt-the Portuguese web-archive-to automatically generate a timeline summary of a given topic. In this chapter, we begin by providing a brief overview of the most relevant research conducted on the automatic generation of timelines for past-web events. Next, we describe the architecture and some use cases for "Tell me Stories". Our system demonstrates how web archives can be used as infrastructures to develop innovative services. We conclude this chapter by enumerating open challenges in this field and possible future directions in the general area of temporal summarisation in web archives. © Springer Nature Switzerland AG 2021. All rights reserved.