[gecode-users] PPDP 2007: Call for papers

[Christian Schulte]

...............................................................
          ACM PPDP 2007 -  Call For Papers

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

           Wroclaw, Poland, July 14-16, 2007

            http://ppdp07.ii.uni.wroc.pl
................................................................

IMPORTANT DATES
Submission: March 27, 2007, 21:00 CET
Notification: April 22, 2007
Conference: July 14-16, 2007

SCOPE: PPDP 2007 is a forum for the declarative programming
communities, gathering researchers working on logic, constraint and
functional programming, but also on other programming language
paradigms like 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 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: Proceedings will be published by ACM Press.

RELATED EVENTS: PPDP 2007 will be co-located with the 34th International
Colloquium on Automata, Languages and Programming (ICALP 2007), which will
take place on July 9-13, 2007 (http://icalp07.ii.uni.wroc.pl/)

SYMPOSIUM CHAIR: Michael Leuschel, University of Düsseldorf
PROGRAM CHAIR: Andreas Podelski, University of Freiburg

PROGRAM COMMITTEE:
Maria Alpuente (U. Politécnica de Valencia, Spain)
Josh Berdine (Microsoft Research Cambrige, UK)
Witold Charatonik (University of Wrozlav, Poland)
Giorgio Delzanno (University of Genua, Italy)
Patricia Johann (Rutgers University, USA)
Shriram Krishnamurthi (Brown University, USA)
Michael Leuschel (University of Düsseldorf, Germany)
Atsushi Ohori (Tohoku University, Sendai, Japan)
Andreas Podelski (University of Freiburg, Germany)
German Puebla (Technical University of Madrid, Spain)
Michel Rueher (University of Nice, France)
Andrey Rybalchenko (EPFL Lausanne, Switzerland)
Kostis Sagonas (National Technical University of Athens, Greece)
Christian Schulte (Royal Institute of Technology, Sweden)
Jakob Grue Simonsen (University of Copenhagen, Denmark)
Peter Stuckey (University of Melbourne, Australia)
Peter Thiemann (University of Freiburg, Germany)
Tarmo Uustalu (Institute of Cybernetics, Tallinn, Estonia)
Pascal Van Hentenryck (Brown University, USA)
Peter Van Roy (University of Louvain, Belgium)

--
Christian Schulte, http://www.imit.kth.se/~schulte/