IWIL-2015: Editor's Preface

This volume contains the papers presented at IWIL-2015: 11th International Workshop on the Implementation of Logics held on November 22, 2016 at the Laucla Bay Campus of the University of the South Pacific in Suva, Fiji. 

The first Workshop on Implementations of Logic was held in November 2000 on Reunion Island as an invitation-only event, associated with the 7th International Conference on Logic for Programming and Automated Reasoning. This successful event sparked the creation of a new workshop series, the International Workshop on the Implementation of Logics (IWIL), into which it retroactively was adopted. Since 2001, the IWIL workshop has followed LPAR around the world, thus boldly going where no workshop has gone before. This year’s IWIL is the 11th instance of the workshop, and is associated with the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. To prevent hasty generalization: not all instances of the workshop were held on tropical islands.

The program committee received 12 submissions, each submission was reviewed by at least 2, and on the average 2.8, program committee members. As always, using EasyChair has made organisation of the review process a largely pain-free experience. We were able to accept 11 of the submissions, dealing with topics as diverse as applications of automated reasoning to mathematics and logistics, improvements in propositional logic solvers, and new algorithms for and extensions to first-order and equational logics. 


Boris Konev
Stephan Schulz
Laurent Simon
May 2016