PPDP: Principles and Practice of Declarative Programming

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
PPDP 2017 The 19th International Symposium on Principles and Practice of Declarative Programming
Oct 9, 2017 - Oct 12, 2017 Namur, Belgium TBD
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming
Sep 5, 2016 - Sep 7, 2016 Edinburgh, UK May 16, 2016 (May 9, 2016)
PPDP 2015 International Symposium on Principles and Practice of Declarative Programming
Jul 14, 2015 - Jul 16, 2015 Siena (Italy) Mar 20, 2015 (Mar 14, 2015)
PPDP 2014 International Symposium on Principles and Practice of Declarative Programming
Sep 8, 2014 - Sep 10, 2014 Canterbury, Kent (UK) May 15, 2014 (May 12, 2014)
PPDP 2013 15th International Symposium on Principles and Practice of Declarative Programming
Sep 16, 2013 - Sep 18, 2013 Madrid, Spain May 30, 2013 (May 27, 2013)
PPDP 2012 14th International Symposium on Principles and Practice of Declarative Programming
Sep 19, 2012 - Sep 21, 2012 Leuven, Belgium May 31, 2012 (May 28, 2012)
PPDP 2010 The 12th International Symposium on Principles and Practice of Declarative Programming
Jul 26, 2010 - Jul 28, 2010 Hagenberg, Austria Mar 21, 2010 (Mar 15, 2010)
PPDP 2008 Principles and Practice of Declarative Programming
Jul 15, 2008 - Jul 17, 2008 Valencia, Spain Apr 10, 2008
 
 

Present CFP : 2017

CALL FOR PARTICIPATION


PPDP 2017

19th International Symposium on
Principles and Practice of Declarative Programming
Namur, Belgium, October 9-11

http://complogic.cs.mcgill.ca/ppdp2017

co-located with


LOPSTR 2017

27th International Symposium on
Logic-Based Program Synthesis and Transformation
Namur, Belgium, October 10-12

https://www.sci.unich.it/lopstr17/

***********************************************

** Please register at https://events.info.unamur.be/ppdp-lopstr-2017/

** Early registration deadline : September 15

***********************************************

INVITED TALKS:

Marieke Huisman (Universiteit Twente)
A Verification Technique for Deterministic Parallel Programs
(joint PPDP/LOPSTR speaker)

Sumit Gulwani (Microsoft)
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
(joint PPDP/LOPSTR speaker)

Serge Abiteboul (INRIA)
Ethical issues in data management
(PPDP)

Grigore Rosu (University of Illinois at Urbana-Champaign)
K: A Logic-Based Framework for Program Transformation and Analysis
(LOPSTR)

Please consult the conferences' webpages for a list of accepted papers.

Hope to see you in Namur !
 

Related Resources

ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
TheWebConf 2018   The Web Conference (The International World Wide Web Conference - WWW2018)
FLOPS 2018   International Symposium on Functional and Logic Programming
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
CP 2017   The 23rd International Conference on Principles and Practice of Constraint Programming
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
PLDI 2018   Programming Language Design and Implementation
AAMAS 2018   International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18)
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages