![]() |
| |||||||||||||
PPDP 2008 : Principles and Practice of Declarative ProgrammingConference Series : Principles and Practice of Declarative Programming | |||||||||||||
Link: http://www.clip.dia.fi.upm.es/Conferences/PPDP08 | |||||||||||||
| |||||||||||||
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 |
|