PPDP'09 - 1st CfP

=?ISO-8859-1?Q?Ant=F3nio_Porto?= <ap@dcc.fc.up.pt>
Tue, 17 Mar 2009 18:47:06 +0000

          From comp.compilers

Related articles
PPDP'09 - 1st CfP ap@dcc.fc.up.pt (=?ISO-8859-1?Q?Ant=F3nio_Porto?=) (2009-03-17)
| List of all articles for this month |

From: =?ISO-8859-1?Q?Ant=F3nio_Porto?= <ap@dcc.fc.up.pt>
Newsgroups: comp.compilers
Date: Tue, 17 Mar 2009 18:47:06 +0000
Organization: Compilers Central
Keywords: conference, CFP
Posted-Date: 17 Mar 2009 17:06:24 EDT


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

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

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

Antonio Porto (Univ. Porto, Portugal)

Ana Paula Tomas (Univ. Porto, Portugal)

*ACM-SIGPLAN approval is pending

Post a followup to this message

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