IWIL 2012:Editor's Preface

This volume contains the papers presented at IWIL 2012: The 9th International Workshop on the Implementation of Logics held on March 10, 2012 in Merida.

This volume contains 2 invited and 3 regular contributions. Submitted papers received thorough reviewing for which we thank members of the IWIL'2012 Programme Committee.

We are grateful to EasyChair and EPiC proceedings series for providing friendly environment for handling submissions, creating this proceedings, and publishing it online.

Konstantin Korovin, Stephan Schulz and Eugenia Ternovska
August 7, 2013