SICSA Sponsored Conferences: PPDP 2016 – LOPSTR 2016 – SAS 2016

Date(s) - 05/09/2016 - 11/09/2016
All Day

School of Informatics

SICSA sponsored conferences PPDP2016; LOPSTR2016 and SAS will take place from 5 – 11 September and registration is open

The above symposia will take place at the University of Edinburgh along with some affiliated workshops.

The 18th International Symposium on Principles and Practice of Declarative Programming will take place 5-7 September 2016 in Edinburgh, UK.

PPDP is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages.
The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis.

Papers related to the use of declarative paradigms and tools in industry and education are especially solicited.

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.

If you have any questions relating to these conferences, please contact James Cheney or see the symposia web-site

This entry was posted in .