Four writers.Three travelling in Portugal.One staying behind to care for his ailing mother.One long-distance writing affair.The passing of the mother together with memories of other losses and absences come together in Lost Bodies, a meditation on the transience of time and love and an invitation to get away—physically or spiritually—from worldly concerns to explore a different history, a different culture, a different light, laced with dreamy scent...

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification ...

This edited book tells the story of the multifaceted efforts devoted by a “future school” in Singapore—The Nan Chiau Primary School—in shaping future learning. It documents the various measures implemented by one primary school to improve student learning outcomes in a technology-rich teaching and learning environment. With the current interest in Singapore’s “Masterplan for ICT (information and communication technology) in Education,” and the increasing focus on teaching and learning desi...