Laura Nenzi - Böcker

Laura Nenzi draws readers into a fascinating world of samurai, shipwrecks, nocturnal monsters and partying crowds, in this richly detailed, illustrated and evocative history of the night. The world over, the installation of public lights transformed the night, reshaping expressions of authority; altering centuries-old forms of production and consumption; and enabling the expansion of legitimate daytime activities into the night hours. The cities of Tokugawa Japan, however, lacked any kind of public illumination until the late nineteenth century. Nonetheless, Nenzi shows, many of the attributes associated with the modern night were firmly in place in cities and villages well before the age of streetlights. This exploration of the transformation of early modern Japan after dark challenges accepted definitions of modernity, encouraging readers to rethink the way we write history.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.