LPAR-20: Editor's PrefaceThis volume contains the papers presented as short talks at LPAR-20: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning held on November 22-December 6, 2015 in Suva. The local conference organisation was arranged by Geoff Sutcliffe and Ansgar Fehnker, and together they put together an excellent event. LPAR-20 is grateful for the generous support of Microsoft Research and University of the South Pacific. Ansgar Fehnker
Annabelle McIver Geoff Sutcliffe Andrei Voronkov November 16, 2015 |