Invited SpeakersGiuseppe Castagna, ENS Paris, France (joint with ICALP)Manuel Hermenegildo, Technical Univ. Madrid, Spain and Univ. New Mexico, USA John Mitchell, Stanford Univ., USA (joint with ICALP) Conference ChairPedro Barahona, Universidade Nova de Lisboa, Portugalemail: pb at di.fct.unl.pt Program ChairAmy Felty, University of Ottawa, Canadaemail: afelty at site.uottawa.ca Program CommitteePedro Barahona, Univ. Nova de Lisboa, PortugalGopal 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 Topics (Not exhaustive)Logic, Constraint, and Functional ProgrammingApplications 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 Important DatesSubmission: 22 February 2005Notification: 1 April 2005 Final Version: 1 May 2005 Web SitesPPDP 2005: http://centria.di.fct.unl.pt/conferences/ppdp05/PPDP 2005 CFP: http://www.site.uottawa.ca/~afelty/ppdp05/ PPDP: http://pauillac.inria.fr/~fages/PPDP/ |
Scope of the ConferencePPDP 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. Submission GuidelinesPapers should be submitted electronically by 13 February 2005 via the symposium's submission page. Acceptable formats are PostScript or PDF, viewable by gv. Submissions should not exceed 12 pages (including bibliography and appendices) in standard ACM conference format. They must be written in English, must have a cover page with an abstract of up to 200 words, keywords, postal and electronic mailing addresses, and phone and fax numbers of the corresponding author.Evaluation of SubmissionsSubmitted 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. Submissions that do not meet these guidelines may not be considered.ProceedingsProceedings will be published by ACM Press. ACM formatting guidelines are available at http://www.acm.org/sigs/pubs/proceed/template.html, 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. Information on SIGPLAN's Republication Policy is available on the web.Related EventsPPDP 2005 will be co-located with the 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), which will take place 11-15 July 2005.Previous PPDP ConferencesParis (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), Verona (2004)This call is available in postscript and PDF formats. |