[Om-announce] ACM-SIGPLAN PPDP 2009 - 1st CFP

Ana Paula Tomas apt at dcc.fc.up.pt
Wed Apr 1 18:03:11 CEST 2009

Apologies for cross-postings. Please distribute.


                         ACM PPDP 2009 -  Call for Papers

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

                   Coimbra, Portugal, September 7-9, 2009



Submission:  May 7, 2009
Notification:  June 14, 2009
Final version: June 31, 2009
Conference:  September 7-9, 2009

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.

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.

The proceedings will be published by ACM Press.

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).

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

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 Bordeaux, 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)

Antonio Porto  (Univ. Porto, Portugal)

Ana Paula Tomas  (Univ. Porto, Portugal)

More information about the Om-announce mailing list