Principles and Practice of Declarative Programming (PPDP'2005)

Lisbon, Portugal, 11-13 July 2005

Calouste Gulbenkian Foundation

Scope of the Conference

PPDP 2005 aims to provide a forum that brings together those in the declarative programming communities, including those working in the logic, constraint and functional programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others.

Topics of more specific interest are enhancements to such formalisms with mechanisms for mobility, modularity, concurrency, object-orientation, and static analysis, as well as the fuller exploitation of the programming-as-proof-search framework through new designs and improved implementation methods. At the level of methodology, the use of logic-based principles in the design of tools for program development, analysis, and verification relative to all declarative paradigms is of interest. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. Prospective authors are encouraged to communicate with the Program Chair about the suitability of a specific topic.

Topics (Not exhaustive)

Logic, Constraint, and Functional Programming
Applications of Declarative Programming
Methodologies for 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

Invited Talks

A Gentle Introduction to Semantic Subtyping, by Giuseppe Castagna, ENS Paris, France (joint with ICALP)
Abstraction Carrying Code and Resource-Awareness, by Manuel Hermenegildo, Technical Univ. Madrid, Spain and Univ. New Mexico, USA
Security Analysis of Network Protocols: Logical and Computational Methods, by John Mitchell, Stanford Univ., USA (joint with ICALP)

Conference Chair

Pedro Barahona, Universidade Nova de Lisboa, Portugal
email: pb at di.fct.unl.pt

Program Chair

Amy Felty, University of Ottawa, Canada
email: afelty at site.uottawa.ca

Program Committee

Pedro Barahona, Univ. Nova de Lisboa, Portugal
Gopal Gupta, Univ. Texas at Dallas, USA
Michael Hanus, Univ. Kiel, Germany
Kohei Honda, Queen Mary & Westfield Coll., UK
Michael Maher, National ICT, Australia
Maria Chiara Meo, Univ. G. D'annunzio, Italy
Gopalan Nadathur, Univ. Minnesota, USA
Atsushi Ohori, JAIST, Japan
Carsten Schürmann, Yale Univ., USA
Germán Vidal, Technical Univ. Valencia, Spain
Joe Wells, Heriot-Watt Univ., UK
Elena Zucca, Univ. Genova, Italy

Organizing Committee

Pedro Barahona, Francisco Azevedo, and Jorge Cruz,
CENTRIA, Portugal

Call for papers can also be seen here.

PPDP'2005 will be co-located with the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05)