posted by user: cedlibert || 1361 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 2019   21st International Symposium on Principles and Practice of Declarative Programming
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
INAP 2019   22nd International Conference on Applications of Declarative Programming and Knowledge Management
GreeNet Symposium - SGNC 2019   10th Symposium on Green Networking and Computing (SGNC 2019)
WFLP 2019   27th International Workshop on Functional and (Constraint) Logic Programming
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
PaPoC 2019   6th Workshop on Principles and Practice of Consistency for Distributed Data
DMDB 2019   6th International Conference on Data Mining and Database