BACKGROUND:The impact of the COVID-19 pandemic on long-term care residents remains of wide interest, but most analyses focus on the initial wave of infections. OBJECTIVE:To examine change over time in: (i) The size, duration, classification and pattern of care-home outbreaks of COVID-19 and associated mortality and (ii) characteristics associated with an outbreak. DESIGN:Retrospective observational cohort study using routinely-collected data. SETTING:All adult care-homes in Scotland (1,092 homes, 41,299 places). METHODS:Analysis was undertaken at care-home level, over three periods. Period (P)1 01/03/2020-31/08/2020; P2 01/09/2020-31/05/2021 and P3 01/06/2021-31/10/2021. Outcomes were the presence and characteristics of outbreaks and mortality within the care-home. Cluster analysis was used to compare the pattern of outbreaks. Logistic regression examined care-home characteristics associated with outbreaks. RESULTS:In total 296 (27.1%) care-homes had one outbreak, 220 (20.1%) had two, 91 (8.3%) had three, and 68 (6.2%) had four or more. There were 1,313 outbreaks involving residents: 431 outbreaks in P1, 559 in P2 and 323 in P3. The COVID-19 mortality rate per 1,000 beds fell from 45.8 in P1, to 29.3 in P2, and 3.5 in P3. Larger care-homes were much more likely to have an outbreak, but associations between size and outbreaks were weaker in later periods. CONCLUSIONS:COVID-19 mitigation measures appear to have been beneficial, although the impact on residents remained severe until early 2021. Care-home residents, staff, relatives and providers are critical groups for consideration and involvement in future pandemic planning.

Since its inception in 2004 the Archive of Formal Proofs has grown in size but its interface and functionality have only been minimally improved. To transform the AFP into a more user-friendly and effective resource, we redesigned the website to meet modern web standards and practices. We ensure that our work is community-driven by basing the redesign on results from a survey of the Isabelle community. The site generation uses Hugo and is implemented as a proper Isabelle component, which also allows us to adapt the AFP metadata model to avoid inconsistencies in the future. Notable improvements include a responsive design, new theory browsing interface, integrated search, and enhanced navigation.

Age and Ageing 2022; 51: 1 https://doi.org/10.1093/ageing/afac041 © The Author(s) 2022. Published by Oxford University Press on behalf of the British Geriatrics Society. This is an Open Access article distributed under the terms of the Creative Commons Attribution NonCommercial-NoDerivs licence (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits non-commercial reproduction and distribution of the work, in any medium, provided the original work is not altered or transformed in any way, and that the work is properly cited. For commercial re-use, please contact journals.permissions@oup.com

We present a novel application of business process modelling and simulation of manufacturing workflows. Using formal methods, we produce correct-by-construction executable models that can be simulated in an interleaved way. The simulation draws advanced analytics from live IoT monitoring as well as an ERP system to provide predictive business intelligence. We describe our process and resource modelling efforts in the context of a collaborative project with two manufacturing partners. We evaluate our results based on the improvement of the scheduling accuracy for real production flows.

Background: understanding care-home outbreaks of COVID-19 is a key public health priority in the ongoing pandemic to help protect vulnerable residents. Objective: to describe all outbreaks of COVID-19 infection in Scottish care-homes for older people between 01/03/2020 and 31/03/2020, with follow-up to 30/06/2020. Design and setting: National linked data cohort analysis of Scottish care-homes for older people. Methods: data linkage was used to identify outbreaks of COVID-19 in care-homes. Care-home characteristics associated with the presence of an outbreak were examined using logistic regression. Size of outbreaks was modelled using negative binomial regression. Results: 334 (41%) Scottish care-homes for older people experienced an outbreak, with heterogeneity in outbreak size (1-63 cases; median=6) and duration (1-94 days, median=31.5 days). Four distinct patterns of outbreak were identified: 'typical' (38% of outbreaks, mean 11.2 cases and 48 days duration), severe (11%, mean 29.7 cases and 60 days), contained (37%, mean 3.5 cases and 13 days) and late-onset (14%, mean 5.4 cases and 17 days). Risk of a COVID-19 outbreak increased with increasing care-home size (for >= 90 beds vs <20, adjusted OR=55.4, 95% CI 15.0-251.7) and rising community prevalence (OR=1.2 [1.0-1.4] per 100 cases/100,000 population increase). No routinely available care-home characteristic was associated with outbreak size. Conclusions: reducing community prevalence of COVID-19 infection is essential to protect those living in care-homes. More systematic national data collection to understand care-home residents and the homes in which they live is a priority in ensuring we can respond more effectively in future.

The Archive of Formal Proofs (AFP) is an online repository of formal proofs for the Isabelle proof assistant. It serves as a central location for publishing, discovering, and viewing libraries of proofs. We conducted an online survey in November 2020 to assess the suitability of the website. In this report, we present and discuss the results, which showed that long-term users of the website are generally satisfied with the AFP but that there are a number of areas, such as navigation, search and script browsing, that need improvement.