LPAR-22, Awassa Ethiopia, 16-21 November 2018
The 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22) will be held in Awassa, Ethiopia, at the Haile Resort, 16-21st November 2018.
Dates
|
In collaboration with
|
Submission and Publication
The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.
Program Committee Chairs
-
Gilles Barthe (IMDEA Software Institute)
-
Margus Veanes (Microsoft Research)
-
Martin Hofmann (Ludwig-Maximilians-Universität München, in memoriam)
Conference Organization
-
Geoff Sutcliffe (University of Miami) - Conference Chair
-
Temesghen Kahsai (Groq) - Workshops and Tutorials Chair
-
Zinaye Tesfaye (Abundant Bale Mountains Tour and Travel) - Local Arrangements
-
Charles Edwards (AgileEA) - Africa Liaison