  This article describes the work presented at the first Logic and Practice of
Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in
conjunction with the Federated Logic Conference (FLoC) 2018. Its focus is
challenges and advances in logic and practice of programming. The workshop was
organized around a challenge problem that specifies issues in role-based access
control (RBAC), with many participants proposing combined imperative and
declarative solutions expressed in the languages of their choice.
