Dd Body

FM 2012: Formal Methods

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Ancient Methone, 2003-2013

Excavations at ancient Methone since 2003 by the Greek Ministry of Culture have uncovered remains from the Late Neolithic period through the fourth-century B.C. destruction by Philip II of Macedon. These discoveries extend the history of the city, a colony of Eretria (Euboia) since the late eighth century B.C., by nearly three thousand years into Greek prehistory. This volume presents results of the project in selected artefacts, burials, and structures representing the chief phases of the city, in chronological order. An introduction covers historical sources, excavations from 2003 to 2013, and the unique location of Methone. Part I details the prehistoric settlement at Methone, from the fourth millennium to 1000 B.C., and the Bronze Age burials. Part II focuses on the copious artifacts and ecofacts from the Early Iron Age "Hypogeion" shaft. Part III presents artifacts and architecture from the Archaic and Classical periods, through the final days of the siege of the city in 354 B.C. The significance of this work lies in its interdisciplinary methods, combining stylistic analysis of artifacts and source-critical philology with natural history, bioarchaeology, materials analysis, and geochemistry, whose results reveal the long-term history of a site crucial to the economic and political history of Classical Greece and the north Aegean.

Leeches Or Leeching (Bursattee)