DEADLINE EXTENSION TO *10 MAY* - PPDP 2019
21st International Symposium on Principles and Practice of Declarative Programming
7–9 October 2019, Porto, Portugal
Collocated with FM'19 http://ppdp2019.macs.hw.ac.uk
======================================================================
Important Dates ---------------
Title and abstract registration 4 May 2019 (AoE) (extended) Paper submission 10 May 2019 (AoE) (extended) Rebuttal period (48 hours) 10 June 2019 (AoE) (extended) Author notification 20 June 2019 (extended) Final paper version 15 July 2019 Conference 7–9 October 2019
About PPDP ----------
The PPDP 2019 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification.
See http://ppdp2019.macs.hw.ac.uk for further information and information.
Invited Speakers
----------------
Amal Ahmed Northeastern University, USA Title: TBA
Naoki Kobayashi The University of Tokyo, Japan Title: 10 Years of the Higher-Order Model Checking Project
Submission page:
----------------