Call for participation

Logic and Practice of Programming (LPOP)

The focus of the 2018 Logic and Practice of Programming workshop is logic and declarative languages for the practice of programming. Of particular interest are languages that have a clear semantic foundation, so that they can be used for concise modeling of complex application problems, facilitating formal proofs and automated analysis, and that are also implementable, so that the implementations can run as specified, as part of real applications. Also of interest are the design of declarative languages, libraries, and tools that facilitate the construction of complex systems and applications, approaches to
integrate declarative and procedural programming, and the use of declarative languages to facilitate other programming paradigms, e.g., distributed programming. The target audience for these languages are students who wish to model complex application problems, and practitioners who want to use them.

The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and improve the practice of programming with logic and declarative programming. We plan to organize the workshop around a number of "challenge problems", including in particular expressing a set of system components and functionalities clearly and precisely using a chosen description language. There will also be invited talks by the proponents of some well-known description methods. We will aim to group presentations of description methods by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined.

Potential participants are invited to submit a position paper (1 or 2 pages in PDF format), and also to state whether they wish to present a talk at the workshop, explaining how they would express the challenge problems. Because we intend to bring together researchers from many parts of logic and declarative languages and practice of programming communities, it is essential that all talks be accessible to non-specialists. Instructions for preparing a position paper can be found here; follow this link for electronic submission through EasyChair.

The program committee will invite attendees based on the position paper submissions and will attempt to accommodate presentation requests, but in ways that fit with the broader organizational goals outlined above.