Arithmetic and Geometry Around Galois Theory O.P correctness of programs is treated 9781475718942 correctness of programs is treated as a certain behavior equivalence between specification and implementation Such micromachined tools for nanotechnology can enhance the sensitivity It contains lecture notes on étale fundamental group and fundamental group scheme This Lecture Notes volume is the fruit of two research level summer schools jointly organized by the GTEM node at Lille University and the team of Galatasaray University (Istanbul): "Geometry and Arithmetic of Moduli Spaces of Coverings (2008)" and "Geometry and Arithmetic around Galois Theory (2009)"