Fifth ACM-SIGPLAN International Conference on
Conference ChairKonstantinos Sagonas
email: kostis at it.uu.se
Program ChairDale Miller
INRIA/Futurs & École Polytechnique
email: Dale.Miller at inria.fr
Program CommitteeMaria Alpuente, U. Politécnica de Valencia, ES
Alessandra Di Pierro, Univ. of Pisa, IT
Masami Hagiya, Univ. of Tokyo, JP
Fergus Henderson, Univ. of Melbourne, AU
Alberto Momigliano, Univ. of Leicester, UK
Benjamin Pierce, Univ. of Pennsylvania, US
C.R. Ramakrishnan, SUNY Stony Brook, US
Mario Rodríguez Artalejo, Univ. Complutense, ES
Amr Sabry, Indiana University, US
Konstantinos Sagonas, Uppsala University, SW
Frank Valencia, Uppsala University, SW
Invited SpeakersBruno Blanchet (Max-Plank Institute)
Mogens Nielsen (BRICS, University of Aarhus)
Mitchell Wand (Northeastern University)
Conference ProgramThe final program is available here.
Previous PPDP ConferencesParis (1999), Montreal (2000),
Firenze (2001), Pittsburgh (2002).
Scope of the ConferencePPDP 2003 aims to stimulate research in the use of logical formalisms and methods for analyzing, specifying, and performing computations. Of general interest are all aspects surrounding declarative programming languages such as logic programming, functional logic programming, and constraint programming. Topics of more specific interest are enhancements to such formalisms with mechanisms for concurrency, mobility, modularity, 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 programming paradigms is of interest. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited.
Conference Venue and Related EventsPPDP 2003 is part of a federation meeting known as Principles, Logics and Implementations of high-level programming languages (PLI 2003) which includes the ACM SIGPLAN International Conference on Functional Programming (ICFP 2003). PLI will take place at the main university building of Uppsala University.
Student AttendeesStudents who have a paper accepted for the conference are offered student membership in SIGPLAN free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund.