PPDP'09 - 1st CfP

____________________________________________________________


                                                  ACM PPDP 2009 - Call for Papers


                          11th ACM-SIGPLAN* International Symposium on
                        Principles and Practice of Declarative Programming


                                      Coimbra, Portugal, September 7-9, 2009


                                                    http://www.dcc.fc.up.pt/ppdp09


____________________________________________________________


IMPORTANT DATES:
Submission: May 7, 2009
Notification: June 14, 2009
Conference: September 7-9, 2009


SCOPE: PPDP 2009 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.


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


PROCEEDINGS:
The proceedings will be published by ACM Press*


RELATED EVENTS: PPDP 2009 will be co-located with the 18th EACSL
Annual Conference on Computer Science Logic (CSL 09) and the 19th
International Symposium on Logic- Based Program Synthesis and
Transformation (LOPSTR 2009).


PROGRAM CHAIR:
Francisco J. Lopez-Fraguas (Complutense Univ. Madrid, Spain)


PROGRAM COMMITTEE:
Sergio Antoy (Portland State Univ., USA)
Vitor Santos Costa (Univ. Porto, Portugal)
Veronica Dahl (Simon Fraser Univ., Canada)
Agostino Dovier (Univ. Udine, Italy)
Rachid Echahed (IMAG Grenoble, France)
John Gallagher (Univ. Roskilde, Denmark)
Michael Hanus (Univ. Kiel, Germany)
Ralf Hinze (Oxford Univ., UK)
Yukiyoshi Kameyama (Univ. Tsukuba, Japan)
Helene Kirchner (INRIA Bordaux, France)
Michael Leuschel (Univ. Dusseldorf, Germany)
Rita Loogen (Univ. Maarburg, Germany)
Francisco J. Lopez-Fraguas (Complutense Univ. Madrid, Spain)
Lunjin Lu (Oakland Univ., USA)
Maria Chiara Meo (Univ. G. D'annunzio, Italy)
Gopalan Nadathur (Univ. Minnesota, USA)
Fernando Orejas (Technical Univ. Catalunya, Spain)
Catuscia Palamidessi (INRIA Saclay, France)
Rinus Plasmeijer (Univ. Nijmegen, The Netherlands)
Antonio Porto (Univ. Porto, Portugal)
Grigore Rosu (Univ. Illinois at Urbana-Champaign, USA)
Taisuke Sato (Tokyo Inst. of Tech., Japan)
Tom Schrijvers (K. Univ. Leuven, Belgium)
Peter Stuckey (Melbourne Univ., Australia)
German Vidal (Technical Univ. Valencia, Spain)


SYMPOSIUM CHAIR:
Antonio Porto (Univ. Porto, Portugal)


LOCAL CHAIR:
Ana Paula Tomas (Univ. Porto, Portugal)




*ACM-SIGPLAN approval is pending

Return to the comp.compilers page.
Search the comp.compilers archives again.