ARW 2012 Proceedings of the 19 th Automated Reasoning Workshop 2 – 4 April 2012 School of Computer Science The University of Manchester United Kingdom

Perhaps the most extraordinary surviving relic from the ancient Greek world is a device containing over thirty gear wheels dating from the late 2nd century B.C., and now known as the Antikythera Mechanism. This device is an order of magnitude more complicated than any surviving mechanism from the following millennium, and there is no known precursor. It is clear from its structure and inscriptions that its purpose was astronomical, including eclipse prediction. In this illustrated talk, I will outline the results including an assessment of the accuracy of the device from our international research team, which has been using the most modern imaging methods to probe the device and its inscriptions. Our results show the extraordinary sophistication of the Mechanism’s design. There are fundamental implications for the development of Greek astronomy, philosophy and technology. The subsequent history of mechanical computation will be briefly sketched, emphasising both triumphs and lost opportunities. . . . . . R. A. Schmidt and F. Papacchini (Eds.), Proc. ARW 2012, Univ. Manchester 1 Formal Verification of Software Product Families