posted by user: cedlibert || 2009 views || tracked by 5 users: [display]

PPDP 2017 : The 19th International Symposium on Principles and Practice of Declarative Programming

FacebookTwitterLinkedInGoogle


Conference Series : Principles and Practice of Declarative Programming
 
Link: https://events.info.unamur.be/ppdp-lopstr-2017/
 
When Oct 9, 2017 - Oct 12, 2017
Where Namur, Belgium
Submission Deadline TBD
Categories    computer science   programming   programming languages
 

Call For Papers

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

PPDP 2020   International Symposium on Principles and Practice of Declarative Programming
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
ECML PKDD 2020   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
RiE 2021   12th International Conference on Robotics in Education
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
PPoPP 2021   26th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
ITE 2021   2nd International Conference on Integrating Technology in Education