[TYPES/announce] PPDP 2011, Call for papers

Tarmo Uustalu tarmo at cs.ioc.ee
Sun Jan 16 16:49:53 EST 2011



======================================================================
                           CALL FOR PAPERS

                               PPDP 2011
               13th International ACM SIGPLAN Symposium on
            Principles and Practice of Declarative Programming
             http://www-ps.informatik.uni-kiel.de/ppdp11/
                  July 20-22, 2011, Odense, Denmark

     (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011)
======================================================================

PPDP 2011 aims to provide a forum that brings together researchers
from the declarative programming communities, including those working
in the logic, constraint and functional programming paradigms, but
also embracing a variety of other paradigms such as visual
programming, executable specification languages, database languages,
AI languages and knowledge representation languages used, for example,
in the semantic web. The goal is to stimulate research in the use of
logical formalisms and methods for specifying, performing, and
analyzing computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, and static analysis. Papers
related to the use of declarative paradigms and tools in industry and
education are especially solicited.

The conference will held in cooperation with ACM SIGPLAN
and take place in July 2011 in Odense, Denmark, co-located
with the 21st International Symposium on Logic-Based Program
Synthesis and Transformation (LOPSTR 2011).

TOPICS:
- Logic, Constraint, and Functional Programming
- Database, AI and Knowledge Representation Languages
- Visual Programming
- Executable Specification Languages
- Applications of Declarative Programming
- Methodologies: Program Design and Development
- Declarative Aspects of Object-Oriented Programming
- Concurrent Extensions to Declarative Languages
- Declarative Mobile Computing
- Integration of Paradigms
- Proof Theoretic and Semantic Foundations
- Type and Module Systems
- Program Analysis and Verification
- Program Transformation
- Abstract Machines and Compilation
- Programming Environments
This list is not exhaustive - submissions describing  new and
interesting ideas relating broadly to declarative programming are
encouraged.

IMPORTANT DATES:
Abstract submission:   March 8, 2011
Paper submission:      March 15, 2011
Notification:          April 19, 2011
Camera-ready version:  May 12, 2011
Symposium:             July 20-22, 2011

SUBMISSION GUIDELINES:
Papers should be submitted via the submission website for PPDP 2011:
http://www.easychair.org/conferences/?conf=ppdp11
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Papers should consist of the equivalent of 12 pages under the
ACM formatting guidelines. These guidelines are available online,
along with formatting templates or style files.
Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should include
a clear identification of what has been accomplished and why it is
significant. Authors who wish to provide additional material to the
reviewers beyond the 12-page limit can do so in clearly marked
appendices: reviewers are not required to read such appendices.

PROCEEDINGS:
The proceedings will be published by ACM Press. Authors of accepted
papers will be required to sign a copyright form.

PROGRAM COMMITTEE:
Peter Achten                Radboud University Nijmegen, The Netherlands
Sergio Antoy                Portland State University, USA
Michael Codish              Ben-Gurion University of the Negev, Israel
Moreno Falaschi             Universita di Siena, Italy
Amy Felty                   University of Ottawa, Canada
Michael Hanus               University of Kiel, Germany (Chair)
Andy King                   University of Kent, UK
Helene Kirchner             INRIA, France
Francisco J. Lopez Fraguas  Universidad Complutense de Madrid, Spain
Salvador Lucas              Universidad Politecnica de Valencia, Spain
Simon Peyton Jones          Microsoft Research, Cambridge, UK
Kostis Sagonas              Uppsala University, Sweden
Peter Schneider-Kamp        University of Southern Denmark, Denmark
Doaitse Swierstra           Utrecht University, The Netherlands
Paul Tarau                  University of North Texas, USA
Peter Thiemann              University of Freiburg, Germany
Kazunori Ueda               Waseda University, Japan
Tarmo Uustalu               Tallinn University of Technology, Estonia
Peter Van Roy               Catholic University of Louvain, Belgium

For more information, contact the chairs:

Program Chair:
Michael Hanus
University of Kiel, Germany
Email: mh at informatik.uni-kiel.de

Symposium Chair:
Peter Schneider-Kamp 
University of Southern Denmark
Email: petersk at imada.sdu.dk
----------------------------------------------------------------------


More information about the Types-announce mailing list