(Apologies for multiple posts)
____________________________________________________________
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
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
