LPAR-IWIL 2018: Editor's Preface

This volume contains the papers of IWIL-2018: The 2018 International Workshop on the Implementation of Logics (the first four papers), and the Short Presentation Papers of LPAR-22: The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (the last four papers). IWIL 2018 was held on the 16th November 2018, and LPAR-22 17th-21st November 2018, at Haile Resort in Awassa, Ethiopia. 

 

 

 


Gilles Barthe
Geoff Sutcliffe
Margus Veanes
Konstantin Korovin
Stephan Schulz
Martin Suda
November, 2018