IWIL 2010: Editor's Preface

This volume contains the papers presented at IWIL 2010: The 8th International Workshop on the Implementation of Logics held on October 9, 2011 in Yogyakarta, Indonesia.

There were 9 submissions, made through EasyChair. Each submission was reviewed by at least 3 program committee members. The committee decided to accept 6 papers. The program also included an invited talk.


Geoff Sutcliffe
Eugenia Ternovska
Stephan Schulz
March 8, 2011
Coral Gables