Logic and Practice of Programming (LPOP)Oxford, UK, July 18, 2018 (held in conjunction with FLOC)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. Important DatesPosition paper due: May 4, 2018Attendee invitation: May 18, 2018 Camera-ready: June 1, 2018 Workshop: July 18, 2018 Invited SpeakersJohn Hooker Carnegie Mellon UniversityRustan Leino Amazon Web Services Nicola Leone University of Calabria Michael Leuschel University of Dusseldorf Co-ChairsDavid Warren Stony Brook UniversityAnnie Liu Stony Brook University Program Committee Co-ChairsMarc Denecker KU LeuvenTuncay Tekle Stony Brook University Program CommitteeMolham Aref Relational AIManuel Carro IMDEA Software Thomas Eiter Technical University of Vienna Jacob Feldman OpenRules Thom Frühwirth University of Ulm Michael Kifer Stony Brook University Mark Miller Google Enrico Pontelli New Mexico State University Francesco Ricca University of Calabria Peter Van Roy Université catholique de Louvain Joost Vennekens Katholieke Universiteit Leuven Jan Wielemaker Vrije Universiteit Amsterdam Neng-Fa Zhou City University of New York |