posted by system || 2618 views || tracked by 3 users: [display]

PPDP 2008 : Principles and Practice of Declarative Programming

FacebookTwitterLinkedInGoogle


Conference Series : Principles and Practice of Declarative Programming
 
Link: http://www.clip.dia.fi.upm.es/Conferences/PPDP08
 
When Jul 15, 2008 - Jul 17, 2008
Where Valencia, Spain
Submission Deadline Apr 10, 2008
Notification Due May 15, 2008
Categories    programming languages
 

Call For Papers

PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web".
Topics

* Logic, Constraint, and Functional Programming
* Database, AI and Knowledge Representation Languages
* Visual Programming
* Executable Specification for Languages
* Applications of Declarative Programming
* Methodologies Program Design and Development
* Declarative Aspects of Object-Oriented Programming
* Concurrent Extensions to Declarative Languages
* Declarative Mobile Computing
* Integration of Paradigms
* Proof Theoretic and Semantic Foundations
* Type and Module Systems
* Program Analysis and Verification
* Program Transformation
* Abstract Machines and Compilation
* Programming Environments

Submission guidelines

Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. They must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices.

No simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

Proceedings

Proceedings will be published by ACM Press. ACM formatting guidelines are available online, along with formatting templates or style files for LaTeX, Word Perfect, and Word. Authors of accepted papers will be required to sign the ACM copyright form.
Invited speaker

* Michael Leuschel

Important dates

* Submission of paper: April 10, 2008
* Notification: May 15, 2008
* Early registration: TBA
* Final version due: TBA
* Conference dates: July 15-17, 2008

Program chair

* Sergio Antoy, Portland State University

Symposium chair

* Elvira Albert, Complutense University of Madrid

Program committee

* Elvira Albert, Complutense University of Madrid, Spain
* Sergio Antoy, Portland State University, USA
* Maribel Fernandez, King's College London, UK
* Maurizio Gabbrielli, University of Bologna, Italy
* Neil Ghani, University of Nottingham, UK
* Masami Hagiya, University of Tokyo, Japan
* Joxan Jaffar, National University, Singapore
* Claude Kirchner, INRIA Bordeaux, France
* Herbert Kuchen, University of Muenster, Germany
* Michael Maher, NICTA and University of New South Wales, Australia
* Dale Miller, INRIA Saclay, France
* Eugenio Moggi, University di Genova, Italy
* Kostis Sagonas, Uppsala University, Sweden
* Carsten Schurmann, IT University of Copenhagen, Denmark
* Peter Sestoft, IT University of Copenhagen, Denmark

Local chair

* Christophe Joubert, Technical University of Valencia

Related Resources

ECML PKDD 2020   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
IJPLA 2020   International Journal of Programming Languages and Applications
PPoPP 2021   26th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
SIGL 2021   8th International Conference on Signal and Image Processing
PPDP 2020   International Symposium on Principles and Practice of Declarative Programming
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
POPL 2021   Principles of Programming Languages 2021
PRIMA 2020   The 23nd International Conference on Principles and Practice of Multi-Agent Systems
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
ECML PKDD 2021   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases