LPAR-IWIL 2018: Editor's PrefaceThis 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 |